Assistant Professor (Part-time)
Ruurd Kuiper
Department / Institute
Recent Publications
-
Dependency safety for Java
Science of Computer Programming (2019) -
Dependency safety for Java - Implementing and testing failboxes
Science of Computer Programming (2019) -
Modular termination verification of single-threaded and multithreaded programs
ACM Transactions on Programming Languages and Systems (2018) -
A structured design methodology for concurrent programming
(2017) -
Verifying atomicity preservation and deadlock freedom of a generic shared variable mechanism used in model-to-code transformations
(2017)
Ancillary Activities
No ancillary activities