|
Verified squared: does critical software deserve verified tools?
By Xavier Leroy 3 
· 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
|
|
|
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
|
|
|
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
|
|
|
A separation logic for refining concurrent objects
By Aaron Joseph Turon, Mitchell Wand 2
· 0
·
from
POPL 2010
·
published 01/2011
|
|
|
|
|
|
Dynamic inference of static types for ruby
By Jong-hoon (David) An, Avik Chaudhuri, Jeffrey S. Foster, Michael Hicks 2
· 0
·
from
POPL 2010
·
published 01/2011
|
|
|
EigenCFA: accelerating flow analysis with GPUs
By Tarun Prabhu, Shreyas Ramalingam, Matthew Might, Mary Hall 2
· 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