Xiangyu Zhang

CoRR, 2020

Towards Feature Space Adversarial Attack.

[BibT_eX]

[DOI]

CoRR, 2020

From Control Model to Program: Investigating Robotic Aerial Vehicle Accidents with MAYDAY.

[BibT_eX]

[DOI]

Proceedings of the 29th USENIX Security Symposium, 2020

PMP: Cost-effective Forced Execution with Probabilistic Memory Pre-planning.

[BibT_eX]

[DOI]

Proceedings of the 2020 IEEE Symposium on Security and Privacy, 2020

C2S: translating natural language comments to formal program specifications.

[BibT_eX]

[DOI]

Proceedings of the ESEC/FSE '20: 28th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2020

Correlations between deep neural network model coverage criteria and model quality.

[BibT_eX]

[DOI]

Proceedings of the ESEC/FSE '20: 28th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2020

Software-based Realtime Recovery from Sensor Attacks on Robotic Vehicles.

[BibT_eX]

[DOI]

Proceedings of the 23rd International Symposium on Research in Attacks, 2020

UIScope: Accurate, Instrumentation-free, and Visible Attack Investigation for GUI Applications.

[BibT_eX]

[DOI]

Proceedings of the 27th Annual Network and Distributed System Security Symposium, 2020

Towards Programming and Verification for Activity-Oriented Smart Home Systems.

[BibT_eX]

[DOI]

Xuansong Li

Wei Song

Proceedings of the 35th IEEE/ACM International Conference on Automated Software Engineering, 2020

CPC: automatically classifying and propagating natural language comments via program analysis.

[BibT_eX]

[DOI]

Proceedings of the ICSE '20: 42nd International Conference on Software Engineering, Seoul, South Korea, 27 June, 2020

How Android developers handle evolution-induced API compatibility issues: a large-scale study.

[BibT_eX]

[DOI]

Proceedings of the ICSE '20: 42nd International Conference on Software Engineering, Seoul, South Korea, 27 June, 2020

TRADER: trace divergence analysis and embedding regulation for debugging recurrent neural networks.

[BibT_eX]

[DOI]

Proceedings of the ICSE '20: 42nd International Conference on Software Engineering, Seoul, South Korea, 27 June, 2020

Impact analysis of cross-project bugs on software ecosystems.

[BibT_eX]

[DOI]

Proceedings of the ICSE '20: 42nd International Conference on Software Engineering, Seoul, South Korea, 27 June, 2020

Finding client-side business flow tampering vulnerabilities.

[BibT_eX]

[DOI]

Proceedings of the ICSE '20: 42nd International Conference on Software Engineering, Seoul, South Korea, 27 June, 2020

Composite Backdoor Attack for Deep Neural Network by Mixing Existing Benign Features.

[BibT_eX]

[DOI]

Proceedings of the CCS '20: 2020 ACM SIGSAC Conference on Computer and Communications Security, 2020

Cyber-Physical Inconsistency Vulnerability Identification for Safety Checks in Robotic Vehicles.

[BibT_eX]

[DOI]

Proceedings of the CCS '20: 2020 ACM SIGSAC Conference on Computer and Communications Security, 2020

2019

BDA: practical dependence analysis for binary executables by unbiased whole-program path sampling and per-path abstract interpretation.

[BibT_eX]

[DOI]

Proc. ACM Program. Lang., 2019

Annotation guided collection of context-sensitive parallel execution profiles.

[BibT_eX]

[DOI]

Formal Methods Syst. Des., 2019

Testing Deep Learning Models for Image Analysis Using Object-Relevant Metamorphic Relations.

[BibT_eX]

[DOI]

CoRR, 2019

Automated Refactoring for Stampedlock.

[BibT_eX]

[DOI]

IEEE Access, 2019

RVFuzzer: Finding Input Validation Bugs in Robotic Vehicles through Control-Guided Testing.

[BibT_eX]

[DOI]

Proceedings of the 28th USENIX Security Symposium, 2019

ProFuzzer: On-the-fly Input Type Probing for Better Zero-Day Vulnerability Discovery.

[BibT_eX]

