Publication & Citation Trends
Publications
0 total
No publications found.
Research Topics
Logic, programming, and type systems
(94)
Parallel Computing and Optimization Techniques
(72)
Software Engineering Research
(59)
Advanced Software Engineering Methodologies
(34)
Formal Methods in Verification
(28)
Affiliations
Google (United States)
University of Washington
University of Wollongong
NTT (Japan)
IBM Research - Thomas J. Watson Research Center