ask others

35. POPL 2008: San Francisco, California, USA

> Home > Conferences and Workshops > POPL

- view
  - electronic edition @ acm.org
- export record
  dblp key:
  - conf/popl/2008
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/popl/2008
George C. Necula, Philip Wadler:
Proceedings of the 35th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2008, San Francisco, California, USA, January 7-12, 2008. ACM 2008, ISBN 978-1-59593-689-9

Session 1

- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/popl/AydemirCPPW08
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/popl/AydemirCPPW08
Brian E. Aydemir, Arthur Charguéraud, Benjamin C. Pierce, Randy Pollack, Stephanie Weirich:
Engineering formal metatheory. 3-15
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/popl/TristanL08
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/popl/TristanL08
Jean-Baptiste Tristan, Xavier Leroy:
Formal verification of translation validators: a case study on instruction scheduling optimizations. 17-27
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/popl/Voigtlander08
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/popl/Voigtlander08
Janis Voigtländer:
Much ado about two (pearl): a pearl on parallel prefix computation. 29-35

Session 2

- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/popl/NeamtiuHFP08
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/popl/NeamtiuHFP08
Iulian Neamtiu, Michael Hicks, Jeffrey S. Foster, Polyvios Pratikakis:
Contextual effects for version-consistent dynamic software updatingalland safe concurrent programming. 37-49
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/popl/MooreG08
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/popl/MooreG08
Katherine F. Moore, Dan Grossman:
High-level small-step operational semantics for transactions. 51-62
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/popl/AbadiBHI08
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/popl/AbadiBHI08
Martín Abadi, Andrew Birrell, Tim Harris, Michael Isard:
Semantics of transactional memory and automatic mutual exclusion. 63-74

Session 3

- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/popl/ParkinsonB08
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/popl/ParkinsonB08
Matthew J. Parkinson, Gavin M. Bierman:
Separation logic, abstraction and inheritance. 75-86
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/popl/ChinDNQ08
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/popl/ChinDNQ08
Wei-Ngan Chin, Cristina David, Huu Hai Nguyen, Shengchao Qin:
Enhancing modular OO verification with separation logic. 87-99
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/popl/BrotherstonBC08
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/popl/BrotherstonBC08
James Brotherston, Richard Bornat, Cristiano Calcagno:
Cyclic proofs of program termination in separation logic. 101-112

Session 4

- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/popl/Asperti08
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/popl/Asperti08
Andrea Asperti:
The intensional content of Rice's theorem. 113-119
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/popl/GaboardiMR08
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/popl/GaboardiMR08
Marco Gaboardi, Jean-Yves Marion, Simona Ronchi Della Rocca:
A logical account of pspace. 121-131
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/popl/Danielsson08
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/popl/Danielsson08
Nils Anders Danielsson:
Lightweight semiformal time complexity analysis for purely functional data structures. 133-144

Session 5

- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/popl/GuptaHMRX08
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/popl/GuptaHMRX08
Ashutosh Gupta, Thomas A. Henzinger, Rupak Majumdar, Andrey Rybalchenko, Ru-Gang Xu:
Proving non-termination. 147-158
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/popl/Chaudhuri08
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/popl/Chaudhuri08
Swarat Chaudhuri:
Subcubic algorithms for recursive state machines. 159-169
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/popl/LahiriQ08
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/popl/LahiriQ08
Shuvendu K. Lahiri, Shaz Qadeer:
Back to the future: revisiting precise program verification using SMT solvers. 171-182

Session 6

- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/popl/UnkelL08
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/popl/UnkelL08
Christopher Unkel, Monica S. Lam:
Automatic inference of stationary fields: a generalization of java's final fields. 183-195
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/popl/ZhengR08
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/popl/ZhengR08
Xin Zheng, Radu Rugina:
Demand-driven alias analysis for C. 197-208
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/popl/NitaGC08
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/popl/NitaGC08
Marius Nita, Dan Grossman, Craig Chambers:
A theory of platform-dependent low-level software. 209-220

Session 7

- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/popl/YorshYC08
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/popl/YorshYC08
Greta Yorsh, Eran Yahav, Satish Chandra:
Generating precise and concise procedure summaries. 221-234
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/popl/GulwaniMT08
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/popl/GulwaniMT08
Sumit Gulwani, Bill McCloskey, Ashish Tiwari:
Lifting abstract interpreters to quantified logical domains. 235-246
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/popl/ChangR08
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/popl/ChangR08
Bor-Yuh Evan Chang, Xavier Rival:
Relational inductive shape analysis. 247-260

Session 8

- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/popl/CastagnaGP08
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/popl/CastagnaGP08
Giuseppe Castagna, Nils Gesbert, Luca Padovani:
A theory of contracts for web services. 261-272
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/popl/HondaYC08
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/popl/HondaYC08
Kohei Honda, Nobuko Yoshida, Marco Carbone:
Multiparty asynchronous session types. 273-284

Session 9

- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/popl/McBride08
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/popl/McBride08
Conor McBride:
Clowns to the left of me, jokers to the right (pearl): dissecting data structures. 287-295
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/popl/JohannG08
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/popl/JohannG08
Patricia Johann, Neil Ghani:
Foundations for structured programming with GADTs. 297-308
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/popl/AcarAB08
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/popl/AcarAB08
Umut A. Acar, Amal Ahmed, Matthias Blume:
Imperative self-adjusting computation. 309-322

Session 10

- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/popl/FournetR08
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/popl/FournetR08
Cédric Fournet, Tamara Rezk:
Cryptographically sound implementations for typed information-flow security. 323-335
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/popl/Laud08
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/popl/Laud08
Peeter Laud:
On the computational soundness of cryptographically masked flows. 337-348
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/popl/AlaviGG08
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/popl/AlaviGG08
Hamed Seiied Alavi, Seth Gilbert, Rachid Guerraoui:
Extensible encoding of type hierarchies. 349-358

Session 11

- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/popl/Zeilberger08
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/popl/Zeilberger08
Noam Zeilberger:
Focusing and higher-order abstract syntax. 359-369
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/popl/Pientka08
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/popl/Pientka08
Brigitte Pientka:
A type-theoretic foundation for programming with higher-order abstract syntax and first-class substitutions. 371-382
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/popl/HerbelinG08
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/popl/HerbelinG08
Hugo Herbelin, Silvia Ghilezan:
An approach to call-by-name delimited continuations. 383-394

Session 12

- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/popl/Tobin-HochstadtF08
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/popl/Tobin-HochstadtF08
Sam Tobin-Hochstadt, Matthias Felleisen:
The design and implementation of typed scheme. 395-406
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/popl/BohannonFPPS08
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/popl/BohannonFPPS08
Aaron Bohannon, J. Nathan Foster, Benjamin C. Pierce, Alexandre Pilkiewicz, Alan Schmitt:
Boomerang: resourceful lenses for string data. 407-419
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/popl/FisherWZW08
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/popl/FisherWZW08
Kathleen Fisher, David Walker, Kenny Qili Zhu, Peter White:
From dirt to shovels: fully automatic tool generation from ad hoc data. 421-434
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/popl/Fontana08
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/popl/Fontana08
Walter Fontana:
Systems biology, models, and concurrency. 1-2
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/popl/McMillan08
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/popl/McMillan08
Kenneth L. McMillan:
Relevance heuristics for program analysis. 145-146
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/popl/Minsky08
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/popl/Minsky08
Yaron Minsky:
Caml trading. 285

maintained by

, founded at