[DOI]

Proceedings of the 2019 IEEE Symposium on Security and Privacy, 2019

SemCluster: clustering of imperative programming assignments based on quantitative semantic features.

[BibT_eX]

[DOI]

Proceedings of the 40th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2019

Programming support for autonomizing software.

[BibT_eX]

[DOI]

Proceedings of the 40th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2019

NIC: Detecting Adversarial Samples with Neural Network Invariant Checking.

[BibT_eX]

[DOI]

Proceedings of the 26th Annual Network and Distributed System Security Symposium, 2019

SLF: fuzzing without valid seed inputs.

[BibT_eX]

[DOI]

Proceedings of the 41st International Conference on Software Engineering, 2019

Probabilistic disassembly.

[BibT_eX]

[DOI]

Proceedings of the 41st International Conference on Software Engineering, 2019

White-Box Program Tuning.

[BibT_eX]

[DOI]

Proceedings of the IEEE/ACM International Symposium on Code Generation and Optimization, 2019

ABS: Scanning Neural Networks for Back-doors by Artificial Brain Stimulation.

[BibT_eX]

[DOI]

Proceedings of the 2019 ACM SIGSAC Conference on Computer and Communications Security, 2019

2018

Fault localisation for WS-BPEL programs based on predicate switching and program slicing.

[BibT_eX]

[DOI]

J. Syst. Softw., 2018

Redundancy-Free UAV Sensor Fault Isolation And Recovery.

[BibT_eX]

[DOI]

CoRR, 2018

Gemini: Guest-transparent honey files via hypervisor-level access redirection.

[BibT_eX]

[DOI]

Comput. Secur., 2018

AdBudgetKiller: Online Advertising Budget Draining Attack.

[BibT_eX]

[DOI]

Proceedings of the 2018 World Wide Web Conference on World Wide Web, 2018

Kernel-Supported Cost-Effective Audit Logging for Causality Tracking.

[BibT_eX]

[DOI]

Gabriela F. Ciocarlie

Proceedings of the 2018 USENIX Annual Technical Conference, 2018

MODE: automated neural network model debugging via state differential analysis and input selection.

[BibT_eX]

[DOI]

Proceedings of the 2018 ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2018

Phys: probabilistic physical unit assignment and inconsistency detection.

[BibT_eX]

[DOI]

Proceedings of the 2018 ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2018

Attacks Meet Interpretability: Attribute-steered Detection of Adversarial Samples.

[BibT_eX]

[DOI]

Proceedings of the Advances in Neural Information Processing Systems 31: Annual Conference on Neural Information Processing Systems 2018, 2018

Trojaning Attack on Neural Networks.

[BibT_eX]

[DOI]

Proceedings of the 25th Annual Network and Distributed System Security Symposium, 2018

MCI : Modeling-based Causality Inference in Audit Logging for Attack Investigation.

[BibT_eX]

[DOI]

Gabriela F. Ciocarlie

Ashish Gehani

Vinod Yegneswaran

Proceedings of the 25th Annual Network and Distributed System Security Symposium, 2018

Securing Real-Time Microcontroller Systems through Customized Memory View Switching.

[BibT_eX]

[DOI]

Proceedings of the 25th Annual Network and Distributed System Security Symposium, 2018

Tipped Off by Your Memory Allocator: Device-Wide User Activity Sequencing from Android Memory Images.

[BibT_eX]

[DOI]

Rohit Bhatia

Golden G. Richard III

Proceedings of the 25th Annual Network and Distributed System Security Symposium, 2018

AceDroid: Normalizing Diverse Android Access Control Checks for Inconsistency Detection.

[BibT_eX]

[DOI]

Proceedings of the 25th Annual Network and Distributed System Security Symposium, 2018

Dual-force: understanding WebView malware via cross-language forced execution.

[BibT_eX]

[DOI]

Proceedings of the 33rd ACM/IEEE International Conference on Automated Software Engineering, 2018

Debugging with intelligence via probabilistic inference.

[BibT_eX]

[DOI]

Proceedings of the 40th International Conference on Software Engineering, 2018

