Login / Signup
Brian Norris
Publication Activity (10 Years)
Years Active: 2003-2016
Publications (10 Years): 1
Top Topics
Deterministic Finite Automaton
Mutual Exclusion
Consistency Checking
Efficient Data Structures
Top Venues
OOPSLA
ACM Trans. Program. Lang. Syst.
</>
Publications
</>
Brian Norris
,
Brian Demsky
A Practical Approach for Model Checking C/C++11 Code.
ACM Trans. Program. Lang. Syst.
38 (3) (2016)
Brian Norris
,
Brian Demsky
CDSchecker: checking concurrent data structures written with C/C++ atomics.
OOPSLA
(2013)
Brian Norris
,
Jacqui Van Der Kaay
Introducing usability to Telecom New Zealand.
CHINZ
(2003)