Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Andreas Lochbihler |
Probabilistic Functions and Cryptographic Oracles in Higher Order Logic. |
ESOP |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Emanuele D'Osualdo, C.-H. Luke Ong |
On Hierarchical Communication Topologies in the \pi -calculus. |
ESOP |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Jacques Carette, Amr Sabry |
Computing with Semirings and Weak Rig Groupoids. |
ESOP |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Nate Foster, Dexter Kozen, Konstantinos Mamouras, Mark Reitblatt, Alexandra Silva 0001 |
Probabilistic NetKAT. |
ESOP |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Nicolas Feltman, Carlo Angiuli, Umut A. Acar, Kayvon Fatahalian |
Automatically Splitting a Two-Stage Lambda Calculus. |
ESOP |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Tony Garnock-Jones, Matthias Felleisen |
Coordinated Concurrent Programming in Syndicate. |
ESOP |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Benjamin Lucien Kaminski, Joost-Pieter Katoen, Christoph Matheja, Federico Olmedo |
Weakest Precondition Reasoning for Expected Run-Times of Probabilistic Programs. |
ESOP |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Dimitrios Kouzapas, Jorge A. Pérez 0001, Nobuko Yoshida |
On the Relative Expressiveness of Higher-Order Session Processes. |
ESOP |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Richard A. Eisenberg, Stephanie Weirich, Hamidhasan G. Ahmed |
Visible Type Application. |
ESOP |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Pedro da Rocha Pinto, Thomas Dinsdale-Young, Philippa Gardner, Julian Sutherland |
Modular Termination Verification for Non-blocking Concurrency. |
ESOP |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Antoine Miné, Jason Breck, Thomas W. Reps |
An Algorithm Inspired by Constraint Solvers to Infer Inductive Invariants in Numeric Programs. |
ESOP |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Rodolphe Lepigre |
A Classical Realizability Model for a Semantical Value Restriction. |
ESOP |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Emile Bres, Rob J. van Glabbeek, Peter Höfner |
A Timed Process Algebra for Wireless Networks with an Application in Routing - (Extended Abstract). |
ESOP |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Gregory Malecha, Jesper Bengtson |
Extensible and Efficient Automation Through Reflective Tactics. |
ESOP |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Daniel Huang 0001, Greg Morrisett |
An Application of Computable Distributions to the Semantics of Probabilistic Programming Languages. |
ESOP |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Steven Keuchel, Stephanie Weirich, Tom Schrijvers |
Needle & Knot: Binder Boilerplate Tied Up. |
ESOP |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Alejandro Serrano 0001, Jurriaan Hage |
Type Error Diagnosis for Embedded DSLs by Two-Stage Specialized Type Rules. |
ESOP |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Scott Owens, Magnus O. Myreen, Ramana Kumar, Yong Kiam Tan |
Functional Big-Step Semantics. |
ESOP |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Alexander J. Summers, Peter Müller 0001 |
Actor Services - Modular Verification of Message Passing Programs. |
ESOP |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Johannes Åman Pohjola, Joachim Parrow |
The Expressive Power of Monotonic Parallel Composition. |
ESOP |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Hideyuki Kawabata, Hideya Iwasaki |
Improving Floating-Point Numbers: A Lazy Approach to Adaptive Accuracy Refinement for Numerical Computations. |
ESOP |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Pierre-Marie Pédrot, Alexis Saurin |
Classical By-Need. |
ESOP |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Christopher Schuster, Tim Disney, Cormac Flanagan |
Macrofication: Refactoring by Reverse Macro Expansion. |
ESOP |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Kasper Svendsen, Filip Sieczkowski, Lars Birkedal |
Transfinite Step-Indexing: Decoupling Concrete and Logical Steps. |
ESOP |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Cristina V. Lopes |
Simulating Cities: A Software Engineering Perspective. |
ESOP |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Yuting Wang 0001, Gopalan Nadathur |
A Higher-Order Abstract Syntax Approach to Verified Transformations on Functional Programs. |
ESOP |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Cláudio Belo Lourenço, Maria João Frade, Jorge Sousa Pinto |
Formalizing Single-Assignment Program Verification: An Adaptation-Complete Approach. |
ESOP |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Ambrose Bonnaire-Sergeant, Rowan Davies, Sam Tobin-Hochstadt |
Practical Optional Types for Clojure. |
ESOP |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Peter Thiemann 0001 (eds.) |
Programming Languages and Systems - 25th European Symposium on Programming, ESOP 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings |
ESOP |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Rajeev Alur, Dana Fisman, Mukund Raghothaman |
Regular Programming for Quantitative Properties of Data Streams. |
ESOP |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Burke Fetscher, Koen Claessen, Michal H. Palka, John Hughes 0001, Robert Bruce Findler |
Making Random Judgments: Automatically Generating Well-Typed Terms from the Definition of a Type-System. |
ESOP |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Cristina David, Daniel Kroening, Matt Lewis |
Propositional Reasoning about Safety and Termination of Heap-Manipulating Programs. |
ESOP |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Ilya Sergey, Aleksandar Nanevski, Anindya Banerjee 0001 |
Specifying and Verifying Concurrent Algorithms with Histories and Subjectivity. |
ESOP |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Ezgi Çiçek, Deepak Garg 0001, Umut A. Acar |
Refinement Types for Incremental Computational Complexity. |
ESOP |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Jeremy G. Siek, Michael M. Vitousek, Matteo Cimini, Sam Tobin-Hochstadt, Ronald Garcia |
Monotonic References for Efficient Gradual Typing. |
ESOP |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Parosh Aziz Abdulla, Mohamed Faouzi Atig, Ngo Tuan Phong |
The Best of Both Worlds: Trading Efficiency and Optimality in Fence Insertion for TSO. |
ESOP |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Alexey Gotsman, Hongseok Yang |
Composite Replicated Data Types. |
ESOP |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Ravi Chugh |
IsoLATE: A Type System for Self-recursion. |
ESOP |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Azalea Raad, Jules Villard, Philippa Gardner |
CoLoSL: Concurrent Local Subjective Logic. |
ESOP |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Tachio Terauchi, Hiroshi Unno 0001 |
Relaxed Stratification: A New Approach to Practical Complete Predicate Refinement. |
ESOP |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Giuseppe Castagna, Hyeonseung Im, Kim Nguyen 0001, Véronique Benzaken |
A Core Calculus for XQuery 3.0 - Combining Navigational and Pattern Matching Approaches. |
ESOP |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Sam Lindley, J. Garrett Morris |
A Semantics for Propositions as Sessions. |
ESOP |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Eric L. Seidel, Niki Vazou, Ranjit Jhala |
Type Targeted Testing. |
ESOP |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Michael Emmi, Pierre Ganty, Rupak Majumdar, Fernando Rosa-Velardo |
Analysis of Asynchronous Programs with Event-Based Synchronization. |
ESOP |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Manuel Eberl, Johannes Hölzl, Tobias Nipkow |
A Verified Compiler for Probability Density Functions. |
ESOP |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Jan Vitek (eds.) |
Programming Languages and Systems - 24th European Symposium on Programming, ESOP 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015. Proceedings |
ESOP |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Aws Albarghouthi, Josh Berdine, Byron Cook, Zachary Kincaid |
Spatial Interpolants. |
ESOP |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Wilmer Ricciotti |
Binding Structures as an Abstract Data Type. |
ESOP |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Pierre Neron, Andrew P. Tolmach, Eelco Visser, Guido Wachsmuth |
A Theory of Name Resolution. |
ESOP |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Andrew D. Gordon 0001, Claudio V. Russo, Marcin Szymczak 0002, Johannes Borgström, Nicolas Rolland, Thore Graepel, Daniel Tarlow |
Probabilistic Programs as Spreadsheet Queries. |
ESOP |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Gabriel Scherer, Didier Rémy |
Full Reduction in the Face of Absurdity. |
ESOP |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Jasmin Christian Blanchette, Andrei Popescu 0001, Dmitriy Traytel |
Witnessing (Co)datatypes. |
ESOP |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Mark Batty, Kayvan Memarian, Kyndylan Nienhuis, Jean Pichon-Pharabod, Peter Sewell |
The Problem of Programming Language Concurrency Semantics. |
ESOP |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Willem Penninckx, Bart Jacobs 0002, Frank Piessens |
Sound, Modular and Compositional Verification of the Input/Output Behavior of Programs. |
ESOP |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Pavol Cerný, Thomas A. Henzinger, Laura Kovács, Arjun Radhakrishna, Jakob Zwirchmayr |
Segment Abstraction for Worst-Case Execution Time Analysis. |
ESOP |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Neil Toronto, Jay McCarthy, David Van Horn |
Running Probabilistic Programs Backwards. |
ESOP |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Stefan Schulze Frielinghaus, Michael Petter, Helmut Seidl |
Inter-procedural Two-Variable Herbrand Equalities. |
ESOP |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Filip Sieczkowski, Kasper Svendsen, Lars Birkedal, Jean Pichon-Pharabod |
A Separation Logic for Fictional Sequential Consistency. |
ESOP |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Jan Hoffmann 0002, Zhong Shao |
Automatic Static Cost Analysis for Parallel Programs. |
ESOP |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Cristina David, Daniel Kroening, Matt Lewis |
Unrestricted Termination and Non-termination Arguments for Bit-Vector Programs. |
ESOP |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Stefano Calzavara, Michele Bugliesi, Silvia Crafa, Enrico Steffinlongo |
Fine-Grained Detection of Privilege Escalation Attacks on Browser Extensions. |
ESOP |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Arlen Cox, Bor-Yuh Evan Chang, Xavier Rival |
Desynchronized Multi-State Abstractions for Open Programs in Dynamic Languages. |
ESOP |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Tie Cheng, Xavier Rival |
Static Analysis of Spreadsheet Applications for Type-Unsafe Operations Detection. |
ESOP |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Pedro B. Vasconcelos, Steffen Jost, Mário Florido, Kevin Hammond |
Type-Based Allocation Analysis for Co-recursion in Lazy Functional Languages. |
ESOP |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Casper Bach Poulsen, Peter D. Mosses |
Deriving Pretty-Big-Step Semantics from Small-Step Semantics. |
ESOP |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Takuya Kuwahara, Tachio Terauchi, Hiroshi Unno 0001, Naoki Kobayashi 0001 |
Automatic Termination Verification for Higher-Order Functional Programs. |
ESOP |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Caterina Urban, Antoine Miné |
An Abstract Domain to Infer Ordinal-Valued Ranking Functions. |
ESOP |
2014 |
DBLP DOI BibTeX RDF |
|
1 | João Matos, João Garcia 0001, Paolo Romano 0002 |
REAP: Reporting Errors Using Alternative Paths. |
ESOP |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Martin Brain, Cristina David, Daniel Kroening, Peter Schrammel |
Model and Proof Generation for Heap-Manipulating Programs. |
ESOP |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Aloïs Brunel, Marco Gaboardi, Damiano Mazza, Steve Zdancewic |
A Core Quantitative Coeffect Calculus. |
ESOP |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Joaquín Aguado, Michael Mendler, Reinhard von Hanxleden, Insa Fuhrmann |
Grounding Synchronous Deterministic Concurrency in Sequential Programming. |
ESOP |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Peter Thiemann 0001, Luminous Fennell |
Gradual Typing for Annotated Type Systems. |
ESOP |
2014 |
DBLP DOI BibTeX RDF |
|
1 | John Launchbury, Dave Archer 0001, Thomas DuBuisson, Eric Mertens |
Application-Scale Secure Multiparty Computation. |
ESOP |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Aleksandar Nanevski, Ruy Ley-Wild, Ilya Sergey, Germán Andrés Delbianco |
Communicating State Transition Systems for Fine-Grained Concurrent Resources. |
ESOP |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Dan R. Ghica, Alex I. Smith |
Bounded Linear Types in a Resource Semiring. |
ESOP |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Akira Yoshimizu, Ichiro Hasuo, Claudia Faggian, Ugo Dal Lago |
Measurements in Proof Nets as Higher-Order Quantum Circuits. |
ESOP |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Kasper Svendsen, Lars Birkedal |
Impredicative Concurrent Abstract Predicates. |
ESOP |
2014 |
DBLP DOI BibTeX RDF |
|
1 | James T. Perconti, Amal Ahmed 0001 |
Verifying an Open Compiler Using Multi-language Semantics. |
ESOP |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Laura Bocchi, Hernán C. Melgratti, Emilio Tuosto |
Resolving Non-determinism in Choreographies. |
ESOP |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Aparna Kotha, Kapil Anand, Timothy Creech, Khaled Elwazeer, Matthew Smithson, Rajeev Barua |
Affine Parallelization of Loops with Run-Time Dependent Bounds from Binaries. |
ESOP |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Zhong Shao (eds.) |
Programming Languages and Systems - 23rd European Symposium on Programming, ESOP 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings |
ESOP |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Raphaëlle Crubillé, Ugo Dal Lago |
On Probabilistic Applicative Bisimulation and Call-by-Value λ-Calculi. |
ESOP |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Jesper Cockx, Frank Piessens, Dominique Devriese |
Overlapping and Order-Independent Patterns - Definitional Equality for All. |
ESOP |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Oren Zomer, Guy Golan-Gueta, G. Ramalingam, Mooly Sagiv |
Checking Linearizability of Encapsulated Extended Operations. |
ESOP |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Philippa Gardner, Gian Ntzik, Adam Wright |
Local Reasoning for the POSIX File System. |
ESOP |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Boris Düdder, Moritz Martens, Jakob Rehof |
Staged Composition Synthesis. |
ESOP |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Justin Slepak, Olin Shivers, Panagiotis Manolios |
An Array-Oriented Language with Static Rank Polymorphism. |
ESOP |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Maurice Herlihy, Eric Koskinen |
Composable Transactional Objects: A Position Paper. |
ESOP |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Lennart Beringer, Gordon Stewart 0001, Robert Dockins, Andrew W. Appel |
Verified Compilation for Shared-Memory C. |
ESOP |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Paul Downen, Zena M. Ariola |
The Duality of Construction. |
ESOP |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Ravi Mangal, Mayur Naik, Hongseok Yang |
A Correspondence between Two Approaches to Interprocedural Analysis in the Presence of Join. |
ESOP |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Véronique Benzaken, Evelyne Contejean, Stefania Dumbrava |
A Coq Formalization of the Relational Data Model. |
ESOP |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Zhoulai Fu |
Targeted Update - Aggressive Memory Abstraction Beyond Common Sense and Its Application on Static Numeric Analysis. |
ESOP |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Tony Garnock-Jones, Sam Tobin-Hochstadt, Matthias Felleisen |
The Network as a Language Construct. |
ESOP |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Radha Jagadeesan, Gustavo Petri, Corin Pitcher, James Riely |
Quarantining Weakness - Compositional Reasoning under Relaxed Memory Models (Extended Abstract). |
ESOP |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Gabriel Scherer, Didier Rémy |
GADTs Meet Subtyping. |
ESOP |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Martin Hofmann 0001, Dulma Rodriguez |
Automatic Type Inference for Amortised Heap-Space Analysis. |
ESOP |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Luís Caires, Jorge A. Pérez 0001, Frank Pfenning, Bernardo Toninho |
Behavioral Polymorphism and Parametricity in Session-Based Communication. |
ESOP |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Ivan Lanese, Michael Lienhardt, Claudio Antares Mezzina, Alan Schmitt, Jean-Bernard Stefani |
Concurrent Flexible Reversibility. |
ESOP |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Ahmed Bouajjani, Egor Derevenetc, Roland Meyer 0001 |
Checking and Enforcing Robustness against TSO. |
ESOP |
2013 |
DBLP DOI BibTeX RDF |
|