Cross-Layer Retrofitting of UAVs Against Cyber-Physical Attacks.

[BibT_eX]

[DOI]

Proceedings of the 2018 IEEE International Conference on Robotics and Automation, 2018

A Lightweight Program Dependence Based Approach to Concurrent Mutation Analysis.

[BibT_eX]

[DOI]

Proceedings of the 2018 IEEE 42nd Annual Computer Software and Applications Conference, 2018

Detecting Attacks Against Robotic Vehicles: A Control Invariant Approach.

[BibT_eX]

[DOI]

Proceedings of the 2018 ACM SIGSAC Conference on Computer and Communications Security, 2018

Precise Android API Protection Mapping Derivation and Reasoning.

[BibT_eX]

[DOI]

Proceedings of the 2018 ACM SIGSAC Conference on Computer and Communications Security, 2018

Lprov: Practical Library-aware Provenance Tracing.

[BibT_eX]

[DOI]

Proceedings of the 34th Annual Computer Security Applications Conference, 2018

2017

Software Numerical Instability Detection and Diagnosis by Combining Stochastic and Infinite-Precision Testing.

[BibT_eX]

[DOI]

IEEE Trans. Software Eng., 2017

A path-aware approach to mutant reduction in mutation testing.

[BibT_eX]

[DOI]

Inf. Softw. Technol., 2017

Introspection-Based Memory Pruning for Live VM Migration.

[BibT_eX]

[DOI]

Int. J. Parallel Program., 2017

Z3str2: an efficient solver for strings, regular expressions, and length constraints.

[BibT_eX]

[DOI]

Formal Methods Syst. Des., 2017

An Empirical Study on Mutation Testing of WS-BPEL Programs.

[BibT_eX]

[DOI]

Comput. J., 2017

J-Force: Forced Execution on JavaScript.

[BibT_eX]

[DOI]

Proceedings of the 26th International Conference on World Wide Web, 2017

ReRanz: A Light-Weight Virtual Machine to Mitigate Memory Disclosure Attacks.

[BibT_eX]

[DOI]

Proceedings of the 13th ACM SIGPLAN/SIGOPS International Conference on Virtual Execution Environments, 2017

MPI: Multiple Perspective Attack Investigation with Semantic Aware Execution Partitioning.

[BibT_eX]

[DOI]

Proceedings of the 26th USENIX Security Symposium, 2017

LAMP: data provenance for graph based machine learning algorithms through derivative computation.

[BibT_eX]

[DOI]

Proceedings of the 2017 11th Joint Meeting on Foundations of Software Engineering, 2017

A Hypervisor Level Provenance System to Reconstruct Attack Story Caused by Kernel Malware.

[BibT_eX]

[DOI]

Proceedings of the Security and Privacy in Communication Networks, 2017

Annotation Guided Collection of Context-Sensitive Parallel Execution Profiles.

[BibT_eX]

[DOI]

Zachary Benavides

Proceedings of the Runtime Verification - 17th International Conference, 2017

Self Destructing Exploit Executions via Input Perturbation.

[BibT_eX]

[DOI]

Yonghwi Kwon

Proceedings of the 24th Annual Network and Distributed System Security Symposium, 2017

PAD: programming third-party web advertisement censorship.

[BibT_eX]

[DOI]

Proceedings of the 32nd IEEE/ACM International Conference on Automated Software Engineering, 2017

UI driven Android application reduction.

[BibT_eX]

[DOI]

Proceedings of the 32nd IEEE/ACM International Conference on Automated Software Engineering, 2017

Accelerating array constraints in symbolic execution.

[BibT_eX]

[DOI]

Proceedings of the 26th ACM SIGSOFT International Symposium on Software Testing and Analysis, Santa Barbara, CA, USA, July 10, 2017

CPR: cross platform binary code reuse via platform independent trace program.

[BibT_eX]

[DOI]

Proceedings of the 26th ACM SIGSOFT International Symposium on Software Testing and Analysis, Santa Barbara, CA, USA, July 10, 2017

How do developers fix cross-project correlated bugs?: a case study on the GitHub scientific python ecosystem.

