Kristoffer Just Andersen

Publication Activity (10 Years)

Years Active: 2013-2017
Publications (10 Years): 1

Top Topics

Quasi Invariant

Noise Resistant

Concurrency Control

Top Venues

Publications

Thomas Dinsdale-Young, Pedro da Rocha Pinto, Kristoffer Just Andersen, Lars Birkedal
Caper - Automatic Verification for Fine-Grained Concurrency. ESOP (2017)
Jakob G. Thomsen, Christian Clausen, Kristoffer Just Andersen, John Danaher, Erik Ernst
Reducing Lookups for Invariant Checking. ECOOP (2013)