# overview
I enjoy doing research in software engineering and programming languages, in particular, concurrency and concurrent programming, program analysis, program verification, testing, debugging, and everything looks interesting related to software correctness, performance, reliability, and security.

# educationAndTraining[].organization.label
University of Illinois at Urbana Champaign - (Urbana, Illinois, United States)

# educationAndTraining[].organization.label
Hong Kong University of Science and Technology - (Hong Kong, Hong Kong, China)

# educationAndTraining[].organization.label
National University of Defense Technology - (Changsha, China)

# awardsAndHonors[].label
Faculty Early Career Development (CAREER) Program

# publications[].label
An Efficient Static Trace Simplification Technique for Debugging Concurrent Programs

# publications[].label
LEAN: simplifying concurrency bug reproduction via replay-supported execution reduction

# publications[].publisher
Association for Computing Machinery (ACM)

# publications[].publisher
Association for Computing Machinery (ACM)

# publications[].label
SafeCheck: Safety Enhancement of Java Unsafe API

# publications[].publisher
Institute of Electrical and Electronics Engineers (IEEE)

# publications[].tags
16 Peace, Justice and Strong Institutions

# publications[].label
LEAP: lightweight deterministic multi-processor replay of concurrent java programs

# publications[].publisher
Association for Computing Machinery (ACM)

# publications[].label
Debugging Concurrent Software: Advances and Challenges

# publications[].label
D4: Fast Concurrency Debugging with Parallel Differential Analysis

# publications[].publisher
Association for Computing Machinery (ACM)

# publications[].label
Concurrency Verification with Maximal Path Causality

# publications[].publisher
Association for Computing Machinery (ACM)

# publications[].label
Towards Incremental Static Race Detection in OpenMP Programs

# publications[].publisher
Institute of Electrical and Electronics Engineers (IEEE)

# publications[].label
ReCBuLC: Reproducing Concurrency Bugs Using Local Clocks

# publications[].publisher
Institute of Electrical and Electronics Engineers (IEEE)

# publications[].publisher
Institute of Electrical and Electronics Engineers (IEEE)

# publications[].label
Maximal Causality Reduction for TSO and PSO

# publications[].publisher
Association for Computing Machinery (ACM)

# publications[].label
Towards Production-Run Heisenbugs Reproduction on Commercial Hardware

# publications[].label
What's the optimal performance of precise dynamic race detection? - A redundancy perspective

# publications[].label
CLAP: Recording local executions to reproduce concurrency failures

# publications[].publisher
Association for Computing Machinery (ACM)

# publications[].publisher
Association for Computing Machinery (ACM)

# publications[].label
Using Local Clocks to Reproduce Concurrency Bugs

# publications[].publisher
Institute of Electrical and Electronics Engineers (IEEE)

# publications[].label
LEAP: lightweight deterministic multi-processor replay of concurrent java programs

# publications[].publisher
Association for Computing Machinery (ACM)

# publications[].label
Persuasive prediction of concurrency access anomalies

# publications[].publisher
Association for Computing Machinery (ACM)

# publications[].publisher
Association for Computing Machinery (ACM)

# publications[].publisher
Association for Computing Machinery (ACM)

# publications[].label
SMT Solving for the Theory of Ordering Constraints

# publications[].publisher
Association for Computing Machinery (ACM)

# publications[].label
Precise and Maximal Race Detection from Incomplete Traces

# publications[].publisher
Association for Computing Machinery (ACM)

# publications[].label
RDIT: Race Detection from Incomplete Traces

# publications[].publisher
Association for Computing Machinery (ACM)

# publications[].label
SWORD: A Scalable Whole Program Race Detector for Java

# publications[].publisher
Institute of Electrical and Electronics Engineers (IEEE)

# publications[].label
Stateless Model Checking Concurrent Programs with Maximal Causality Reduction

# publications[].publisher
Association for Computing Machinery (ACM)

# publications[].label
DeepSim: Deep Learning Code Functional Similarity

# publications[].publisher
Association for Computing Machinery (ACM)

# publications[].label
ServDroid: Detecting Service Usage Inefficiencies in Android Applications

# publications[].publisher
Association for Computing Machinery (ACM)

# publications[].label
Study and Mitigation of Origin Stripping Vulnerabilities in Hybrid-postMessage Enabled Mobile Applications

# publications[].publisher
Institute of Electrical and Electronics Engineers (IEEE)

# publications[].label
Understanding JavaScript Vulnerabilities in Large Real-World Android Applications

# publications[].publisher
Institute of Electrical and Electronics Engineers (IEEE)

# publications[].label
EHBDroid: Beyond GUI Testing for Android Applications

# publications[].publisher
Institute of Electrical and Electronics Engineers (IEEE)

# publications[].label
Rethinking Incremental and Parallel Pointer Analysis

# publications[].publisher
Association for Computing Machinery (ACM)

# publications[].label
Maximal sound predictive race detection with control flow abstraction

# publications[].publisher
Association for Computing Machinery (ACM)

# publications[].label
Speeding up maximal causality reduction with static dependency analysis

# publications[].label
Verifying Synchronization for Atomicity Violation Fixing

# publications[].publisher
Institute of Electrical and Electronics Engineers (IEEE)

# publications[].label
Scaling predictive analysis of concurrent programs by removing trace redundancy

# publications[].publisher
Association for Computing Machinery (ACM)

# publications[].label
ECHO: Instantaneous In Situ Race Detection in the IDE

# publications[].publisher
Association for Computing Machinery (ACM)

# researcherOn[].label
SaTC: CORE: Small: New Defenses for Data-Only Attacks

# researcherOn[].awardedBy.label
National Science Foundation - (Arlington, Virginia, United States)

# researcherOn[].label
Hyper-converged Programmable Secure Communication in the Blob Computing Era

# researcherOn[].awardedBy.label
United States Department of the Navy - (Arlington, Virginia, United States)

# researcherOn[].label
SHF: Small: Pa3S: Towards Pointer Analysis as a Service

# researcherOn[].awardedBy.label
Directorate for Computer & Information Science & Engineering - (Arlington, Virginia, United States)

# researcherOn[].label
NeTS: Small: Detecting Races in SDN Control Plane

# researcherOn[].awardedBy.label
National Science Foundation - (Arlington, Virginia, United States)

# researcherOn[].label
SmartScript: A Learning-based Approach to Static Type and Semantic Inconsistency Analysis of Dynamic Scripts (and Other Semi-Structured Code)

# researcherOn[].awardedBy.label
United States Department of Defense - (Washington D.C., District of Columbia, United States)

# researcherOn[].label
I-Corps: Smart Programming Tools for Improving Software Debugging

# researcherOn[].awardedBy.label
National Science Foundation - (Arlington, Virginia, United States)

# researcherOn[].label
CAREER: Scalable and Maximal Concurrency Debugging

# researcherOn[].awardedBy.label
National Science Foundation - (Arlington, Virginia, United States)

# streetAddress
Texas A&M University; Computer Science & Engineering; 3112 TAMU

# etdChairOf[].label
Singh, Pawan Kumar (2016-07). Programming Web Applications Declaratively A Qualitative Study. Master's Thesis.

# etdChairOf[].label
Rajagopalan, Arun Krishnakumar (2016-05). Fast and Precise On-The-Fly Data Race Detection. Master's Thesis.