PLDI 2016
Mon 13 - Fri 17 June 2016 Santa Barbara, California, United States
PLDI 2016 (series) / Alex Aiken

Not registered as user yet

Name: Alex Aiken

Affiliation: Stanford University

Contributions

PLDI 2016Author of Verifying Bit Manipulations of Floating-Point within the Research Papers-track
Author of Stratified Synthesis: Automatically Learning the x86-64 Instruction Set within the Research Papers-track
Show activities from other conferences

PLDI 2016-profile
View general profile