🏛️ The Logic in CS Crypt

🔮 🔮 The Ethereal

Client-Server Sessions in Linear Logic

Zesen Qian, G. A. Kavvos, Lars Birkedal

cs.LO 🏛 PACMPL 📚 21 cites 5 years ago

🔮 🔮 The Ethereal

Computer Science and Metaphysics: A Cross-Fertilization

Daniel Kirchner, Christoph Benzmüller, Edward N. Zalta

cs.LO 🏛 Open Philosophy 📚 21 cites 7 years ago

🔮 🔮 The Ethereal

Differentiable Causal Computations via Delayed Trace

David Sprunger, Shin-ya Katsumata

cs.LO 🏛 Logic in Computer Science 📚 21 cites 7 years ago

🔮 🔮 The Ethereal

Maximum Realizability for Linear Temporal Logic Specifications

Rayna Dimitrova, Mahsa Ghasemi, Ufuk Topcu

cs.LO 🏛 ATVA 📚 21 cites 8 years ago

🔮 🔮 The Ethereal

The Refinement Calculus of Reactive Systems Toolset

Iulia Dragomir, Viorel Preoteasa, Stavros Tripakis

cs.LO 🏛 International Journal on Software Tools for Technology Transfer (STTT) 📚 21 cites 8 years ago

🔮 🔮 The Ethereal

An Abstract Semantics of the Global View of Choreographies

Roberto Guanciale, Emilio Tuosto

cs.LO 🏛 ICICE 📚 21 cites 9 years ago

🔮 🔮 The Ethereal

Future-based Static Analysis of Message Passing Programs

Wytse Oortwijn, Stefan Blom, Marieke Huisman

cs.LO 🏛 Places 📚 21 cites 9 years ago

🔮 🔮 The Ethereal

LeoPARD --- A Generic Platform for the Implementation of Higher-Order Reasoners

Max Wisniewski, Alexander Steen, Christoph Benzmüller

cs.LO 🏛 ICICM 📚 21 cites 10 years ago

🔮 🔮 The Ethereal

Using Program Synthesis for Program Analysis

Cristina David, Daniel Kroening, Matt Lewis

cs.LO 🏛 Logic Programming and Automated Reasoning 📚 21 cites 10 years ago

🔮 🔮 The Ethereal

Automated Expected Amortised Cost Analysis of Probabilistic Data Structures

Lorenz Leutgeb, Georg Moser, Florian Zuleger

cs.LO 🏛 CAV 📚 21 cites 3 years ago

🔮 🔮 The Ethereal

Logical Separability of Labeled Data Examples under Ontologies

Jean Christoph Jung, Carsten Lutz, ... (+2 more)

cs.LO 🏛 AI 📚 20 cites 5 years ago

🔮 🔮 The Ethereal

Compositional Non-Interference for Fine-Grained Concurrent Programs

Dan Frumin, Robbert Krebbers, Lars Birkedal

cs.LO 🏛 IEEE S&P 📚 20 cites 6 years ago

🔮 🔮 The Ethereal

Towards a formal notion of impact metric for cyber-physical attacks (full version)

Ruggero Lanotte, Massimo Merro, Simone Tini

cs.LO 🏛 FM 📚 20 cites 7 years ago

🔮 🔮 The Ethereal

SMT-Based Refutation of Spurious Bug Reports in the Clang Static Analyzer

Mikhail R. Gadelha, Enrico Steffinlongo, ... (+3 more)

cs.LO 🏛 ICSE 📚 20 cites 7 years ago

🔮 🔮 The Ethereal

A synchronous program algebra: a basis for reasoning about shared-memory and event-based concurrency

Ian J. Hayes, Larissa A. Meinicke, ... (+2 more)

cs.LO 🏛 Formal Aspects of Computing 📚 20 cites 8 years ago

🔮 🔮 The Ethereal

A Classical Realizability Model for a Semantical Value Restriction

Rodolphe Lepigre

cs.LO 🏛 European Symposium on Programming 📚 20 cites 10 years ago

🔮 🔮 The Ethereal

Retractable Contracts

Franco Barbanera, Mariangiola Dezani-Ciancaglini, ... (+2 more)

cs.LO 🏛 Places 📚 20 cites 10 years ago

🔮 🔮 The Ethereal

Spatial Interpolants

Aws Albarghouthi, Josh Berdine, ... (+2 more)

cs.LO 🏛 European Symposium on Programming 📚 20 cites 11 years ago

🔮 🔮 The Ethereal

Asynchronous Probabilistic Couplings in Higher-Order Separation Logic

Simon Oddershede Gregersen, Alejandro Aguirre, ... (+3 more)

cs.LO 🏛 PACMPL 📚 19 cites 3 years ago

🔮 🔮 The Ethereal

Enhancing SAT solvers with glue variable predictions

Jesse Michael Han

cs.LO 🏛 arXiv 📚 19 cites 5 years ago

🔮 🔮 The Ethereal

Probabilistic Hyperproperties with Nondeterminism

Erika Abraham, Ezio Bartocci, ... (+2 more)

cs.LO 🏛 ATVA 📚 19 cites 5 years ago

🔮 🔮 The Ethereal

Verifying that a compiler preserves concurrent value-dependent information-flow security

Robert Sison, Toby Murray

cs.LO 🏛 ICITP 📚 19 cites 6 years ago

🔮 🔮 The Ethereal

Directed Homotopy in Non-Positively Curved Spaces

Eric Goubault, Samuel Mimram

cs.LO 🏛 Log. Methods Comput. Sci. 📚 19 cites 6 years ago

🔮 🔮 The Ethereal

Aggregate Queries on Sparse Databases

Szymon Toruńczyk

cs.LO 🏛 PODS 📚 19 cites 6 years ago