Preston Briggs
Quinnipiac University(US)
Publications by Year
Research Areas
Parallel Computing and Optimization Techniques, Logic, programming, and type systems, Formal Methods in Verification, Fault Detection and Control Systems, Control Systems and Identification
Most-Cited Works
- → Improvements to graph coloring register allocation(1994)383 cited
- Register allocation via graph coloring(1992)
- → Coloring heuristics for register allocation(2004)155 cited
- → Effective partial redundancy elimination(1994)129 cited
- Latency-tolerant software distributed shared memory(2015)
- → Practical improvements to the construction and destruction of static single assignment form(1998)122 cited
- → Value Numbering(1997)85 cited
- → An efficient representation for sparse sets(1993)84 cited
- → Pseudorandom signals for the dynamic analysis of multivariable systems(1966)73 cited