4 citations · 4 across the 2 of their papers we have counts for
5 papers
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…
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…
HiFrames: High Performance Data Frames in a Scripting Language
Ehsan Totoni, Wajih Ul Hassan, Todd A. Anderson +1
Data frames in scripting languages are essential abstractions for processing structured data. However, existing data frame solutions are either not distributed (e.g., Pandas in Pyt…
HPAT: High Performance Analytics with Scripting Ease-of-Use
Ehsan Totoni, Todd A. Anderson, Tatiana Shpeisman
Big data analytics requires high programmer productivity and high performance simultaneously on large-scale clusters. However, current big data analytics frameworks (e.g. Apache Sp…