| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Christopher Monsanto, Nate Foster, Rob Harrison, David Walker |
A compiler and run-time system for network programming languages.  |
POPL  |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | John Field, Michael Hicks (eds.) |
Proceedings of the 39th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2012, Philadelphia, Pennsylvania, USA, January 22-28, 2012 |
POPL |
2012 |
DBLP BibTeX RDF |
|
| 1 | Martin Hofmann, Benjamin C. Pierce, Daniel Wagner |
Edit lenses. |
POPL |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Andrew P. Black, Peter W. O'Hearn |
Presentation of the SIGPLAN distinguished achievement award to Sir Charles Antony Richard Hoare, FRS, FREng, FBCS; and interview. |
POPL |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Ohad Kammar, Gordon D. Plotkin |
Algebraic foundations for effect-dependent optimisations. |
POPL |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Mayur Naik, Hongseok Yang, Ghila Castelnuovo, Mooly Sagiv |
Abstractions from tests. |
POPL |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Daniel R. Licata, Robert Harper |
Canonicity for 2-dimensional type theory. |
POPL |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Pierre-Yves Strub, Nikhil Swamy, Cédric Fournet, Juan Chen |
Self-certification: bootstrapping certified typecheckers in F* with Coq. |
POPL |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | J. Strother Moore |
Meta-level features in an industrial-strength theorem prover. |
POPL |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Tony Hoare |
Message of thanks: on the receipt of the 2011 ACM SIGPLAN distinguished achievement award. |
POPL |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Ahmed Bouajjani, Michael Emmi |
Analysis of recursively parallel programs. |
POPL |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Uday S. Reddy, John C. Reynolds |
Syntactic control of interference for separation logic. |
POPL |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Parthasarathy Madhusudan, Xiaokang Qiu, Andrei Stefanescu |
Recursive proofs for inductive tree data-structures. |
POPL |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Casey Klein, John Clements, Christos Dimoulas, Carl Eastlund, Matthias Felleisen, Matthew Flatt, Jay A. McCarthy, Jon Rafkind, Sam Tobin-Hochstadt, Robert Bruce Findler |
Run your research: on the effectiveness of lightweight mechanization. |
POPL |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Jianzhou Zhao, Santosh Nagarakatte, Milo M. K. Martin, Steve Zdancewic |
Formalizing the LLVM intermediate representation for verified program transformations. |
POPL |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Matko Botincan, Mike Dodds, Suresh Jagannathan |
Resource-sensitive synchronization inference by abduction. |
POPL |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Saurabh Joshi, Shuvendu K. Lahiri, Akash Lal |
Underspecified harnesses and interleaved bugs. |
POPL |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Jean Yang, Kuat Yessenov, Armando Solar-Lezama |
A language for automatically enforcing privacy policies. |
POPL |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas H. Austin, Cormac Flanagan |
Multiple facets for dynamic information flow. |
POPL |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Chucky Ellison, Grigore Rosu |
An executable formal semantics of C with applications. |
POPL |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Margus Veanes, Pieter Hooimeijer, Benjamin Livshits, David Molnar, Nikolaj Bjørner |
Symbolic finite state transducers: algorithms and applications. |
POPL |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Stephan van Staden, Cristiano Calcagno, Bertrand Meyer |
Freefinement. |
POPL |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Sooraj Bhat, Ashish Agarwal, Richard W. Vuduc, Alexander G. Gray |
A type theory for probability density functions. |
POPL |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Mikolaj Bojanczyk, Laurent Braud, Bartek Klin, Slawomir Lasota |
Towards nominal computation. |
POPL |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Phillip Heidegger, Annette Bieniusa, Peter Thiemann |
Access permission contracts for scripting languages. |
POPL |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Tahina Ramananandro, Gabriel Dos Reis, Xavier Leroy |
A mechanized semantics for C++ object construction and destruction, with applications to resource management. |
POPL |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Karl Naden, Robert Bocchino, Jonathan Aldrich, Kevin Bierhoff |
A type system for borrowing permissions. |
POPL |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Julien Cretin, Didier Rémy |
On the power of coercion abstraction. |
POPL |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Azadeh Farzan, Zachary Kincaid |
Verification of parameterized concurrent programs by modular reasoning about data and control. |
POPL |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Ali Sinan Köksal, Viktor Kuncak, Philippe Suter |
Constraints as control. |
POPL |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Jennifer Rexford |
Programming languages for programmable networks. |
POPL |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Mark Batty, Kayvan Memarian, Scott Owens, Susmit Sarkar, Peter Sewell |
Clarifying and compiling C/C++ concurrency: from C++11 to POWER. |
POPL |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Andrew Cave, Brigitte Pientka |
Programming with binders and indexed data-types. |
POPL |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Gilles Barthe, Boris Köpf, Federico Olmedo, Santiago Zanella Béguelin |
Probabilistic relational reasoning for differential privacy. |
POPL |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Yannis Smaragdakis, Jacob Evans, Caitlin Sadowski, Jaeheon Yi, Cormac Flanagan |
Sound predictive race detection in polynomial time. |
POPL |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Samik Basu, Tevfik Bultan, Meriem Ouederni |
Deciding choreography realizability. |
POPL |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Neelakantan R. Krishnaswami, Nick Benton, Jan Hoffmann 0002 |
Higher-order functional reactive programming in bounded space. |
POPL |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Hongjin Liang, Xinyu Feng, Ming Fu |
A rely-guarantee-based simulation for verifying concurrent program transformations. |
POPL |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Krystof Hoder, Laura Kovács, Andrei Voronkov |
Playing in the grey area of proofs. |
POPL |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Roshan P. James, Amr Sabry |
Information effects. |
POPL |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Zeyuan Allen Zhu, Sasa Misailovic, Jonathan A. Kelner, Martin C. Rinard |
Randomized accuracy-aware program transformations for efficient approximate computations. |
POPL |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Ravi Chugh, Patrick Maxim Rondon, Ranjit Jhala |
Nested refinements: a logic for duck typing. |
POPL |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Chung-Kil Hur, Derek Dreyer, Georg Neis, Viktor Vafeiadis |
The marriage of bisimulations and Kripke logical relations. |
POPL |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Aseem Rastogi, Avik Chaudhuri, Basil Hosmer |
The ins and outs of gradual type inference. |
POPL |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Patrick Cousot, Radhia Cousot |
An abstract interpretation framework for termination. |
POPL |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Philippa Gardner, Sergio Maffeis, Gareth David Smith |
Towards a program logic for JavaScript. |
POPL |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Thibaut Balabonski |
A unified approach to fully lazy sharing. |
POPL |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Donald Ray, Jay Ligatti |
Defining code-injection attacks. |
POPL |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Antonis Stampoulis, Zhong Shao |
Static and user-extensible proof checking. |
POPL |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Wontae Choi, Baris Aktemur, Kwangkeun Yi, Makoto Tatsuta |
Static analysis of multi-staged programs via unstaging translation. |
POPL |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Javier Esparza, Pierre Ganty |
Complexity of pattern-based verification for multithreaded programs. |
POPL |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Robert L. Bocchino Jr., Stephen Heumann, Nima Honarmand, Sarita V. Adve, Vikram S. Adve, Adam Welc, Tatiana Shpeisman |
Safe nondeterminism in a deterministic-by-default parallel language. |
POPL |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Lars Birkedal, Bernhard Reus, Jan Schwinghammer, Kristian Støvring, Jacob Thamsborg, Hongseok Yang |
Step-indexed kripke models over recursive worlds. |
POPL |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Matthew MacLaurin |
The design of kodu: a tiny visual programming language for children on the Xbox 360. |
POPL |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Fritz Henglein, Lasse Nielsen |
Regular expression containment: coinductive axiomatization and computational interpretation. |
POPL |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Ondrej Lhoták, Kwok-Chiang Andrew Chung |
Points-to analysis with efficient strong updates. |
POPL |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Jesse A. Tov, Riccardo Pucella |
Practical affine types. |
POPL |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Jaroslav Sevcík, Viktor Vafeiadis, Francesco Zappa Nardelli, Suresh Jagannathan, Peter Sewell |
Relaxed-memory concurrency and verified compilation. |
POPL |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Martin D. Schwarz, Helmut Seidl, Vesal Vojdani, Peter Lammich, Markus Müller-Olm |
Static analysis of interrupt-driven programs synchronized via the priority ceiling protocol. |
POPL |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Christos Dimoulas, Robert Bruce Findler, Cormac Flanagan, Matthias Felleisen |
Correct blame for contracts: no more scapegoating. |
POPL |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Nikos Tzevelekos |
Fresh-register automata. |
POPL |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Yannis Smaragdakis, Martin Bravenboer, Ondrej Lhoták |
Pick your contexts well: understanding object-sensitivity. |
POPL |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Pierre-Malo Deniélou, Nobuko Yoshida |
Dynamic multirole session types. |
POPL |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Bart Jacobs, Frank Piessens |
Expressive modular fine-grained concurrency specification. |
POPL |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Xavier Leroy |
Verified squared: does critical software deserve verified tools? |
POPL |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | P. Madhusudan, Gennaro Parlato, Xiaokang Qiu |
Decidable logics combining heap structures and data. |
POPL |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | C.-H. Luke Ong, Steven James Ramsay |
Verifying higher-order functional programs with pattern-matching algebraic data types. |
POPL |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Jérôme Leroux |
Vector addition system reachability problem: a short self-contained proof. |
POPL |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Stephanie Weirich, Dimitrios Vytiniotis, Simon L. Peyton Jones, Steve Zdancewic |
Generative type abstraction and type-level computation. |
POPL |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Rajeev Alur, Pavol Cerný |
Streaming transducers for algorithmic verification of single-pass list-processing programs. |
POPL |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | P. Madhusudan, Gennaro Parlato |
The tree width of auxiliary storage. |
POPL |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Isil Dillig, Thomas Dillig, Alex Aiken |
Precise reasoning for programs using containers. |
POPL |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Anna Bendersky, Erez Petrank |
Space overhead bounds for dynamic memory management with partial compaction. |
POPL |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Sumit Gulwani |
Automating string processing in spreadsheets using input-output examples. |
POPL |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Ashutosh Gupta, Corneliu Popeea, Andrey Rybalchenko |
Predicate abstraction and refinement for verifying multi-threaded programs. |
POPL |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Chung-Kil Hur, Derek Dreyer |
A kripke logical relation between ML and assembly. |
POPL |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Andrew D. Gordon, Robert Harper, John Harrison, Alan Jeffrey, Peter Sewell |
Robin Milner 1934--2010: verification, languages, and concurrency. |
POPL |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Mike Dodds, Suresh Jagannathan, Matthew J. Parkinson |
Modular reasoning for deterministic parallelism. |
POPL |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas Ball, Mooly Sagiv (eds.) |
Proceedings of the 38th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2011, Austin, TX, USA, January 26-28, 2011 |
POPL |
2011 |
DBLP BibTeX RDF |
|
| 1 | Dan R. Ghica, Alex Smith |
Geometry of synthesis III: resource management through type inference. |
POPL |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Emmi, Shaz Qadeer, Zvonimir Rakamaric |
Delay-bounded scheduling. |
POPL |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Amal Ahmed, Robert Bruce Findler, Jeremy G. Siek, Philip Wadler |
Blame for all. |
POPL |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Xavier Rival, Bor-Yuh Evan Chang |
Calling context abstraction with shapes. |
POPL |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Pramod G. Joisha, Robert S. Schreiber, Prithviraj Banerjee, Hans-Juergen Boehm, Dhruva R. Chakrabarti |
A technique for the effective and automatic reuse of classical compiler optimizations on multithreaded code. |
POPL |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Yuan Feng, Runyao Duan, Mingsheng Ying |
Bisimulation for quantum processes. |
POPL |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Aaron Joseph Turon, Mitchell Wand |
A separation logic for refining concurrent objects. |
POPL |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Hagit Attiya, Rachid Guerraoui, Danny Hendler, Petr Kuznetsov, Maged M. Michael, Martin T. Vechev |
Laws of order: expensive synchronization in concurrent algorithms cannot be eliminated. |
POPL |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Jan Hoffmann 0002, Klaus Aehlig, Martin Hofmann |
Multivariate amortized resource analysis. |
POPL |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Tahina Ramananandro, Gabriel Dos Reis, Xavier Leroy |
Formal verification of object layout for c++ multiple inheritance. |
POPL |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Byron Cook, Eric Koskinen |
Making prophecies with decision predicates. |
POPL |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Dimitrios Prountzos, Roman Manevich, Keshav Pingali, Kathryn S. McKinley |
A shape analysis for optimizing parallel graph programs. |
POPL |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Patrick Cousot, Radhia Cousot, Francesco Logozzo |
A parametric segmentation functor for fully automatic and scalable array content analysis. |
POPL |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Norman Ramsey, João Dias |
Resourceable, retargetable, modular instruction selection using a machine-independent, type-based tiling of low-level intermediate code. |
POPL |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Shu-yu Guo, Jens Palsberg |
The essence of compiling with traces. |
POPL |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Percy Liang, Omer Tripp, Mayur Naik |
Learning minimal abstractions. |
POPL |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Martin Hofmann, Benjamin C. Pierce, Daniel Wagner |
Symmetric lenses. |
POPL |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Tarun Prabhu, Shreyas Ramalingam, Matthew Might, Mary W. Hall |
EigenCFA: accelerating flow analysis with GPUs. |
POPL |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Jong-hoon (David) An, Avik Chaudhuri, Jeffrey S. Foster, Michael Hicks |
Dynamic inference of static types for ruby. |
POPL |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Nishant Sinha, Chao Wang |
On interference abstractions. |
POPL |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | François Pottier |
A typed store-passing translation for general references. |
POPL |
2011 |
DBLP DOI BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")