Peter A. Peterson, Ph.D.
Affiliations: | 2013 | Computer Science | University of California, Los Angeles, Los Angeles, CA |
Area:
programming language design; static type systems; program analysis; software model checking; formal methods; compilersGoogle:
"Peter Peterson"Parents
Sign in to add mentorTodd Millstein | grad student | 2013 | UCLA | |
(Datacomp: Locally-independent Adaptive Compression for Real-World Systems.) |