[BibT_eX]

[DOI]

Proceedings of the 39th International Conference on Software Engineering, 2017

Automatic text input generation for mobile testing.

[BibT_eX]

[DOI]

Proceedings of the 39th International Conference on Software Engineering, 2017

RevARM: A Platform-Agnostic ARM Binary Rewriter for Security Applications.

[BibT_eX]

[DOI]

Proceedings of the 33rd Annual Computer Security Applications Conference, 2017

Analysis of SEAndroid Policies: Combining MAC and DAC in Android.

[BibT_eX]

[DOI]

Proceedings of the 33rd Annual Computer Security Applications Conference, 2017

2016

Eavesdropping on Fine-Grained User Activities Within Smartphone Apps Over Encrypted Network Traffic.

[BibT_eX]

[DOI]

Proceedings of the 10th USENIX Workshop on Offensive Technologies, 2016

Screen after Previous Screens: Spatial-Temporal Recreation of Android App Displays from Memory Images.

[BibT_eX]

[DOI]

Rohit Bhatia

Golden G. Richard III

Proceedings of the 25th USENIX Security Symposium, 2016

Python probabilistic type inference with natural language support.

[BibT_eX]

[DOI]

Proceedings of the 24th ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2016

Python predictive analysis for bug detection.

[BibT_eX]

[DOI]

Proceedings of the 24th ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2016

WebRanz: web page randomization for better advertisement delivery and web-bot prevention.

[BibT_eX]

[DOI]

Proceedings of the 24th ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2016

PerfGuard: binary-centric application performance monitoring in production environments.

[BibT_eX]

[DOI]

Proceedings of the 24th ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2016

Detecting sensitive data disclosure via bi-directional text correlation analysis.

[BibT_eX]

[DOI]

Jianjun Huang

Lin Tan

Proceedings of the 24th ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2016

Apex: automatic programming assignment error explanation.

[BibT_eX]

[DOI]

Gustavo Rodriguez-Rivera

Proceedings of the 2016 ACM SIGPLAN International Conference on Object-Oriented Programming, 2016

ProTracer: Towards Practical Provenance Tracing by Alternating Between Logging and Tainting.

[BibT_eX]

[DOI]

Shiqing Ma

Proceedings of the 23rd Annual Network and Distributed System Security Symposium, 2016

ARROW: automated repair of races on client-side web pages.

[BibT_eX]

[DOI]

Proceedings of the 25th International Symposium on Software Testing and Analysis, 2016

IPA: improving predictive analysis with pointer analysis.

[BibT_eX]

[DOI]

Peng Liu

Omer Tripp

Proceedings of the 25th International Symposium on Software Testing and Analysis, 2016

Automatic model generation from documentation for Java API functions.

[BibT_eX]

[DOI]

Proceedings of the 38th International Conference on Software Engineering, 2016

Reference hijacking: patching, protecting and analyzing on unmodified and non-rooted android devices.

[BibT_eX]

[DOI]

Proceedings of the 38th International Conference on Software Engineering, 2016

IntEQ: recognizing benign integer overflows via equivalence checking across multiple precisions.

[BibT_eX]

[DOI]

Proceedings of the 38th International Conference on Software Engineering, 2016

Parallel Execution Profiles.

[BibT_eX]

[DOI]

Zachary Benavides

Proceedings of the 25th ACM International Symposium on High-Performance Parallel and Distributed Computing, 2016

LDX: Causality Inference by Lightweight Dual Execution.

[BibT_eX]

[DOI]

Proceedings of the Twenty-First International Conference on Architectural Support for Programming Languages and Operating Systems, 2016

HERCULE: attack story reconstruction via community discovery on correlated log graph.

[BibT_eX]

[DOI]

Kexin Pei

Proceedings of the 32nd Annual Conference on Computer Security Applications, 2016

2015

Debugging the Internet of Things: The Case of Wireless Sensor Networks.

[BibT_eX]

[DOI]

IEEE Softw., 2015

Roundtable: Research Opportunities and Challenges for Emerging Software Systems.

[BibT_eX]

[DOI]

J. Comput. Sci. Technol., 2015

