Search Results for author: Shantanu Mandal

Found 6 papers, 0 papers with code

Learning-Based Automatic Synthesis of Software Code and Configuration

no code implementations25 May 2023 Shantanu Mandal

In this proposal, we set out to investigate this problem by breaking down automatic software generation and configuration into two different tasks.

Program Synthesis

ADA-GP: Accelerating DNN Training By Adaptive Gradient Prediction

no code implementations22 May 2023 Vahid Janfaza, Shantanu Mandal, Farabi Mahmud, Abdullah Muzahid

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 on a loss function) starting from the last layer.

Large Language Models Based Automatic Synthesis of Software Specifications

no code implementations18 Apr 2023 Shantanu Mandal, Adhrik Chethan, Vahid Janfaza, S M Farabi Mahmud, Todd A Anderson, Javier Turek, Jesmin Jahan Tithi, Abdullah Muzahid

As software systems grow in complexity and scale, the number of configurations and associated specifications required to ensure the correct operation can become large and prohibitively difficult to manipulate manually.

Language Modelling Large Language Model

Synthesizing Programs with Continuous Optimization

no code implementations2 Nov 2022 Shantanu Mandal, Todd A. Anderson, Javier Turek, Justin Gottschlich, Abdullah Muzahid

In this paper, we present a novel formulation of program synthesis as a continuous optimization problem and use a state-of-the-art evolutionary approach, known as Covariance Matrix Adaptation Evolution Strategy to solve the problem.

Program Synthesis

MERCURY: Accelerating DNN Training By Exploiting Input Similarity

no code implementations28 Oct 2021 Vahid Janfaza, Kevin Weston, Moein Razavi, Shantanu Mandal, Farabi Mahmud, Alex Hilty, Abdullah Muzahid

If the Signature of a new input vector matches that of an already existing vector in the MCACHE, the two vectors are found to have similarities.

Quantization

Cannot find the paper you are looking for? You can Submit a new open access paper.