@Programming-Systems-Lab

Programming Systems Lab @ Columbia University

  • Advanced Software Engineering

    6 6 Updated Aug 27, 2018
  • Phosphor: Dynamic Taint Tracking for the JVM

    Java 38 MIT Updated Aug 14, 2018
  • Java 7 5 MIT Updated Jul 4, 2018
  • Efficiently recording and reproducing failures in deployed applications

    Java 14 8 Updated May 28, 2018
  • Java 3 MIT Updated May 10, 2018
  • Java 1 1 MIT Updated May 10, 2018
  • Python Updated Sep 16, 2017
  • Java 1 MIT Updated Aug 20, 2017
  • Java MIT Updated May 25, 2017
  • Java MIT Updated Apr 25, 2017
  • Java 1 Updated Mar 24, 2017
  • Executing tests in the deployment environment, using the state of the running application

    Java Updated Sep 1, 2016
  • Event-based temporal protocol matching and notification

    Java Updated Sep 1, 2016
  • Process-aware Mobile Agent Coordinated Communities

    Java Updated Sep 1, 2016
  • Auto-imported archived project habitats.git

    Java Updated Sep 1, 2016
  • Auto-imported archived project VMVM.git

    Java Updated Sep 1, 2016
  • Understanding students' programming habits and creating ad hoc social networks

    Java Updated Sep 1, 2016
  • Process-aware Mobile Agent Coordinated Communities

    Java Updated Sep 1, 2016
  • Teamwork-Oriented Recommender Architecture

    Java Updated Sep 1, 2016
  • Auto-imported archived project trikx.old.git

    Java Updated Sep 1, 2016
  • Auto-imported archived project totalrecall.git

    C# Updated Sep 1, 2016
  • Survivable Enterprise Middleware

    Java Updated Sep 1, 2016
  • Auto-imported archived project sshdfilter_mac.git

    Perl GPL-2.0 Updated Sep 1, 2016
  • Auto-imported archived project oracle.git

    Java Updated Sep 1, 2016
  • Auto-imported archived project metaparser2.git

    Java Updated Sep 1, 2016
  • Auto-imported archived project metaparser.git

    C Updated Sep 1, 2016
  • Auto-imported archived project metamorphic-columbus.git

    Java Updated Sep 1, 2016
  • Auto-imported archived project metamorphic-amsterdam.git

    Java Updated Sep 1, 2016
  • Unnamed repository; edit this file 'description' to name the repository.

    C++ Updated Sep 1, 2016
  • Event Transport with XML events: survivable, embeddable, extensible, scalable.

    Java Updated Sep 1, 2016