Kristoffer Just Arndal Andersen

According to our database, Kristoffer Just Arndal Andersen authored at least 4 papers between 2013 and 2021.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2021

Protocol combinators for modeling, testing, and execution of distributed systems.

Kristoffer Just Arndal Andersen, Ilya Sergey

J. Funct. Program., 2021

2019

Distributed Protocol Combinators.

Kristoffer Just Arndal Andersen, Ilya Sergey

Proceedings of the Practical Aspects of Declarative Languages, 2019

2017

Caper - Automatic Verification for Fine-Grained Concurrency.

Thomas Dinsdale-Young, Pedro da Rocha Pinto, Kristoffer Just Andersen, Lars Birkedal

Proceedings of the Programming Languages and Systems, 2017

2013

Reducing Lookups for Invariant Checking.

Jakob G. Thomsen, Christian Clausen, Kristoffer Just Andersen, John Danaher, Erik Ernst

Proceedings of the ECOOP 2013 - Object-Oriented Programming, 2013