|
Verified squared: does critical software deserve verified tools?
By Xavier Leroy 3 
· 0 
·
from
POPL 2010
·
published 01/2011
|
|
|
Points-to analysis with efficient strong updates
By Ondrej Lhoták, Kwok-Chiang Andrew Chung 1
· 0
·
from
POPL 2010
·
published 01/2011
|
|
|
Pick your contexts well: understanding object-sensitivity
By Yannis Smaragdakis, Martin Bravenboer, Ondrej Lhoták 1
· 0
·
from
POPL 2010
·
published 01/2011
|
|
|
Learning minimal abstractions
By Percy Liang, Omer Tripp, Mayur Naik 1
· 0
·
from
POPL 2010
·
published 01/2011
|
|
|
Relaxed-memory concurrency and verified compilation
By Jaroslav Ŝevčik, Viktor Vafeiadis, Francesco Zappa Nardelli, Suresh Jagannathan, Peter Sewell 1
· 0
·
from
POPL 2010
·
published 01/2011
|
|
|
Mathematizing C++ concurrency
By Mark Batty, Scott Owens, Susmit Sarkar, Peter Sewell, Tjark Weber 3
· 0
·
from
POPL 2010
·
published 01/2011
|
|
|
Formal verification of object layout for c++ multiple inheritance
By Tahina Ramananandro, Gabriel Dos Reis, Xavier Leroy 1
· 0
·
from
POPL 2010
·
published 01/2011
|
|
|
Static analysis of multi-staged programs via unstaging translation
By Wontae Choi, Baris Aktemur, Kwangkeun Yi, Makoto Tatsuta 1
· 0
·
from
POPL 2010
·
published 01/2011
|
|
|
Static analysis of interrupt-driven programs synchronized via the priority ceiling protocol
By Martin D. Schwarz, Helmut Seidl, Vesal Vojdani, Peter Lammich, Markus Müller-Olm 1
· 0
·
from
POPL 2010
·
published 01/2011
|
|
|
A parametric segmentation functor for fully automatic and scalable array content analysis
By Patrick Cousot, Radhia Cousot, Francesco Logozzo 1
· 0
·
from
POPL 2010
·
published 01/2011
|
|
|
Step-indexed kripke models over recursive worlds
By Lars Birkedal, Bernhard Reus, Jan Schwinghammer, Kristian Støvring, Jacob Thamsborg, Hongseok Yang 2
· 0
·
from
POPL 2010
·
published 01/2011
|
|
|
A kripke logical relation between ML and assembly
By Chung-Kil Hur, Derek Dreyer 1
· 0
·
from
POPL 2010
·
published 01/2011
|
|
|
A typed store-passing translation for general references
By François Pottier 1
· 0
·
from
POPL 2010
·
published 01/2011
|
|
|
A shape analysis for optimizing parallel graph programs
By Dimitrios Prountzos, Roman Manevich, Keshav Pingali, Kathryn S. McKinley 1
· 0
·
from
POPL 2010
·
published 01/2011
|
|
|
Calling context abstraction with shapes
By Xavier Rival, Bor-Yuh Evan Chang 1
· 0
·
from
POPL 2010
·
published 01/2011
|
|
|
Precise reasoning for programs using containers
By Isil Dillig, Thomas Dillig, Alex Aiken 1
· 0
·
from
POPL 2010
·
published 01/2011
|
|
|
Blame for all
By Amal Ahmed, Robert Bruce Findler, Jeremy G. Siek, Philip Wadler 1
· 0
·
from
POPL 2010
·
published 01/2011
|
|
|
Correct blame for contracts: no more scapegoating
By Christos Dimoulas, Robert Bruce Findler, Cormac Flanagan, Matthias Felleisen 2
· 0
·
from
POPL 2010
·
published 01/2011
|
|
|
Generative type abstraction and type-level computation
By Stephanie Weirich, Dimitrios Vytiniotis, Simon Peyton Jones, Steve Zdancewic 1
· 0
·
from
POPL 2010
·
published 01/2011
|
|
|
The design of kodu: a tiny visual programming language for children on the Xbox 360
By Matthew B. MacLaurin 1
· 0
·
from
POPL 2010
·
published 01/2011
|
|
|
A separation logic for refining concurrent objects
By Aaron Joseph Turon, Mitchell Wand 2
· 0
·
from
POPL 2010
·
published 01/2011
|
|
|
Modular reasoning for deterministic parallelism
By Mike Dodds, Suresh Jagannathan, Matthew J. Parkinson 1
· 0
·
from
POPL 2010
·
published 01/2011
|
|
|
Expressive modular fine-grained concurrency specification
By Bart Jacobs, Frank Piessens 1
· 0
·
from
POPL 2010
·
published 01/2011
|
|
|
The tree width of auxiliary storage
By P. Madhusudan, Gennaro Parlato 1
· 0
·
from
POPL 2010
·
published 01/2011
|
|
|
|
|
|
Vector addition system reachability problem: a short self-contained proof
By Jérôme Leroux 1
· 0
·
from
POPL 2010
·
published 01/2011
|
|
|
Automating string processing in spreadsheets using input-output examples
By Sumit Gulwani 1
· 0
·
from
POPL 2010
·
published 01/2011
|
|
|
Predicate abstraction and refinement for verifying multi-threaded programs
By Ashutosh Gupta, Corneliu Popeea, Andrey Rybalchenko 1
· 0
·
from
POPL 2010
·
published 01/2011
|
|
|
Geometry of synthesis III: resource management through type inference
By Dan R. Ghica, Alex Smith 1
· 0
·
from
POPL 2010
·
published 01/2011
|
|
|
Multivariate amortized resource analysis
By Jan Hoffmann, Klaus Aehlig, Martin Hofmann 1
· 0
·
from
POPL 2010
·
published 01/2011
|
Author profiles -- Claim your papers. Groups -- Create a group for your department. Paper revisions and version control.
Log in