science.io - 2010 ACM SIGPLAN-SIGACT symposium on Principles of programming languages

Conference: 2010 ACM SIGPLAN-SIGACT symposium on Principles of programming languages

Sort: New & recommended · Active · Top Recommended · New

	Engineering mathematics: the odd order theorem proof By Georges Gonthier 1 · 0 · from POPL 2010 · published 01/2013
	Full abstraction for nominal Scott domains By Steffen Lösch, Andrew M. Pitts 1 · 0 · from POPL 2010 · published 01/2013
	The sequential semantics of producer effect systems By Ross Tate 1 · 0 · from POPL 2010 · published 01/2013
	Copatterns: programming infinite structures by observations By Andreas Abel, Brigitte Pientka, David Thibodeau, Anton Setzer 1 · 0 · from POPL 2010 · published 01/2013
	Cache and I/O efficent functional algorithms By Guy E. Blelloch, Robert Harber 1 · 0 · from POPL 2010 · published 01/2013
	On the linear ranking problem for integer linear-constraint loops By Amir M. Ben-Amram, Samir Genaim 1 · 0 · from POPL 2010 · published 01/2013
	Advanced automata minimization By Richard Mayr, Lorenzo Clemente 1 · 0 · from POPL 2010 · published 01/2013
	Automating relatively complete verification of higher-order functional programs By Hiroshi Unno, Tachio Terauchi, Naoki Kobayashi 1 · 0 · from POPL 2010 · published 01/2013
	Abstraction and invariance for algebraically indexed types By Robert Atkey, Patricia Johann, Andrew Kennedy 1 · 0 · from POPL 2010 · published 01/2013
	Static and dynamic semantics of NoSQL languages By Véronique Benzaken, Giuseppe Castagna, Kim Nguyen, Jérôme Siméon 1 · 0 · from POPL 2010 · published 01/2013
	Quantitative abstraction refinement By Pavol Cerny, Thomas A. Henzinger, Arjun Radhakrishna 1 · 0 · from POPL 2010 · published 01/2013
	Inductive data flow graphs By Azadeh Farzan, Zachary Kincaid, Andreas Podelski 1 · 0 · from POPL 2010 · published 01/2013
	Abstract conflict driven learning By Vijay D'Silva, Leopold Haller, Daniel Kroening 1 · 0 · from POPL 2010 · published 01/2013
	The Lambda Lambda-Bar calculus: a dual calculus for unconstrained strategies By Alexis Goyet 1 · 0 · from POPL 2010 · published 01/2013
	The geometry of types By Ugo Dal lago, Barbara Petit 1 · 0 · from POPL 2010 · published 01/2013
	Universal properties of impure programming languages By Sam Staton, Paul Blain Levy 1 · 0 · from POPL 2010 · published 01/2013
	The power of parameterization in coinductive proof By Chung-Kil Hur, Georg Neis, Derek Dreyer, Viktor Vafeiadis 1 · 0 · from POPL 2010 · published 01/2013
	Meta-theory à la carte By Benjamin Delaware, Bruno C. d. S. Oliveira, Tom Schrijvers 1 · 0 · from POPL 2010 · published 01/2013
	A theorem prover for Boolean BI By Jonghyun Park, Jeongbong Seo, Sungwoo Park 1 · 0 · from POPL 2010 · published 01/2013
	Library abstraction for C/C++ concurrency By Mark Batty, Mike Dodds, Alexey Gotsman 1 · 0 · from POPL 2010 · published 01/2013
	Fault tolerance via idempotence By Ganesan Ramalingam, Kapil Vaswani 1 · 0 · from POPL 2010 · published 01/2013
	Deadlock-freedom-by-design: multiparty asynchronous global programming By Marco Carbone, Fabrizio Montesi 1 · 0 · from POPL 2010 · published 01/2013
	The type discipline of behavioral separation By Luís Caires, João C. Seco 1 · 0 · from POPL 2010 · published 01/2013
	Views: compositional reasoning for concurrent programs By Thomas Dinsdale-Young, Lars Birkedal, Philippa Gardner, Matthew Parkinson, Hongseok Yang 1 · 0 · from POPL 2010 · published 01/2013
	High-level separation logic for low-level code By Jonas B. Jensen, Nick Benton, Andrew Kennedy 1 · 0 · from POPL 2010 · published 01/2013
	Quantitative relaxation of concurrent data structures By Thomas A. Henzinger, Christoph M. Kirsch, Hannes Payer, Ali Sezgin, Ana Sokolova 1 · 0 · from POPL 2010 · published 01/2013
	Plan B: a buffered memory model for Java By Delphine Demange, Vincent Laporte, Lei Zhao, Suresh Jagannathan, David Pichardie, Jan Vitek 1 · 0 · from POPL 2010 · published 01/2013
	Logical relations for fine-grained concurrency By Aaron J. Turon, Jacob Thamsborg, Amal Ahmed, Lars Birkedal, Derek Dreyer 1 · 0 · from POPL 2010 · published 01/2013
	Linear dependent types for differential privacy By Marco Gaboardi, Andreas Haeberlen, Justin Hsu, Arjun Narayan, Benjamin C. Pierce 1 · 0 · from POPL 2010 · published 01/2013
	Fully abstract compilation to JavaScript By Cedric Fournet, Nikhil Swamy, Juan Chen, Pierre-Evariste Dagand, Pierre-Yves Strub, Benjamin Livshits 1 · 0 · from POPL 2010 · published 01/2013

more ->

Features coming soon:

Author profiles -- Claim your papers.
Groups -- Create a group for your department.
Paper revisions and version control.

Comments, suggestions, errors?