- Ugo Dal Lago
, Barbara Petit:
The geometry of types. POPL 2013: 167-178 - Ruy Ley-Wild, Aleksandar Nanevski:
Subjective auxiliary state for coarse-grained concurrency. POPL 2013: 561-574 - Benjamin Livshits, Stephen Chong:
Towards fully automatic placement of security sanitizers and declassifiers. POPL 2013: 385-398 - Steffen Lösch, Andrew M. Pitts
:
Full abstraction for nominal Scott domains. POPL 2013: 3-14 - Richard Mayr, Lorenzo Clemente:
Advanced automata minimization. POPL 2013: 63-74 - Andrew C. Myers:
How languages can save distributed computing. POPL 2013: 315-316 - Jonghyun Park, Jeongbong Seo, Sungwoo Park:
A theorem prover for Boolean BI. POPL 2013: 219-232 - Ganesan Ramalingam, Kapil Vaswani:
Fault tolerance via idempotence. POPL 2013: 249-262 - Tiark Rompf, Arvind K. Sujeeth, Nada Amin, Kevin J. Brown, Vojin Jovanovic, HyoukJoong Lee, Manohar Jonnalagedda, Kunle Olukotun
, Martin Odersky:
Optimizing data structures in high-level programs: new directions for extensible compilers based on staging. POPL 2013: 497-510 - Sam Staton, Paul Blain Levy:
Universal properties of impure programming languages. POPL 2013: 179-192 - Kohei Suenaga
, Hiroyoshi Sekine, Ichiro Hasuo
:
Hyperstream processing systems: nonstandard modeling of continuous-time signals. POPL 2013: 417-430 - Ross Tate:
The sequential semantics of producer effect systems. POPL 2013: 15-26 - Nishant Totla, Thomas Wies
:
Complete instantiation-based interpolation. POPL 2013: 537-548 - Aaron Joseph Turon, Jacob Thamsborg, Amal Ahmed
, Lars Birkedal, Derek Dreyer:
Logical relations for fine-grained concurrency. POPL 2013: 343-356 - Hiroshi Unno
, Tachio Terauchi
, Naoki Kobayashi
:
Automating relatively complete verification of higher-order functional programs. POPL 2013: 75-86 - Ramakrishna Upadrasta
, Albert Cohen:
Sub-polyhedral scheduling using (unit-)two-variable-per-inequality polyhedra. POPL 2013: 483-496 - Dimitrios Vytiniotis, Simon L. Peyton Jones, Koen Claessen, Dan Rosén:
HALO: haskell to logic through denotational semantics. POPL 2013: 431-442 - Roberto Giacobazzi, Radhia Cousot:
The 40th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL '13, Rome, Italy - January 23 - 25, 2013. ACM 2013, ISBN 978-1-4503-1832-7 [contents]