Get our free extension to see links to code for papers anywhere online!

Chrome logo  Add to Chrome

Firefox logo Add to Firefox
Picture for Madanlal Musuvathi

Madanlal Musuvathi
Alert button

Interactive Code Generation via Test-Driven User-Intent Formalization


Aug 11, 2022
Shuvendu K. Lahiri, Aaditya Naik, Georgios Sakkas, Piali Choudhury, Curtis von Veh, Madanlal Musuvathi, Jeevana Priya Inala, Chenglong Wang, Jianfeng Gao

Add code
Alert button

Figure 1 for Interactive Code Generation via Test-Driven User-Intent Formalization
Figure 2 for Interactive Code Generation via Test-Driven User-Intent Formalization
Figure 3 for Interactive Code Generation via Test-Driven User-Intent Formalization
Figure 4 for Interactive Code Generation via Test-Driven User-Intent Formalization
* 18 pages 
   Access Paper or Ask Questions
  • Share via Twitter
  • Share via Facebook
  • Share via LinkedIn
  • Share via Whatsapp
  • Share via Messenger
  • Share via Email

Fault-Aware Neural Code Rankers


Jun 04, 2022
Jeevana Priya Inala, Chenglong Wang, Mei Yang, Andres Codas, Mark Encarnación, Shuvendu K Lahiri, Madanlal Musuvathi, Jianfeng Gao

Add code
Alert button

Figure 1 for Fault-Aware Neural Code Rankers
Figure 2 for Fault-Aware Neural Code Rankers
Figure 3 for Fault-Aware Neural Code Rankers
Figure 4 for Fault-Aware Neural Code Rankers

   Access Paper or Ask Questions
  • Share via Twitter
  • Share via Facebook
  • Share via LinkedIn
  • Share via Whatsapp
  • Share via Messenger
  • Share via Email

CoCoNet: Co-Optimizing Computation and Communication for Distributed Machine Learning


May 13, 2021
Abhinav Jangda, Jun Huang, Guodong Liu, Amir Hossein Nodehi Sabet, Saeed Maleki, Youshan Miao, Madanlal Musuvathi, Todd Mytkowicz, Olli Sarikivi

Add code
Alert button

Figure 1 for CoCoNet: Co-Optimizing Computation and Communication for Distributed Machine Learning
Figure 2 for CoCoNet: Co-Optimizing Computation and Communication for Distributed Machine Learning
Figure 3 for CoCoNet: Co-Optimizing Computation and Communication for Distributed Machine Learning
Figure 4 for CoCoNet: Co-Optimizing Computation and Communication for Distributed Machine Learning

   Access Paper or Ask Questions
  • Share via Twitter
  • Share via Facebook
  • Share via LinkedIn
  • Share via Whatsapp
  • Share via Messenger
  • Share via Email

EVA: An Encrypted Vector Arithmetic Language and Compiler for Efficient Homomorphic Computation


Dec 27, 2019
Roshan Dathathri, Blagovesta Kostova, Olli Saarikivi, Wei Dai, Kim Laine, Madanlal Musuvathi

Add code
Alert button

Figure 1 for EVA: An Encrypted Vector Arithmetic Language and Compiler for Efficient Homomorphic Computation
Figure 2 for EVA: An Encrypted Vector Arithmetic Language and Compiler for Efficient Homomorphic Computation
Figure 3 for EVA: An Encrypted Vector Arithmetic Language and Compiler for Efficient Homomorphic Computation
Figure 4 for EVA: An Encrypted Vector Arithmetic Language and Compiler for Efficient Homomorphic Computation
* Submitted to PLDI2020 
   Access Paper or Ask Questions
  • Share via Twitter
  • Share via Facebook
  • Share via LinkedIn
  • Share via Whatsapp
  • Share via Messenger
  • Share via Email

CHET: Compiler and Runtime for Homomorphic Evaluation of Tensor Programs


Oct 01, 2018
Roshan Dathathri, Olli Saarikivi, Hao Chen, Kim Laine, Kristin Lauter, Saeed Maleki, Madanlal Musuvathi, Todd Mytkowicz

Add code
Alert button

Figure 1 for CHET: Compiler and Runtime for Homomorphic Evaluation of Tensor Programs
Figure 2 for CHET: Compiler and Runtime for Homomorphic Evaluation of Tensor Programs
Figure 3 for CHET: Compiler and Runtime for Homomorphic Evaluation of Tensor Programs
Figure 4 for CHET: Compiler and Runtime for Homomorphic Evaluation of Tensor Programs
* Submitted to ASPLOS2019 
   Access Paper or Ask Questions
  • Share via Twitter
  • Share via Facebook
  • Share via LinkedIn
  • Share via Whatsapp
  • Share via Messenger
  • Share via Email

Parallel Stochastic Gradient Descent with Sound Combiners


May 22, 2017
Saeed Maleki, Madanlal Musuvathi, Todd Mytkowicz

Add code
Alert button

Figure 1 for Parallel Stochastic Gradient Descent with Sound Combiners
Figure 2 for Parallel Stochastic Gradient Descent with Sound Combiners
Figure 3 for Parallel Stochastic Gradient Descent with Sound Combiners
Figure 4 for Parallel Stochastic Gradient Descent with Sound Combiners
* 16 pages, 4 figures 
   Access Paper or Ask Questions
  • Share via Twitter
  • Share via Facebook
  • Share via LinkedIn
  • Share via Whatsapp
  • Share via Messenger
  • Share via Email