default search action
APLAS 2011: Shanghai, China
- Hongseok Yang:
Programming Languages and Systems - 9th Asian Symposium, APLAS 2011, Kenting, Taiwan, December 5-7, 2011. Proceedings. Lecture Notes in Computer Science 7078, Springer 2011, ISBN 978-3-642-25317-1
Invited Talks
- Aditya V. Nori, Sriram K. Rajamani:
Program Analysis and Machine Learning: A Win-Win Deal. 1-2 - Ranjit Jhala:
Software Verification with Liquid Types. 3 - Nikolaj S. Bjørner:
Engineering Theories with Z3. 4-16 - Peter W. O'Hearn:
Algebra, Logic, Locality, Concurrency. 17-18
Session 1: Program Analysis
- David Monniaux
, Martin Bodin
Modular Abstractions of Reactive Nodes Using Disjunctive Invariants. 19-33 - Thao Dang, Thomas Martin Gawlitza:
Template-Based Unbounded Time Verification of Affine Hybrid Automata. 34-49 - Hakjoo Oh, Kwangkeun Yi:
Access-Based Localization with Bypassing. 50-65 - Fernando Sáenz-Pérez
A Deductive Database with Datalog and SQL Query Languages. 66-73
Session 2: Functional Programming
- Yun-Yan Chi, Shin-Cheng Mu
Constructing List Homomorphisms from Proofs. 74-88 - Dmitriy Traytel
Extending Hindley-Milner Type Inference with Coercive Structural Subtyping. 89-104 - Yuichiro Kokaji, Yukiyoshi Kameyama:
Polymorphic Multi-stage Language with Control Effects. 105-120
Session 3: Compiler
- Zhen Cao, Yuan Dong, Shengyuan Wang:
Compiler Backend Generation for Application Specific Instruction Set Processors. 121-136 - Benoit Boissinot, Florian Brandner
A Non-iterative Data-Flow Algorithm for Computing Liveness Sets in Strict SSA Programs. 137-154 - Yulei Sui
SPAS: Scalable Path-Sensitive Pointer Analysis on Full-Sparse SSA. 155-171
Session 4: Concurrency 1
- Alexander Malkis
On the Strength of Owicki-Gries for Resources. 172-187 - Ashutosh Gupta, Corneliu Popeea, Andrey Rybalchenko:
Solving Recursion-Free Horn Clauses over LI+UIF. 188-203 - Akimasa Morihata
Macro Tree Transformations of Linear Size Increase Achieve Cost-Optimal Parallelism. 204-219 - Jonas Magazinius, Aslan Askarov, Andrei Sabelfeld:
Decentralized Delimited Release. 220-237
Session 5: Concurrency 2
- Elvira Albert, Puri Arenas, Samir Genaim
Cost Analysis of Concurrent OO Programs. 238-254 - Ana L. Milanova, Wei Huang:
Static Object Race Detection. 255-271 - Jade Alglave, Daniel Kroening
Soundness of Data Flow Analyses for Weak Memory Models. 272-288
Session 6: Semantics
- Filippo Bonchi
Towards a General Theory of Barbs, Contexts and Labels. 289-304 - Ulrich Schöpp
Computation-by-Interaction with Effects. 305-321
Session 7: Certification and Logic
- Lukasz Fronc, Franck Pommereau:
Towards a Certified Petri Net Model-Checker. 322-336 - Patrick Baillot:
Elementary Linear Logic Revisited for Polynomial Time and an Exponential Time Hierarchy. 337-352 - Keiko Nakata, Tarmo Uustalu
A Proof Pearl with the Fan Theorem and Bar Induction - Walking through Infinite Trees with Mixed Induction and Coinduction. 353-368 - Casey Klein, Jay A. McCarthy, Steven Jaconette, Robert Bruce Findler:
A Semantics for Context-Sensitive Reduction Semantics. 369-383
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 2024-12-11 20:49 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: