Abstract is missing.
- Points-to analysis with efficient strong updatesOndrej Lhoták, Kwok-Chiang Andrew Chung. 3-16 [doi]
- Pick your contexts well: understanding object-sensitivityYannis Smaragdakis, Martin Bravenboer, Ondrej Lhoták. 17-30 [doi]
- Learning minimal abstractionsPercy Liang, Omer Tripp, Mayur Naik. 31-42 [doi]
- Relaxed-memory concurrency and verified compilationJaroslav Sevcík, Viktor Vafeiadis, Francesco Zappa Nardelli, Suresh Jagannathan, Peter Sewell. 43-54 [doi]
- Mathematizing C++ concurrencyMark Batty, Scott Owens, Susmit Sarkar, Peter Sewell, Tjark Weber. 55-66 [doi]
- Formal verification of object layout for c++ multiple inheritanceTahina Ramananandro, Gabriel Dos Reis, Xavier Leroy. 67-80 [doi]
- Static analysis of multi-staged programs via unstaging translationWontae Choi, Baris Aktemur, Kwangkeun Yi, Makoto Tatsuta. 81-92 [doi]
- Static analysis of interrupt-driven programs synchronized via the priority ceiling protocolMartin D. Schwarz, Helmut Seidl, Vesal Vojdani, Peter Lammich, Markus Müller-Olm. 93-104 [doi]
- A parametric segmentation functor for fully automatic and scalable array content analysisPatrick Cousot, Radhia Cousot, Francesco Logozzo. 105-118 [doi]
- Step-indexed kripke models over recursive worldsLars Birkedal, Bernhard Reus, Jan Schwinghammer, Kristian Støvring, Jacob Thamsborg, Hongseok Yang. 119-132 [doi]
- A kripke logical relation between ML and assemblyChung-Kil Hur, Derek Dreyer. 133-146 [doi]
- A typed store-passing translation for general referencesFrançois Pottier. 147-158 [doi]
- A shape analysis for optimizing parallel graph programsDimitrios Prountzos, Roman Manevich, Keshav Pingali, Kathryn S. McKinley. 159-172 [doi]
- Calling context abstraction with shapesXavier Rival, Bor-Yuh Evan Chang. 173-186 [doi]
- Precise reasoning for programs using containersIsil Dillig, Thomas Dillig, Alex Aiken. 187-200 [doi]
- Blame for allAmal Ahmed, Robby Findler, Jeremy G. Siek, Philip Wadler. 201-214 [doi]
- Correct blame for contracts: no more scapegoatingChristos Dimoulas, Robby Findler, Cormac Flanagan, Matthias Felleisen. 215-226 [doi]
- Generative type abstraction and type-level computationStephanie Weirich, Dimitrios Vytiniotis, Simon L. Peyton Jones, Steve Zdancewic. 227-240 [doi]
- The design of kodu: a tiny visual programming language for children on the Xbox 360Matthew MacLaurin. 241-246 [doi]
- A separation logic for refining concurrent objectsAaron Joseph Turon, Mitchell Wand. 247-258 [doi]
- Modular reasoning for deterministic parallelismMike Dodds, Suresh Jagannathan, Matthew J. Parkinson. 259-270 [doi]
- Expressive modular fine-grained concurrency specificationBart Jacobs, Frank Piessens. 271-282 [doi]
- The tree width of auxiliary storageP. Madhusudan, Gennaro Parlato. 283-294 [doi]
- Fresh-register automataNikos Tzevelekos. 295-306 [doi]
- Vector addition system reachability problem: a short self-contained proofJérôme Leroux. 307-316 [doi]
- Automating string processing in spreadsheets using input-output examplesSumit Gulwani. 317-330 [doi]
- Predicate abstraction and refinement for verifying multi-threaded programsAshutosh Gupta, Corneliu Popeea, Andrey Rybalchenko. 331-344 [doi]
- Geometry of synthesis III: resource management through type inferenceDan R. Ghica, Alex Smith. 345-356 [doi]
- Multivariate amortized resource analysisJan Hoffmann 0002, Klaus Aehlig, Martin Hofmann. 357-370 [doi]
- Symmetric lensesMartin Hofmann, Benjamin C. Pierce, Daniel Wagner. 371-384 [doi]
- Regular expression containment: coinductive axiomatization and computational interpretationFritz Henglein, Lasse Nielsen. 385-398 [doi]
- Making prophecies with decision predicatesByron Cook, Eric Koskinen. 399-410 [doi]
- Delay-bounded schedulingMichael Emmi, Shaz Qadeer, Zvonimir Rakamaric. 411-422 [doi]
- On interference abstractionsNishant Sinha, Chao Wang. 423-434 [doi]
- Dynamic multirole session typesPierre-Malo Deniélou, Nobuko Yoshida. 435-446 [doi]
- Practical affine typesJesse A. Tov, Riccardo Pucella. 447-458 [doi]
- Dynamic inference of static types for rubyJong-hoon (David) An, Avik Chaudhuri, Jeffrey S. Foster, Michael Hicks. 459-472 [doi]
- Robin Milner 1934--2010: verification, languages, and concurrencyAndrew D. Gordon, Robert Harper, John Harrison, Alan Jeffrey, Peter Sewell. 473-474 [doi]
- Space overhead bounds for dynamic memory management with partial compactionAnna Bendersky, Erez Petrank. 475-486 [doi]
- Laws of order: expensive synchronization in concurrent algorithms cannot be eliminatedHagit Attiya, Rachid Guerraoui, Danny Hendler, Petr Kuznetsov, Maged M. Michael, Martin T. Vechev. 487-498 [doi]
- Complexity of pattern-based verification for multithreaded programsJavier Esparza, Pierre Ganty. 499-510 [doi]
- EigenCFA: accelerating flow analysis with GPUsTarun Prabhu, Shreyas Ramalingam, Matthew Might, Mary W. Hall. 511-522 [doi]
- Bisimulation for quantum processesYuan Feng, Runyao Duan, Mingsheng Ying. 523-534 [doi]
- Safe nondeterminism in a deterministic-by-default parallel languageRobert L. Bocchino Jr., Stephen Heumann, Nima Honarmand, Sarita V. Adve, Vikram S. Adve, Adam Welc, Tatiana Shpeisman. 535-548 [doi]
- Loop transformations: convexity, pruning and optimizationLouis-Noël Pouchet, Uday Bondhugula, Cédric Bastoul, Albert Cohen, J. Ramanujam, P. Sadayappan, Nicolas Vasilache. 549-562 [doi]
- The essence of compiling with tracesShu-yu Guo, Jens Palsberg. 563-574 [doi]
- Resourceable, retargetable, modular instruction selection using a machine-independent, type-based tiling of low-level intermediate codeNorman Ramsey, João Dias. 575-586 [doi]
- Verifying higher-order functional programs with pattern-matching algebraic data typesC.-H. Luke Ong, Steven James Ramsay. 587-598 [doi]
- Streaming transducers for algorithmic verification of single-pass list-processing programsRajeev Alur, Pavol Cerný. 599-610 [doi]
- Decidable logics combining heap structures and dataP. Madhusudan, Gennaro Parlato, Xiaokang Qiu. 611-622 [doi]
- A technique for the effective and automatic reuse of classical compiler optimizations on multithreaded codePramod G. Joisha, Robert S. Schreiber, Prithviraj Banerjee, Hans-Juergen Boehm, Dhruva R. Chakrabarti. 623-636 [doi]