Concepedia

Brian Norris

BN

3

Publications

178

Citations

3

H-Index

2013

Active since

Affiliations

University of California, Irvine(Current)

Brian Norris is an author at University of California, Irvine specializing in system software, parallel programming, and formal methods.

Top concepts

EngineeringFormal MethodsSystem SoftwareComputer ScienceProgram AnalysisSoftware AnalysisParallel ComputingComputer EngineeringParallel ProgrammingComputer Architecture

Publications per year

2013–2016

3

Publications

3

CDSchecker

Brian Norris, Brian Demsky · 2013 · 116 citations

Engineering, Computer Architecture, Software Engineering +17

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

Brian Norris, Brian Demsky · ACM Transactions on Programming Languages and Systems · 2016 · 40 citations

Program Checking, Engineering, Verification +22

CDSchecker

Brian Norris, Brian Demsky · ACM SIGPLAN Notices · 2013 · 22 citations

Engineering, Program Analysis, Concurrent Programming +15

Rows per page

1–3 of 3