Details
Title
Zamfir, Cristian
Sciper ID
183199
Affiliated labs
DSLAB
Publications
Accurately Classifying Data Races with Portend
Automated Classification of Data Races Under Both Strong and Weak Memory Models
Automated Debugging for Arbitrarily Long Executions
CoRD: A Collaborative Framework for Distributed Data Race Detection
Data Races vs. Data Race Bugs: Telling the Difference with Portend
Deadlock Immunity: Enabling Systems To Defend Against Deadlocks
Debug Determinism: The Sweet Spot for Replay-Based Debugging
Execution Synthesis: A Technique for Automated Software Debugging
Execution Synthesis: A Technique for Automating the Debugging of Software
Selective Symbolic Execution
See complete list of publications (13)
Automated Classification of Data Races Under Both Strong and Weak Memory Models
Automated Debugging for Arbitrarily Long Executions
CoRD: A Collaborative Framework for Distributed Data Race Detection
Data Races vs. Data Race Bugs: Telling the Difference with Portend
Deadlock Immunity: Enabling Systems To Defend Against Deadlocks
Debug Determinism: The Sweet Spot for Replay-Based Debugging
Execution Synthesis: A Technique for Automated Software Debugging
Execution Synthesis: A Technique for Automating the Debugging of Software
Selective Symbolic Execution
See complete list of publications (13)
Link to search
All resources
Record appears in
Authorities > People