Brian Norris

According to our database, Brian Norris authored at least 3 papers between 2003 and 2016.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2016

A Practical Approach for Model Checking C/C++11 Code.

Brian Norris, Brian Demsky

ACM Trans. Program. Lang. Syst., 2016

2013

CDSchecker: checking concurrent data structures written with C/C++ atomics.

Brian Norris, Brian Demsky

Proceedings of the 2013 ACM SIGPLAN International Conference on Object Oriented Programming Systems Languages & Applications, 2013

2003

Introducing usability to Telecom New Zealand.

Brian Norris, Jacqui Van Der Kaay

Proceedings of the 4th Annual Conference of the ACM Special Interest Group on Computer-Human Interaction, 2003