Welcome to the UTCS Programming Languages Lunch Series!
The Programming Languages Lunch series offers students, faculty, and other interested community members a weekly opportunity to discuss research related to PL. We encourage presenters, especially students, to present work by other researchers (e.g., recent papers and/or an overview of a research area) or their own work (ongoing or completed). PhD students in their first few years are strongly encouraged to sign up, to gain speaking experience and expose everyone to new topics. Just ask if you'd like ideas on what to present.
Sometimes invited guests present their work.
Lunch is provided (if we have a talk scheduled that week).
Logistics
Spring 2012 |
||
Date-Time: |
Weekly: Friday 11:30 |
|
Location: |
PAI 3.14 |
|
Agenda: |
11:30-11:45 a.m. |
Lunch served |
11:45 a.m.-12:45 p.m. |
Scheduled talk (see below) |
|
12:45-12:50 p.m. |
Individual discussion and wrap-up |
|
A PL Lunch announcements mailing list ( pl-lunch@cs.utexas.edu ) is used to announce talks. Contact Amin Shali < amshali@cs.utexas.edu > to be added/removed.
The calendar for UTCS PL events is available through the following links: HTML, ICAL, XML
Topics
Here are the dates for the lunches. We encourage volunteers to sign up for an empty slot. (log in, or visit UserPreferences to set up an account)
Spring 2012
Date |
Speaker |
Topic |
20 Jan |
Victor Eijkhout (UT TACC) |
An Integrative Model for Parallelism |
27 Jan |
Bryan Marker (UTCS) |
Design by Transformation: From Domain Knowledge to Optimized Program Generation |
24 Feb |
(No PL Lunch -- instead, go to GradFest.) |
|
09 Mar |
Srinivas Nedunuri |
Synthesis of Efficient Search Algorithms |
27 Apr |
Srinivas Nedunuri |
Synthesis of Efficient Breadth-First Search Algorithms (Thesis Defence Practice Talk) |
04 May |
Sumit Gulwani (MSR) |
Synthesis from Examples |
Please log in and sign up for a date |
||
Fall 2011
Date |
Speaker |
Topic |
28 Oct |
Saurabh Bagchi (Purdue) |
Large Scale Debugging of Parallel Tasks using Scaling Properties and "Triumph of Majority" Principle |
01 Dec |
Alex Loh (UTCS) |
Enso: A domain-specific language workbench |
Spring 2011
Date |
Speaker |
Topic |
28 Jan |
Andy Gill (U. Kansas) |
Forward Error Correction Codes and Kansas Lava |
25 Mar |
Na Meng (UTCS) |
Systematic Editing: Generating Edit Scripts for Program Evolution |
15 Apr |
Patrick Eugster (Purdue) |
Complex Event Processing in Java |
22 Apr |
Razieh Zaeem (UT ECE) |
Data Structure Repair |
Fall 2010
Date |
Speaker |
Topic |
07 Oct |
(No PL Lunch today. Instead, see: |
|
14 Oct |
Tom Ball (MSR Redmond) |
Preemption Sealing for Efficient Concurrency Testing |
21 Oct |
Donald Nguyen (UTCS) |
Synthesizing Schedulers for Irregular Algorithms |
28 Oct |
Roberto Lublinerman (Penn State CSE) |
Chorus: Dynamic isolation in shared-memory parallelism |
04 Nov |
Miryung Kim (UT ECE) |
Safe and Efficient Evolution of Large Software Systems |
02 Dec |
Byeongcheol Lee (UTCS) |
Jinn: Synthesizing Dynamic Bug Detectors for Foreign Language Interfaces |
Spring 2010
Date |
Speaker |
Topic |
08 Feb |
William Cook (UTCS) |
Practice talk for Keynote at ISEC (PL and distributed objects) |
15 Feb |
Ira Baxter |
DMS: A Program Transformation Tool for implementing DSLs that uses DSLs |
22 Feb |
Don Fussell |
What is a GPU and Why You Should Care |
01 Mar |
Mario Mendez-Lojo |
Parallelizing Anderson-style points-to analysis |
08 Mar |
Bryan Marker |
Intel SCC: How Would You Use 48 Cores? |
29 Mar |
Ben Delaware |
Curry, Howard, Coq: The Eternal Golden Braid between Proofs and Programs |
05 Apr |
Paul Navrátil |
Scheduling for Large-Scale Distributed Memory Systems |
12 Apr |
Kathryn McKinley |
Report on NSF Workshop on Future Directions in Computer Systems Research |
19 Apr |
Jennifer B. Sartor |
Using Managed Language Abstraction to Optimize Memory Efficiency |
26 Apr |
Alex Loh |
LSdiff: A Program Differencing Tool to Identify Systematic Structural Differences |
03 May |
Sidney Rosario |
Partial Evaluation of Java Programs |
Fall 2009
Date |
Speaker |
Topic |
31 Aug |
Siham Tabik |
Analytical Modeling of Pipeline Parallelism |
14 Sep |
Mike Bond |
Toward Deployable Dynamic Race Detection focusing on two recent papers: |
21 Sep |
Donald Nguyen |
Box Love Frog: A tour of experimental methodology through three overextended metaphors |
28 Sep |
Boris Grot |
Hardware-assisted garbage collection. Flexible Reference-counting-based Hardware Acceleration for Garbage Collection, Joao, Mutlu, Patt, ISCA '09 --and-- The Pauseless GC Algorithm, Click, Tene, Wolf, VEE '05. |
12 Oct |
Byeong Lee |
Debug All Your Code: Portable Mixed-Environment Debugging |
26 Oct |
Steve Blackburn |
Abstraction Without Guilt (reprising his keynote at Workshop on Virtual Machines and Intermediate Languages (VMIL) 2009) |
09 Nov |
Ben Delaware |
Fitting The Pieces Together: A Machine-Checked Model of Safe Composition |
16 Nov |
(organized by Ben Wiedermann) |
How To Teach Programming Languages |
* "Teaching different languages: approaches and pedagogy" by Glenn Downing |
||
* "Objects vs ADTs" by William Cook |
||
* "Programming is a foreign language" by Kathryn McKinley |
||
Ideas for next time: teachingpl.pdf |
Spring 2009
Date |
Speaker |
Topic |
23 Jan |
William Cook |
Model Transformation by Partial Evaluation of Model Interpreters |
30 Jan |
Bassem Elkarablieh |
Assertion-based Test Generation and Error Recovery |
13 Feb |
Keshav Pingali |
Towards a Science of Parallel Programming |
20 Feb |
Ben Hardekopf |
Pointer Analysis: Taming the Anarchy |
27 Feb |
Jayadev Misra |
CS 345, Programming Languages, Fall 2029; Course Content: ??? |
06 Mar |
Keshav Pingali |
Conclusion of Towards a Science of Parallel Programming |
13 Mar |
Miryung Kim |
Analyzing and Inferring the Structure of Code Changes |
03 Apr |
Walter Chang |
Targeted Software Testing (working title) |
10 Apr |
Ernie Chan |
Runtime Data Flow Graph Scheduling of Matrix Computations |
17 Apr |
Indrajit Roy |
Laminar: Practical Fine-Grained Decentralized Information Flow Control |
24 Apr |
Suriya Subramanian |
Jvolve: VM Support for Dynamic Software Updating |
01 May |
William Cook |
Conclusion of Model Transformation by Partial Evaluation of Model Interpreters |
08 May |
Alex Loh |
Automatic Verification of Parallel Programs |
Fall 2008
Date |
Speaker |
Topic |
29 Aug |
Keshav Pingali |
Parallel Programming: From Backus to Codd |
05 Sep |
Jungwoo Ha |
Concurrent Profiling Framework for Multicore Systems (Jungwoo Ha, Matthew Arnold, Steve Blackburn, Kathryn McKinley) |
12 Sep |
Ben Hardekopf |
Lowering the Bar for Precise Pointer Analysis (practice talk for visit to IBM TJ Watson) |
19 Sep |
Milind Kulkarni |
How Much Parallelism is There in Irregular Applications? (working title) |
26 Sep |
Katie Coons |
Systematic Testing of Multithreaded Programs (based on her summer 2008 work in Seattle) |
03 Oct |
Ben Wiedermann |
AI^2: An Abstract Interpretation / Artificial Intelligence Analogy (A wild and crazy idea I'm working on with Matt Taylor) |
10 Oct |
Kathryn McKinley |
Immix: A Mark-Region Garbage Collector with Space Efficiency, Fast Collection, and Mutator Performance |
17 Oct |
Bertrand Maher |
Dynamic Execution Differencing |
24 Oct |
Maria Jump |
ShapeUp: Dynamic Shape Analysis for Error Detection (by Maria Jump & Kathryn McKinley) |
31 Oct |
Behnam Robatmili |
Strategies for Mapping Data Flow Blocks to Distributed Hardware (Behnam Robatmili, Katherine E. Coons, Doug Burger & Kathryn S. McKinley) |
07 Nov |
Ali Ibrahim |
An Introduction to Supercompilers (what are supercompilers? how are they related to partial evaluation and deforestation?) |
21 Nov |
BK Lee |
A Software Architecture for Mixed-Language Debuggers (by Byeongcheol Lee, Martin Hirzel, Robert Grimm & Kathryn McKinley) |