Pinned Repositories
codeditor
Multilingual Code Co-Evolution Using Large Language Models
CoditT5
CoditT5: Pretraining for Source Code and Natural Language Editing
gobash
Bash function library
inlinetest
Tests that check correctness of a single statement
jattack
Compiler Testing using Template Java Programs
jog
Pattern-Based Peephole Optimizations with Java JIT Tests
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/teco
TeCo: an ML+Execution model for test completion
EngineeringSoftware/CoditT5
CoditT5: Pretraining for Source Code and Natural Language Editing
EngineeringSoftware/jattack
Compiler Testing using Template Java Programs
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/jog
Pattern-Based Peephole Optimizations with Java JIT Tests
EngineeringSoftware/python-hpc-frameworks
List of Python frameworks for developing HPC applications
EngineeringSoftware/time-segmented-evaluation
Code and data for "Impact of Evaluation Methodologies on Code Summarization" in ACL 2022.
EngineeringSoftware/yalla
EngineeringSoftware/exLong
exLong: Generating Exceptional Behavior Tests with Large Language Models
EngineeringSoftware/tempo
Programming and execution model for parallel bounded exhaustive testing
EngineeringSoftware/VeDebug
Regression debugging tool for Java
EngineeringSoftware/exli
Automatic extraction of inline tests (from unit tests)
EngineeringSoftware/predictiverts
ML-based regression test selection
EngineeringSoftware/rtscheck
RTSCheck: A framework for testing regression test selection tools
EngineeringSoftware/wayout
Dynamically generate Python bindings for C++ libraries
EngineeringSoftware/roosterize-vscode
VSCode extension for Roosterize, a tool for suggesting lemma names in Coq
EngineeringSoftware/ekstazipp
Regression Test Selection tool for C++
EngineeringSoftware/lejit
Java JIT Testing with Template Extraction
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/llvm-project-yalla
The LLVM Project is a collection of modular and reusable compiler and toolchain technologies.
EngineeringSoftware/fine-starts
EngineeringSoftware/fqs
fqs - Command line tool for writing file queries
EngineeringSoftware/rustlang-coverage-study
Compare performance of coverage tools for Rust and C++
EngineeringSoftware/sqllogictest
List of resources related to sqllogictest
EngineeringSoftware/use-arrow-adbc
Use ADBC