SUPOR: Precise and Scalable Sensitive User Input Detection for Android Apps.

[BibT_eX]

[DOI]

Proceedings of the 24th USENIX Security Symposium, 2015

Light: replay via tightly bounded recording.

[BibT_eX]

[DOI]

Proceedings of the 36th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2015

RAIVE: runtime assessment of floating-point instability by vectorization.

[BibT_eX]

[DOI]

Proceedings of the 2015 ACM SIGPLAN International Conference on Object-Oriented Programming, 2015

P2C: Understanding Output Data Files via On-the-Fly Transformation from Producer to Consumer Executions.

[BibT_eX]

[DOI]

Proceedings of the 22nd Annual Network and Distributed System Security Symposium, 2015

LEAPS: Detecting Camouflaged Attacks with Statistical Learning Guided by Program Analysis.

[BibT_eX]

[DOI]

Proceedings of the 45th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, 2015

Android Implicit Information Flow Demystified.

[BibT_eX]

[DOI]

Proceedings of the 10th ACM Symposium on Information, 2015

Efficient Dynamic Tracking Technique for Detecting Integer-Overflow-to-Buffer-Overflow Vulnerability.

[BibT_eX]

[DOI]

Proceedings of the 10th ACM Symposium on Information, 2015

VCR: App-Agnostic Recovery of Photographic Evidence from Android Device Memory Images.

[BibT_eX]

[DOI]

Proceedings of the 22nd ACM SIGSAC Conference on Computer and Communications Security, 2015

GUITAR: Piecing Together Android App GUIs from Memory Images.

[BibT_eX]

[DOI]

Proceedings of the 22nd ACM SIGSAC Conference on Computer and Communications Security, 2015

iRiS: Vetting Private API Abuse in iOS Applications.

[BibT_eX]

[DOI]

Zhui Deng

Proceedings of the 22nd ACM SIGSAC Conference on Computer and Communications Security, 2015

Effective Search-Space Pruning for Solvers of String Equations, Regular Expressions and Length Constraints.

[BibT_eX]

[DOI]

Proceedings of the Computer Aided Verification - 27th International Conference, 2015

Dual Execution for On the Fly Fine Grained Execution Comparison.

[BibT_eX]

[DOI]

Proceedings of the Twentieth International Conference on Architectural Support for Programming Languages and Operating Systems, 2015

Accurate, Low Cost and Instrumentation-Free Security Audit Logging for Windows.

[BibT_eX]

[DOI]

Proceedings of the 31st Annual Computer Security Applications Conference, 2015

2014

Scaling Up Symbolic Analysis by Removing Z-Equivalent States.

[BibT_eX]

[DOI]

ACM Trans. Softw. Eng. Methodol., 2014

DSCRETE: Automatic Rendering of Forensic Information from Memory Images via Application Logic Reuse.

[BibT_eX]

[DOI]

Proceedings of the 23rd USENIX Security Symposium, San Diego, CA, USA, August 20-22, 2014., 2014

X-Force: Force-Executing Binary Programs for Security Applications.

[BibT_eX]

[DOI]

Proceedings of the 23rd USENIX Security Symposium, San Diego, CA, USA, August 20-22, 2014., 2014

IntroPerf: transparent context-sensitive multi-layer performance inference using system stack traces.

[BibT_eX]

[DOI]

Proceedings of the ACM SIGMETRICS / International Conference on Measurement and Modeling of Computer Systems, 2014

Flint: fixing linearizability violations.

[BibT_eX]

[DOI]

Peng Liu

Omer Tripp

Proceedings of the 2014 ACM International Conference on Object Oriented Programming Systems Languages & Applications, 2014

Virtual DOM coverage for effective testing of dynamic web applications.

[BibT_eX]

[DOI]

Proceedings of the International Symposium on Software Testing and Analysis, 2014

Reuse-oriented reverse engineering of functional components from x86 binaries.

[BibT_eX]

[DOI]

Proceedings of the 36th International Conference on Software Engineering, 2014

AsDroid: detecting stealthy behaviors in Android applications by user interface and program behavior contradiction.

