logo
CanyamAI summaries for academic research
language
MobileMobile
  • Phone FeatureWeChat Mini Program
EnglishEnglish
noticeNotice
BlogBlog
delete
arrow
Back
B

Brian Demsky

University of California System

23H-index
95Paper Count
1.9KCitation Count
Published Papers 7
Publication Date
logo
Towards Verifying Crash Consistency
errPROCEEDINGS OF THE ACM ON PROGRAMMING LANGUAGES-PACMPL
IF2.8
err2025-10-01
err0
PREAI
errLee, Keonho; Truong, Conan; Demsky, Brian
errShare
errSave
Views: Synthesizing Fine-Grained Concurrency Control
errACM TRANSACTIONS ON SOFTWARE ENGINEERING AND METHODOLOGY
IF6.2
err2013-03-04
err2
PREAI
errDemsky, Brian; Lam, Patrick
errShare
errSave
Integrating file operations into transactional memory
errJOURNAL OF PARALLEL AND DISTRIBUTED COMPUTING
IF4
err2011-10-01
err3
PREAI
errDemsky, Brian; Tehrany, Navid Farri
errShare
errSave
Integrating Caching and Prefetching Mechanisms in a Distributed Transactional Memory
errIEEE TRANSACTIONS ON PARALLEL AND DISTRIBUTED SYSTEMS
IF6
err2011-08-01
err8
errOAAI
errDash, Alokika; Demsky, Brian
errShare
errSave
Bristlecone: Language Support for Robust Software Applications
errIEEE TRANSACTIONS ON SOFTWARE ENGINEERING
IF5.6
err2011-01-01
err3
errOAAI
errDemsky, Brian; Sundaramurthy, Sivaji R.
errShare
errSave
Automatic Extraction of Heap Reference Properties in Object-Oriented Programs
errIEEE TRANSACTIONS ON SOFTWARE ENGINEERING
IF5.6
err2009-05-01
err4
errOAAI
errDemsky, Brian; Rinard, Martin
errShare
errSave
Goal-directed reasoning for specification-based data structure repair
errIEEE TRANSACTIONS ON SOFTWARE ENGINEERING
IF5.6
err2006-12-01
err35
PREAI
errDemsky, Brian; Rinard, Martin C.
errShare
errSave

Research Directions

No research directions
Co-authors
Cooperation Journals
M
Martin Rinard
H-index: 66 · Papers: 482
P
Patrick Lam
H-index: 22 · Papers: 123
N
Navid Farri Tehrany
H-index: 1 · Papers: 2
K
Keonho Lee
H-index: 1 · Papers: 3
S
Sivaji Sundaramurthy
H-index: 1 · Papers: 3
View more