- ENHANCING SOFTWARE RELIABILITY WITH SPECULATIVE THREADS
- Four different tricks to bypass StackShield and StackGuard protection
- Program Representations Xiangyu Zhang
- Memory Indexing: Canonicalizing Addresses Across William N. Sumner Xiangyu Zhang
- Program Slicing Xiangyu Zhang
- Indexing Noncrashing Failures: A Dynamic Program Slicing-Based Approach Department of Computer Science
- Static Program Analysis Xiangyu Zhang
- Alchemist: A Transparent Dependence Distance Profiling Infrastructure Xiangyu Zhang, Armand Navabi and Suresh Jagannathan
- Life, Death, and the Critical Transition: Finding Liveness Bugs in System Code
- Atomizer: A Dynamic Atomicity Checker For Multithreaded Programs
- Minos: Control Data Attack Prevention Orthogonal to Memory Model Jedidiah R. Crandall and Frederic T. Chong
- Dynamic Analysis of Multithreaded S. Savage, M. Burrows, G. Nelson, P. Sobalvarro, and T.E.
- Analyzing Multicore Dumps to Facilitate Concurrency Bug Reproduction
- Automated Testing: CUTE & SMART
- CS 352 Midterm One (2/12/09) name__________________
- Building Security In Editor: Gary McGraw, gem@cigital.com
- Pruning Dynamic Slices With Confidence Xiangyu Zhang Neelam Gupta Rajiv Gupta
- Basic Blocks and Traces Basic blocks and Traces
- Lightweight Task Graph Inference for Distributed Applications Bin Xin, Patrick Eugster, Xiangyu Zhang
- Debugging in Parallel James A. Jones
- Non-recursive predictive parsing Observation
- Selecting Peers for Execution Comparison William N. Sumner, Tao Bao, Xiangyu Zhang
- Unified Debugging of Distributed Systems with Recon Kyu Hyung Lee Nick Sumner Xiangyu Zhang Patrick Eugster
- Precise Calling Context Encoding William N. Sumner, Yunhui Zheng, Dasarath Weeratunge, Xiangyu Zhang
- source tokens scanner parser IR
- Securing software by enforcing data-flow integrity Miguel Castro
- IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, VOL. 28, NO. 2, FEBRUARY 2002 1 Simplifying and Isolating Failure-Inducing Input
- CS 352 Spring 2011 Handed out: Jan. 17 Due: Feb. 3 (11:30pm)
- CS 352 Midterm One (2/17/11) name__________________
- A "Flight Data Recorder" for Enabling Full-system Multiprocessor
- Tools and Implementation Xiangyu Zhang
- Efficient Program Execution Indexing Bin Xin William N. Sumner Xiangyu Zhang
- Algorithms for Automatically Computing the Causal Paths of Failures
- Analyzing Concurrency Bugs using Dual Slicing Dasarath Weeratunge Xiangyu Zhang William N.Sumner and Suresh Jagannathan
- Memory Slicing Bin Xin and Xiangyu Zhang
- Coalescing Executions for Fast Uncertainty Analysis William N. Sumner Tao Bao Xiangyu Zhang Sunil Prabhakar
- Tracing Lineage Beyond Relational Operators Mingwu Zhang Xiangyu Zhang Xiang Zhang Sunil Prabhakar
- Automatic Reverse Engineering of Data Structures from Binary Execution Zhiqiang Lin Xiangyu Zhang Dongyan Xu
- Deriving Input Syntactic Structure From Execution Zhiqiang Lin Xiangyu Zhang
- Efficient Diagnostic Tracing for Wireless Sensor Networks Vinaitheerthan Sundaram
- CS 352: Compilers: Principles and Practice Important facts
- The role of the parser source tokens
- Some definitions For a grammar G, with start symbol S, any string such that S is
- The limitations of CFGThe limitations of CFG Given the following grammar
- Register allocation instruction
- Register allocation instruction
- CS 352 Spring 2011 Handed out: Feb 3th, 2011
- CS 352 Spring 2011 Handed out: Mar 1st, 2011
- CS 352: Compilers: Principles and Practice Important facts
- source tokens scanner parser IR
- Question: Can I implement a compiler by inserting code into the parser
- Chapter 6 Activation RecordsChapter 6 Activation Records ConceptsConcepts
- Tree Similarity and Code Clones Well defined tree similarity problem
- Towards Locating Execution Omission Errors Xiangyu Zhang
- Efficient Online Detection of Dynamic Control Dependence Bin Xin Xiangyu Zhang
- Instrumenting Where it Hurts--An Automatic Concurrent Debugging Technique
- Automated Support for Classifying Software Failure Reports Andy Podgurski, David Leon, Patrick Francis,
- SOBER: Statistical Model-based Bug Localization Dept. Comp. Sci.
- Enhancing Server Availability and Security Through Failure-Oblivious Computing
- A Program Understanding Tool Based on Type Inference
- The Essence of Dynamic Thomas Ball
- slides compiled from Alex Aiken's,
- CUTE: A Concolic Unit Testing Engine for C Koushik Sen, Darko Marinov, Gul Agha
- Compositional Dynamic Test Generation (Extended Abstract)
- Non-Control-Data Attacks Are Realistic Threats , Emre C. Sezer
- Jockey: A user-space library for record-replay debugging Yasushi Saito
- RIFLE: An Architectural Framework for User-Centric Information-Flow Security
- JavaScript Instrumentation for Browser Security Dachuan Yu Ajay Chander Nayeem Islam Igor Serikov
- SYNERGY: A New Algorithm for Property Checking Bhargav S. Gulavani Thomas A. Henzinger Yamini Kannan
- Multithreaded Java program test
- SATURN: A Scalable Framework for Error Detection Using Boolean Satisfiability
- CS 352 Spring 2011 Handed out: Mar 29th, 2011
- Abstract Grammar and Abstract Syntax Tree In programming languages, we prefer a grammar that is close to the
- Framework for Instruction-level Tracing and Analysis of Program Executions
- PR-Miner: Automatically Extracting Implicit Programming Rules and Detecting Violations in Large Software Code
- Using Slicing to Identify Duplication in Source Code Raghavan Komondoor
- Intermediate Representation MotivationMotivation
- Ashish Kundu CS590F Purdue 02/12/07 Language-Based Information
- Software Reliability Xiangyu Zhang
- CS 352 Midterm Two (3/12/09) name__________________
- Comparison-based Computation of Causal Paths for Software Failures
- Fault Location via Precise Dynamic Slicing Xiangyu Zhang
- Efficient Collection And Storage Of Indexed Program Traces
- Garbage Collection Problem: When items are allocated from the heap, how do we know when to
- Failure Proximity: A Fault Localization-Based Approach Department of Computer Science
- Automated Whitebox Fuzz Testing Patrice Godefroid
- Toward Generating Reducible Replay Logs Kyu Hyung Lee Yunhui Zheng Nick Sumner Xiangyu Zhang
- Statically Locating Web Application Bugs Caused by Asynchronous Calls
