| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Helmut Seidl (eds.) |
Programming Languages and Systems - 21st European Symposium on Programming, ESOP 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 - April 1, 2012. Proceedings  |
ESOP  |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Ilya Sergey, Dave Clarke |
Gradual Ownership Types. |
ESOP |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Peter Hawkins, Alex Aiken, Kathleen Fisher, Martin C. Rinard, Mooly Sagiv |
Reasoning about Lock Placements. |
ESOP |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Gyesik Lee, Bruno C. d. S. Oliveira, Sungkeun Cho, Kwangkeun Yi |
GMeta: A Generic Formal Metatheory Framework for First-Order Representations. |
ESOP |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Pierre-Malo Deniélou, Nobuko Yoshida |
Multiparty Session Types Meet Communicating Automata. |
ESOP |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Neelakantan R. Krishnaswami, Nick Benton |
Adding Equations to System F Types. |
ESOP |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Sebastian Burckhardt, Daan Leijen, Manuel Fähndrich, Mooly Sagiv |
Eventually Consistent Transactions. |
ESOP |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Yi Lu 0003, John Potter, Chenyi Zhang, Jingling Xue |
A Type and Effect System for Determinism in Multithreaded Programs. |
ESOP |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Jun Inoue, Walid Taha |
Reasoning about Multi-stage Programs. |
ESOP |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Jorge A. Pérez, Luís Caires, Frank Pfenning, Bernardo Toninho |
Linear Logical Relations for Session-Based Concurrency. |
ESOP |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Bjarne Stroustrup |
Foundations of C++. |
ESOP |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Axel Habermaier, Alexander Knapp |
On the Correctness of the SIMT Execution Model of GPUs. |
ESOP |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Jacques-Henri Jourdan, François Pottier, Xavier Leroy |
Validating LR(1) Parsers. |
ESOP |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Sebastian Burckhardt, Alexey Gotsman, Madanlal Musuvathi, Hongseok Yang |
Concurrent Library Correctness on the TSO Memory Model. |
ESOP |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Rohit Chadha, Stefan Ciobâca, Steve Kremer |
Automated Verification of Equivalence Properties of Cryptographic Protocols. |
ESOP |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Lisbeth Fajstrup, Eric Goubault, Emmanuel Haucourt, Samuel Mimram, Martin Raußen |
Trace Spaces: An Efficient New Technique for State-Space Reduction. |
ESOP |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Taolue Chen, Chris Chilton, Bengt Jonsson, Marta Z. Kwiatkowska |
A Compositional Specification Theory for Component Behaviours. |
ESOP |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Stephen Chang, Matthias Felleisen |
The Call-by-Need Lambda Calculus, Revisited. |
ESOP |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Ansgar Fehnker, Rob J. van Glabbeek, Peter Höfner, Annabelle McIver, Marius Portmann, Wee Lum Tan |
A Process Algebra for Wireless Mesh Networks. |
ESOP |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Paul Downen, Zena M. Ariola |
A Systematic Approach to Delimited Control with Multiple Prompts. |
ESOP |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Andreas Lochbihler |
Java and the Java Memory Model - A Unified, Machine-Checked Formalisation. |
ESOP |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Gilles Barthe, Delphine Demange, David Pichardie |
A Formally Verified SSA-Based Middle-End - Static Single Assignment Meets CompCert. |
ESOP |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Patrick Cousot, Michael Monerau |
Probabilistic Abstract Interpretation. |
ESOP |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Christos Dimoulas, Sam Tobin-Hochstadt, Matthias Felleisen |
Complete Monitors for Behavioral Contracts. |
ESOP |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Kento Emoto, Sebastian Fischer, Zhenjiang Hu |
Generate, Test, and Aggregate - A Calculation-based Framework for Systematic Parallel Programming with MapReduce. |
ESOP |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Ruy Ley-Wild, Umut A. Acar, Guy E. Blelloch |
Non-monotonic Self-Adjusting Computation. |
ESOP |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Mohamed Faouzi Atig, Ahmed Bouajjani, Sebastian Burckhardt, Madanlal Musuvathi |
What's Decidable about Weak Memory Models? |
ESOP |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Jonas Braband Jensen, Lars Birkedal |
Fictional Separation Logic. |
ESOP |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Sergueï Lenglet, Joe B. Wells |
Expansion for Universal Quantifiers. |
ESOP |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Morten Rhiger |
Staged Computation with Staged Lexical Scope. |
ESOP |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Christian Urban, Cezary Kaliszyk |
General Bindings and Alpha-Equivalence in Nominal Isabelle. |
ESOP |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Annette Bieniusa, Peter Thiemann |
Proving Isolation Properties for Software Transactional Memory. |
ESOP |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Arjun Guha, Claudiu Saftoiu, Shriram Krishnamurthi |
Typing Local Control and State Using Flow Analysis. |
ESOP |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Antoine Miné |
Static Analysis of Run-Time Errors in Embedded Critical Parallel C Programs. |
ESOP |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Andrzej S. Murawski, Nikos Tzevelekos |
Algorithmic Nominal Game Semantics. |
ESOP |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Sebastian Burckhardt, Daan Leijen |
Semantics of Concurrent Revisions. |
ESOP |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Gilles Barthe (eds.) |
Programming Languages and Systems - 20th European Symposium on Programming, ESOP 2011, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26-April 3, 2011. Proceedings |
ESOP |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas Martin Gawlitza, David Monniaux |
Improving Strategies via SMT Solving. |
ESOP |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Cédric Fournet, Jérémy Planul |
Compiling Information-Flow Security to Minimal Trusted Computing Bases. |
ESOP |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Jörg Brauer, Andy King |
Transfer Function Synthesis without Quantifier Elimination. |
ESOP |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Aquinas Hobor, Cristian Gherghina |
Barriers in Concurrent Separation Logic. |
ESOP |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Pascal Sotin, Bertrand Jeannet |
Precise Interprocedural Analysis in the Presence of Pointers to the Stack. |
ESOP |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Johannes Borgström, Andrew D. Gordon, Michael Greenberg, James Margetson, Jurgen Van Gael |
Measure Transformer Semantics for Bayesian Machine Learning. |
ESOP |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Colón, Sriram Sankaranarayanan |
Generalizing the Template Polyhedral Domain. |
ESOP |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | João Filipe Belo, Michael Greenberg, Atsushi Igarashi, Benjamin C. Pierce |
Polymorphic Contracts. |
ESOP |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Andrew W. Appel |
Verified Software Toolchain - (Invited Talk). |
ESOP |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Matthew J. Parkinson, Alexander J. Summers |
The Relationship between Separation Logic and Implicit Dynamic Frames. |
ESOP |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas P. Jensen, Florent Kirchner, David Pichardie |
Secure the Clones - Static Enforcement of Policies for Secure Object Copying. |
ESOP |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Luís Caires, Jorge A. Pérez, João Costa Seco, Hugo Torres Vieira, Lúcio Ferrão |
Type-Based Access Control in Data-Centric Systems. |
ESOP |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Viviana Bono, Chiara Messa, Luca Padovani |
Typing Copyless Message Passing. |
ESOP |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Trevor Jim, Yitzhak Mandelbaum |
A New Method for Dependent Parsing. |
ESOP |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Mathias John, Cédric Lhoussaine, Joachim Niehren, Cristian Versari |
Biochemical Reaction Rules with Constraints. |
ESOP |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Sebastian Hunt, David Sands |
From Exponential to Polynomial-Time Security Typing via Principal Types. |
ESOP |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Vasileios Koutavas, Matthew Hennessy |
A Testing Theory for a Higher-Order Cryptographic Language - (Extended Abstract). |
ESOP |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Liqian Chen, Antoine Miné, Ji Wang, Patrick Cousot |
Linear Absolute Value Relation Analysis. |
ESOP |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Arnab De, Deepak D'Souza, Rupesh Nasre |
Dataflow Analysis for Datarace-Free Programs. |
ESOP |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Dave King 0002, Susmit Jha, Divya Muthukumaran, Trent Jaeger, Somesh Jha, Sanjit A. Seshia |
Automating Security Mediation Placement. |
ESOP |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Alexander Wenner |
Weighted Dynamic Pushdown Networks. |
ESOP |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Torben Amtoft, John Hatcliff, Edwin Rodríguez |
Precise and Automated Contract-Based Reasoning for Verification and Certification of Information Flow Properties of Programs with Arrays. |
ESOP |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Robert Atkey |
Amortised Resource Analysis with Separation Logic. |
ESOP |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Ugo Dal Lago, Ulrich Schöpp |
Functional Programming in Sublinear Space. |
ESOP |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Rodrigo Ferreira, Xinyu Feng, Zhong Shao |
Parameterized Memory Models and Concurrent Separation Logic. |
ESOP |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Jean-Philippe Bernardy, Patrik Jansson, Koen Claessen |
Testing Polymorphic Properties. |
ESOP |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Kazutaka Matsuda, Shin-Cheng Mu, Zhenjiang Hu, Masato Takeichi |
A Grammar-Based Approach to Invertible Programs. |
ESOP |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Andrew D. Gordon (eds.) |
Programming Languages and Systems, 19th European Symposium on Programming, ESOP 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010. Proceedings |
ESOP |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Radha Jagadeesan, Corin Pitcher, James Riely |
Generative Operational Semantics for Relaxed Memory Models. |
ESOP |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Dimitrios Vardoulakis, Olin Shivers |
CFA2: A Context-Free Approach to Control-Flow Analysis. |
ESOP |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Adam Koprowski, Henri Binsztok |
TRX: A Formally Verified Parser Interpreter. |
ESOP |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Patrick Baillot, Marco Gaboardi, Virgile Mogbil |
A PolyTime Functional Language from Light Linear Logic. |
ESOP |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Jan Hoffmann 0002, Martin Hofmann |
Amortized Resource Analysis with Polynomial Potential. |
ESOP |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Andreas Lochbihler |
Verifying a Compiler for Java Threads. |
ESOP |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Sandrine Blazy, Benoît Robillard, Andrew W. Appel |
Formal Verification of Coalescing Graph-Coloring Register Allocation. |
ESOP |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | David A. Naumann, Anindya Banerjee |
Dynamic Boundaries: Information Hiding by Second Order Framing with First Order Assertions. |
ESOP |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Vijay D'Silva |
Propositional Interpolation and Abstract Interpretation. |
ESOP |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Nikhil Swamy, Juan Chen, Ravi Chugh |
Enforcing Stateful Authorization and Information Flow Policies in Fine. |
ESOP |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Sam Lindley, Philip Wadler |
The Audacity of Hope: Thoughts on Reclaiming the Database Dream. |
ESOP |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | John Wickerson, Mike Dodds, Matthew J. Parkinson |
Explicit Stabilisation for Modular Rely-Guarantee Reasoning. |
ESOP |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Isil Dillig, Thomas Dillig, Alex Aiken |
Fluid Updates: Beyond Strong vs. Weak Updates. |
ESOP |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Vincent Laviron, Bor-Yuh Evan Chang, Xavier Rival |
Separating Shape Graphs. |
ESOP |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Robert Soulé, Martin Hirzel, Robert Grimm, Bugra Gedik, Henrique Andrade, Vibhore Kumar, Kun-Lung Wu |
A Universal Calculus for Stream Processing Languages. |
ESOP |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Jyotirmoy V. Deshmukh, G. Ramalingam, Venkatesh Prasad Ranganath, Kapil Vaswani |
Logical Concurrency Control from Sequential Proofs. |
ESOP |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Gérard Boudol, Gustavo Petri |
A Theory of Speculative Computation. |
ESOP |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | K. Rustan M. Leino, Peter Müller, Jan Smans |
Deadlock-Free Channels and Locks. |
ESOP |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Matthew L. Meola, David Walker |
Faulty Logic: Reasoning about Fault Tolerant Programs. |
ESOP |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Jesse A. Tov, Riccardo Pucella |
Stateful Contracts for Affine Types. |
ESOP |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Keiko Nakata, Tarmo Uustalu |
A Hoare Logic for the Coinductive Trace-Based Big-Step Semantics of While. |
ESOP |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Aslan Askarov, Andrew Myers |
A Semantic Framework for Declassification and Endorsement. |
ESOP |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Ivan Lanese, Cátia Vaz, Carla Ferreira |
On the Expressive Power of Primitives for Compensation Handling. |
ESOP |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Assalé Adjé, Stéphane Gaubert, Eric Goubault |
Coupling Policy Iteration with Semi-definite Relaxation to Compute Accurate Numerical Invariants in Static Analysis. |
ESOP |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Mauro Jaskelioff |
Modular Monad Transformers. |
ESOP |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Ivana Filipovic, Peter W. O'Hearn, Noam Rinetzky, Hongseok Yang |
Abstraction for Concurrent Objects. |
ESOP |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Aditi Barthwal, Michael Norrish |
Verified, Executable Parsing. |
ESOP |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | K. Rustan M. Leino, Peter Müller |
A Basis for Verifying Multi-threaded Programs. |
ESOP |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Nicholas R. Cameron, Sophia Drossopoulou |
Existential Quantification for Variant Ownership. |
ESOP |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Hridesh Rajan, Jia Tao, Steve M. Shaner, Gary T. Leavens |
Tisa: A Language Design and Modular Verification Technique for Temporal Policies in Web Services. |
ESOP |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | John C. Reynolds |
Using Category Theory to Design Programming Languages. |
ESOP |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Matthew R. Lakin, Andrew M. Pitts |
Resolving Inductive Definitions with Binders in Higher-Order Typed Functional Programming. |
ESOP |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Delphine Demange, David Sands |
All Secrets Great and Small. |
ESOP |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | T. Stephen Strickland, Sam Tobin-Hochstadt, Matthias Felleisen |
Practical Variable-Arity Polymorphism. |
ESOP |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Giuseppe Castagna (eds.) |
Programming Languages and Systems, 18th European Symposium on Programming, ESOP 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009. Proceedings |
ESOP |
2009 |
DBLP DOI BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")