Search Results - "Wehrman, Ian"

Mining Propositional Simplification Proofs for Small Validating Clauses by Wehrman, Ian, Stump, Aaron

“…The problem of obtaining small conflict clauses in SMT systems has received a great deal of attention recently. We report work in progress to find small…”
Get full text

A timed semantics of Orc by Wehrman, Ian, Kitchin, David, Cook, William R., Misra, Jayadev

“…Orc is a kernel language for structured concurrent programming. Orc provides three powerful combinators that define the structure of a concurrent computation…”
Get full text

Concurrent Kleene Algebra and its Foundations by Hoare, Tony, Möller, Bernhard, Struth, Georg, Wehrman, Ian

Get full text

A timed semantics of Orc: Trustworthy Global Computing by WEHRMAN, Ian, KITCHIN, David, COOK, William R, MISRA, Jayadev

Get full text

Graphical models of separation logic by Wehrman, Ian, Hoare, C.A.R., O'Hearn, Peter W.

“…Graphs are used to model control and data flow among events occurring in the execution of a concurrent program. Our treatment of data flow covers both shared…”
Get full text

Sifter: A Hybrid Workflow for Theme-based Video Curation at Scale by Chen, Yan, Monroy-Hernández, Andrés, Wehrman, Ian, Oney, Steve, Lasecki, Walter S, Vaish, Rajan

“…User-generated content platforms curate their vast repositories into thematic compilations that facilitate the discovery of high-quality material. Platforms…”
Get full text