High-Performance GPU-to-CPU Transpilation and Optimization via High-Level Parallel Constructs by Moses, William, Ivanov, Ivan, Domke, Jens, Endo, Toshio, Doerfert, Johannes, Zinenko, Oleksandr

Get full text

Block-STM: Scaling Blockchain Execution by Turning Ordering Curse to a Performance Blessing by Gelashvili, Rati, Spiegelman, Alexander, Xiang, Zhuolun, Danezis, George, Li, Zekun, Malkhi, Dahlia, Xia, Yu, Zhou, Runtian

Get full text

A Deep Learning Model for Loop Interchange by Mezdour, Lina, Kadem, Khadidja, Merouani, Massinissa, Haichour, Amina Selma, Amarasinghe, Saman, Baghdadi, Riyadh

Get full text

Codon: A Compiler for High-Performance Pythonic Applications and DSLs by Shajii, Ariya, Ramirez, Gabriel, Smajlovi?, Haris, Ray, Jessica, Berger, Bonnie, Amarasinghe, Saman, Numanagi?, Ibrahim

Get full text

DreamCoder: Bootstrapping Inductive Program Synthesis with Wake-Sleep Library Learning by Ellis, Kevin, Wong, Catherine, Nye, Maxwell, Sablé-Meyer, Mathias, Morales, Lucas, Hewitt, Luke, Cary, Luc, Solar-Lezama, Armando, Tenenbaum, Joshua B.

Get full text

Data representation synthesis by Hawkins, Peter, Aiken, Alex, Fisher, Kathleen, Rinard, Martin C., Sagiv, Mooly

Get full text
Get full text

Smooth interpretation by Chaudhuri, Swarat, Solar Lezama, Armando

“…. © 2010 Presented at PLDI '10: ACM SIGPLAN Conference on Programming Language Design and Implementation, June 2010, Toronto, Ontario.…”
Get full text

The three pillars of machine programming by Gottschlich, Justin, Solar Lezama, Armando, Tatbul Bitim, Emine Nesime, Carbin, Michael James, Rinard, Martin C, Barzilay, Regina, Amarasinghe, Saman P, Tenenbaum, Joshua B, Mattson, Tim

Get full text

Agile specifications by Rayside, Derek, Milicevic, Aleksandar, Yessenov, Kuat T., Jackson, Daniel

Get full text
Get full text
Get full text

Concurrent data representation synthesis by Hawkins, Peter, Aiken, Alex, Fisher, Kathleen, Rinard, Martin C., Sagiv, Mooly

Get full text
Get full text

Probabilistic Accuracy Bounds for Perforated Programs: A New Foundation for Program Analysis and Transformation by Rinard, Martin C.

Get full text
Get full text

Bolt: on-demand infinite loop escape in unmodified binaries by Kling, Michael W., Misailovic, Sasa, Carbin, Michael James, Rinard, Martin C

Get full text

Active learning for software engineering by Cambronero, José P., Dang, Thurston H. Y., Vasilakis, Nikos, Shen, Jiasi, Wu, Jerry, Rinard, Martin C.

Get full text

Demystifying dependence by Koppel, James, Jackson, Daniel

Get full text

Automatic error elimination by horizontal code transfer across multiple applications by Lahtinen, Eric, Long, Fan, Sidiroglou, Stylianos, Rinard, Martin C.

Get full text
Get full text
Get full text

Semantic code search via equational reasoning by Premtoon, Varot, Koppel, James, Solar-Lezama, Armando

Get full text

Ur/Web: A Simple Model for Programming the Web by Chlipala, Adam

Get full text
Get full text

Measuring the Usability and Capability of App Inventor to Create Mobile Applications by Xie, Benjamin X., Shabir, Isra, Abelson, Hal

Get full text
Get full text
Get full text

sk_p: a neural program corrector for MOOCs by Pu, Yewen, Narasimhan, Karthik Rajagopal, Solar Lezama, Armando, Barzilay, Regina

Get full text
Get full text
Get full text
Get full text
Get full text

A program optimization for automatic database result caching by Scully, Ziv, Chlipala, Adam

Get full text
Get full text