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 |