The Sixth ASIAN Symposium on Programming Languages and Systems

- APLAS 2008 -

Bangalore, India, Dec 9 - Dec 11, 2008

(Co-located with FSTTCS 2008)

APLAS 2008 Program (Tentative Schedule)

Day 1: December 9, 2008 (Tuesday)

Session 1 (9:00 am - 10:00 am): Invited Talk
- Abductive Inference for Reasoning about Heaps
  Dino Distefano
Break (10:00 am - 10:30 am)
Session 2 (10:30 am - 12:00 pm)
- A Sound Floating-Point Polyhedra Abstract Domain
  Liqian Chen, Antoine Mine, Patrick Cousot
- A Flow-Sensitive Region Inference for CLI
  Alexandru Stefan, Florin Craciun, Wei-Ngan Chin
- Context-Sensitive Relevancy Analysis for Efficient Symbolic Execution
  Xin Li, Daryl Shannon, Indradeep Ghosh, Mizuhito Ogawa, Sreeranga Rajan, Sarfraz Khurshid
Lunch Break (12:00 pm - 2:00 pm)
Session 3 (2:00 pm - 3:00 pm)
- Static Detection of Place Locality and Elimination of Runtime Checks
  Shivali Agarwal, Rajkishore Barik, V. Krishna Nandivada, Rudrapatna Shyamasundar, Pradeep Varma
- Certified Reasoning in Memory Hierarchies
  Gilles Barthe, Cesar Kunz, Jorge Luis Sacchini
Break (3:00 pm - 3:30 pm)
Session 4 (3:30 pm - 4:30 pm)
- Extensional Universal Types for Call-by-Value
  Kazuyuki Asada
- On affine usages in signal-based communication
  Roberto Amadio, Mehdi Dogguy

Day 2: December 10, 2008 (Wednesday)

Session 1 (9:00 am - 10:00 am): Invited Talk
- Harnessing the Multicores: Nested Data Parallelism in Haskell
  Simon Peyton Jones
Break (10:00 am - 10:30 am)
Session 2 (10:30 am - 12:00 pm)
- Minimal Ownership for Active Objects
  Dave Clarke, Tobias Wrigstad, Johan Ostlund, Einar Broch Johnsen
- Type-Based Deadlock-Freedom Verification for Non-Block-Structured Lock Primitives and Mutable References
  Kohei Suenaga
- Reasoning about Java's Reentrant Locks
  Christian Haack, Marieke Huisman, Clement Hurlin
Lunch Break (12:00 pm - 2:00 pm)
Session 3 (2:00 pm - 3:00 pm)
- ML Modules and Haskell Type Classes: A Constructive Comparison
  Stefan Wehr, Manuel Chakravarty
- The Essence of Form Abstraction
  Ezra Cooper, Sam Lindley, Philip Wadler, Jeremy Yallop
Break (3:00 pm - 3:30 pm)
Session 4 (3:30 pm - 4:30 pm)
- Abstraction of Clocks in Synchronous Data-flow Systems
  Albert Cohen, Louis Mandel, Florence Plateau, Marc Pouzet
- The Complexity of Coverage
  Krishnendu Chatterjee, Luca de Alfaro, Rupak Majumdar

Cultural Program and Conference Banquet: 6:30pm - 10pm (December 10, Wednesday)

Day 3: December 11, 2008 (Thursday)

Session 1 (9:00 am - 10:00 am): Invited Talk
- From Authorization Logics to Types for Authorization
  Radha Jagadeesan
Break (10:00 am - 10:30 am)
Session 2 (10:30 am - 12:00 pm)
- Interface Types for Haskell
  Peter Thiemann, Stefan Wehr
- Exception Handlers as Extensible Cases
  Matthias Blume, Umut Acar, Wonseok Chae
- Sound and Complete Type Inference for a Systems Programming Language
  Swaroop Sridhar, Jonathan Shapiro, Scott F. Smith
Lunch Break (12:00 pm - 2:00 pm)
Session 3 (2:00 pm - 3:00 pm)
- An Operational Semantics for JavaScript
  Sergio Maffeis, John Mitchell, Ankur Taly
- JavaScript Instrumentation in Practice
  Haruka Kikuchi, Dachuan Yu, Ajay Chander, Hiroshi Inamura, Igor Serikov
Session 4 (3:10 pm - 4:40 pm)
- Poster Session + Tea/Snacks