[BibT_eX]

[DOI]

Proceedings of the 36th International Conference on Software Engineering, 2014

Infrastructure-Free Logging and Replay of Concurrent Execution on Multiple Cores.

[BibT_eX]

[DOI]

Kyu Hyung Lee

Dohyeong Kim

Proceedings of the ECOOP 2014 - Object-Oriented Programming - 28th European Conference, Uppsala, Sweden, July 28, 2014

FACE-CHANGE: Application-Driven Dynamic Kernel View Switching in a Virtual Machine.

[BibT_eX]

[DOI]

Proceedings of the 44th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, 2014

2013

Diagnostic tracing for wireless sensor networks.

[BibT_eX]

[DOI]

Vamsidhar Addanki

ACM Trans. Sens. Networks, 2013

Z3-str: a z3-based string solver for web application analysis.

[BibT_eX]

[DOI]

Vijay Ganesh

Proceedings of the Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering, 2013

On-the-fly detection of instability problems in floating-point program execution.

[BibT_eX]

[DOI]

Proceedings of the 2013 ACM SIGPLAN International Conference on Object Oriented Programming Systems Languages & Applications, 2013

High Accuracy Attack Provenance via Binary-based Execution Partition.

[BibT_eX]

[DOI]

Kyu Hyung Lee

Proceedings of the 20th Annual Network and Distributed System Security Symposium, 2013

Identifying execution points for dynamic analyses.

[BibT_eX]

[DOI]

Proceedings of the 2013 28th IEEE/ACM International Conference on Automated Software Engineering, 2013

PIEtrace: Platform independent executable trace.

[BibT_eX]

[DOI]

Yonghwi Kwon

Proceedings of the 2013 28th IEEE/ACM International Conference on Automated Software Engineering, 2013

Path sensitive static analysis of web applications for remote code execution vulnerability detection.

[BibT_eX]

[DOI]

Proceedings of the 35th International Conference on Software Engineering, 2013

Comparative causality: explaining the differences between executions.

[BibT_eX]

[DOI]

Proceedings of the 35th International Conference on Software Engineering, 2013

BISTRO: Binary Component Extraction and Embedding for Software Security Applications.

[BibT_eX]

[DOI]

Zhui Deng

Proceedings of the Computer Security - ESORICS 2013, 2013

DRIP: A framework for purifying trojaned kernel drivers.

[BibT_eX]

[DOI]

Proceedings of the 2013 43rd Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN), 2013

Obfuscation resilient binary code reuse through trace-oriented programming.

[BibT_eX]

[DOI]

Proceedings of the 2013 ACM SIGSAC Conference on Computer and Communications Security, 2013

LogGC: garbage collecting audit log.

[BibT_eX]

[DOI]

Kyu Hyung Lee

Proceedings of the 2013 ACM SIGSAC Conference on Computer and Communications Security, 2013

SPIDER: stealthy binary program instrumentation and debugging via hardware virtualization.

[BibT_eX]

[DOI]

Zhui Deng

Proceedings of the Annual Computer Security Applications Conference, 2013

2012

Precise Calling Context Encoding.

[BibT_eX]

[DOI]

IEEE Trans. Software Eng., 2012

Dependence analysis for safe futures.

[BibT_eX]

[DOI]

Armand Navabi

Sci. Comput. Program., 2012

IntroLib: Efficient and transparent library call introspection for malware forensics.

[BibT_eX]

[DOI]

Digit. Investig., 2012

Modeling Software Execution Environment.

[BibT_eX]

[DOI]

Proceedings of the 19th Working Conference on Reverse Engineering, 2012

Prius: generic hybrid trace compression for wireless sensor networks.

[BibT_eX]

[DOI]

Proceedings of the 10th ACM Conference on Embedded Network Sensor Systems, 2012

White box sampling in uncertain data processing enabled by program analysis.

[BibT_eX]

[DOI]

Proceedings of the 27th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2012

Discovering Semantic Data of Interest from Un-mappable Memory with Confidence.

[BibT_eX]

[DOI]

Proceedings of the 19th Annual Network and Distributed System Security Symposium, 2012

