|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 113 occurrences of 91 keywords
|
|
|
|
|
Results
Found 914 publication records. Showing 914 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Soline Ducousso, Sébastien Bardin, Marie-Laure Potet |
Adversarial Reachability for Program-level Security Analysis.  |
ESOP  |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Daniel Lundén, Gizem Çaylak, Fredrik Ronquist, David Broman |
Automatic Alignment in Higher-Order Probabilistic Programming Languages. |
ESOP |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | june wunder, Arthur Azevedo de Amorim, Patrick Baillot, Marco Gaboardi |
Bunched Fuzz: Sensitivity for Vector Metrics. |
ESOP |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Su-Hyeon Kim, Youngwook Kim, Yo-Sub Han, Hyeonseung Im, Sang-Ki Ko |
Automated Grading of Regular Expressions. |
ESOP |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Wenjia Ye, Bruno C. d. S. Oliveira |
Pragmatic Gradual Polymorphism with References. |
ESOP |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Yuito Murase, Yuichi Nishiwaki, Atsushi Igarashi |
Contextual Modal Type Theory with Polymorphic Contexts. |
ESOP |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Diogo Poças, Diana Costa 0001, Andreia Mordido, Vasco T. Vasconcelos |
System Fμ ømega with Context-free Session Types. |
ESOP |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Flavio Ascari, Roberto Bruni, Roberta Gori |
Logics for Extensional, Locally Complete Analysis via Domain Refinements. |
ESOP |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Liliane-Joy Dandy, Emmanuel Jeandel, Vladimir Zamdzhiev |
Type-safe Quantum Programming in Idris. |
ESOP |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Pedro Rocha, Luís Caires |
Safe Session-Based Concurrency with Shared Linear State. |
ESOP |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Berk Çirisci, Constantin Enea, Suha Orhun Mutluergil |
Quorum Tree Abstractions of Consensus Protocols. |
ESOP |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Basim Khajwal, C.-H. Luke Ong, Dominik Wagner |
Fast and Correct Gradient-Based Optimisation for Probabilistic Programming via Smoothing. |
ESOP |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Todd Schmid, Tobias Kappé, Alexandra Silva 0001 |
A Complete Inference System for Skip-free Guarded Kleene Algebra with Tests. |
ESOP |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas Wies (eds.) |
Programming Languages and Systems - 32nd European Symposium on Programming, ESOP 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22-27, 2023, Proceedings |
ESOP |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Schwarz 0007, Simmo Saan, Helmut Seidl, Julian Erhard, Vesal Vojdani |
Clustered Relational Thread-Modular Abstract Interpretation with Local Traces. |
ESOP |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Alexander Knapp, Heribert Mühlberger, Bernhard Reus |
Interpreting Knowledge-based Programs. |
ESOP |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Momoko Hattori, Naoki Kobayashi 0001, Ryosuke Sato 0001 |
Gradual Tensor Shape Checking. |
ESOP |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Paulo Emílio de Vilhena, François Pottier |
A Type System for Effect Handlers and Dynamic Labels. |
ESOP |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Guillaume Allais |
Builtin Types Viewed as Inductive Families. |
ESOP |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Matthew Alan Le Brun, Ornela Dardha |
MAGπ: Types for Failure-Prone Communication. |
ESOP |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Farzaneh Derakhshan, Myra Dotzel, Milijana Surbatovich, Limin Jia 0001 |
Modal Crash Types for Intermittent Computing. |
ESOP |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Geoffrey S. H. Cruttwell, Bruno Gavranovic, Neil Ghani, Paul W. Wilson 0002, Fabio Zanasi |
Categorical Foundations of Gradient-Based Learning. |
ESOP |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Zeeshan Lakhani, Ankush Das, Henry DeYoung, Andreia Mordido, Frank Pfenning |
Polarized Subtyping. |
ESOP |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Zhixuan Yang, Marco Paviotti, Nicolas Wu, Birthe van den Berg, Tom Schrijvers |
Structured Handling of Scoped Effects. |
ESOP |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Daniel Lundén, Joey Öhman, Jan Kudlicka, Viktor Senderov, Fredrik Ronquist, David Broman |
Compiling Universal Probabilistic Programming Languages with Efficient Parallel Sequential Monte Carlo Inference. |
ESOP |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Sung-Shik Jongmans, Petra van den Bos |
A Predicate Transformer for Choreographies - Computing Preconditions in Choreographic Programming. |
ESOP |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Daniel Marshall 0001, Michael Vollmer 0003, Dominic Orchard |
Linearity and Uniqueness: An Entente Cordiale. |
ESOP |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Varsha P. Suresh, Rekha R. Pai, Deepak D'Souza, Meenakshi D'Souza, Sujit Kumar Chakrabarti |
Static Race Detection for Periodic Programs. |
ESOP |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Parosh Aziz Abdulla, Mohamed Faouzi Atig, Raj Aryan Agarwal, Adwait Godbole, S. Krishna 0004 |
Probabilistic Total Store Ordering. |
ESOP |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Rob van Glabbeek |
Comparing the expressiveness of the π-calculus and CCS. |
ESOP |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Jana Wagemaker, Nate Foster, Tobias Kappé, Dexter Kozen, Jurriaan Rot, Alexandra Silva 0001 |
Concurrent NetKAT - Modeling and analyzing stateful, concurrent networks. |
ESOP |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Artem Khyzha, Ori Lahav 0001 |
Abstraction for Crash-Resilient Objects. |
ESOP |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas Bauereiss, Brian Campbell 0001, Thomas Sewell, Alasdair Armstrong, Lawrence Esswood, Ian Stark, Graeme Barnes, Robert N. M. Watson, Peter Sewell |
Verified Security for the Morello Capability-enhanced Prototype Arm Architecture. |
ESOP |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Eleni Vafeiadi Bila, Brijesh Dongol, Ori Lahav 0001, Azalea Raad, John Wickerson |
View-Based Owicki-Gries Reasoning for Persistent x86-TSO. |
ESOP |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | David Monniaux, Sylvain Boulmé |
The Trusted Computing Base of the CompCert Verified Compiler. |
ESOP |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Cláudio Belo Lourenço, Jorge Sousa Pinto |
Why3-do: The Way of Harmonious Distributed System Proofs. |
ESOP |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Ilya Sergey (eds.) |
Programming Languages and Systems - 31st European Symposium on Programming, ESOP 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2-7, 2022, Proceedings |
ESOP |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Philipp Schuster, Jonathan Immanuel Brachthäuser, Klaus Ostermann |
Region-based Resource Management and Lexical Exception Handlers in Continuation-Passing Style. |
ESOP |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Ulrich Berger 0001, Hideki Tsuiki |
Extracting total Amb programs from proofs. |
ESOP |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Pritam Choudhury, Harley Eades III, Stephanie Weirich |
A Dependent Dependency Calculus. |
ESOP |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Ben Simner, Alasdair Armstrong, Jean Pichon-Pharabod, Christopher Pulte, Richard Grisenthwaite, Peter Sewell |
Relaxed virtual memory in Armv8-A. |
ESOP |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | James Wood, Robert Atkey |
A Framework for Substructural Type Systems. |
ESOP |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Kevin Batz, Ira Fesefeldt, Marvin Jansen, Joost-Pieter Katoen, Florian Keßler, Christoph Matheja, Thomas Noll 0001 |
Foundations for Entailment Checking in Quantitative Separation Logic. |
ESOP |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Alex C. Keizer, Henning Basold, Jorge A. Pérez 0001 |
Session Coalgebras: A Coalgebraic View on Session Types and Communication Protocols. |
ESOP |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Wilmer Ricciotti, James Cheney |
Query Lifting - Language-integrated query for heterogeneous nested collections. |
ESOP |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Carol Mak, C.-H. Luke Ong, Hugo Paquet, Dominik Wagner |
Densities of Almost Surely Terminating Probabilistic Programs are Differentiable Almost Everywhere. |
ESOP |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Lennart Beringer |
Verified Software Units. |
ESOP |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Matthijs Vákár |
Reverse AD at Higher Types: Pure, Principled and Denotationally Correct. |
ESOP |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Oren Ish-Shalom, Shachar Itzhaky, Noam Rinetzky, Sharon Shoham |
Run-time Complexity Bounds Using Squeezers. |
ESOP |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Harrison Goldstein, John Hughes 0001, Leonidas Lampropoulos, Benjamin C. Pierce |
Do Judge a Test by its Cover - Combining Combinatorial and Property-Based Testing. |
ESOP |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Daniel Lundén, Johannes Borgström, David Broman |
Correctness of Sequential Monte Carlo Inference for Probabilistic Programming Languages. |
ESOP |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Christophe Chareton, Sébastien Bardin, François Bobot, Valentin Perrelle, Benoît Valiron |
An Automated Deductive Verification Framework for Circuit-building Quantum Programs. |
ESOP |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Gian Pietro Farina, Stephen Chong, Marco Gaboardi |
Coupled Relational Symbolic Execution for Differential Privacy. |
ESOP |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Shu-Hung You, Robert Bruce Findler, Christos Dimoulas |
Sound and Complete Concolic Testing for Higher-order Functions. |
ESOP |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Marcel Moosbrugger, Ezio Bartocci, Joost-Pieter Katoen, Laura Kovács |
Automated Termination Analysis of Polynomial Probabilistic Programs. |
ESOP |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Marco Gaboardi, Shin-ya Katsumata, Dominic Orchard, Tetsuya Sato 0001 |
Graded Hoare Logic and its Categorical Semantics. |
ESOP |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Maximilian P. L. Haslbeck, Peter Lammich |
For a Few Dollars More - Verified Fine-Grained Algorithm Analysis Down to LLVM. |
ESOP |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Guilhem Jaber, Colin Riba |
Temporal Refinements for Guarded Recursive Types. |
ESOP |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Snigdha Athaiya, Raghavan Komondoor, K. Narayan Kumar |
Data Flow Analysis of Asynchronous Systems using Infinite Abstract Domains. |
ESOP |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Guilhem Jaber, Andrzej S. Murawski |
Complete trace models of state and control. |
ESOP |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Ankush Das, Henry DeYoung, Andreia Mordido, Frank Pfenning |
Nested Session Types. |
ESOP |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Jens Pagel, Florian Zuleger |
Strong-Separation Logic. |
ESOP |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Nobuko Yoshida (eds.) |
Programming Languages and Systems - 30th European Symposium on Programming, ESOP 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 - April 1, 2021, Proceedings |
ESOP |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Benjamin Moon, Harley Eades III, Dominic Orchard |
Graded Modal Dependent Type Theory. |
ESOP |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Parosh Aziz Abdulla, Mohamed Faouzi Atig, Adwait Godbole, S. Krishna 0004, Viktor Vafeiadis |
The Decidability of Verification under PS 2.0. |
ESOP |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Hugo Paquet |
Bayesian strategies: probabilistic programs as generalised graphical models. |
ESOP |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Sidi Mohamed Beillahi, Ahmed Bouajjani, Constantin Enea |
Checking Robustness Between Weak Transactional Consistency Models. |
ESOP |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Patrick Baillot, Alexis Ghyselen |
Types for Complexity of Parallel Computation in Pi-Calculus. |
ESOP |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Sung-Shik Jongmans, Nobuko Yoshida |
Exploring Type-Level Bisimilarity towards More Expressive Multiparty Session Types. |
ESOP |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Rong Pan, Qinheping Hu, Rishabh Singh, Loris D'Antoni |
Solving Program Sketches with Large Integer Values. |
ESOP |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Yusuke Matsushita 0002, Takeshi Tsukada, Naoki Kobayashi 0001 |
RustHorn: CHC-Based Verification for Rust Programs. |
ESOP |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Fabian Thorand, Jurriaan Hage |
Higher-Ranked Annotation Polymorphic Dependency Analysis. |
ESOP |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Adithya Murali, Lucas Peña, Christof Löding, P. Madhusudan |
A First-Order Logic with Frames. |
ESOP |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | John Toman, Ren Siqi, Kohei Suenaga, Atsushi Igarashi, Naoki Kobayashi 0001 |
ConSORT: Context- and Flow-Sensitive Ownership Refinement Types for Imperative Programs. |
ESOP |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Danel Ahman, Andrej Bauer |
Runners in Action. |
ESOP |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Siddharth Krishna 0001, Alexander J. Summers, Thomas Wies |
Local Reasoning for Global Graph Properties. |
ESOP |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Siddharth Krishna 0001, Michael Emmi, Constantin Enea, Dejan Jovanovic |
Verifying Visibility-Based Weak Consistency. |
ESOP |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Marco Paviotti, Simon Cooksey, Anouk Paradis, Daniel Wright 0001, Scott Owens, Mark Batty |
Modular Relaxed Dependencies in Weak Memory Concurrency. |
ESOP |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Gilles Barthe, Raphaëlle Crubillé, Ugo Dal Lago, Francesco Gavazzo |
On the Versatility of Open Logical Relations - Continuity, Automatic Differentiation, and a Containment Theorem. |
ESOP |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Vasco T. Vasconcelos, Filipe Casal, Bernardo Almeida, Andreia Mordido |
Mixed Sessions. |
ESOP |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Jacob Laurel, Sasa Misailovic |
Continualization of Probabilistic Programs With Correction. |
ESOP |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Ben Simner, Shaked Flur, Christopher Pulte, Alasdair Armstrong, Jean Pichon-Pharabod, Luc Maranget, Peter Sewell |
ARMv8-A System Semantics: Instruction Fetch in Relaxed Architectures. |
ESOP |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Kazutaka Matsuda |
Modular Inference of Linear Types for Multiplicity-Annotated Arrows. |
ESOP |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Kimball Germane, Michael D. Adams 0001 |
Liberate Abstract Garbage Collection from the Stack by Decomposing the Heap. |
ESOP |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Peter Müller 0001 (eds.) |
Programming Languages and Systems - 29th European Symposium on Programming, ESOP 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25-30, 2020, Proceedings |
ESOP |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Carmine Abate, Roberto Blanco, Stefan Ciobaca, Adrien Durier, Deepak Garg 0001, Catalin Hritcu, Marco Patrignani, Éric Tanter, Jérémy Thibault |
Trace-Relating Compiler Correctness and Secure Compilation. |
ESOP |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Konstantinos Mamouras |
Semantic Foundations for Deterministic Dataflow and Stream Processing. |
ESOP |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Morten Krogh-Jespersen, Amin Timany, Marit Edna Ohlenbusch, Simon Oddershede Gregersen, Lars Birkedal |
Aneris: A Mechanised Logic for Modular Reasoning about Distributed Systems. |
ESOP |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Krishnendu Chatterjee, Amir Kafshdar Goharshady, Rasmus Ibsen-Jensen, Andreas Pavlogiannis |
Optimal and Perfectly Parallel Algorithms for On-demand Data-Flow Analysis. |
ESOP |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Sreeja S. Nair, Gustavo Petri, Marc Shapiro 0001 |
Proving the Safety of Highly-Available Distributed Objects. |
ESOP |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | William Mansky, Wolf Honoré, Andrew W. Appel |
Connecting Higher-Order Separation Logic to a First-Order Outside World. |
ESOP |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Ákos Hajdu, Dejan Jovanovic |
SMT-Friendly Formalization of the Solidity Memory Model. |
ESOP |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Andreea Costea, Amy Zhu, Nadia Polikarpova, Ilya Sergey |
Concise Read-Only Specifications for Better Synthesis of Programs with Pointers. |
ESOP |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Jack Williams 0001, Nima Joharizadeh, Andrew D. Gordon 0001, Advait Sarkar |
Higher-Order Spreadsheets with Spilled Arrays. |
ESOP |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Rose Bohrer, André Platzer |
Constructive Game Logic. |
ESOP |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Francesco Dagnino, Viviana Bono, Elena Zucca, Mariangiola Dezani-Ciancaglini |
Soundness Conditions for Big-Step Semantics. |
ESOP |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Rob van Glabbeek, Peter Höfner, Michael Markl 0002 |
A Process Algebra for Link Layer Protocols. |
ESOP |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Paul Downen, Zachary Sullivan, Zena M. Ariola, Simon Peyton Jones |
Codata in Action. |
ESOP |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Carsten Fuhs, Cynthia Kop |
A Static Higher-Order Dependency Pair Framework. |
ESOP |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Guido Martínez, Danel Ahman, Victor Dumitrescu, Nick Giannarakis, Chris Hawblitzel, Catalin Hritcu, Monal Narasimhamurthy, Zoe Paraskevopoulou, Clément Pit-Claudel, Jonathan Protzenko, Tahina Ramananandro, Aseem Rastogi, Nikhil Swamy |
Meta-F ^\star : Proof Automation with SMT, Tactics, and Metaprograms. |
ESOP |
2019 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #100 of 914 (100 per page; Change: ) Pages: [ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ >>] |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")
data released under the ODC-BY 1.0 license