default search action
APLAS 2009: Seoul, Korea
- Zhenjiang Hu:
Programming Languages and Systems, 7th Asian Symposium, APLAS 2009, Seoul, Korea, December 14-16, 2009. Proceedings. Lecture Notes in Computer Science 5904, Springer 2009, ISBN 978-3-642-10671-2
Invited Talks
- Koen Claessen:
The Twilight Zone: From Testing to Formal Specifications and Back Again. 1 - Naoki Kobayashi
:
Types and Recursion Schemes for Higher-Order Program Verification. 2-3 - Armando Solar-Lezama:
The Sketching Approach to Program Synthesis. 4-13
Program Analysis
- Hakjoo Oh:
Large Spurious Cycle in Global Static Analyses and Its Algorithmic Mitigation. 14-29 - Michal Segalov, Tal Lev-Ami, Roman Manevich, Ganesan Ramalingam, Mooly Sagiv:
Abstract Transformers for Thread Correlation Analysis. 30-46 - Rupesh Nasre
Scalable Context-Sensitive Points-to Analysis Using Multi-dimensional Bloom Filters. 47-62
Transformation and Optimization
- Akimasa Morihata
A Short Cut to Optimal Sequences. 63-78 - Shigeyuki Sato, Hideya Iwasaki
A Skeletal Parallel Framework with Fusion Optimizer for GPGPU Programming. 79-94 - Ben Lippmeier:
Witnessing Purity, Constancy and Mutability. 95-110
Type System
- Stefan Wehr, Peter Thiemann:
On the Decidability of Subtyping with Bounded Existential Types. 111-127 - Kohei Suenaga
Fractional Ownerships for Safe Memory Deallocation. 128-143 - Yi Lu, John Potter, Jingling Xue
Ownership Downgrading for Ownership Types. 144-160
Separation Logic
- Robert Dockins, Aquinas Hobor, Andrew W. Appel
A Fresh Look at Separation Algebras and Share Accounting. 161-177 - Gang Tan
Weak updates and separation logic. 178-193 - Jules Villard
Proving Copyless Message Passing. 194-209
Logic and Foundation Theory
- Roberto M. Amadio:
On Stratified Regions. 210-225 - Michele Pagani, Paolo Tranquilli:
Parallel Reduction in Resource Lambda-Calculus. 226-242 - Daisuke Kimura, Yoshihiko Kakutani:
Classical Natural Deduction for S4 Modal Logic. 243-258
Software Security and Verification
- Cristiano Calcagno, Dino Distefano, Viktor Vafeiadis
Bi-abductive Resource Invariant Synthesis. 259-274 - Yuan Dong, Kai Ren, Shengyuan Wang, Suqin Zhang:
Certify Once, Trust Anywhere: Modular Certification of Bytecode Programs for Certified Virtual Machine. 275-293 - Elvira Albert, Diego Esteban Alonso-Blas, Puri Arenas, Samir Genaim
Asymptotic Resource Usage Bounds. 294-310 - Nobuyuki Sato, Eijiro Sumii:
The Higher-Order, Call-by-Value Applied Pi-Calculus. 311-326 - Hongfei Fu
Branching Bisimilarity between Finite-State Systems and BPA or Normed BPP Is Polynomial-Time Decidable. 327-342 - Vincent Laviron, Francesco Logozzo:
Refining Abstract Interpretation-Based Static Analyses with Hints. 343-358
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-10-02 20:32 CEST 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: