Programming Languages and Systems

1. Front Matter

   PDF

2. Session I: Invited Talk

   1. Planet Dynamic or: How I Learned to Stop Worrying and Love Reflection

      • Jan Vitek

      Pages 1-1

3. Session II: Concurrency

   1. JATO: Native Code Atomicity for Java

      • Siliang Li, Yu David Liu, Gang Tan

      Pages 2-17

   2. Ownership Types for Object Synchronisation

      • Yi Lu, John Potter, Jingling Xue

      Pages 18-33

4. Session III: Security

   1. A Functional View of Imperative Information Flow

      • Thomas H. Austin, Cormac Flanagan, Martín Abadi

      Pages 34-49

   2. End-to-end Multilevel Hybrid Information Flow Control

      • Lennart Beringer

      Pages 50-65

   3. Succour to the Confused Deputy

      • Radha Jagadeesan, Corin Pitcher, James Riely

      Pages 66-81

   4. Types and Access Controls for Cross-Domain Security in Flash

      • Aseem Rastogi, Avik Chaudhuri, Rob Johnson

      Pages 82-97

5. Session IV: Static Analysis I

   1. Linear Approximation of Continuous Systems with Trapezoid Step Functions

      • Giulia Costantini, Pietro Ferrara, Agostino Cortesi

      Pages 98-114

   2. Signedness-Agnostic Program Analysis: Precise Integer Bounds for Low-Level Code

      • Jorge A. Navas, Peter Schachte, Harald Søndergaard, Peter J. Stuckey

      Pages 115-130

   3. Hierarchical Shape Abstraction of Dynamic Structures in Static Blocks

      • Pascal Sotin, Xavier Rival

      Pages 131-147

   4. Vinter: A Vampire-Based Tool for Interpolation

      • Kryštof Hoder, Andreas Holzer, Laura Kovács, Andrei Voronkov

      Pages 148-156

6. Session V: Static Analysis II

   1. Side-Effecting Constraint Systems: A Swiss Army Knife for Program Analysis

      • Kalmer Apinis, Helmut Seidl, Vesal Vojdani

      Pages 157-172

   2. Inference of Necessary Field Conditions with Abstract Interpretation

      • Mehdi Bouaziz, Francesco Logozzo, Manuel Fähndrich

      Pages 173-189

7. Session VI: Language Design

   1. Lazy v. Yield: Incremental, Linear Pretty-Printing

      • Oleg Kiselyov, Simon Peyton-Jones, Amr Sabry

      Pages 190-206

   2. Dynamic Software Update for Message Passing Programs

      • Gabrielle Anderson, Julian Rathke

      Pages 207-222

   3. A Synchronous Language with Partial Delay Specification for Real-Time Systems Programming

      • Rémy Wyss, Frédéric Boniol, Julien Forget, Claire Pagetti

      Pages 223-238

8. Session VII: Dynamic Analysis

   1. Concurrent Test Generation Using Concolic Multi-trace Analysis

      • Niloofar Razavi, Franjo Ivančić, Vineet Kahlon, Aarti Gupta

      Pages 239-255

   2. Java Bytecode Instrumentation Made Easy: The DiSL Framework for Dynamic Program Analysis

      • Lukáš Marek, Yudi Zheng, Danilo Ansaloni, Aibek Sarimbekov, Walter Binder, Petr Tůma et al.

      Pages 256-263

9. Session VIII: Complexity and Semantics

   1. Indexed Realizability for Bounded-Time Programming with References and Type Fixpoints

      • Aloïs Brunel, Antoine Madet

      Pages 264-279

This book constitutes the refereed proceedings of the 10th Asian Symposium on Programming Languages and Systems, APLAS 2012, held in Kyoto, Japan, in December 2012. The 24 revised full papers presented together with the abstracts of 3 invited talks were carefully reviewed and selected from 58 submissions. The papers are organized in topical sections on concurrency, security, static analysis, language design, dynamic analysis, complexity and semantics, and program logics and verification.

• aspect-oriented programming
• constraints
• model-checking
• program analysis
• term rewriting

• Computer Science Department, University of California, San Diego, La Jolla, USA

  Ranjit Jhala

• Graduate School of Informatics, Kyoto University, Sakyo-ku, Japan

  Atsushi Igarashi

Policies and ethics