PhD in Electrical and Computer Engineering
University of Toronto, 2007
Anchor: Fast and Precise Value-Flow Analysis for Containers via Memory Orientation
Article
Balance Seed Scheduling via Monte Carlo Planning
Article
A Cocktail Approach to Practical Call Graph Construction
Conference paper
DCLink: Bridging Data Constraint Changes and Implementations in FinTech Systems
Conference paper
Pinolo: Detecting Logical Bugs in Database Management Systems with Approximate Query Synthesis
Conference paper
Place Your Locks Well: Understanding and Detecting Lock Misuse Bugs
Conference paper
Synthesizing Conjunctive Queries for Code Search
Conference paper
Verifying Data Constraint Equivalence in FinTech Systems
Conference paper
Accelerating Build Dependency Error Detection via Virtual Build
Conference paper
BEACON: Directed Grey-Box Fuzzing with Provable Path Pruning
Conference paper
Complexity-Guided Container Replacement Synthesis
Conference paper
Indexing the Extended Dyck-CFL Reachability for Context-Sensitive Program Analysis
Conference paper
Peahen: fast and precise static deadlock detection via context reduction
Conference paper
Precise Divide-By-Zero Detection with Affirmative Evidence
Conference paper
Surakav: Generating Realistic Traces for a Strong Website Fingerprinting Defense
Conference paper
Program analysis via efficient symbolic abstraction
Article
Article
Canary: Practical Static Detection of Inter-thread Value-Flow Bugs
Conference paper
Fuzzing SMT solvers via two-dimensional input space exploration
Conference paper
Path-Sensitive Sparse Analysis without Path Conditions
Conference paper
Skeletal Approximation Enumeration for SMT Solver Testing
Conference paper
Transcode: Detecting Status Code Mapping Errors in Large-Scale Systems
Conference paper
Conquering the Extensional Scalability Problem for Value-Flow Analysis Frameworks
Conference paper
Escaping Dependency Hell: Finding Build Dependency Errors with the Unified Dependency Graph
Conference paper
Fast Bit-Vector Satisfiability
Conference paper
Pangolin: Incremental Hybrid Fuzzing with Polyhedral Path Abstraction
Conference paper
Pipelining bottom-up data flow analysis
Conference paper
SMOKE: Scalable Path-Sensitive Memory Leak Detection for Millions of Lines of Code
Conference paper
Pinpoint: Fast and Precise Sparse Value Flow Analysis for Million Lines of Code
Conference paper
Debugging Concurrent Software: Advances and Challenges
Article
Casper: An Efficient Approach to Call Trace Collection
Conference paper
RECONTEST: Effective Regression Testing of Concurrent Programs
Conference paper
Uncovering JavaScript Performance Code Smells Relevant to Type Mutations
Conference paper
Efficient Subcubic Alias Analysis for C
Conference paper
Grail: context-aware fixing of concurrency bugs
Conference paper
Persistent Pointer Information
Conference paper
Unleashing concurrency for irregular data structures
Conference paper
Scaling Predictive Analysis of Concurrent Programs by Removing Trace Redundancy
Article
CLAP: Recording local executions to reproduce concurrency failures
Conference paper
Finding Incorrect Compositions of Atomicity
Conference paper
Execution Privatization for Scheduler-Oblivious Concurrent Programs
Article
LEAN: Simplifying Concurrency Bug Reproduction via Replay-supported Execution Reduction
Article
Mining Crosscutting Concerns through Random Walks
Article
Pert: The Application-Aware Tailoring of Java Object Persistence
Article
Axis: Automatically Fixing Atomicity Violations through Solving Control Constraints
Conference paper
K Means of Cloud Computing: MapReduce, DVM, and Windows Azure
Conference paper
LEAN: Simplifying Concurrency Bug Reproduction via Replay-Supported Execution Reduction
Conference paper
On Atomicity Enforcement in Concurrent Software via Discrete Event Systems Theory
Conference paper
Stride: Search-based Deterministic Replay in Polynomial Time via Bounded Linkage
Conference paper
An Efficient Static Trace Simplification Technique for Debugging Concurrent Programs
Conference paper
Geometric encoding: Forging the high performance context sensitive points-to analysis for Java
Conference paper
Persuasive prediction of concurrency access anomalies
Conference paper
Tracking data structures for postmortem analysis (NIER track)
Conference paper
G-Finder: Routing programming questions closer to the experts
Conference paper
LEAP: Lightweight deterministic multi-processor replay of concurrent java programs
Conference paper
LEAP: Lightweight deterministic multi-processor replay of concurrent java programs
Conference paper
QSynth: A Tool for QoS-aware Automatic Service Composition
Conference paper
FlexSync: An aspect-oriented approach to Java synchronization
Conference paper
Externalizing Java server concurrency with CAL
Conference paper
Efficiently mining crosscutting concerns through random walks
Conference paper
Generic middleware substrate through modelware
Conference paper
Towards just-in-time middleware architectures
Conference paper
Resolving feature convolution in middleware systems
Conference paper
Refactoring Middleware with Aspects
Article
Quantifying aspects in middleware platforms
Conference paper
Refactoring middleware systems: A Case Study
Conference paper
Accelerating Build Dependency Error Detection via Virtual Build
BEACON: Directed Grey-Box Fuzzing with Provable Path Pruning
Indexing the Extended Dyck-CFL Reachability for Context-Sensitive Program Analysis
Peahen: fast and precise static deadlock detection via context reduction
Surakav: Generating Realistic Traces for a Strong Website Fingerprinting Defense
Execution Privatization for Scheduler-Oblivious Concurrent Programs
LEAN: Simplifying Concurrency Bug Reproduction via Replay-supported Execution Reduction
Pert: The Application-Aware Tailoring of Java Object Persistence
Axis: Automatically Fixing Atomicity Violations through Solving Control Constraints
K Means of Cloud Computing: MapReduce, DVM, and Windows Azure
LEAN: Simplifying Concurrency Bug Reproduction via Replay-Supported Execution Reduction
On Atomicity Enforcement in Concurrent Software via Discrete Event Systems Theory
Stride: Search-based Deterministic Replay in Polynomial Time via Bounded Linkage
FlexSync: An aspect-oriented approach to Java synchronization
Efficiently mining crosscutting concerns through random walks
Debugging Concurrent Software: Advances and Challenges
Article
Casper: An Efficient Approach to Call Trace Collection
Conference paper
RECONTEST: Effective Regression Testing of Concurrent Programs
Conference paper
Uncovering JavaScript Performance Code Smells Relevant to Type Mutations
Conference paper
Efficient Subcubic Alias Analysis for C
Conference paper
Grail: context-aware fixing of concurrency bugs
Conference paper
Persistent Pointer Information
Conference paper
Unleashing concurrency for irregular data structures
Conference paper
Scaling Predictive Analysis of Concurrent Programs by Removing Trace Redundancy
Article
CLAP: Recording local executions to reproduce concurrency failures
Conference paper
Finding Incorrect Compositions of Atomicity
Conference paper
Execution Privatization for Scheduler-Oblivious Concurrent Programs
Article
LEAN: Simplifying Concurrency Bug Reproduction via Replay-supported Execution Reduction
Article
Mining Crosscutting Concerns through Random Walks
Article
Pert: The Application-Aware Tailoring of Java Object Persistence
Article
Axis: Automatically Fixing Atomicity Violations through Solving Control Constraints
Conference paper
K Means of Cloud Computing: MapReduce, DVM, and Windows Azure
Conference paper
LEAN: Simplifying Concurrency Bug Reproduction via Replay-Supported Execution Reduction
Conference paper
On Atomicity Enforcement in Concurrent Software via Discrete Event Systems Theory
Conference paper
Stride: Search-based Deterministic Replay in Polynomial Time via Bounded Linkage
Conference paper
An Efficient Static Trace Simplification Technique for Debugging Concurrent Programs
Conference paper
Geometric encoding: Forging the high performance context sensitive points-to analysis for Java
Conference paper
Persuasive prediction of concurrency access anomalies
Conference paper
Tracking data structures for postmortem analysis (NIER track)
Conference paper
G-Finder: Routing programming questions closer to the experts
Conference paper
LEAP: Lightweight deterministic multi-processor replay of concurrent java programs
Conference paper
LEAP: Lightweight deterministic multi-processor replay of concurrent java programs
Conference paper
QSynth: A Tool for QoS-aware Automatic Service Composition
Conference paper
FlexSync: An aspect-oriented approach to Java synchronization
Conference paper
Externalizing Java server concurrency with CAL
Conference paper
Efficiently mining crosscutting concerns through random walks
Conference paper
Generic middleware substrate through modelware
Conference paper
Towards just-in-time middleware architectures
Conference paper
Resolving feature convolution in middleware systems
Conference paper
Refactoring Middleware with Aspects
Article
Quantifying aspects in middleware platforms
Conference paper
Refactoring middleware systems: A Case Study
Conference paper
COMP2011 | Programming with C++ |
RMBI4980 | Risk Management and Business Intelligence Capstone Project I |
COMP6921C | Research Project: Concurrency Study |
COMP3021 | Java Programming |
COMP4971D | Independent Work |
COMP6921C | Research Project: Concurrency Study |
COMP2011 | Programming with C++ |
COMP6931A | Independent Studies |
UROP1000 | Undergraduate Research Opportunities |
No Teaching Assignments |
CHEN, Wei
Computer Science and Engineering
DU, Bangyan
Computer Science and Engineering
PENG, Sixiang
Computer Science and Engineering
SONG, Jiaxin
Computer Science and Engineering
JIN, Yibo
Computer Science and Engineering
CHIU, Hung-chun
Computer Science and Engineering
YE, Chengfeng
Computer Science and Engineering
ZHANG, Bowen
Computer Science and Engineering
LING, Hao
Computer Science and Engineering
CAI, Yuandao
Computer Science and Engineering
MASOUDIAN TARGHI, Maryam Alsadat
Computer Science and Engineering
WANG, Chengpeng
Computer Science and Engineering
ZHOU, Anshunkang
Computer Science and Engineering
GUO, Yiyuan
Computer Science and Engineering
WANG, Yongchao
Computer Science and Engineering
TANG, Wensheng
Computer Science and Engineering
GONG, Jiajun
Computer Science and Engineering( Completed in 2023 )
HUANG, Heqing
Computer Science and Engineering( Completed in 2022 )
YAO, Peisen
Computer Science and Engineering( Completed in 2022 )
FAN, Gang
Computer Science and Engineering( Completed in 2020 )
SHI, Qingkai
Computer Science and Engineering( Completed in 2020 )
MA, Kexin
Computer Science and Engineering( Completed in 2022 )
HUANG, Linjie
Computer Science and Engineering( Completed in 2021 )
ZHANG, Yushan
Computer Science and Engineering( Completed in 2021 )
DEWAR-ROBSON, Robert Craig
Technology Leadership and Entrepreneurship( Completed in 2020 )
Update your browser to view this website correctly. Update your browser now