default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDAPLAS 2012: Kyoto, Japan
- Ranjit Jhala, Atsushi Igarashi
:
Programming Languages and Systems - 10th Asian Symposium, APLAS 2012, Kyoto, Japan, December 11-13, 2012. Proceedings. Lecture Notes in Computer Science 7705, Springer 2012, ISBN 978-3-642-35181-5
Session I: Invited Talk
- Jan Vitek:
Planet Dynamic or: How I Learned to Stop Worrying and Love Reflection. 1
Session II: Concurrency
- Siliang Li, Yu David Liu, Gang Tan:
JATO: Native Code Atomicity for Java. 2-17 - Yi Lu, John Potter, Jingling Xue:
Ownership Types for Object Synchronisation. 18-33
Session III: Security
- Thomas H. Austin, Cormac Flanagan, Martín Abadi:
A Functional View of Imperative Information Flow. 34-49 - Lennart Beringer:
End-to-end Multilevel Hybrid Information Flow Control. 50-65 - Radha Jagadeesan, Corin Pitcher, James Riely:
Succour to the Confused Deputy - Types for Capabilities. 66-81 - Aseem Rastogi, Avik Chaudhuri, Rob Johnson:
Types and Access Controls for Cross-Domain Security in Flash. 82-97
Session IV: Static Analysis I
- Giulia Costantini, Pietro Ferrara, Agostino Cortesi:
Linear Approximation of Continuous Systems with Trapezoid Step Functions. 98-114 - Jorge A. Navas, Peter Schachte, Harald Søndergaard, Peter J. Stuckey:
Signedness-Agnostic Program Analysis: Precise Integer Bounds for Low-Level Code. 115-130 - Pascal Sotin, Xavier Rival:
Hierarchical Shape Abstraction of Dynamic Structures in Static Blocks. 131-147 - Krystof Hoder, Andreas Holzer, Laura Kovács, Andrei Voronkov:
Vinter: A Vampire-Based Tool for Interpolation. 148-156
Session V: Static Analysis II
- Kalmer Apinis, Helmut Seidl, Vesal Vojdani:
Side-Effecting Constraint Systems: A Swiss Army Knife for Program Analysis. 157-172 - Mehdi Bouaziz, Francesco Logozzo, Manuel Fähndrich:
Inference of Necessary Field Conditions with Abstract Interpretation. 173-189
Session VI: Language Design
- Oleg Kiselyov, Simon L. Peyton Jones, Amr Sabry:
Lazy v. Yield: Incremental, Linear Pretty-Printing. 190-206 - Gabrielle Anderson, Julian Rathke:
Dynamic Software Update for Message Passing Programs. 207-222 - Rémy Wyss, Frédéric Boniol, Julien Forget, Claire Pagetti:
A Synchronous Language with Partial Delay Specification for Real-Time Systems Programming. 223-238
Session VII: Dynamic Analysis
- Niloofar Razavi, Franjo Ivancic, Vineet Kahlon, Aarti Gupta:
Concurrent Test Generation Using Concolic Multi-trace Analysis. 239-255 - Lukás Marek, Yudi Zheng, Danilo Ansaloni, Aibek Sarimbekov, Walter Binder, Petr Tuma, Zhengwei Qi:
Java Bytecode Instrumentation Made Easy: The DiSL Framework for Dynamic Program Analysis. 256-263
Session VIII: Complexity and Semantics
- Aloïs Brunel, Antoine Madet:
Indexed Realizability for Bounded-Time Programming with References and Type Fixpoints. 264-279 - Martin Avanzini, Naohi Eguchi, Georg Moser:
A New Order-Theoretic Characterisation of the Polytime Computable Functions. 280-295 - Marek Materzok, Dariusz Biernacki:
A Dynamic Interpretation of the CPS Hierarchy. 296-311
Session IX: Invited Talk
- Greg Morrisett:
Scalable Formal Machine Models. 312-314
Session X: Program Logics and Verification
- Yu Guo, Xinyu Feng, Zhong Shao, Peizhi Shi:
Modular Verification of Concurrent Thread Management. 315-331 - David Costanzo, Zhong Shao:
A Case for Behavior-Preserving Actions in Separation Logic. 332-349 - James Brotherston, Nikos Gorogiannis, Rasmus Lerchedahl Petersen:
A Generic Cyclic Theorem Prover. 350-367 - Xuan Bach Le, Cristian Gherghina, Aquinas Hobor:
Decision Procedures over Sophisticated Fractional Permissions. 368-385
Session XI: Invited Talk
- Xavier Leroy:
Mechanized Semantics for Compiler Verification. 386-388
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2025-02-21 19:21 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
