Compilers Reading Group, Spring 2008
We meet weekly at 3:00 PM on Wednesdays in the Flux library,
4560C MEB.
We have a mailing list, compilers@cs.utah.edu, which is managed by Mailman.
See the list
information page to subscribe to the list, edit your subscription
options, or view the list archives.
This page is writable by anyone in the flux Unix group. It is under RCS, and
is in the directory /home/eeide/public_html/compilers/ on the facility
filesystem.
Schedule (in reverse chronological order)
- Wed, Apr 23, 12:00 pm:
The JastAdd Extensible
Java Compiler.
Torbjörn Ekman and Görel Hedin.
OOPSLA 2007.
- Wed, Apr 16, 12:00 pm:
Condate: A
Proto-Language at the Confluence Between Checking and Compiling.
Nic Volansch.
PPDP 2006.
- Wed, Apr 9, 12:00 pm:
Combining Models and Guided
Empirical Search to Optimize for Multiple Levels of the Memory
Hierarchy.
Chun Chen, Jacqueline Chame, and Mary Hall.
CGO 2005.
- Wed, Apr 2, 12:00 pm:
Packrat Parsers Can
Support Left Recursion.
Alessandro Warth, James R. Douglass, and Todd Millstein.
PEPM 2008.
- Wed, Mar 26, 12:00 pm:
Relational Inductive
Shape Analysis.
Bor-Yuh Evan Chang and Xavier Rival.
POPL 2008.
- Wed, Mar 19, 3:00 pm:
Environment Analysis
via ΔCFA.
Matthew Might and Olin Shivers.
POPL 2006.
- Wed, Mar 12, 3:00 pm:
Certifying
Low-Level Programs with Hardware Interrupts and Preemptive Threads.
Xinyu Feng, Zhong Shao, Yuan Dong, and Yu Guo.
PLDI 2008 (to appear).
- Wed, Mar 5, 3:00 pm:
Expressive Programs
Through Presentation Extension.
Andrew D. Eisenberg and Gregor Kiczales.
AOSD 2007.
- Wed, Feb 27, 3:00 pm:
Tangible Functional
Programming.
Conal M. Elliott.
ICFP 2007.
- Wed, Feb 20, 3:00 pm:
Multi-Language Synchronization.
Robert Ennals and David Gay.
ESOP 2007.
- Wed, Feb 13, 3:00 pm:
Interprocedural
Analysis of Asynchronous Programs.
Ranjit Jhala and Rupak Majumdar.
POPL 2007.
- Wed, Feb 6, 3:00 pm:
no meeting (postponed paper discussion).
- Wed, Jan 30, 3:00 pm:
Demand-Driven Alias
Analysis for C.
Xin Zheng and Radu Rugina.
POPL 2008.
- Wed, Jan 23, 3:00 pm:
Static
Analysis of C for Hybrid Type Checking.
Zach Anderson.
EECS UC Berkeley Technical Report.
January 4, 2007.
- Wed, Jan 16, 3:00 pm:
Software Behavior
Oriented Parallelization.
Chen Ding, Xipeng Shen, Kirk Kelsey, Chris Tice, Ruke Huang, and
Chengliang Zhang.
PLDI 2007.
- Wed, Jan 9, 3:00 pm:
no meeting (organizational email).
Candidate Papers
...waiting to be seconded. A paper is seconded when it is moved to the
schedule by someone other than the person who added the candidate paper.
Kevin Atkinson
Yang Chen
Nathan Cooprider
- Explaining Failures of Program Analyses.
Daniel von Dincklage and Amer Diwan.
PLDI 2008.
- Dataflow Analysis for Concurrent Programs Using Datarace Detection.
Ravi Chugh, Jan Voung, Ranjit Jhala and Sorin Lerner.
PLDI 2008.
- HW/SW co-design for Esterel processing.
Sascha Gadtke, Claus Traulsen, and Reinhard von Hanxleden.
CODES+ISSS 2007.
- Deriving State Machines from TinyOS Programs using Symbolic Execution .
Nupur Kothari, Todd Millstein, and Ramesh Govindan.
IPSN 2008.
- Both:
- The synchronous languages twelve years later.
Albert Benveniste, Paul Caspi, Stephen A. Edwards, Nicolas Halbwachs, Paul Le Guernic, and Robert de Simone.
Proceedings of the IEEE 2003.
Eric Eide
-
Design Fragments Make
Using Frameworks Easier.
George Fairbanks, David Garlan, and William Scherlis.
OOPSLA 2006.
-
Adapting Virtual
Machine Techniques for Seamless Aspect Support.
Christoph Bockisch, Matthew Arnold, Tom Dinkelaker, and Mira Mezini.
OOPSLA 2006.
-
Generic Ownership for
Generic Java.
Alex Potanin, James Noble, Dave Clarke, and Robert Biddle.
OOPSLA 2006.
-
Using Task Context to
Improve Programmer Productivity.
Mik Kersten and Gail C. Murphy.
FSE 2006.
-
BOTS: A
Constraint-Based Component System for Synthesizing Scalable Software
Systems.
Raju Pandey and Jeffrey Wu.
LCTES 2006.
(We read this previously in summer 2006.)
-
Osprey: A Practical
Type System for Validating Dimensional Unit Correctness of C Programs.
Lingxiao Jiang and Zhendong Su.
ICSE 2006.
-
Xoc, an
Extension-Oriented Compiler for Systems Programming.
Russ Cox, Tom Bergan, Austin T. Clements, Frans Kaashoek, and
Eddie Kohler.
ASPLOS 2008.
Matthew Flatt
Jon Rafkind
John Regehr
Anh Vo
-
Bell: Bit-Encoding
Online Memory Leak Detection.
Michael D. Bond and Kathryn S. McKinley.
ASPLOS 2006.
-
Free-Me: A Static
Analysis for Automatic Individual Object Reclamation.
Samuel Z. Guyer, Kathryn S. McKinley, and Daniel Frampton.
PLDI 2006.
-
Hybrid
Optimizations: Which Optimization Algorithm to Use?
John Cavazos, J. Eliot B. Moss, and Michael F.P. O'Boyle.
CC 2006.
-
Isla Vista Heap
Sizing: Using Feedback to Avoid Paging.
Chris Grzegorczyk, Sunil Soman, Rich Wolski, and Chandra Krintz.
CGO 2007. To appear.
-
Ubiquitous
Memory Introspection.
Qin Zhao, Rodric Rabbah, Saman Amarasinghe, Larry Rudolph, and Weng-Fai
Wong.
CGO 2007. To appear.
-
Memory Leak
Analysis by Contradiction.
Maksim Orlovich and Radu Rugina.
SAS 2006.
Chongkai Zhu
-
A History of
Erlang.
Joe Armstrong.
HOPL-III.
-
History of the
Development of Logic Programming.
Carl Hewitt.
Unpublished.
-
A
Located Lambda Calculus.
Ezra Cooper and Philip Wadler.
Submitted to ICFP 2008.
-
Using
a Proof Assistent to Teach Programming Language Foundations, or Lambda, the
Ultimate TA.
Benjamin C. Pierce.
White paper, April 2008.
-
Semantics
and Scoping of Aspects in Higher-Order Languages.
Christopher Dutchyn, David B. Tucker, and Shriram Krishnamurthi.
Science of Computer Programming 63(6), Dec. 2006.
-
Anti-pattern Matching.
Claude Kirchner, Radu Kopetz and Pierre-Etienne Moreau.
ESOP 2007.
-
A Consistent Semantics of Self-adjusting Computation.
Umut A. Acar, Matthias Blume and Jacob Donham.
ESOP 2007.
-
Coinductive Big-Step Operational Semantics.
Xavier Leroy.
ESOP 2006.
-
Lazy Call-By-Value
Evaluation.
Bernd Braßel, Michael Hanus, Sebastian Fischer, Frank Huch, and
Germán Vidal.
ICFP 2007.
-
A Theory of Contracts
for Web Services.
Giuseppe Castagna, Nils Gesbert, and Luca Padovani.
POPL 2008.
Resources about Reviewing Papers
Past Semesters