| Monotonic partial order reduction: An optimal symbolic partial order reduction technique V Kahlon, C Wang, A Gupta International Conference on Computer Aided Verification, 398-413, 2009 | 136 | 2009 |
| Model checking C programs using F-Soft F Ivancic, I Shlyakhter, A Gupta, MK Ganai, V Kahlon, C Wang, Z Yang 2005 International Conference on Computer Design, 297-308, 2005 | 127 | 2005 |
| Symbolic predictive analysis for concurrent programs C Wang, S Kundu, M Ganai, A Gupta FM 2009: Formal Methods: Second World Congress, Eindhoven, The Netherlands …, 2009 | 118 | 2009 |
| Peephole partial order reduction C Wang, Z Yang, V Kahlon, A Gupta International Conference on Tools and Algorithms for the Construction and …, 2008 | 115 | 2008 |
| Coverage guided systematic concurrency testing C Wang, M Said, A Gupta Proceedings of the 33rd International Conference on Software Engineering …, 2011 | 113 | 2011 |
| Universal Causality Graphs: A Precise Happens-Before Model for Detecting Bugs in Concurrent Programs. V Kahlon, C Wang CAV, 434-449, 2010 | 108* | 2010 |
| Shield synthesis: runtime enforcement for reactive systems R Bloem, B Konighofer, R Konighofer, C Wang International Conference on Tools and Algorithms for Construction and …, 2015 | 103 | 2015 |
| Dynamic partial order reduction for relaxed memory models N Zhang, M Kusano, C Wang ACM SIGPLAN Conference on Programming Language Design and Implementation, 2015 | 99 | 2015 |
| Generating data race witnesses by an SMT-based analysis M Said, C Wang, Z Yang, K Sakallah NASA Formal Methods: Third International Symposium, NFM 2011, Pasadena, CA …, 2011 | 97 | 2011 |
| Interlocking obfuscation for anti-tamper hardware AR Desai, MS Hsiao, C Wang, L Nazhandali, S Hall Proceedings of the eighth annual cyber security and information intelligence …, 2013 | 94 | 2013 |
| Trace-based symbolic analysis for atomicity violations C Wang, R Limaye, M Ganai, A Gupta Tools and Algorithms for the Construction and Analysis of Systems: 16th …, 2010 | 91 | 2010 |
| Eliminating timing side-channel leaks using program repair M Wu, S Guo, P Schaumont, C Wang International Symposium on Software Testing and Analysis, 2018 | 89 | 2018 |
| ConcBugAssist: Constraint solving for diagnosis and repair of concurrency bugs S Khoshnood, M Kusano, C Wang International Symposium on Software Testing and Analysis, 2015 | 75 | 2015 |
| Synthesis of masking countermeasures against side channel attacks H Eldib, C Wang International Conference on Computer Aided Verification, 2014 | 75 | 2014 |
| Learning from BDDs in SAT-based bounded model checking A Gupta, M Ganai, C Wang, Z Yang, P Ashar Proceedings of the 40th annual Design Automation Conference, 824-829, 2003 | 73 | 2003 |
| Staged concurrent program analysis N Sinha, C Wang Proceedings of the eighteenth ACM SIGSOFT international symposium on …, 2010 | 72 | 2010 |
| On interference abstractions N Sinha, C Wang ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages 46 (1 …, 2011 | 69 | 2011 |
| Assertion guided symbolic execution of multithreaded programs S Guo, M Kusano, C Wang, Z Yang, A Gupta ACM SIGSOFT Symposium on the Foundations of Software Engineering, 2015 | 66 | 2015 |
| Formal verification of software countermeasures against side-channel attacks H Eldib, C Wang, P Schaumont ACM Transactions on Software Engineering and Methodology 24 (2), 2014 | 64 | 2014 |
| Shield synthesis B Könighofer, M Alshiekh, R Bloem, L Humphrey, R Könighofer, U Topcu, ... Formal Methods in System Design 51, 332-361, 2017 | 62 | 2017 |
Aarti GuptaPrinceton UniversityVerified email at cs.princeton.edu
