arise-lab Goto Github PK
Name: ARiSE Lab @ Columbia University
Type: Organization
Bio: Analytical Research in Software Engineering
ARiSE Lab @ Columbia University's Projects
apex
Tool for automatically generating error specifications of API functions.
arise-lab.github.io
Group Website
concord_issta_23
Open-source repository for the ISSTA'23 paper "CONCORD: Clone-aware Contrastive Learning for Source Code"
cycle_oopsla_24
Open-source repository for the OOPSLA'24 paper "CYCLE: Learning to Self-Refine Code Generation"
deepinspect
DeepInspect code release
deeptest
A systematic testing tool for automatically detecting erroneous behaviors of DNN-driven vehicles
entitynamedlanguagemodel
epex
Tool for detecting error handling bugs
errdoc
Tools for detecting, categorizing and repairing error handling bugs.
gitcommitactivitygraph
gitcproc
Tool for analyzing git log messages and diffs.
hibench
HiBench is a big data benchmark suite.
lanmodeledprogramgeneartion-master
mtfuzz
patch-as-translation
semcoder
Artifacts for "SemCoder: Training Code Language Models with Comprehensive Semantics"
sepl-seminar
Website for Columbia SE/PL Seminar
traced_icse_24
velvet
Recommend Projects
-
React
A declarative, efficient, and flexible JavaScript library for building user interfaces.
-
Vue.js
🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.
-
Typescript
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
-
TensorFlow
An Open Source Machine Learning Framework for Everyone
-
Django
The Web framework for perfectionists with deadlines.
-
Laravel
A PHP framework for web artisans
-
D3
Bring data to life with SVG, Canvas and HTML. 📊📈🎉
-
Recommend Topics
-
javascript
JavaScript (JS) is a lightweight interpreted programming language with first-class functions.
-
web
Some thing interesting about web. New door for the world.
-
server
A server is a program made to process requests and deliver data to clients.
-
Machine learning
Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.
-
Visualization
Some thing interesting about visualization, use data art
-
Game
Some thing interesting about game, make everyone happy.
Recommend Org
-
Facebook
We are working to build community through open source technology. NB: members must have two-factor auth.
-
Microsoft
Open source projects and samples from Microsoft.
-
Google
Google ❤️ Open Source for everyone.
-
Alibaba
Alibaba Open Source for everyone
-
D3
Data-Driven Documents codes.
-
Tencent
China tencent open source team.