Programming Systems Laboratory
Home
Projects
Publications
Talks
Courses
CS 4156: ASE
CS 6156: TSE
Digital Library Access
Software
Personnel
Contact Us
Programming Systems Lab
Home
Projects
Publications
Talks
Courses
CS 4156: ASE
CS 6156: TSE
Digital Library Access
Software
Personnel
Contact Us
Programming Systems Lab
Search
Search
Home
»
Courses
Recent Publications »
Replay without Recording of Production Bugs for Service Oriented Applications
Obfuscation Resilient Search through Executable Classification
Code Relatives: Detecting Similarly Behaving Software
Active Projects »
SEmantic Security bug detection with Pseudo-Oracles (SESPO)
Preponderance of the Evidence for SimilAr BEhavioR (SABER)
Toward Trustworthy MUtable RePLAY for Security Patches (MUPLAY)
Gameful Computational Thinking (SAGE)
Courses