TOPLAS 2003

20 papers

1. A foundation for embedded languages · Morten Rhiger
2. A transformational approach to binary translation of delayed branches · Norman Ramsey, Cristina Cifuentes
3. Automatic program specialization for Java · Ulrik Pagh Schultz, Julia L. Lawall, Charles Consel
4. Class analyses as abstract interpretations of trace semantics · Fausto Spoto, Thomas P. Jensen
5. Continuous program optimization: A case study · Thomas Kistler, Michael Franz
6. Eliminating synchronization bottlenecks using adaptive replication · Martin C. Rinard, Pedro C. Diniz
7. Escape analysis for JavaTM: Theory and practice · Bruno Blanchet
8. Extending Java for high-level Web service construction · Aske Simon Christensen, Anders Møller, Michael I. Schwartzbach
9. Fractal symbolic analysis · Vijay Menon, Keshav Pingali, Nikolay Mateev
10. Generating LR syntax error messages from examples · Clinton L. Jeffery
11. Information flow inference for ML · François Pottier, Vincent Simonet
12. Intensional analysis of quantified types · Bratin Saha, Valery Trifonov, Zhong Shao
13. Jam - designing a Java extension with mixins · Davide Ancona, Giovanni Lagorio, Elena Zucca
14. Mobile safe ambients · Francesca Levi, Davide Sangiorgi
15. Pointer analysis for structured parallel programs · Radu Rugina, Martin C. Rinard
16. PolyTOIL: A type-safe polymorphic object-oriented language · Kim B. Bruce, Angela Schuett, Robert van Gent, Adrian Fiech
17. Rank 2 intersection types for local definitions and conditional expressions · Ferruccio Damiani
18. Stack allocation and synchronization optimizations for Java using escape analysis · Jong-Deok Choi, Manish Gupta, Mauricio J. Serrano, Vugranam C. Sreedhar, Samuel P. Midkiff
19. Stack inspection: Theory and variants · Cédric Fournet, Andrew D. Gordon
20. The receptive distributed pi-calculus · Roberto M. Amadio, Gérard Boudol, Cédric Lhoussaine