| |
Alhessi, Yousef
|
MAPL '20: "Generating Correctness Proofs ..."
Generating Correctness Proofs with Neural Networks
Alex Sanchez-Stern, Yousef Alhessi, Lawrence Saul, and Sorin Lerner
(University of California at San Diego, USA)
@InProceedings{MAPL20p1,
author = {Alex Sanchez-Stern and Yousef Alhessi and Lawrence Saul and Sorin Lerner},
title = {Generating Correctness Proofs with Neural Networks},
booktitle = {Proc.\ MAPL},
publisher = {ACM},
pages = {1-0},
doi = {10.1145/3394450.3397466},
year = {2020},
}
 Publisher's Version
Article: pldiws20maplmain-p2-p doi:10.1145/3394450.3397466
|
| |
Alizadeh, Mohammad |
MAPL '20: "Learned Garbage Collection ..."
Learned Garbage Collection
Lujing Cen, Ryan Marcus, Hongzi Mao, Justin Gottschlich, Mohammad Alizadeh, and Tim Kraska
(Massachusetts Institute of Technology, USA; Intel Labs, USA)
@InProceedings{MAPL20p45,
author = {Lujing Cen and Ryan Marcus and Hongzi Mao and Justin Gottschlich and Mohammad Alizadeh and Tim Kraska},
title = {Learned Garbage Collection},
booktitle = {Proc.\ MAPL},
publisher = {ACM},
pages = {45-44},
doi = {10.1145/3394450.3397469},
year = {2020},
}
Publisher's Version
Article: pldiws20maplmain-p11-p doi:10.1145/3394450.3397469
|
| |
Cen, Lujing
|
MAPL '20: "Learned Garbage Collection ..."
Learned Garbage Collection
Lujing Cen, Ryan Marcus, Hongzi Mao, Justin Gottschlich, Mohammad Alizadeh, and Tim Kraska
(Massachusetts Institute of Technology, USA; Intel Labs, USA)
@InProceedings{MAPL20p45,
author = {Lujing Cen and Ryan Marcus and Hongzi Mao and Justin Gottschlich and Mohammad Alizadeh and Tim Kraska},
title = {Learned Garbage Collection},
booktitle = {Proc.\ MAPL},
publisher = {ACM},
pages = {45-44},
doi = {10.1145/3394450.3397469},
year = {2020},
}
Publisher's Version
Article: pldiws20maplmain-p11-p doi:10.1145/3394450.3397469
|
| |
Gottschlich, Justin
|
MAPL '20: "Learned Garbage Collection ..."
Learned Garbage Collection
Lujing Cen, Ryan Marcus, Hongzi Mao, Justin Gottschlich, Mohammad Alizadeh, and Tim Kraska
(Massachusetts Institute of Technology, USA; Intel Labs, USA)
@InProceedings{MAPL20p45,
author = {Lujing Cen and Ryan Marcus and Hongzi Mao and Justin Gottschlich and Mohammad Alizadeh and Tim Kraska},
title = {Learned Garbage Collection},
booktitle = {Proc.\ MAPL},
publisher = {ACM},
pages = {45-44},
doi = {10.1145/3394450.3397469},
year = {2020},
}
Publisher's Version
Article: pldiws20maplmain-p11-p doi:10.1145/3394450.3397469
|
| |
Hamaji, Shinichiro
|
MAPL '20: "Semi-static Type, Shape, and ..."
Semi-static Type, Shape, and Symbolic Shape Inference for Dynamic Computation Graphs
Momoko Hattori, Shimpei Sawada, Shinichiro Hamaji, Masahiro Sakai, and Shunsuke Shimizu
(University of Tokyo, Japan; Preferred Networks, Japan)
@InProceedings{MAPL20p12,
author = {Momoko Hattori and Shimpei Sawada and Shinichiro Hamaji and Masahiro Sakai and Shunsuke Shimizu},
title = {Semi-static Type, Shape, and Symbolic Shape Inference for Dynamic Computation Graphs},
booktitle = {Proc.\ MAPL},
publisher = {ACM},
pages = {12-11},
doi = {10.1145/3394450.3397465},
year = {2020},
}
Publisher's Version
Article: pldiws20maplmain-p1-p doi:10.1145/3394450.3397465
|
| |
Hattori, Momoko |
MAPL '20: "Semi-static Type, Shape, and ..."
Semi-static Type, Shape, and Symbolic Shape Inference for Dynamic Computation Graphs
Momoko Hattori, Shimpei Sawada, Shinichiro Hamaji, Masahiro Sakai, and Shunsuke Shimizu
(University of Tokyo, Japan; Preferred Networks, Japan)
@InProceedings{MAPL20p12,
author = {Momoko Hattori and Shimpei Sawada and Shinichiro Hamaji and Masahiro Sakai and Shunsuke Shimizu},
title = {Semi-static Type, Shape, and Symbolic Shape Inference for Dynamic Computation Graphs},
booktitle = {Proc.\ MAPL},
publisher = {ACM},
pages = {12-11},
doi = {10.1145/3394450.3397465},
year = {2020},
}
Publisher's Version
Article: pldiws20maplmain-p1-p doi:10.1145/3394450.3397465
|
| |
Houshmand, Farzin |
MAPL '20: "Learning Quantitative Representation ..."
Learning Quantitative Representation Synthesis
Mayur Patil, Farzin Houshmand, and Mohsen Lesani
(University of California at Riverside, USA)
@InProceedings{MAPL20p34,
author = {Mayur Patil and Farzin Houshmand and Mohsen Lesani},
title = {Learning Quantitative Representation Synthesis},
booktitle = {Proc.\ MAPL},
publisher = {ACM},
pages = {34-33},
doi = {10.1145/3394450.3397467},
year = {2020},
}
Publisher's Version
Article: pldiws20maplmain-p5-p doi:10.1145/3394450.3397467
|
| |
Kraska, Tim
|
MAPL '20: "Learned Garbage Collection ..."
Learned Garbage Collection
Lujing Cen, Ryan Marcus, Hongzi Mao, Justin Gottschlich, Mohammad Alizadeh, and Tim Kraska
(Massachusetts Institute of Technology, USA; Intel Labs, USA)
@InProceedings{MAPL20p45,
author = {Lujing Cen and Ryan Marcus and Hongzi Mao and Justin Gottschlich and Mohammad Alizadeh and Tim Kraska},
title = {Learned Garbage Collection},
booktitle = {Proc.\ MAPL},
publisher = {ACM},
pages = {45-44},
doi = {10.1145/3394450.3397469},
year = {2020},
}
Publisher's Version
Article: pldiws20maplmain-p11-p doi:10.1145/3394450.3397469
|
| |
Lerner, Sorin
|
MAPL '20: "Generating Correctness Proofs ..."
Generating Correctness Proofs with Neural Networks
Alex Sanchez-Stern, Yousef Alhessi, Lawrence Saul, and Sorin Lerner
(University of California at San Diego, USA)
@InProceedings{MAPL20p1,
author = {Alex Sanchez-Stern and Yousef Alhessi and Lawrence Saul and Sorin Lerner},
title = {Generating Correctness Proofs with Neural Networks},
booktitle = {Proc.\ MAPL},
publisher = {ACM},
pages = {1-0},
doi = {10.1145/3394450.3397466},
year = {2020},
}
Publisher's Version
Article: pldiws20maplmain-p2-p doi:10.1145/3394450.3397466
|
| |
Lesani, Mohsen |
MAPL '20: "Learning Quantitative Representation ..."
Learning Quantitative Representation Synthesis
Mayur Patil, Farzin Houshmand, and Mohsen Lesani
(University of California at Riverside, USA)
@InProceedings{MAPL20p34,
author = {Mayur Patil and Farzin Houshmand and Mohsen Lesani},
title = {Learning Quantitative Representation Synthesis},
booktitle = {Proc.\ MAPL},
publisher = {ACM},
pages = {34-33},
doi = {10.1145/3394450.3397467},
year = {2020},
}
Publisher's Version
Article: pldiws20maplmain-p5-p doi:10.1145/3394450.3397467
|
| |
Luk, Wayne |
MAPL '20: "On the Challenges in Programming ..."
On the Challenges in Programming Mixed-Precision Deep Neural Networks
Ruizhe Zhao, Wayne Luk, Chao Xiong, Xinyu Niu, and Kuen Hung Tsoi
(Imperial College London, UK; Corerain Technologies, China)
@InProceedings{MAPL20p23,
author = {Ruizhe Zhao and Wayne Luk and Chao Xiong and Xinyu Niu and Kuen Hung Tsoi},
title = {On the Challenges in Programming Mixed-Precision Deep Neural Networks},
booktitle = {Proc.\ MAPL},
publisher = {ACM},
pages = {23-22},
doi = {10.1145/3394450.3397468},
year = {2020},
}
Publisher's Version
Article: pldiws20maplmain-p10-p doi:10.1145/3394450.3397468
|
| |
Mao, Hongzi
|
MAPL '20: "Learned Garbage Collection ..."
Learned Garbage Collection
Lujing Cen, Ryan Marcus, Hongzi Mao, Justin Gottschlich, Mohammad Alizadeh, and Tim Kraska
(Massachusetts Institute of Technology, USA; Intel Labs, USA)
@InProceedings{MAPL20p45,
author = {Lujing Cen and Ryan Marcus and Hongzi Mao and Justin Gottschlich and Mohammad Alizadeh and Tim Kraska},
title = {Learned Garbage Collection},
booktitle = {Proc.\ MAPL},
publisher = {ACM},
pages = {45-44},
doi = {10.1145/3394450.3397469},
year = {2020},
}
Publisher's Version
Article: pldiws20maplmain-p11-p doi:10.1145/3394450.3397469
|
| |
Marcus, Ryan |
MAPL '20: "Learned Garbage Collection ..."
Learned Garbage Collection
Lujing Cen, Ryan Marcus, Hongzi Mao, Justin Gottschlich, Mohammad Alizadeh, and Tim Kraska
(Massachusetts Institute of Technology, USA; Intel Labs, USA)
@InProceedings{MAPL20p45,
author = {Lujing Cen and Ryan Marcus and Hongzi Mao and Justin Gottschlich and Mohammad Alizadeh and Tim Kraska},
title = {Learned Garbage Collection},
booktitle = {Proc.\ MAPL},
publisher = {ACM},
pages = {45-44},
doi = {10.1145/3394450.3397469},
year = {2020},
}
Publisher's Version
Article: pldiws20maplmain-p11-p doi:10.1145/3394450.3397469
|
| |
Niu, Xinyu
|
MAPL '20: "On the Challenges in Programming ..."
On the Challenges in Programming Mixed-Precision Deep Neural Networks
Ruizhe Zhao, Wayne Luk, Chao Xiong, Xinyu Niu, and Kuen Hung Tsoi
(Imperial College London, UK; Corerain Technologies, China)
@InProceedings{MAPL20p23,
author = {Ruizhe Zhao and Wayne Luk and Chao Xiong and Xinyu Niu and Kuen Hung Tsoi},
title = {On the Challenges in Programming Mixed-Precision Deep Neural Networks},
booktitle = {Proc.\ MAPL},
publisher = {ACM},
pages = {23-22},
doi = {10.1145/3394450.3397468},
year = {2020},
}
Publisher's Version
Article: pldiws20maplmain-p10-p doi:10.1145/3394450.3397468
|
| |
Patil, Mayur
|
MAPL '20: "Learning Quantitative Representation ..."
Learning Quantitative Representation Synthesis
Mayur Patil, Farzin Houshmand, and Mohsen Lesani
(University of California at Riverside, USA)
@InProceedings{MAPL20p34,
author = {Mayur Patil and Farzin Houshmand and Mohsen Lesani},
title = {Learning Quantitative Representation Synthesis},
booktitle = {Proc.\ MAPL},
publisher = {ACM},
pages = {34-33},
doi = {10.1145/3394450.3397467},
year = {2020},
}
Publisher's Version
Article: pldiws20maplmain-p5-p doi:10.1145/3394450.3397467
|
| |
Sakai, Masahiro
|
MAPL '20: "Semi-static Type, Shape, and ..."
Semi-static Type, Shape, and Symbolic Shape Inference for Dynamic Computation Graphs
Momoko Hattori, Shimpei Sawada, Shinichiro Hamaji, Masahiro Sakai, and Shunsuke Shimizu
(University of Tokyo, Japan; Preferred Networks, Japan)
@InProceedings{MAPL20p12,
author = {Momoko Hattori and Shimpei Sawada and Shinichiro Hamaji and Masahiro Sakai and Shunsuke Shimizu},
title = {Semi-static Type, Shape, and Symbolic Shape Inference for Dynamic Computation Graphs},
booktitle = {Proc.\ MAPL},
publisher = {ACM},
pages = {12-11},
doi = {10.1145/3394450.3397465},
year = {2020},
}
Publisher's Version
Article: pldiws20maplmain-p1-p doi:10.1145/3394450.3397465
|
| |
Sanchez-Stern, Alex |
MAPL '20: "Generating Correctness Proofs ..."
Generating Correctness Proofs with Neural Networks
Alex Sanchez-Stern, Yousef Alhessi, Lawrence Saul, and Sorin Lerner
(University of California at San Diego, USA)
@InProceedings{MAPL20p1,
author = {Alex Sanchez-Stern and Yousef Alhessi and Lawrence Saul and Sorin Lerner},
title = {Generating Correctness Proofs with Neural Networks},
booktitle = {Proc.\ MAPL},
publisher = {ACM},
pages = {1-0},
doi = {10.1145/3394450.3397466},
year = {2020},
}
Publisher's Version
Article: pldiws20maplmain-p2-p doi:10.1145/3394450.3397466
|
| |
Saul, Lawrence |
MAPL '20: "Generating Correctness Proofs ..."
Generating Correctness Proofs with Neural Networks
Alex Sanchez-Stern, Yousef Alhessi, Lawrence Saul, and Sorin Lerner
(University of California at San Diego, USA)
@InProceedings{MAPL20p1,
author = {Alex Sanchez-Stern and Yousef Alhessi and Lawrence Saul and Sorin Lerner},
title = {Generating Correctness Proofs with Neural Networks},
booktitle = {Proc.\ MAPL},
publisher = {ACM},
pages = {1-0},
doi = {10.1145/3394450.3397466},
year = {2020},
}
Publisher's Version
Article: pldiws20maplmain-p2-p doi:10.1145/3394450.3397466
|
| |
Sawada, Shimpei |
MAPL '20: "Semi-static Type, Shape, and ..."
Semi-static Type, Shape, and Symbolic Shape Inference for Dynamic Computation Graphs
Momoko Hattori, Shimpei Sawada, Shinichiro Hamaji, Masahiro Sakai, and Shunsuke Shimizu
(University of Tokyo, Japan; Preferred Networks, Japan)
@InProceedings{MAPL20p12,
author = {Momoko Hattori and Shimpei Sawada and Shinichiro Hamaji and Masahiro Sakai and Shunsuke Shimizu},
title = {Semi-static Type, Shape, and Symbolic Shape Inference for Dynamic Computation Graphs},
booktitle = {Proc.\ MAPL},
publisher = {ACM},
pages = {12-11},
doi = {10.1145/3394450.3397465},
year = {2020},
}
Publisher's Version
Article: pldiws20maplmain-p1-p doi:10.1145/3394450.3397465
|
| |
Shimizu, Shunsuke |
MAPL '20: "Semi-static Type, Shape, and ..."
Semi-static Type, Shape, and Symbolic Shape Inference for Dynamic Computation Graphs
Momoko Hattori, Shimpei Sawada, Shinichiro Hamaji, Masahiro Sakai, and Shunsuke Shimizu
(University of Tokyo, Japan; Preferred Networks, Japan)
@InProceedings{MAPL20p12,
author = {Momoko Hattori and Shimpei Sawada and Shinichiro Hamaji and Masahiro Sakai and Shunsuke Shimizu},
title = {Semi-static Type, Shape, and Symbolic Shape Inference for Dynamic Computation Graphs},
booktitle = {Proc.\ MAPL},
publisher = {ACM},
pages = {12-11},
doi = {10.1145/3394450.3397465},
year = {2020},
}
Publisher's Version
Article: pldiws20maplmain-p1-p doi:10.1145/3394450.3397465
|
| |
Tsoi, Kuen Hung
|
MAPL '20: "On the Challenges in Programming ..."
On the Challenges in Programming Mixed-Precision Deep Neural Networks
Ruizhe Zhao, Wayne Luk, Chao Xiong, Xinyu Niu, and Kuen Hung Tsoi
(Imperial College London, UK; Corerain Technologies, China)
@InProceedings{MAPL20p23,
author = {Ruizhe Zhao and Wayne Luk and Chao Xiong and Xinyu Niu and Kuen Hung Tsoi},
title = {On the Challenges in Programming Mixed-Precision Deep Neural Networks},
booktitle = {Proc.\ MAPL},
publisher = {ACM},
pages = {23-22},
doi = {10.1145/3394450.3397468},
year = {2020},
}
Publisher's Version
Article: pldiws20maplmain-p10-p doi:10.1145/3394450.3397468
|
| |
Xiong, Chao
|
MAPL '20: "On the Challenges in Programming ..."
On the Challenges in Programming Mixed-Precision Deep Neural Networks
Ruizhe Zhao, Wayne Luk, Chao Xiong, Xinyu Niu, and Kuen Hung Tsoi
(Imperial College London, UK; Corerain Technologies, China)
@InProceedings{MAPL20p23,
author = {Ruizhe Zhao and Wayne Luk and Chao Xiong and Xinyu Niu and Kuen Hung Tsoi},
title = {On the Challenges in Programming Mixed-Precision Deep Neural Networks},
booktitle = {Proc.\ MAPL},
publisher = {ACM},
pages = {23-22},
doi = {10.1145/3394450.3397468},
year = {2020},
}
Publisher's Version
Article: pldiws20maplmain-p10-p doi:10.1145/3394450.3397468
|
| |
Zhao, Ruizhe
|
MAPL '20: "On the Challenges in Programming ..."
On the Challenges in Programming Mixed-Precision Deep Neural Networks
Ruizhe Zhao, Wayne Luk, Chao Xiong, Xinyu Niu, and Kuen Hung Tsoi
(Imperial College London, UK; Corerain Technologies, China)
@InProceedings{MAPL20p23,
author = {Ruizhe Zhao and Wayne Luk and Chao Xiong and Xinyu Niu and Kuen Hung Tsoi},
title = {On the Challenges in Programming Mixed-Precision Deep Neural Networks},
booktitle = {Proc.\ MAPL},
publisher = {ACM},
pages = {23-22},
doi = {10.1145/3394450.3397468},
year = {2020},
}
Publisher's Version
Article: pldiws20maplmain-p10-p doi:10.1145/3394450.3397468
|