Aarti Gupta
Affiliations: | Computer Science | Princeton University, Princeton, NJ |
Area:
Formal verification, program analysis, logic decision proceduresGoogle:
"Aarti Gupta"
BETA: Related publications
See more...
Publications
You can help our author matching system! If you notice any publications incorrectly attributed to this author, please sign in and mark matches as correct or incorrect. |
Huang B, Zhang H, Subramanyan P, et al. (2019) Instruction-Level Abstraction (ILA): A Uniform Specification for System-on-Chip (SoC) Verification Acm Transactions On Design Automation of Electronic Systems. 24: 10 |
Subramanyan P, Huang B, Vizel Y, et al. (2018) Template-Based Parameterized Synthesis of Uniform Instruction-Level Abstractions for SoC Verification Ieee Transactions On Computer-Aided Design of Integrated Circuits and Systems. 37: 1692-1705 |
Kahlon V, Sankaranarayanan S, Gupta A. (2013) Static analysis for concurrent programs with applications to data race detection International Journal On Software Tools For Technology Transfer. 15: 321-336 |
Wang C, Kundu S, Limaye R, et al. (2011) Symbolic predictive analysis for concurrent programs Formal Aspects of Computing. 23: 781-805 |
Yang Z, Wang C, Gupta A, et al. (2009) Model checking sequential software programs via mixed symbolic analysis Acm Transactions On Design Automation of Electronic Systems. 14: 10 |
Zaks A, Yang Z, Shlyakhter I, et al. (2008) Bitwidth reduction via symbolic interval analysis for software model checking Ieee Transactions On Computer-Aided Design of Integrated Circuits and Systems. 27: 1513-1517 |
Ganai MK, Talupur M, Gupta A. (2007) SDSAT: Tight Integration of Small Domain Encoding and Lazy Approaches in Solving Difference Logic Journal On Satisfiability, Boolean Modeling and Computation. 3: 91-114 |
Wang C, Yang Z, Ivančić F, et al. (2007) Disjunctive image computation for software verification Acm Transactions On Design Automation of Electronic Systems. 12: 10 |
Prasad MR, Biere A, Gupta A. (2005) A survey of recent advances in SAT-based formal verification International Journal On Software Tools For Technology Transfer. 7: 156-173 |
Clarke EM, Gupta A, Strichman O. (2004) SAT-based counterexample-guided abstraction refinement Ieee Transactions On Computer-Aided Design of Integrated Circuits and Systems. 23: 1113-1123 |