APLAS 2008

23 papers

1. A Flow-Sensitive Region Inference for CLI · Alexandru Stefan, Florin Craciun, Wei-Ngan Chin
2. A Sound Floating-Point Polyhedra Abstract Domain · Liqian Chen, Antoine Miné, Patrick Cousot
3. Abductive Inference for Reasoning about Heaps · Dino Distefano
4. Abstraction of Clocks in Synchronous Data-Flow Systems · Albert Cohen, Louis Mandel, Florence Plateau, Marc Pouzet
5. An Operational Semantics for JavaScript · Sergio Maffeis, John C. Mitchell, Ankur Taly
6. Certified Reasoning in Memory Hierarchies · Gilles Barthe, César Kunz, Jorge Luis Sacchini
7. Context-Sensitive Relevancy Analysis for Efficient Symbolic Execution · Xin Li, Daryl Shannon, Indradeep Ghosh, Mizuhito Ogawa, Sreeranga P. Rajan, Sarfraz Khurshid
8. Exception Handlers as Extensible Cases · Matthias Blume, Umut A. Acar, Wonseok Chae
9. Extensional Universal Types for Call-by-Value · Kazuyuki Asada
10. From Authorization Logics to Types for Authorization · Radha Jagadeesan
11. Game Characterizations of Process Equivalences · Xin Chen, Yuxin Deng
12. Harnessing the Multicores: Nested Data Parallelism in Haskell · Simon L. Peyton Jones
13. Interface Types for Haskell · Peter Thiemann, Stefan Wehr
14. JavaScript Instrumentation in Practice · Haruka Kikuchi, Dachuan Yu, Ajay Chander, Hiroshi Inamura, Igor Serikov
15. ML Modules and Haskell Type Classes: A Constructive Comparison · Stefan Wehr, Manuel M. T. Chakravarty
16. Minimal Ownership for Active Objects · Dave Clarke, Tobias Wrigstad, Johan Östlund, Einar Broch Johnsen
17. On Affine Usages in Signal-Based Communication · Roberto M. Amadio, Mehdi Dogguy
18. Reasoning about Java's Reentrant Locks · Christian Haack, Marieke Huisman, Clément Hurlin
19. Sound and Complete Type Inference for a Systems Programming Language · Swaroop Sridhar, Jonathan S. Shapiro, Scott F. Smith
20. Static Detection of Place Locality and Elimination of Runtime Checks · Shivali Agarwal, Rajkishore Barik, V. Krishna Nandivada, R. K. Shyamasundar, Pradeep Varma
21. The Complexity of Coverage · Krishnendu Chatterjee, Luca de Alfaro, Rupak Majumdar
22. The Essence of Form Abstraction · Ezra Cooper, Sam Lindley, Philip Wadler, Jeremy Yallop
23. Type-Based Deadlock-Freedom Verification for Non-Block-Structured Lock Primitives and Mutable References · Kohei Suenaga