John Wickerson

Publications

Jack Clark, Manuel Rigger, John Wickerson, Alastair Donaldson (2026). Bringing Order to Practical Validation of Database Isolation Levels. In TOCS.

Jack Clark, Alastair Donaldson, John Wickerson, Manuel Rigger (2024). Validating Database System Isolation Level Implementations with Version Certificate Recovery. In EuroSys 2024.

PDF Cite