TOPLAS 2006

27 papers

1. A bisimulation-based semantic theory of Safe Ambients · Massimo Merro, Matthew Hennessy
2. A machine-checked model for a Java-like language, virtual machine, and compiler · Gerwin Klein, Tobias Nipkow
3. A region-based compilation technique for dynamic compilers · Toshio Suganuma, Toshiaki Yasue, Toshio Nakatani
4. Adaptive functional programming · Umut A. Acar, Guy E. Blelloch, Robert Harper
5. An algebraic array shape inference system for MATLAB · Pramod G. Joisha, Prithviraj Banerjee
6. An on-the-fly reference-counting garbage collector for java · Yossi Levanoni, Erez Petrank
7. Calculational semantics: Deriving programming theories from equations by functional predicate calculus · Raymond T. Boute
8. Computability classes for enforcement mechanisms · Kevin W. Hamlen, J. Gregory Morrisett, Fred B. Schneider
9. Controlling garbage collection and heap growth to reduce the execution time of Java applications · Tim Brecht, Eshrat Arjomandi, Chang Li, Hang Pham
10. Denali: A practical algorithm for generating optimal code · Rajeev Joshi, Greg Nelson, Yunhong Zhou
11. EDO: Exception-directed optimization in java · Takeshi Ogasawara, Hideaki Komatsu, Toshio Nakatani
12. Effective sign extension elimination for java · Motohiro Kawahito, Hideaki Komatsu, Toshio Nakatani
13. Exploiting reference idempotency to reduce speculative storage overflow · Seon Wook Kim, Chong-liang Ooi, Rudolf Eigenmann, Babak Falsafi, T. N. Vijaykumar
14. Fast partial evaluation of pattern matching in strings · Mads Sig Ager, Olivier Danvy, Henning Korsholm Rohde
15. Flow-insensitive type qualifiers · Jeffrey S. Foster, Robert Johnson, John Kodumal, Alex Aiken
16. Generating object lifetime traces with Merlin · Matthew Hertz, Stephen M. Blackburn, J. Eliot B. Moss, Kathryn S. McKinley, Darko Stefanovic
17. Interprocedural slicing of multithreaded programs with applications to Java · Mangala Gowri Nanda, S. Ramesh
18. Message analysis for concurrent programs using message passing · Richard Carlsson, Konstantinos Sagonas, Jesper Wilhelmsson
19. MultiJava: Design rationale, compiler implementation, and applications · Curtis Clifton, Todd D. Millstein, Gary T. Leavens, Craig Chambers
20. Nontermination inference of logic programs · Étienne Payet, Frédéric Mesnard
21. On minimizing materializations of array-valued temporaries · Daniel J. Rosenkrantz, Lenore M. R. Mullin, Harry B. Hunt III
22. Quantified types in an imperative language · Dan Grossman
23. Right nulled GLR parsers · Elizabeth Scott, Adrian Johnstone
24. Traits: A mechanism for fine-grained reuse · Stéphane Ducasse, Oscar Nierstrasz, Nathanael Schärli, Roel Wuyts, Andrew P. Black
25. Type inference for unique pattern matching · Stijn Vansummeren
26. Types for safe locking: Static race detection for Java · Martín Abadi, Cormac Flanagan, Stephen N. Freund
27. Variant parametric types: A flexible subtyping scheme for generics · Atsushi Igarashi, Mirko Viroli