James Bornholt | DeepAI

Chat Image Generator Video Music Voice Chat Photo Editor

Featured Co-authors

Isil Dillig
40 publications
Vijay Chidambaram
19 publications
Shankara Pailoor
4 publications
Kostas Ferles
4 publications
Benjamin Sepanski
1 publication
Rahul Krishnan
1 publication
Hayley LeBlanc
1 publication

research

∙ 04/12/2022

Finding and Analyzing Crash-Consistency Bugs in Persistent-Memory File Systems

We present a study of crash-consistency bugs in persistent-memory (PM) f...

0 Hayley LeBlanc, et al. ∙

research

∙ 03/01/2022

Synthesizing Fine-Grained Synchronization Protocols for Implicit Monitors (Extended Version)

A monitor is a widely-used concurrent programming abstraction that encap...

0 Kostas Ferles, et al. ∙

Success!

An error occurred