| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Nishant Totla, Thomas Wies |
Complete instantiation-based interpolation.  |
POPL  |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Benjamin Livshits, Stephen Chong |
Towards fully automatic placement of security sanitizers and declassifiers. |
POPL |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Pavol Cerný, Thomas A. Henzinger, Arjun Radhakrishna |
Quantitative abstraction refinement. |
POPL |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Chung-Kil Hur, Georg Neis, Derek Dreyer, Viktor Vafeiadis |
The power of parameterization in coinductive proof. |
POPL |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Robert Atkey, Patricia Johann, Andrew Kennedy |
Abstraction and invariance for algebraically indexed types. |
POPL |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Azadeh Farzan, Zachary Kincaid, Andreas Podelski |
Inductive data flow graphs. |
POPL |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Andreas Abel, Brigitte Pientka, David Thibodeau, Anton Setzer |
Copatterns: programming infinite structures by observations. |
POPL |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas A. Henzinger, Christoph M. Kirsch, Hannes Payer, Ali Sezgin, Ana Sokolova |
Quantitative relaxation of concurrent data structures. |
POPL |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Luís Caires, João Costa Seco |
The type discipline of behavioral separation. |
POPL |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Ugo Dal Lago, Barbara Petit |
The geometry of types. |
POPL |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Ross Tate |
The sequential semantics of producer effect systems. |
POPL |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Shriram Krishnamurthi |
From principles to programming languages (and back). |
POPL |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Aaron Joseph Turon, Jacob Thamsborg, Amal Ahmed, Lars Birkedal, Derek Dreyer |
Logical relations for fine-grained concurrency. |
POPL |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Sam Staton, Paul Blain Levy |
Universal properties of impure programming languages. |
POPL |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Véronique Benzaken, Giuseppe Castagna, Kim Nguyen 0001, Jérôme Siméon |
Static and dynamic semantics of NoSQL languages. |
POPL |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Hiroshi Unno, Tachio Terauchi, Naoki Kobayashi |
Automating relatively complete verification of higher-order functional programs. |
POPL |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas Dinsdale-Young, Lars Birkedal, Philippa Gardner, Matthew J. Parkinson, Hongseok Yang |
Views: compositional reasoning for concurrent programs. |
POPL |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Ramakrishna Upadrasta, Albert Cohen |
Sub-polyhedral scheduling using (unit-)two-variable-per-inequality polyhedra. |
POPL |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Matko Botincan, Domagoj Babic |
Sigma*: symbolic learning of input-output specifications. |
POPL |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Amir M. Ben-Amram, Samir Genaim |
On the linear ranking problem for integer linear-constraint loops. |
POPL |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Ali Sinan Köksal, Yewen Pu, Saurabh Srivastava, Rastislav Bodík, Jasmin Fisher, Nir Piterman |
Synthesis of biological models from mutation experiments. |
POPL |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael D. Adams |
Principled parsing for indentation-sensitive languages: revisiting landin's offside rule. |
POPL |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Filippo Bonchi, Damien Pous |
Checking NFA equivalence with bisimulations up to congruence. |
POPL |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Noah D. Goodman |
The principles and practice of probabilistic programming. |
POPL |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Mark Batty, Mike Dodds, Alexey Gotsman |
Library abstraction for C/C++ concurrency. |
POPL |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Andrew D. Gordon, Mihhail Aizatulin, Johannes Borgström, Guillaume Claret, Thore Graepel, Aditya V. Nori, Sriram K. Rajamani, Claudio V. Russo |
A model-learner pattern for bayesian reasoning. |
POPL |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Roberto Giacobazzi, Radhia Cousot (eds.) |
The 40th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL '13, Rome, Italy - January 23 - 25, 2013 |
POPL |
2013 |
DBLP BibTeX RDF |
|
| 1 | Steffen Lösch, Andrew M. Pitts |
Full abstraction for nominal Scott domains. |
POPL |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Alexis Goyet |
The Lambda Lambda-Bar calculus: a dual calculus for unconstrained strategies. |
POPL |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Delphine Demange, Vincent Laporte, Lei Zhao, Suresh Jagannathan, David Pichardie, Jan Vitek |
Plan B: a buffered memory model for Java. |
POPL |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Andrew C. Myers |
How languages can save distributed computing. |
POPL |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Guy E. Blelloch, Robert Harper |
Cache and I/O efficent functional algorithms. |
POPL |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Jonas Braband Jensen, Nick Benton, Andrew Kennedy |
High-level separation logic for low-level code. |
POPL |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Vijay D'Silva, Leopold Haller, Daniel Kroening |
Abstract conflict driven learning. |
POPL |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Marco Gaboardi, Andreas Haeberlen, Justin Hsu, Arjun Narayan, Benjamin C. Pierce |
Linear dependent types for differential privacy. |
POPL |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Dimitrios Vytiniotis, Simon L. Peyton Jones, Koen Claessen, Dan Rosén |
HALO: haskell to logic through denotational semantics. |
POPL |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Benjamin Delaware, Bruno C. d. S. Oliveira, Tom Schrijvers |
Meta-theory à la carte. |
POPL |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Kohei Suenaga, Hiroyoshi Sekine, Ichiro Hasuo |
Hyperstream processing systems: nonstandard modeling of continuous-time signals. |
POPL |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Earl T. Barr, Thanh Vo, Vu Le, Zhendong Su |
Automatic detection of floating-point exceptions. |
POPL |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Marco Carbone, Fabrizio Montesi |
Deadlock-freedom-by-design: multiparty asynchronous global programming. |
POPL |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Cédric Fournet, Nikhil Swamy, Juan Chen, Pierre-Évariste Dagand, Pierre-Yves Strub, Benjamin Livshits |
Fully abstract compilation to JavaScript. |
POPL |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Tiark Rompf, Arvind K. Sujeeth, Nada Amin, Kevin J. Brown, Vojin Jovanovic, HyoukJoong Lee, Manohar Jonnalagedda, Kunle Olukotun, Martin Odersky |
Optimizing data structures in high-level programs: new directions for extensible compilers based on staging. |
POPL |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Jonghyun Park, Jeongbong Seo, Sungwoo Park |
A theorem prover for Boolean BI. |
POPL |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Ruy Ley-Wild, Aleksandar Nanevski |
Subjective auxiliary state for coarse-grained concurrency. |
POPL |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Aquinas Hobor, Jules Villard |
The ramifications of sharing in data structures. |
POPL |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Richard Mayr, Lorenzo Clemente |
Advanced automata minimization. |
POPL |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Georges Gonthier |
Engineering mathematics: the odd order theorem proof. |
POPL |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Ganesan Ramalingam, Kapil Vaswani |
Fault tolerance via idempotence. |
POPL |
2013 |
DBLP DOI BibTeX RDF |
|
| 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 |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")