Pinned Repositories
codeditor
Multilingual Code Co-Evolution Using Large Language Models
CoditT5
Code and data for "CoditT5: Pretraining for Source Code and Natural Language Editing" in ASE 2022.
gobash
Bash function library
inlinetest
Tests that check correctness of a single statement
jattack
Compiler Testing using Template Java Programs
math-comp-corpus
Corpus of Coq code related to MathComp including several machine-readable representations
mcoq
Mutation analysis tool for Coq verification projects
roosterize
Tool for suggesting lemma names in Coq verification projects
teco
TeCo: an ML+Execution model for test completion
time-segmented-evaluation
Code and data for "Impact of Evaluation Methodologies on Code Summarization" in ACL 2022.
EngineeringSoftware's Repositories
EngineeringSoftware/mcoq
Mutation analysis tool for Coq verification projects
EngineeringSoftware/CoditT5
Code and data for "CoditT5: Pretraining for Source Code and Natural Language Editing" in ASE 2022.
EngineeringSoftware/teco
TeCo: an ML+Execution model for test completion
EngineeringSoftware/jattack
Compiler Testing using Template Java Programs
EngineeringSoftware/roosterize
Tool for suggesting lemma names in Coq verification projects
EngineeringSoftware/gobash
Bash function library
EngineeringSoftware/inlinetest
Tests that check correctness of a single statement
EngineeringSoftware/codeditor
Multilingual Code Co-Evolution Using Large Language Models
EngineeringSoftware/math-comp-corpus
Corpus of Coq code related to MathComp including several machine-readable representations
EngineeringSoftware/time-segmented-evaluation
Code and data for "Impact of Evaluation Methodologies on Code Summarization" in ACL 2022.
EngineeringSoftware/jog
Pattern-Based Peephole Optimizations with Java JIT Tests
EngineeringSoftware/VeDebug
Regression debugging tool for Java
EngineeringSoftware/tempo
Programming and execution model for parallel bounded exhaustive testing
EngineeringSoftware/predictiverts
EngineeringSoftware/rtscheck
RTSCheck: A framework for testing regression test selection tools
EngineeringSoftware/wayout
Dynamically generate Python bindings for C++ libraries
EngineeringSoftware/exli
Automatic extraction of inline tests (from unit tests)
EngineeringSoftware/roosterize-vscode
VSCode extension for Roosterize, a tool for suggesting lemma names in Coq
EngineeringSoftware/ekstazipp
Regression Test Selection tool for C++
EngineeringSoftware/hdlp
Code and data for "On the Naturalness of Hardware Descriptions" in ESEC/FSE'20
EngineeringSoftware/ogo
Object Graph Programming
EngineeringSoftware/fine-ekstazi
EngineeringSoftware/FineRTS
More precise regression test selection via reasoning about semantics-modifying changes
EngineeringSoftware/gocgo
C language lexer, parser, and visitors
EngineeringSoftware/codeowners
Creates CODEOWNERS file for a give repo
EngineeringSoftware/fine-starts
EngineeringSoftware/llvm-project-yalla
The LLVM Project is a collection of modular and reusable compiler and toolchain technologies.