| 2013 | A model-learner pattern for bayesian reasoning. Andrew D. Gordon, Mihhail Aizatulin, Johannes Borgström, Guillaume Claret, Thore Graepel, Aditya V. Nori, Sriram K. Rajamani, Claudio V. Russo |
| 2013 | A theorem prover for Boolean BI. JongHyun Park, Jeongbong Seo, Sungwoo Park |
| 2013 | Abstract conflict driven learning. Vijay Victor D'Silva, Leopold Haller, Daniel Kroening |
| 2013 | Abstraction and invariance for algebraically indexed types. Robert Atkey, Patricia Johann, Andrew Kennedy |
| 2013 | Advanced automata minimization. Richard Mayr, Lorenzo Clemente |
| 2013 | Automatic detection of floating-point exceptions. Earl T. Barr, Thanh Vo, Vu Le, Zhendong Su |
| 2013 | Automating relatively complete verification of higher-order functional programs. Hiroshi Unno, Tachio Terauchi, Naoki Kobayashi |
| 2013 | Cache and I/O efficent functional algorithms. Guy E. Blelloch, Robert Harper |
| 2013 | Checking NFA equivalence with bisimulations up to congruence. Filippo Bonchi, Damien Pous |
| 2013 | Complete instantiation-based interpolation. Nishant Totla, Thomas Wies |
| 2013 | Copatterns: programming infinite structures by observations. Andreas Abel, Brigitte Pientka, David Thibodeau, Anton Setzer |
| 2013 | Deadlock-freedom-by-design: multiparty asynchronous global programming. Marco Carbone, Fabrizio Montesi |
| 2013 | Engineering mathematics: the odd order theorem proof. Georges Gonthier |
| 2013 | Fault tolerance via idempotence. Ganesan Ramalingam, Kapil Vaswani |
| 2013 | From principles to programming languages (and back). Shriram Krishnamurthi |
| 2013 | Full abstraction for nominal Scott domains. Steffen Lösch, Andrew M. Pitts |
| 2013 | Fully abstract compilation to JavaScript. Cédric Fournet, Nikhil Swamy, Juan Chen, Pierre-Évariste Dagand, Pierre-Yves Strub, Benjamin Livshits |
| 2013 | HALO: haskell to logic through denotational semantics. Dimitrios Vytiniotis, Simon L. Peyton Jones, Koen Claessen, Dan Rosén |
| 2013 | High-level separation logic for low-level code. Jonas Braband Jensen, Nick Benton, Andrew Kennedy |
| 2013 | How languages can save distributed computing. Andrew C. Myers |
| 2013 | Hyperstream processing systems: nonstandard modeling of continuous-time signals. Kohei Suenaga, Hiroyoshi Sekine, Ichiro Hasuo |
| 2013 | Inductive data flow graphs. Azadeh Farzan, Zachary Kincaid, Andreas Podelski |
| 2013 | Library abstraction for C/C++ concurrency. Mark Batty, Mike Dodds, Alexey Gotsman |
| 2013 | Linear dependent types for differential privacy. Marco Gaboardi, Andreas Haeberlen, Justin Hsu, Arjun Narayan, Benjamin C. Pierce |
| 2013 | Logical relations for fine-grained concurrency. Aaron Joseph Turon, Jacob Thamsborg, Amal Ahmed, Lars Birkedal, Derek Dreyer |
| 2013 | Meta-theory à la carte. Benjamin Delaware, Bruno C. d. S. Oliveira, Tom Schrijvers |
| 2013 | On the linear ranking problem for integer linear-constraint loops. Amir M. Ben-Amram, Samir Genaim |
| 2013 | Optimizing data structures in high-level programs: new directions for extensible compilers based on staging. Tiark Rompf, Arvind K. Sujeeth, Nada Amin, Kevin J. Brown, Vojin Jovanovic, HyoukJoong Lee, Manohar Jonnalagedda, Kunle Olukotun, Martin Odersky |
| 2013 | Plan B: a buffered memory model for Java. Delphine Demange, Vincent Laporte, Lei Zhao, Suresh Jagannathan, David Pichardie, Jan Vitek |
| 2013 | Principled parsing for indentation-sensitive languages: revisiting landin's offside rule. Michael D. Adams |
| 2013 | Quantitative abstraction refinement. Pavol Cerný, Thomas A. Henzinger, Arjun Radhakrishna |
| 2013 | Quantitative relaxation of concurrent data structures. Thomas A. Henzinger, Christoph M. Kirsch, Hannes Payer, Ali Sezgin, Ana Sokolova |
| 2013 | Sigma*: symbolic learning of input-output specifications. Matko Botincan, Domagoj Babic |
| 2013 | Static and dynamic semantics of NoSQL languages. Véronique Benzaken, Giuseppe Castagna, Kim Nguyen, Jérôme Siméon |
| 2013 | Sub-polyhedral scheduling using (unit-)two-variable-per-inequality polyhedra. Ramakrishna Upadrasta, Albert Cohen |
| 2013 | Subjective auxiliary state for coarse-grained concurrency. Ruy Ley-Wild, Aleksandar Nanevski |
| 2013 | Synthesis of biological models from mutation experiments. Ali Sinan Köksal, Yewen Pu, Saurabh Srivastava, Rastislav Bodík, Jasmin Fisher, Nir Piterman |
| 2013 | The 40th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL '13, Rome, Italy - January 23 - 25, 2013 Roberto Giacobazzi, Radhia Cousot |
| 2013 | The Lambda Lambda-Bar calculus: a dual calculus for unconstrained strategies. Alexis Goyet |
| 2013 | The geometry of types. Ugo Dal Lago, Barbara Petit |
| 2013 | The power of parameterization in coinductive proof. Chung-Kil Hur, Georg Neis, Derek Dreyer, Viktor Vafeiadis |
| 2013 | The principles and practice of probabilistic programming. Noah D. Goodman |
| 2013 | The ramifications of sharing in data structures. Aquinas Hobor, Jules Villard |
| 2013 | The sequential semantics of producer effect systems. Ross Tate |
| 2013 | The type discipline of behavioral separation. Luís Caires, João Costa Seco |
| 2013 | Towards fully automatic placement of security sanitizers and declassifiers. Benjamin Livshits, Stephen Chong |
| 2013 | Universal properties of impure programming languages. Sam Staton, Paul Blain Levy |
| 2013 | Views: compositional reasoning for concurrent programs. Thomas Dinsdale-Young, Lars Birkedal, Philippa Gardner, Matthew J. Parkinson, Hongseok Yang |