Log in
Sign up
Topic
▼
Journal/Conference
▼
Search
▼
|
Browse
|
Your feeds
|
Submit a paper
|
About
All of CS
·
AI
·
Data Mgmt.
·
Graphics
·
HCI
·
Networks & Comm.
·
OS
·
Parallel & Dist. Comp.
·
Prog. Languages
·
Security
·
Soft. Eng.
·
Theory & Algs.
Conference:
2010 ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Sort:
New & recommended
· Active ·
Top Recommended
·
New
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
Fresh-register automata
By Nikos Tzevelekos
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
more ->
Features coming soon:
Author profiles -- Claim your papers.
Groups -- Create a group for your department.
Paper revisions and version control.
Comments, suggestions, errors?