5 citations · 7 across the 4 of their papers we have counts for
5 papers
Scalable Thread-Safety Analysis of Java Classes with CodeQL
Bjørnar Haugstad Jåtten, Simon Boye Jørgensen, Rasmus Petersen +1
In object-oriented languages software developers rely on thread-safe classes to implement concurrent applications. However, determining whether a class is thread-safe is a challeng…
Synthesizing and tuning chemical reaction networks with specified behaviours
Neil Dalchau, Niall Murphy, Rasmus Petersen +1
We consider how to generate chemical reaction networks (CRNs) from functional specifications. We propose a two-stage approach that combines synthesis by satisfiability modulo theor…
Canonical Labelling of Site Graphs
Nicolas Oury, Michael Pedersen, Rasmus Petersen
We investigate algorithms for canonical labelling of site graphs, i.e. graphs in which edges bind vertices on sites with locally unique names. We first show that the problem of can…
Runtime Verification Based on Register Automata
Radu Grigore, Dino Distefano, Rasmus Lerchedahl Petersen +1
We propose TOPL automata as a new method for runtime verification of systems with unbounded resource generation. Paradigmatic such systems are object-oriented programs which can dy…
Linear Abadi and Plotkin Logic
Lars Birkedal, Rasmus E. Møgelberg, Rasmus Lerchedahl Petersen
We present a formalization of a version of Abadi and Plotkin's logic for parametricity for a polymorphic dual intuitionistic/linear type theory with fixed points, and show, followi…