Programming Systems Lab @ Columbia University

6LE1 CEPSR, Columbia University, New York 10027

Pinned Repositories

callstackcoverage
Language:Java1 8 00
chroniclerj
Efficiently recording and reproducing failures in deployed applications
Language:Java14 7 28
COMS-W4156
Advanced Software Engineering
14 8 010
deckard-analysis-kit
Conveniently run Deckard pair-wise on multiple codebases with multiple settings, and aggregate the results.
Language:Shell3 9 00
dyclink
Language:Java9 8 26
ioclones
Language:Java5 7 11
macneto_release
Language:Java10 7 12
phosphor
Phosphor: Dynamic Taint Tracking for the JVM
Language:Java5 15 02
testisolation-fork
Fork of https://code.google.com/p/testisolation/ - Modified to simplify automated execution & bug fixes. Huge blobs removed.
Language:Java1 6 00
vmvm
VMVM: Unit Test Virtualization for Java
Language:Java25 7 611

Programming Systems Lab @ Columbia University's Repositories

Programming-Systems-Lab/vmvm
VMVM: Unit Test Virtualization for Java
Language:Java25 7 611
Programming-Systems-Lab/chroniclerj
Efficiently recording and reproducing failures in deployed applications
Language:Java14 7 28
Programming-Systems-Lab/COMS-W4156
Advanced Software Engineering
14 8 010
Programming-Systems-Lab/macneto_release
Language:Java10 7 12
Programming-Systems-Lab/dyclink
Language:Java9 8 26
Programming-Systems-Lab/ioclones
Language:Java5 7 11
Programming-Systems-Lab/phosphor
Phosphor: Dynamic Taint Tracking for the JVM
Language:Java5 15 02
Programming-Systems-Lab/4156-Miniproject-2024-Students-Cplusplus
Language:C++120
Programming-Systems-Lab/4156-Miniproject-2024-Students-Java
student version of Fall 2024 COMS W4156 Miniproject
Language:Java1121
Programming-Systems-Lab/ATTUNE
ATTUNE Ad hoc Test generation ThroUgh biNary rEwriting release
Language:C++1 4 0
Programming-Systems-Lab/bug-collection
This is a collection of bugs/security vulnerabilities with before and after test cases to be used for research experiments
Language:Makefile1 10 130
Programming-Systems-Lab/souryadeep
Language:C1 4 00
Programming-Systems-Lab/auto_trans
Language:Python0 5 10
Programming-Systems-Lab/coms4156test
Language:Java0 5 01
Programming-Systems-Lab/kabu
Language:Java0 3 01
Programming-Systems-Lab/archived-corduroy
Language:Java5 0
Programming-Systems-Lab/archived-habitats
Auto-imported archived project habitats.git
Language:Java5 0
Programming-Systems-Lab/archived-in-vivo
Executing tests in the deployment environment, using the state of the running application
Language:Java5 0
Programming-Systems-Lab/archived-VMVM
Auto-imported archived project VMVM.git
Language:Java5 0
Programming-Systems-Lab/archived-workflakes
Process-aware Mobile Agent Coordinated Communities
Language:Java5 0
Programming-Systems-Lab/archived-xues
Event-based temporal protocol matching and notification
Language:Java5 0
Programming-Systems-Lab/Capstone-2
DSI capstone 2 project
Language:Jupyter Notebook3 01
Programming-Systems-Lab/copyofacademicpages.github.io
Github Pages template for academic personal websites, forked from mmistakes/minimal-mistakes
Language:JavaScript2 0
Programming-Systems-Lab/DIRE
Language:Python2 0
Programming-Systems-Lab/DIRECT-nlp4prog
Language:Python1 0
Programming-Systems-Lab/dream-fork
Language:Python2 0
Programming-Systems-Lab/dream-ida-fork
Language:C++2 0
Programming-Systems-Lab/egalito
Self-hosting binary instrumentation framework for security research
Language:C++2 0
Programming-Systems-Lab/Parikshan
Language:C++6 01
Programming-Systems-Lab/VELVET
Language:Python1 0