|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
No Growbag Graphs found.
|
|
|
|
|
Results
Found 28 publication records. Showing 28 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Koushik Sen, Mayur Naik (eds.) |
Proceedings of the 4th ACM SIGPLAN International Workshop on Machine Learning and Programming Languages, MAPL@PLDI 2020, London, UK, June 15, 2020  |
MAPL@PLDI  |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Mayur Patil, Farzin Houshmand, Mohsen Lesani |
Learning quantitative representation synthesis. |
MAPL@PLDI |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Lujing Cen, Ryan Marcus, Hongzi Mao, Justin Gottschlich, Mohammad Alizadeh, Tim Kraska |
Learned garbage collection. |
MAPL@PLDI |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Momoko Hattori, Shimpei Sawada, Shinichiro Hamaji, Masahiro Sakai, Shunsuke Shimizu |
Semi-static type, shape, and symbolic shape inference for dynamic computation graphs. |
MAPL@PLDI |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Ruizhe Zhao, Wayne Luk, Chao Xiong, Xinyu Niu, Kuen Hung Tsoi |
On the challenges in programming mixed-precision deep neural networks. |
MAPL@PLDI |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Alex Sanchez-Stern, Yousef Alhessi, Lawrence K. Saul, Sorin Lerner |
Generating correctness proofs with neural networks. |
MAPL@PLDI |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Philippe Tillet, Hsiang-Tsung Kung 0001, David D. Cox |
Triton: an intermediate language and compiler for tiled neural network computations. |
MAPL@PLDI |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Guillaume Baudart, Martin Hirzel, Kiran Kate, Louis Mandel, Avraham Shinnar |
Machine learning in Python with no strings attached. |
MAPL@PLDI |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Tim Mattson, Abdullah Muzahid, Armando Solar-Lezama (eds.) |
Proceedings of the 3rd ACM SIGPLAN International Workshop on Machine Learning and Programming Languages, MAPL@PLDI 2019, Phoenix, AZ, USA, June 22, 2019 |
MAPL@PLDI |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Jessica Ai, Nimar S. Arora, Ning Dong, Beliz Gokkaya, Thomas Jiang, Anitha Kubendran, Arun Kumar, Michael Tingley, Narjes Torabi |
HackPPL: a universal probabilistic programming language. |
MAPL@PLDI |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Andrés Goens, Alexander Brauckmann, Sebastian Ertel, Chris Cummins, Hugh Leather, Jerónimo Castrillón |
A case study on machine learning for synthesizing benchmarks. |
MAPL@PLDI |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Jason Liu, Seohyun Kim 0001, Vijayaraghavan Murali, Swarat Chaudhuri, Satish Chandra 0001 |
Neural query expansion for code search. |
MAPL@PLDI |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Justin Gottschlich, Armando Solar-Lezama, Nesime Tatbul, Michael Carbin, Martin C. Rinard, Regina Barzilay, Saman P. Amarasinghe, Joshua B. Tenenbaum, Tim Mattson |
The three pillars of machine programming. |
MAPL@PLDI |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Julian Dolby, Avraham Shinnar, Allison Allain, Jenna M. Reinen |
Ariadne: analysis for machine learning programs. |
MAPL@PLDI |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Justin Gottschlich, Alvin Cheung (eds.) |
Proceedings of the 2nd ACM SIGPLAN International Workshop on Machine Learning and Programming Languages, MAPL@PLDI 2018, Philadelphia, PA, USA, June 18-22, 2018 |
MAPL@PLDI |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Hongfa Xue, Guru Venkataramani, Tian Lan |
Clone-hunter: accelerated bound checks elimination via binary code clone detection. |
MAPL@PLDI |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Venmugil Elango, Norm Rubin, Mahesh Ravishankar, Hariharan Sandanagobalane, Vinod Grover |
Diesel: DSL for linear algebra and neural net computations on GPUs. |
MAPL@PLDI |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Fang-Hsiang Su, Jonathan Bell 0001, Gail E. Kaiser, Baishakhi Ray |
Obfuscation resilient search through executable classification. |
MAPL@PLDI |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Marco F. Cusumano-Towner, Vikash K. Mansinghka |
A design proposal for Gen: probabilistic programming with fast custom inference via code generation. |
MAPL@PLDI |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Saksham Sachdev, Hongyu Li, Sifei Luan 0001, Seohyun Kim 0001, Koushik Sen, Satish Chandra 0001 |
Retrieval on source code: a neural code search. |
MAPL@PLDI |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Jared Roesch, Steven Lyubomirsky, Logan Weber, Josh Pollock, Marisa Kirisame, Tianqi Chen 0001, Zachary Tatlock |
Relay: a new IR for machine learning frameworks. |
MAPL@PLDI |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Chandrakana Nandi, Dan Grossman, Adrian Sampson, Todd Mytkowicz, Kathryn S. McKinley |
Debugging probabilistic programs. |
MAPL@PLDI |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Charlie Murphy, Patrick Gray, Gordon Stewart 0001 |
Verified perceptron convergence theorem. |
MAPL@PLDI |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Tim Vieira, Matthew Francis-Landau, Nathaniel Wesley Filardo, Farzad Khorasani, Jason Eisner |
Dyna: toward a self-optimizing declarative language for machine learning applications. |
MAPL@PLDI |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Tatiana Shpeisman, Justin Gottschlich (eds.) |
Proceedings of the 1st ACM SIGPLAN International Workshop on Machine Learning and Programming Languages, MAPL@PLDI 2017, Barcelona, Spain, June 18, 2017 |
MAPL@PLDI |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Xin Zhang 0035, Xujie Si, Mayur Naik |
Combining the logical and the probabilistic in program analysis. |
MAPL@PLDI |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Martín Abadi, Michael Isard, Derek Gordon Murray |
A computational model for TensorFlow: an introduction. |
MAPL@PLDI |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Ugur Koc, Parsa Saadatpanah, Jeffrey S. Foster, Adam A. Porter |
Learning a classifier for false positive error reports emitted by static code analysis tools. |
MAPL@PLDI |
2017 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #28 of 28 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")
data released under the ODC-BY 1.0 license