Abstract is missing.
- The Twilight Zone: From Testing to Formal Specifications and Back AgainKoen Claessen. 1 [doi]
- Types and Recursion Schemes for Higher-Order Program VerificationNaoki Kobayashi. 2-3 [doi]
- The Sketching Approach to Program SynthesisArmando Solar-Lezama. 4-13 [doi]
- Large Spurious Cycle in Global Static Analyses and Its Algorithmic MitigationHakjoo Oh. 14-29 [doi]
- Abstract Transformers for Thread Correlation AnalysisMichal Segalov, Tal Lev-Ami, Roman Manevich, Ganesan Ramalingam, Mooly Sagiv. 30-46 [doi]
- Scalable Context-Sensitive Points-to Analysis Using Multi-dimensional Bloom FiltersRupesh Nasre, Kaushik Rajan, Ramaswamy Govindarajan, Uday P. Khedker. 47-62 [doi]
- A Short Cut to Optimal SequencesAkimasa Morihata. 63-78 [doi]
- A Skeletal Parallel Framework with Fusion Optimizer for GPGPU ProgrammingShigeyuki Sato, Hideya Iwasaki. 79-94 [doi]
- Witnessing Purity, Constancy and MutabilityBen Lippmeier. 95-110 [doi]
- On the Decidability of Subtyping with Bounded Existential TypesStefan Wehr, Peter Thiemann. 111-127 [doi]
- Fractional Ownerships for Safe Memory DeallocationKohei Suenaga, Naoki Kobayashi. 128-143 [doi]
- Ownership Downgrading for Ownership TypesYi Lu 0003, John Potter, Jingling Xue. 144-160 [doi]
- A Fresh Look at Separation Algebras and Share AccountingRobert Dockins, Aquinas Hobor, Andrew W. Appel. 161-177 [doi]
- Weak updates and separation logicGang Tan, Zhong Shao, Xinyu Feng, Hongxu Cai. 178-193 [doi]
- Proving Copyless Message PassingJules Villard, Étienne Lozes, Cristiano Calcagno. 194-209 [doi]
- On Stratified RegionsRoberto M. Amadio. 210-225 [doi]
- Parallel Reduction in Resource Lambda-CalculusMichele Pagani, Paolo Tranquilli. 226-242 [doi]
- Classical Natural Deduction for S4 Modal LogicDaisuke Kimura, Yoshihiko Kakutani. 243-258 [doi]
- Bi-abductive Resource Invariant SynthesisCristiano Calcagno, Dino Distefano, Viktor Vafeiadis. 259-274 [doi]
- Certify Once, Trust Anywhere: Modular Certification of Bytecode Programs for Certified Virtual MachineYuan Dong, Kai Ren, Shengyuan Wang, Suqin Zhang. 275-293 [doi]
- Asymptotic Resource Usage BoundsElvira Albert, Diego Alonso, Puri Arenas, Samir Genaim, German Puebla. 294-310 [doi]
- The Higher-Order, Call-by-Value Applied Pi-CalculusNobuyuki Sato, Eijiro Sumii. 311-326 [doi]
- Branching Bisimilarity between Finite-State Systems and BPA or Normed BPP Is Polynomial-Time DecidableHongfei Fu. 327-342 [doi]
- Refining Abstract Interpretation-Based Static Analyses with HintsVincent Laviron, Francesco Logozzo. 343-358 [doi]