psl.cs.columbia.edu
Digital Library Access | Programming Systems Laboratory
http://www.psl.cs.columbia.edu/courses/whim/digital-library-access
The Programming Systems Lab. The ACM Digital Library can be accessed via http:/ www.columbia.edu/cgi-bin/cul/resolve? Safari Books Online (last 3 years) can also be accessed via http:/ www.columbia.edu/cu/lweb/eresources/databases/4136562.html. Note that on campus these links will bring you directly to the databases, and off campus will automatically prompt for uni and password to proceed. The Programming Systems Laboratory is funded in part by NSF CCF-1302269 and CCF-1161079.
psl.cs.columbia.edu
Teaming Advice | Programming Systems Laboratory
http://www.psl.cs.columbia.edu/courses/whim/teaming-advice
The Programming Systems Lab. You are permitted, but not required, to work in teams for the project. Teams may be any manageable size (2-4 is recommended). Teams must be self-organized, the teaching staff will not assign or arrange teams. Start forming your team and planning your project from the beginning of the semester, do not wait until just before the project proposal is due. One team member should be responsible for scheduling meetings.
psl.cs.columbia.edu
Courses | Programming Systems Laboratory
http://www.psl.cs.columbia.edu/courses
The Programming Systems Lab. Recent Publications ». Code Relatives: Detecting Similarly Behaving Software. Identifying Functionally Similar Code in Complex Codebases. Challenges in Behavioral Code Clone Detection. Active Projects ». Record/Replay Bug Reproduction for Java. Toward Trustworthy Mutable Replay for Security Patches. Dynamic Information Flow Analysis. We are investigating an approach to runtime information flow analysis for managed languages that tracks metadata about data values through the e...
psl.cs.columbia.edu
Publications | Programming Systems Laboratory
http://www.psl.cs.columbia.edu/browse/publications
The Programming Systems Lab. Recent Publications ». Code Relatives: Detecting Similarly Behaving Software. Identifying Functionally Similar Code in Complex Codebases. Challenges in Behavioral Code Clone Detection. Active Projects ». Record/Replay Bug Reproduction for Java. Toward Trustworthy Mutable Replay for Security Patches. Dynamic Information Flow Analysis. We are investigating an approach to runtime information flow analysis for managed languages that tracks metadata about data values through the e...
psl.cs.columbia.edu
Phosphor: Illuminating Dynamic Data Flow in Commodity JVMs | Programming Systems Laboratory
http://www.psl.cs.columbia.edu/1603/phosphor-illuminating-dynamic-data-flow-in-off-the-shelf-jvms
The Programming Systems Lab. Phosphor: Illuminating Dynamic Data Flow in Commodity JVMs. Recent Publications ». Code Relatives: Detecting Similarly Behaving Software. Identifying Functionally Similar Code in Complex Codebases. Challenges in Behavioral Code Clone Detection. Active Projects ». Record/Replay Bug Reproduction for Java. Toward Trustworthy Mutable Replay for Security Patches. Dynamic Information Flow Analysis. We are investigating an approach to runtime information flow analysis for managed la...
psl.cs.columbia.edu
In Vivo Testing | Programming Systems Laboratory
http://www.psl.cs.columbia.edu/112/in-vivo-testing
The Programming Systems Lab. Recent Publications ». Code Relatives: Detecting Similarly Behaving Software. Identifying Functionally Similar Code in Complex Codebases. Challenges in Behavioral Code Clone Detection. Active Projects ». Record/Replay Bug Reproduction for Java. Toward Trustworthy Mutable Replay for Security Patches. Dynamic Information Flow Analysis. We are investigating an approach to runtime information flow analysis for managed languages that tracks metadata about data values through the e...
psl.cs.columbia.edu
News and Events | Programming Systems Laboratory
http://www.psl.cs.columbia.edu/news
The Programming Systems Lab. Recent Publications ». Code Relatives: Detecting Similarly Behaving Software. Identifying Functionally Similar Code in Complex Codebases. Challenges in Behavioral Code Clone Detection. Active Projects ». Record/Replay Bug Reproduction for Java. Toward Trustworthy Mutable Replay for Security Patches. Dynamic Information Flow Analysis. We are investigating an approach to runtime information flow analysis for managed languages that tracks metadata about data values through the e...
psl.cs.columbia.edu
Efficient Dependency Detection for Safe Java Test Acceleration | Programming Systems Laboratory
http://www.psl.cs.columbia.edu/1686/efficient-dependency-detection-for-safe-java-test-acceleration
The Programming Systems Lab. Efficient Dependency Detection for Safe Java Test Acceleration. Recent Publications ». Code Relatives: Detecting Similarly Behaving Software. Identifying Functionally Similar Code in Complex Codebases. Challenges in Behavioral Code Clone Detection. Active Projects ». Inspired by CS for All? Toward Trustworthy Mutable Replay for Security Patches. 8220;Code clones” are statically similar code fragments dispersed via copy/paste or independently writing lookalike code; best...
psl.cs.columbia.edu
Projects | Programming Systems Laboratory
http://www.psl.cs.columbia.edu/browse/projects
The Programming Systems Lab. Recent Publications ». Code Relatives: Detecting Similarly Behaving Software. Identifying Functionally Similar Code in Complex Codebases. Challenges in Behavioral Code Clone Detection. Active Projects ». Record/Replay Bug Reproduction for Java. Toward Trustworthy Mutable Replay for Security Patches. Dynamic Information Flow Analysis. We are investigating an approach to runtime information flow analysis for managed languages that tracks metadata about data values through the e...