Abstract is missing.
- Planet Dynamic or: How I Learned to Stop Worrying and Love ReflectionJan Vitek. 1 [doi]
- JATO: Native Code Atomicity for JavaSiliang Li, Yu David Liu, Gang Tan. 2-17 [doi]
- Ownership Types for Object SynchronisationYi Lu 0003, John Potter, Jingling Xue. 18-33 [doi]
- A Functional View of Imperative Information FlowThomas H. Austin, Cormac Flanagan, Martín Abadi. 34-49 [doi]
- End-to-end Multilevel Hybrid Information Flow ControlLennart Beringer. 50-65 [doi]
- Succour to the Confused Deputy - Types for CapabilitiesRadha Jagadeesan, Corin Pitcher, James Riely. 66-81 [doi]
- Types and Access Controls for Cross-Domain Security in FlashAseem Rastogi, Avik Chaudhuri, Rob Johnson. 82-97 [doi]
- Linear Approximation of Continuous Systems with Trapezoid Step FunctionsGiulia Costantini, Pietro Ferrara, Agostino Cortesi. 98-114 [doi]
- Signedness-Agnostic Program Analysis: Precise Integer Bounds for Low-Level CodeJorge A. Navas, Peter Schachte, Harald Søndergaard, Peter J. Stuckey. 115-130 [doi]
- Hierarchical Shape Abstraction of Dynamic Structures in Static BlocksPascal Sotin, Xavier Rival. 131-147 [doi]
- Vinter: A Vampire-Based Tool for InterpolationKrystof Hoder, Andreas Holzer, Laura Kovács, Andrei Voronkov. 148-156 [doi]
- Side-Effecting Constraint Systems: A Swiss Army Knife for Program AnalysisKalmer Apinis, Helmut Seidl, Vesal Vojdani. 157-172 [doi]
- Inference of Necessary Field Conditions with Abstract InterpretationMehdi Bouaziz, Francesco Logozzo, Manuel Fähndrich. 173-189 [doi]
- Lazy v. Yield: Incremental, Linear Pretty-PrintingOleg Kiselyov, Simon L. Peyton Jones, Amr Sabry. 190-206 [doi]
- Dynamic Software Update for Message Passing ProgramsGabrielle Anderson, Julian Rathke. 207-222 [doi]
- A Synchronous Language with Partial Delay Specification for Real-Time Systems ProgrammingRémy Wyss, Frédéric Boniol, Julien Forget, Claire Pagetti. 223-238 [doi]
- Concurrent Test Generation Using Concolic Multi-trace AnalysisNiloofar Razavi, Franjo Ivancic, Vineet Kahlon, Aarti Gupta. 239-255 [doi]
- Java Bytecode Instrumentation Made Easy: The DiSL Framework for Dynamic Program AnalysisLukás Marek, Yudi Zheng, Danilo Ansaloni, Aibek Sarimbekov, Walter Binder, Petr Tuma, Zhengwei Qi. 256-263 [doi]
- Indexed Realizability for Bounded-Time Programming with References and Type FixpointsAloïs Brunel, Antoine Madet. 264-279 [doi]
- A New Order-Theoretic Characterisation of the Polytime Computable FunctionsMartin Avanzini, Naohi Eguchi, Georg Moser. 280-295 [doi]
- A Dynamic Interpretation of the CPS HierarchyMarek Materzok, Dariusz Biernacki. 296-311 [doi]
- Scalable Formal Machine ModelsGreg Morrisett. 312-314 [doi]
- Modular Verification of Concurrent Thread ManagementYu Guo, Xinyu Feng, Zhong Shao, Peizhi Shi. 315-331 [doi]
- A Case for Behavior-Preserving Actions in Separation LogicDavid Costanzo, Zhong Shao. 332-349 [doi]
- A Generic Cyclic Theorem ProverJames Brotherston, Nikos Gorogiannis, Rasmus Lerchedahl Petersen. 350-367 [doi]
- Decision Procedures over Sophisticated Fractional PermissionsXuan Bach Le, Cristian Gherghina, Aquinas Hobor. 368-385 [doi]
- Mechanized Semantics for Compiler VerificationXavier Leroy. 386-388 [doi]