Area of research
Software · Information Systems
Research interest
Research interests include Software Engineering Research, Software Testing and Debugging Techniques, Software Reliability and Analysis Research, and Software System Performance and Reliability.
Automatically Detecting Numerical Instability in Machine Learning Applications via Soft Assertions
DuoReduce: Bug Isolation for Multi-layer Extensible Compilation
Natural Symbolic Execution-Based Testing for Big Data Analytics
Scaling Code Pattern Inference with Interactive What-If Analysis
A Declarative Metamorphic Testing Framework for Autonomous Driving
Leveraging Hardware Probes and Optimizations for Accelerating Fuzz Testing of Heterogeneous Applications
Co-dependence Aware Fuzzing for Dataflow-Based Big Data Analytics
A Declarative Metamorphic Testing Framework for Autonomous Driving
QDiff: Differential Testing of Quantum Software Stacks
An Analysis of Adversarial Attacks and Defenses on Autonomous Driving Models
Is neuron coverage a meaningful measure for testing deep neural networks?
Software Engineering for Data Analytics
An Empirical Study of Common Challenges in Developing Deep Learning Applications
Data Scientists in Software Teams: State of the Art and Challenges
Titian: Data Provenance Support in Spark.
PubMed 2015cited by 88position: middle
Perceptions on the State of the Art in Verification and Validation in Cyber-Physical Systems
Collaborative Research: SHF: Small: Software Developer Tools for Enabling Heterogeneous Computing
Collaborative Research: SHF: Medium: Reinventing Fuzz Testing for Data and Compute Intensive Systems
CHS: Medium: Collaborative Research: Code demography: Addressing information needs at scale for programming interface users and designers
SHF: Medium: Interactive Debegging for Big Data Analytics
I-Corps: Interactive and Automated Debugging for Big Data Analytics
CAREER: Analysis and Automation of Systematic Software Modifications
SHF: Small: Analytical Support for Investigating Software Modifications in Collaborative Development Environment
CAREER: Analysis and Automation of Systematic Software Modifications
SHF: Small: Analytical Support for Investigating Software Modifications in Collaborative Development Environment
Information Needs about Software Modification during Collaborative Development Tasks