The three pillars of machine programming-Reference-Cited by-同舟云学术

The three pillars of machine programming

Published:2018-06-18 Issue: Volume: Page:
ISSN:
Container-title:Proceedings of the 2nd ACM SIGPLAN International Workshop on Machine Learning and Programming Languages
language:
Short-container-title:

Author:

Gottschlich Justin¹,Solar-Lezama Armando²,Tatbul Nesime³,Carbin Michael²,Rinard Martin²,Barzilay Regina²,Amarasinghe Saman²,Tenenbaum Joshua B.²,Mattson Tim¹

Affiliation:

1. Intel Labs, USA

2. Massachusetts Institute of Technology, USA

3. Intel Labs, USA / Massachusetts Institute of Technology, USA

Publisher

ACM

Link

https://dl.acm.org/doi/pdf/10.1145/3211346.3211355

Reference83 articles.

1. Production-Run Software Failure Diagnosis via Adaptive Communication Tracking

2. Rajeev Alur Rastislav Bodík Eric Dallal Dana Fisman Pranav Garg Garvit Juniwal Hadas Kress-Gazit P. Madhusudan Milo M. K. Martin Mukund Raghothaman Shambwaditya Saha Sanjit A. Seshia Rishabh Singh Armando Solar-Lezama Emina Torlak and Abhishek Udupa. 2015. Syntax-Guided Synthesis. In Dependable Software Systems Engineering. 1–25. Rajeev Alur Rastislav Bodík Eric Dallal Dana Fisman Pranav Garg Garvit Juniwal Hadas Kress-Gazit P. Madhusudan Milo M. K. Martin Mukund Raghothaman Shambwaditya Saha Sanjit A. Seshia Rishabh Singh Armando Solar-Lezama Emina Torlak and Abhishek Udupa. 2015. Syntax-Guided Synthesis. In Dependable Software Systems Engineering. 1–25.

3. PetaBricks

Cited by 23 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Towards Full Stack Adaptivity in Permissioned Blockchains;Proceedings of the VLDB Endowment;2024-01

2. Conceptual Limitations;Technik im Fokus;2024

3. MPI-RICAL: Data-Driven MPI Distributed Parallelism Assistance with Transformers;Proceedings of the SC '23 Workshops of The International Conference on High Performance Computing, Network, Storage, and Analysis;2023-11-12

4. AdaChain: A Learned Adaptive Blockchain;Proceedings of the VLDB Endowment;2023-04

5. Efficiently Learning Locality Optimizations by Decomposing Transformation Domains;Proceedings of the 32nd ACM SIGPLAN International Conference on Compiler Construction;2023-02-17