4 citations · 7 across the 6 of their papers we have counts for
6 papers
Learning-Based Automatic Synthesis of Software Code and Configuration
Shantanu Mandal
Increasing demands in software industry and scarcity of software engineers motivates researchers and practitioners to automate the process of software generation and configuration.…
ADA-GP: Accelerating DNN Training By Adaptive Gradient Prediction
Vahid Janfaza, Shantanu Mandal, Farabi Mahmud +1
Neural network training is inherently sequential where the layers finish the forward propagation in succession, followed by the calculation and back-propagation of gradients (based…
Large Language Models Based Automatic Synthesis of Software Specifications
Shantanu Mandal, Adhrik Chethan, Vahid Janfaza +5
Software configurations play a crucial role in determining the behavior of software systems. In order to ensure safe and error-free operation, it is necessary to identify the corre…
Synthesizing Programs with Continuous Optimization
Shantanu Mandal, Todd A. Anderson, Javier Turek +2
Automatic software generation based on some specification is known as program synthesis. Most existing approaches formulate program synthesis as a search problem with discrete para…
MERCURY: Accelerating DNN Training By Exploiting Input Similarity
Vahid Janfaza, Kevin Weston, Moein Razavi +4
Deep Neural Networks (DNN) are computationally intensive to train. It consists of a large number of multidimensional dot products between many weights and input vectors. However, t…
Learning Fitness Functions for Machine Programming
Shantanu Mandal, Todd A. Anderson, Javier S. Turek +3
The problem of automatic software generation is known as Machine Programming. In this work, we propose a framework based on genetic algorithms to solve this problem. Although genet…