Static detection of resource contention problems in server-side scripts.

[BibT_eX]

[DOI]

Proceedings of the 34th International Conference on Software Engineering, 2012

Plagiarizing Smartphone Applications: Attack Strategies and Defense Techniques.

[BibT_eX]

[DOI]

Proceedings of the Engineering Secure Software and Systems - 4th International Symposium, 2012

2011

Statically locating web application bugs caused by asynchronous calls.

[BibT_eX]

[DOI]

Proceedings of the 20th International Conference on World Wide Web, 2011

Toward generating reducible replay logs.

[BibT_eX]

[DOI]

Proceedings of the 32nd ACM SIGPLAN Conference on Programming Language Design and Implementation, 2011

Accentuating the positive: atomicity inference and enforcement using correct executions.

[BibT_eX]

[DOI]

Dasarath Weeratunge

Proceedings of the 26th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2011

SigGraph: Brute Force Scanning of Kernel Data Structure Instances Using Graph-based Signatures.

[BibT_eX]

[DOI]

Proceedings of the Network and Distributed System Security Symposium, 2011

Selecting peers for execution comparison.

[BibT_eX]

[DOI]

Proceedings of the 20th International Symposium on Software Testing and Analysis, 2011

Demo abstract: Diagnostic tracing of wireless sensor networks with TinyTracer.

[BibT_eX]

[DOI]

Proceedings of the 10th International Conference on Information Processing in Sensor Networks, 2011

Coalescing executions for fast uncertainty analysis.

[BibT_eX]

[DOI]

Proceedings of the 33rd International Conference on Software Engineering, 2011

Unified debugging of distributed systems with Recon.

[BibT_eX]

[DOI]

Proceedings of the 2011 IEEE/IFIP International Conference on Dependable Systems and Networks, 2011

2010

Reverse Engineering Input Syntactic Structure from Program Execution and Its Applications.

[BibT_eX]

[DOI]

IEEE Trans. Software Eng., 2010

Lightweight Task Graph Inference for Distributed Applications.

[BibT_eX]

[DOI]

Proceedings of the 29th IEEE Symposium on Reliable Distributed Systems (SRDS 2010), New Delhi, Punjab, India, October 31, 2010

Memory indexing: canonicalizing addresses across executions.

[BibT_eX]

[DOI]

Proceedings of the 18th ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2010

Efficient diagnostic tracing for wireless sensor networks.

[BibT_eX]

[DOI]

Patrick Th. Eugster

Proceedings of the 8th International Conference on Embedded Networked Sensor Systems, 2010

Automatic Reverse Engineering of Data Structures from Binary Execution.

[BibT_eX]

[DOI]

Proceedings of the Network and Distributed System Security Symposium, 2010

Analyzing concurrency bugs using dual slicing.

[BibT_eX]

[DOI]

Proceedings of the Nineteenth International Symposium on Software Testing and Analysis, 2010

Strict control dependence and its effect on dynamic information flow analyses.

[BibT_eX]

[DOI]

Proceedings of the Nineteenth International Symposium on Software Testing and Analysis, 2010

Reuse-oriented camouflaging trojan: Vulnerability detection and attack construction.

[BibT_eX]

[DOI]

Proceedings of the 2010 IEEE/IFIP International Conference on Dependable Systems and Networks, 2010

Analyzing multicore dumps to facilitate concurrency bug reproduction.

[BibT_eX]

[DOI]

Dasarath Weeratunge

Proceedings of the 15th International Conference on Architectural Support for Programming Languages and Operating Systems, 2010

2009

Lightweight tracing for wireless sensor networks debugging.

[BibT_eX]

[DOI]

Proceedings of the Fourth International Workshop on Middleware for Sensor Networks, 2009

Memory slicing.

[BibT_eX]

[DOI]

Bin Xin

Proceedings of the Eighteenth International Symposium on Software Testing and Analysis, 2009

Algorithms for Automatically Computing the Causal Paths of Failures.

[BibT_eX]

[DOI]

Proceedings of the Fundamental Approaches to Software Engineering, 2009

