Programming Languages Lunch Colloquia

The Programming Languages Lunch Colloquia offer students, faculty, and other interested community members a weekly opportunity to discuss research related to PL. We welcome all types of presenters: department visitors, faculty, postdocs, and grad students. PhD students in their first few years are particularly encouraged to present, to gain speaking experience and expose everyone to new topics. We interpret the area of “PL” quite broadly and welcome software engineering, architecture, formal methods, and other areas.  Furthermore, topics need not be the speaker’s own novel research; some of our most lively and well-appreciated meetings have been topics outside of the presenter’s current work.

Lunch is provided (if we have a talk scheduled that week).  For Spring semester 2014, talks will usually be on Tuesdays at noon in GDC 6.302 (the CS faculty lounge).

Talks are listed below, and announced on the PL Lunch mailing list.  To subscribe to the mailings, write to udb at cs.utexas.edu, and ask to be added to the “pl-lunch” mailing list.

Please contact John Thywissen to book a talk.  The following dates are available: 22 Apr.

Past

TItle Date
Programming Languages Lunch - Gabriel Tanase, IBM T.J. Watson Research Center, "Systems for large scale graph processing"
Apr 15, 2014 12:00pm - 1:30pm
Programming Languages Lunch - Chris Vick, "Project Gryphon: Automated Computational Offloading"
Apr 8, 2014 12:00pm - 1:00pm
Programming Languages Lunch - Martin Schatz, "A Domain-specific Language for Distributed Tensor Computation"
Apr 1, 2014 12:00pm - 1:00pm
Programming Languages Lunch - Victor Eijkhout, " Integrative Parallel Programming for HPC"
Mar 25, 2014 12:00pm - 1:30pm
Programming Languages Lunch - John A. Thywissen and Arthur Peters, "Cohesive Programming for Distributed Systems"
Mar 18, 2014 12:00pm - 1:30pm
Programming Languages Lunch - Donald Nguyen, UTCS, "Deterministic Galois: On-demand, Portable and Parameterless"
Feb 25, 2014 12:00pm - 1:00pm
Programming Languages Lunch - Emery Berger, University of Massachusetts Amherst, "Stabilizer: Statistically Sound Performance Evaluation"
Feb 18, 2014 12:00pm - 1:00pm
Programming Languages Lunch - M. Amber Hassaan, UT ECE, "Parallelizing Ordered Computations using Kinetic Dependence Graph"
Feb 11, 2014 12:00pm - 1:30pm
Programming Languages Lunch - Miryung Kim, UT ECE, "Automation, Analysis, and Reconstruction of Systematic Software Changes"
Feb 4, 2014 12:00pm - 1:30pm
Programming Languages Lunch - Ardavan Pedram, UTCS, "Algorithm/Architecture Codesign of Low Power and High Performance Linear Algebra Compute Fabrics"
Jan 28, 2014 12:00pm - 1:00pm
Programming Languages Lunch - Jayadev Misra, UTCS, "A general theory of semantics and verification of concurrent systems"
Dec 2, 2013 12:00pm - 1:00pm
Programming Languages Lunch - Jim Browne, Leonardo Fialho, and Ashay Rane, UTCS, "Unification and Automation of Compile Time and Runtime Performance Optimization"
Nov 25, 2013 12:00pm - 1:00pm
Programming Languages Lunch - Donald Nguyen, The University of Texas at Austin, "A Lightweight Infrastructure for Graph Analytics"
Oct 28, 2013 12:00pm - 1:00pm
Programming Languages Lunch - "Functional programming with structured graphs," Bruno C. d. S. Oliveira/The University of Hong Kong
Oct 7, 2013 12:00pm - 1:30pm
Programming Languages Lunch - Ben Delaware, UTCS, "Modular Monadic MetaTheory"
Sep 23, 2013 12:00pm - 1:00pm
Programming Languages Lunch - Andreas Gampe, The University of Texas at San Antonio, "A Framework for Composing Security-Typed Languages"
Sep 9, 2013 12:00pm - 1:30pm
Programming Languages Lunch Colloquia - Na Meng, UTCS/ECE, "LASE: Locating and Applying Systematic Edits by Learning from Examples"
Apr 29, 2013 12:00pm - 1:30pm
Programming Languages Lunch - Alex Loh, UTCS, "Build your own language with Ensō"
Apr 22, 2013 12:00pm - 1:00pm
Programming Languages Lunch - Benjamin Delaware, UTCS, "Category Theory Colloquia"
Apr 15, 2013 12:00pm - 1:30pm
Programming Languages Lunch Colloquia - Xavier Martorell, Universitat Politecnica de Catalunya and Barcelona Supercomputing Center, "OmpSs: Task Scheduling on Heterogeneous Systems," PAI 3.14
Feb 4, 2013 12:00pm - 1:00pm
Programming Languages Lunch Colloquia - Calvin Lin/UTCS, "Linearizing Memory Addresses for Prefetching Irregular Memory Workloads," PAI 3.14
Dec 3, 2012 12:00pm - 1:30pm
Programming Languages Lunch Colloquia - Marijn Heule/UTCS, "Encoding Applications into SAT (part 2)," PAI 3.14
Nov 26, 2012 12:00pm - 1:30pm
Programming Languages Lunch Colloquia - Marijn Heule/UTCS, "Encoding Applications into SAT (part 1)," PAI 3.14
Nov 19, 2012 12:00pm - 1:30pm
Programming Languages Lunch Colloquia - Mark Silberstein/UTCS, "GPUfs -- integrating a file system with GPUs," PAI 3.14
Nov 12, 2012 12:00pm - 1:30pm
Programming Languages Lunch Colloquia - Peter Hofstee/IBM, "Towards shared-memory reconfigurable computing," PAI 3.14
Nov 5, 2012 12:00pm - 1:30pm
Programming Languages Lunch Colloquia - Ben Delaware/UTCS, "Meta-Theory a la Carte," PAI 3.14
Oct 29, 2012 12:00pm - 1:30pm
Programming Languages Lunch - Yuhao Zhu/UTCS, "High-performance and Energy-efficient Mobile Web Browsing," PAI 3.14
Oct 22, 2012 12:00pm - 1:30pm
UTCS Programming Languages Lunch Series - Keshav Pingali/UTCS, "Parsing with Pictures," PAI 3.14
Sep 10, 2012 12:00pm - 1:30pm
UTCS Programming Languages Lunch Series - Victor Eijkhout/Texas Advanced Computing Center, "An Integrative Model for Parallelism", PAI 3.14
Jan 20, 2012 12:00pm - 1:00pm