papers
Publications (8)
cs.DC2018
Beyond Data and Model Parallelism for Deep Neural Networks
Zhihao Jia, Matei Zaharia, Alex Aiken
cs.PL2018
Active Learning of Points-To Specifications
Osbert Bastani, Rahul Sharma, Alex Aiken +1
cs.PF2012
Stochastic Superoptimization
Eric Schkufza, Rahul Sharma, Alex Aiken
cs.LG2019
Redundancy-Free Computation Graphs for Graph Neural Networks
Zhihao Jia, Sina Lin, Rex Ying +3
cs.LG2018
Exploring Hidden Dimensions in Parallelizing Convolutional Neural Networks
Zhihao Jia, Sina Lin, Charles R. Qi +1
cs.PL2017
Synthesizing Program Input Grammars
Osbert Bastani, Rahul Sharma, Alex Aiken +1
cs.LG2019
SPoC: Search-based Pseudocode to Code
Sumith Kulal, Panupong Pasupat, Kartik Chandra +4
cs.PL2017
Eventually Sound Points-To Analysis with Missing Code
Osbert Bastani, Lazaro Clapp, Saswat Anand +2