Not registered as user yet

Name: Alex Aiken

Affiliation: Stanford University

PLDI 2016 Activities

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