Abstract is missing.
- Ariadne: analysis for machine learning programsJulian Dolby, Avraham Shinnar, Allison Allain, Jenna Reinen. 1-10 [doi]
- Clone-hunter: accelerated bound checks elimination via binary code clone detectionHongfa Xue, Guru Venkataramani, Tian Lan. 11-19 [doi]
- Obfuscation resilient search through executable classificationFang-Hsiang Su, Jonathan Bell 0001, Gail E. Kaiser, Baishakhi Ray. 20-30 [doi]
- Retrieval on source code: a neural code searchSaksham Sachdev, HongYu Li, Sifei Luan, Seohyun Kim, Koushik Sen, Satish Chandra 0001. 31-41 [doi]
- Diesel: DSL for linear algebra and neural net computations on GPUsVenmugil Elango, Norm Rubin, Mahesh Ravishankar, Hariharan Sandanagobalane, Vinod Grover. 42-51 [doi]
- A design proposal for Gen: probabilistic programming with fast custom inference via code generationMarco F. Cusumano-Towner, Vikash K. Mansinghka. 52-57 [doi]
- Relay: a new IR for machine learning frameworksJared Roesch, Steven Lyubomirsky, Logan Weber, Josh Pollock, Marisa Kirisame, TianQi Chen, Zachary Tatlock. 58-68 [doi]
- The three pillars of machine programmingJustin Gottschlich, Armando Solar-Lezama, Nesime Tatbul, Michael Carbin, Martin Rinard, Regina Barzilay, Saman P. Amarasinghe, Joshua B. Tenenbaum, Tim Mattson. 69-80 [doi]