TOPLAS 2012

17 papers

1. A data-centric approach to synchronization · Julian Dolby, Christian Hammer, Daniel Marino, Frank Tip, Mandana Vaziri, Jan Vitek
2. Algorithmic verification of asynchronous programs · Pierre Ganty, Rupak Majumdar
3. Bisimulation for Quantum Processes · Yuan Feng, Runyao Duan, Mingsheng Ying
4. Editorial · Jens Palsberg
5. Equivalence checking of static affine programs using widening to handle recurrences · Sven Verdoolaege, Gerda Janssens, Maurice Bruynooghe
6. Essential AOP: The a calculus · Bruno De Fraine, Erik Ernst, Mario Südholt
7. Implicit dynamic frames · Jan Smans, Bart Jacobs, Frank Piessens
8. Multivariate amortized resource analysis · Jan Hoffmann, Klaus Aehlig, Martin Hofmann
9. Natural and Flexible Error Recovery for Generated Modular Language Environments · Maartje de Jonge, Lennart C. L. Kats, Eelco Visser, Emma Söderberg
10. On a Technique for Transparently Empowering Classical Compiler Optimizations on Multithreaded Code · Pramod G. Joisha, Robert S. Schreiber, Prithviraj Banerjee, Hans-Juergen Boehm, Dhruva R. Chakrabarti
11. On the Termination of Integer Loops · Amir M. Ben-Amram, Samir Genaim, Abu Naser Masud
12. Parameterized loop tiling · Lakshminarayanan Renganarayanan, DaeGon Kim, Michelle Mills Strout, Sanjay V. Rajopadhye
13. Partially Evaluating Finite-State Runtime Monitors Ahead of Time · Eric Bodden, Patrick Lam, Laurie J. Hendren
14. Reasoning about Web Applications: An Operational Semantics for HOP · Gérard Boudol, Zhengqin Luo, Tamara Rezk, Manuel Serrano
15. ScalaExtrap: Trace-based communication extrapolation for SPMD programs · Xing Wu, Frank Mueller
16. Space overhead bounds for dynamic memory management with partial compaction · Anna Bendersky, Erez Petrank
17. Structured Communication-Centered Programming for Web Services · Marco Carbone, Kohei Honda, Nobuko Yoshida