| Structural Analysis Attack on Sequential Circuit Logic Locking | 0 | 0.34 | 2022 |
| Learning Differentially Private Mechanisms | 0 | 0.34 | 2021 |
| Debug-localize-repair: a symbiotic construction for heap manipulations | 0 | 0.34 | 2021 |
| Phase Transition Behavior in Knowledge Compilation | 0 | 0.34 | 2020 |
| Interactive debugging of concurrent programs under relaxed memory models. | 1 | 0.35 | 2020 |
| WAPS: Weighted and Projected Sampling. | 0 | 0.34 | 2019 |
| Envisioning an Intelligent Collaborative Integrated Development Environment | 0 | 0.34 | 2019 |
| The ISEC 2019 Ph.D. Symposium | 0 | 0.34 | 2019 |
| Knowledge Compilation meets Uniform Sampling. | 0 | 0.34 | 2018 |
| Parse Condition - Symbolic Encoding of LL(1) Parsing. | 0 | 0.34 | 2018 |
| Bug synthesis: challenging bug-finding tools with deep faults. | 3 | 0.37 | 2018 |
| Bucketing Failing Tests via Symbolic Analysis. | 2 | 0.41 | 2017 |
| Constructing HPSSA over SSA | 0 | 0.34 | 2017 |
| Phase Directed Compiler Optimizations | 0 | 0.34 | 2016 |
| To be precise: regression aware debugging. | 4 | 0.52 | 2016 |
| Regression aware debugging for mobile applications. | 0 | 0.34 | 2016 |
| Accelerating schedule space exploration of multi-threaded programs with GPUs. | 0 | 0.34 | 2016 |
| Synthesizing Heap Manipulations via Integer Linear Programming. | 2 | 0.37 | 2015 |
| Program Synthesis using Natural Language | 3 | 0.40 | 2015 |
| Identifying Hierarchical Structures in Sequences on GPU | 1 | 0.37 | 2015 |
| Facilitating Verification in Program Loops by Identification of Static Iteration Patterns. | 0 | 0.34 | 2013 |
| Pertinent path profiling: Tracking interactions among relevant statements | 3 | 0.38 | 2013 |
| Online identification of frequently executed acyclic paths by leveraging data stream algorithms | 0 | 0.34 | 2013 |
| Exploring program phases for statistical bug localization | 3 | 0.38 | 2013 |
| From Concrete Examples to Heap Manipulating Programs. | 3 | 0.43 | 2013 |
| Probabilistic dataflow analysis using path profiles on structure graphs | 1 | 0.35 | 2011 |
| The hot path SSA form: extending the static single assignment form for speculative optimizations | 5 | 0.42 | 2010 |
| Profiling k-Iteration Paths: A Generalization of the Ball-Larus Profiling Algorithm | 14 | 0.70 | 2009 |
| Improving flow-insensitive solutions for non-separable dataflow problems | 0 | 0.34 | 2008 |
