Search Results for author: Jordan Henkel

Found 5 papers, 3 papers with code

From Words to Code: Harnessing Data for Program Synthesis from Natural Language

no code implementations2 May 2023 Anirudh Khatry, Joyce Cahoon, Jordan Henkel, Shaleen Deep, Venkatesh Emani, Avrilia Floratou, Sumit Gulwani, Vu Le, Mohammad Raza, Sherry Shi, Mukul Singh, Ashish Tiwari

Existing approaches have utilized data context in a limited way by simply adding relevant information from the input data into the prompts sent to the LLM.

Program Synthesis

Shipwright: A Human-in-the-Loop System for Dockerfile Repair

1 code implementation3 Mar 2021 Jordan Henkel, Denini Silva, Leopoldo Teixeira, Marcelo d'Amorim, Thomas Reps

Furthermore, in a "time-travel" analysis of broken Dockerfiles that were later fixed, we found that SHIPWRIGHT proposed repairs that were equivalent to human-authored patches in 22. 77% of the cases we studied.

Language Modelling Software Engineering

Semantic Robustness of Models of Source Code

1 code implementation7 Feb 2020 Goutham Ramakrishnan, Jordan Henkel, Zi Wang, Aws Albarghouthi, Somesh Jha, Thomas Reps

Deep neural networks are vulnerable to adversarial examples - small input perturbations that result in incorrect predictions.

Enabling Open-World Specification Mining via Unsupervised Learning

no code implementations27 Apr 2019 Jordan Henkel, Shuvendu K. Lahiri, Ben Liblit, Thomas Reps

Using this dataset, we show that interesting clusters can be recovered, in a fully automatic way, by leveraging unsupervised learning in the form of word embeddings.

Word Embeddings

Code Vectors: Understanding Programs Through Embedded Abstracted Symbolic Traces

1 code implementation18 Mar 2018 Jordan Henkel, Shuvendu K. Lahiri, Ben Liblit, Thomas Reps

With the rise of machine learning, there is a great deal of interest in treating programs as data to be fed to learning algorithms.

Software Engineering

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