Compilers Reading Group, Summer 2006
We meet biweekly at 2:00 PM on Thursdays 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/wilson/public_html/compilers/ on the facility
filesystem.
Schedule (in reverse chronological order)
- Thu, Aug 17, 2:00 pm: no meeting.
- Thu, Aug 3, 2:00 pm: no meeting.
- Thu, Jul 20, 2:00 pm: no meeting.
- Thu, Jul 6, 2:00 pm: no meeting.
- Thu, Jun 29, 2:00 pm:
BOTS: A
Constraint-Based Component System for Synthesizing Scalable Software
Systems.
Raju Pandey and Jeffrey Wu.
LCTES 2006.
- Thu, Jun 22, 2:00 pm: postponed to Jun 29.
- Thu, Jun 8, 2:00 pm:
Field-Sensitive
Value Analysis of Embedded C Programs with Union Types and Pointer
Arithmetics.
Antoine Miné.
LCTES 2006.
- Thu, May 25, 2:00 pm:
Precise
Interprocedural Analysis using Random Interpretation.
Sumit Gulwani and George Necula.
POPL 2005.
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.
-
Bossa Nova: Introducing
Modularity into the Bossa Domain-Specific Language.
Julia L. Lawall, Hervé Duchesne, Gilles Muller, and
Anne-Françoise Le Meur.
GPCE 2005.
-
Type inference,
principal typings, and let-polymorphism for first-class mixin modules.
Henning Makholm and J. B. Wells. ICFP 2005.
-
PolyAML: a polymorphic
aspect-oriented functional programming language.
Daniel S. Dantas, David Walker, Geoffrey Washburn, and Stephanie
Weirich. ICFP 2005.
-
Six Learning
Barriers in End-User Programming Systems.
Andrew J. Ko, Brad A. Myers, and Htet Htet Aung.
VL/HCC 2004.
-
Automatic
Construction of Hoare Proofs from Abstract Interpretation Results.
Sunae Seo, Hongseok Yang, and Kwangkeun Yi.
-
Variability Management
with Feature-Oriented Programming and Aspects. Mira Mezini and Klaus
Ostermann. SIGSOFT 2004/FSE-12.
-
Verifying Aspect
Advice Modularly. Shriram Krishnamurthi, Kathi Fisler, and Michael
Greenberg. SIGSOFT 2004/FSE-12.
-
A Classification
System and Analysis for Aspect-Oriented Programs. Martin Rinard,
Alexandru Salcianu, and Suhabe Bugrara. SIGSOFT 2004/FSE-12.
-
Implementing Protocols
via Declarative Event Patterns. Robert J. Walker and Kevin
Viggers. SIGSOFT 2004/FSE-12.
-
An
Evaluation of Aspect-Oriented Programming for Java-Based Real-Time Systems
Development. Shiu Lun Tsang, Siobhán Clarke, and Elisa
Baniassad. ISORC 2004.
-
The Java Memory
Model.
Jeremy Manson, William Pugh, and Sarita Adve.
POPL 2005.
-
Cloning-Based
Context-Sensitive Pointer Alias Analysis Using Binary Decision Diagram.
John Whaley and Monica Lam. PLDI 2004. (Best paper.)
-
Java
bytecode verification: algorithms and formalizations. Xavier Leroy.
Journal of Automated Reasoning 30(3-4):235-269, 2003.
-
Mirrors: Design
Principles for Meta-Level Facilities of Object-Oriented Programming
Languages. Gilad Bracha and David Ungar. OOPSLA 2004.
-
Assembler to C Migration using the FermaT
Transformation System. Martin Ward. International Conference on
Software Maintenance, 30th Aug-3rd Sept 1999, Oxford, England.
-
Generation of Efficient Interprocedural Analyzers
with PAG. Martin Alt and Florian Martin. Proceedings of the Second
International Symposium on Static Analysis, 1995.
-
Making a fast curry: Push/enter vs
eval/apply for higher-order languages. Simon Marlow and Simon Peyton
Jones. ICFP 2004.
-
Scalable Lock-Free Dynamic Memory
Allocation. Maged M. Michael. PLDI 2004.
Resources about Reviewing Papers
Past Semesters