20
Publications
757
Citations
17
H-Index
1989
Active since
Paul Petersen is an author at University of Illinois Urbana-Champaign specializing in engineering, computer science, and parallel computing.
Top concepts
EngineeringComputer ScienceProgram AnalysisParallel ComputingComputer EngineeringParallel ProgrammingComputer ArchitectureSoftware AnalysisSystem SoftwareSoftware Engineering
Publications per year
1989–2020
20
20
A theory of data race detection
Utpal Banerjee, Brian Bliss, Zhiqiang Ma et al. · 2006 · 84 citations
Accurate and efficient filtering for the Intel thread checker race detector
Paul Sack, Brian Bliss, Zhiqiang Ma et al. · 2006 · 69 citations
Engineering, Hardware Verification Language, Verification +24
Flexible control structures for parallelism in OpenMP
Sanjiv Shah, Grant Haab, Paul Petersen et al. · Concurrency Practice and Experience · 2000 · 57 citations
Rows per page
1–5 of 20