Alchemist: A Transparent Dependence Distance Profiling Infrastructure.

[BibT_eX]

[DOI]

Armand Navabi

Proceedings of the CGO 2009, 2009

2008

A Systematic Study of Failure Proximity.

[BibT_eX]

[DOI]

Chao Liu

Jiawei Han

IEEE Trans. Software Eng., 2008

Deriving input syntactic structure from execution.

[BibT_eX]

[DOI]

Proceedings of the 16th ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2008

Quasi-static scheduling for safe futures.

[BibT_eX]

[DOI]

Armand Navabi

Proceedings of the 13th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, 2008

Efficient program execution indexing.

[BibT_eX]

[DOI]

Bin Xin

Proceedings of the ACM SIGPLAN 2008 Conference on Programming Language Design and Implementation, 2008

Automatic Protocol Format Reverse Engineering through Context-Aware Monitored Execution.

[BibT_eX]

[DOI]

Proceedings of the Network and Distributed System Security Symposium, 2008

Scalable dynamic information flow tracking and its applications.

[BibT_eX]

[DOI]

Proceedings of the 22nd IEEE International Symposium on Parallel and Distributed Processing, 2008

Convicting exploitable software vulnerabilities: An efficient input provenance based approach.

[BibT_eX]

[DOI]

Proceedings of the 38th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, 2008

Avoiding Program Failures Through Safe Execution Perturbations.

[BibT_eX]

[DOI]

Proceedings of the 32nd Annual IEEE International Computer Software and Applications Conference, 2008

2007

Locating faulty code by multiple points slicing.

[BibT_eX]

[DOI]

Softw. Pract. Exp., 2007

A study of effectiveness of dynamic slicing in locating real faults.

[BibT_eX]

[DOI]

Empir. Softw. Eng., 2007

Tracing Lineage Beyond Relational Operators.

[BibT_eX]

[DOI]

Proceedings of the 33rd International Conference on Very Large Data Bases, 2007

Towards locating execution omission errors.

[BibT_eX]

[DOI]

Proceedings of the ACM SIGPLAN 2007 Conference on Programming Language Design and Implementation, 2007

Efficient online detection of dynamic control dependence.

[BibT_eX]

[DOI]

Bin Xin

Proceedings of the ACM/SIGSOFT International Symposium on Software Testing and Analysis, 2007

Enabling tracing Of long-running multithreaded programs via dynamic execution reduction.

[BibT_eX]

[DOI]

Proceedings of the ACM/SIGSOFT International Symposium on Software Testing and Analysis, 2007

Matching Control Flow of Program Versions.

[BibT_eX]

[DOI]

Proceedings of the 23rd IEEE International Conference on Software Maintenance (ICSM 2007), 2007

Indexing Noncrashing Failures: A Dynamic Program Slicing-Based Approach.

[BibT_eX]

[DOI]

Proceedings of the 23rd IEEE International Conference on Software Maintenance (ICSM 2007), 2007

Whole Execution Traces and Their Use in Debugging.

[BibT_eX]

Proceedings of the Compiler Design Handbook: Optimizations and Machine Code Generation, 2007

2006

Fault Location via Precise Dynamic Slicing.

[BibT_eX]

[DOI]

PhD thesis, 2006

Dynamic slicing long running programs through execution fast forwarding.

[BibT_eX]

[DOI]

Sriraman Tallam

Proceedings of the 14th ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2006

Pruning dynamic slices with confidence.

[BibT_eX]

[DOI]

Proceedings of the ACM SIGPLAN 2006 Conference on Programming Language Design and Implementation, 2006

Locating faults through automated predicate switching.

[BibT_eX]

[DOI]

Proceedings of the 28th International Conference on Software Engineering (ICSE 2006), 2006

2005

Cost and precision tradeoffs of dynamic data slicing algorithms.

[BibT_eX]

[DOI]

Youtao Zhang

ACM Trans. Program. Lang. Syst., 2005

Whole execution traces and their applications.

[BibT_eX]

[DOI]

ACM Trans. Archit. Code Optim., 2005

Matching execution histories of program versions.

[BibT_eX]

[DOI]