45 papers
cs lo
0/02026
7- JulSomeone slept in my bed! On the entailment problem for conjunctive queries with safe negation over DL-Lite$_{core}$ knowledge basesno summary yetcs-lo2607.05336UW0 citesJul 6, 2026
- JulDirected proof-relevant logical relations in simplicial HoTTno summary yetcs-lo2607.08154CMU0 citesJul 9, 2026
- JulCompleteness of Logical Atomicity for Linearizability in Concurrent Separation Logicno summary yetcs-lo2607.11435NYU0 citesJul 13, 2026
- JunVerifying the Rust Standard Libraryno summary yetcs-lo2606.17374MIT0 citesJun 16, 2026
- JunPrismriver: Formalization of Music Theory and Algorithmic Composition in Lean 4no summary yetcs-lo2606.19936Stanford0 citesJun 18, 2026
- JunBelief Contraction in Dynamic Epistemic Logicno summary yetcs-lo2606.31861Stanford0 citesJun 30, 2026
- JunKnowing-Value Logic with Successor Arithmeticno summary yetcs-lo2606.31891Princeton0 citesJun 30, 2026
2022
3- NovSpecification and Verification with the TLA+ Trifecta: TLC, Apalache, and TLAPSno summary yetcs-lo2211.07216Microsoft Research10 citesNov 14, 2022
- AugExact Separation Logic (Extended Version)no summary yetcs-lo2208.07200DeepMind2 citesAug 15, 2022
- JunAlgebra-Based Reasoning for Loop Synthesisno summary yetcs-lo2206.11495Microsoft Research8 citesJun 23, 2022
2021
3- SepGottesman Types for Quantum Programsno summary yetcs-lo2109.02197Microsoft Research9 citesSep 6, 2021
- SepDiscASP: A Graph-based ASP System for Finding Relevant Consistent Concepts with Applications to Conversational Socialbotsno summary yetcs-lo2109.08297Microsoft Research0 citesSep 17, 2021
- JanAnalysis of E-commerce Ranking Signals via Signal Temporal Logicno summary yetcs-lo2101.05415Amazon1 citesJan 14, 2021
2020
6- AugConjunctive Queries: Unique Characterizations and Exact Learnabilityno summary yetcs-lo2008.06824Google Research2 citesAug 16, 2020
- JulSmart Choices and the Selection Monadno summary yetcs-lo2007.08926Google Research4 citesJul 17, 2020
- JunA complete equational axiomatisation of partial differentiationno summary yetcs-lo2006.06415Google Research0 citesJun 11, 2020
- JunIsarStep: a Benchmark for High-level Mathematical Reasoningno summary yetcs-lo2006.09265DeepMind8 citesJun 13, 2020
- JunLearning to Prove from Synthetic Theoremsno summary yetcs-lo2006.11259Google Research9 citesJun 19, 2020
- MarTeaching Temporal Logics to Neural Networksno summary yetcs-lo2003.04218Google Research4 citesMar 6, 2020
2019
3- OctMinimal Assumptions Refinement for GR(1) Specificationsno summary yetcs-lo1910.05558Google Research1 citesOct 12, 2019
- SepProceedings 35th International Conference on Logic Programming (Technical Communications)no summary yetcs-lo1909.07646NVIDIA3 citesSep 17, 2019
- JulRelating Two Dialects of Answer Set Programmingno summary yetcs-lo1907.12139Google Research2 citesJul 28, 2019
2018
3- AugMetrics for Signal Temporal Logic Formulaeno summary yetcs-lo1808.03315Google Research0 citesAug 1, 2018
- MayA Weakness Measure for GR(1) Formulaeno summary yetcs-lo1805.03151DeepMind0 citesMay 8, 2018
- JanEMME: a formal tool for ECMAScript Memory Model Evaluationno summary yetcs-lo1801.10140Google Research2 citesJan 30, 2018
2017
3- OctVerifying Equivalence of Database-Driven Applicationsno summary yetcs-lo1710.07660Microsoft Research4 citesOct 20, 2017
- MayVerification of a lazy cache coherence protocol against a weak memory modelno summary yetcs-lo1705.08262Google Research9 citesMay 18, 2017
- JanCongruence Closure in Intensional Type Theoryno summary yetcs-lo1701.04391Microsoft Research0 citesJan 16, 2017
2015
22014
12013
12012
4- NovContinuous Markovian Logics - Axiomatization and Quantified Metatheoryno summary yetcs-lo1211.5190Microsoft Research30 citesNov 22, 2012
- FebA Bi-Directional Refinement Algorithm for the Calculus of (Co)Inductive Constructionsno summary yetcs-lo1202.4905Microsoft Research30 citesFeb 22, 2012
- JanOn completeness of reducibility candidates as a semantics of strong normalizationno summary yetcs-lo1201.1705Microsoft Research4 citesJan 9, 2012
- JanFaster Algorithms for Alternating Refinement Relationsno summary yetcs-lo1201.4449Microsoft Research7 citesJan 21, 2012
2011
3- NovContext-Bounded Analysis For Concurrent Programs With Dynamic Creation of Threadsno summary yetcs-lo1111.1011Microsoft Research46 citesNov 3, 2011
- MarNonuniform Coercions via Unification Hintsno summary yetcs-lo1103.3320Microsoft Research7 citesMar 17, 2011
- JanRelating Church-Style and Curry-Style Subtypingno summary yetcs-lo1101.4423Google Research0 citesJan 24, 2011