46
Publications
1.8K
Citations
23
H-Index
2001
Active since
Brian Demsky is an author at University of California, Irvine specializing in computer science, engineering, and program analysis.
Top concepts
EngineeringComputer ScienceProgram AnalysisSoftware AnalysisFormal MethodsSystem SoftwareSoftware EngineeringSoftware TestingFormal VerificationComputer Engineering
Publications per year
2001–2022
46
46
Automatic detection and repair of errors in data structures
Brian Demsky, Martin Rinard · 2003 · 200 citations
Inference and enforcement of data structure consistency specifications
Brian Demsky, Michael D. Ernst, Philip J. Guo et al. · 2006 · 122 citations
Packet-Level Signatures for Smart Home Devices
Rahmadi Trimananda, Janus Varmarken, Athina Markopoulou et al. · 2020 · 120 citations · Full text
Brian Norris, Brian Demsky · 2013 · 116 citations
Engineering, Computer Architecture, Software Engineering +17
Data structure repair using goal-directed reasoning
Brian Demsky, Martin Rinard · 2005 · 99 citations
Rows per page
1–5 of 46