32 citations · 82 across the 9 of their papers we have counts for
Showing 2014Show all
2 papers · 1 filter
cs.LO2014★ 32 cited
Permission-Based Separation Logic for Multithreaded Java Programs
Christian Haack, Marieke Huisman, Clément Hurlin +1
This paper presents a program logic for reasoning about multithreaded Java-like programs with dynamic thread creation, thread joining and reentrant object monitors. The logic is ba…
cs.SE2014★ 2 cited
Verifying Parallel Loops with Separation Logic
Stefan Blom, Saeed Darabi, Marieke Huisman
This paper proposes a technique to specify and verify whether a loop can be parallelised. Our approach can be used as an additional step in a parallelising compiler to verify user…