12 citations · 12 across the 3 of their papers we have counts for
3 papers
cs.PL2021★ 12 cited
Trillium: Higher-Order Concurrent and Distributed Separation Logic for Intensional Refinement
Amin Timany, Simon Oddershede Gregersen, Léo Stefanesco +4
Expressive state-of-the-art separation logics rely on step-indexing to model semantically complex features and to support modular reasoning about imperative higher-order concurrent…
cs.PL2018
Tamarin: Concolic Disequivalence for MIPS
Abel Nieto
Given two MIPS programs, when are they equivalent? At first glance, this is tricky to define, because of the unstructured nature of assembly code. We propose the use of alternating…
cs.PL2017
Towards Algorithmic Typing for DOT
Abel Nieto
The Dependent Object Types (DOT) calculus formalizes key features of Scala. The D calculus is the core of DOT. To date, presentations of D have used declarative typ…