World's Best Scientists 2026 revealed!

D-Index & Metrics

Computer Science

D-Index
53
Citations
8448
World Ranking
4921
National Ranking
2285

Research.com Recognitions

  • 2017 - ACM Fellow For contributions to system analysis and verification techniques and their transfer to industrial practice

Overview

Aarti Gupta is affiliated with Princeton University in the United States. Their research primarily spans the field of Computer Science, with a focus on several specialized subfields and topics related to system analysis, formal verification, and design techniques.

The main fields of study for Aarti Gupta include:

  • Computer Science

The subfields with notable contributions are:

  • Computational Theory and Mathematics
  • Hardware and Architecture
  • Software
  • Artificial Intelligence
  • Electrical and Electronic Engineering

The core topics explored in their work include:

  • Formal Methods in Verification
  • Software Testing and Debugging Techniques
  • Embedded Systems Design Techniques
  • Parallel Computing and Optimization Techniques
  • Security and Verification in Computing
  • Radiation Effects in Electronics
  • Logic, programming, and type systems

Aarti Gupta has published numerous papers in leading venues, reflecting a breadth of research interests. Frequent publication venues are:

  • arXiv (Cornell University)
  • Proceedings of the ACM on Programming Languages
  • European Journal of Engineering and Technology Research
  • Materials Today Proceedings
  • ACM Transactions on Design Automation of Electronic Systems

Some recent publications include:

  • Generating Architecture-Level Abstractions from RTL Designs for Processors and Accelerators Part I: Determining Architectural State Variables, 2021, 2021 IEEE/ACM International Conference On Computer Aided Design (ICCAD)
  • Modular Control Plane Verification via Temporal Invariants, 2023, Proceedings of the ACM on Programming Languages
  • Automating Modular Verification of Secure Information Flow, 2020, reposiTUm (TU Wien)
  • Investigating the performance of CoFe2O4@TiO2 nanomaterial as multifunctional cathode catalyst for simultaneous dye degradation and oxygen reduction in microbial desalination cell, 2024, Desalination
  • Recognition of Automated Hand-written Digits on Document Images Making Use of Machine Learning Techniques, 2021, European Journal of Engineering and Technology Research

Frequent collaborators have included:

  • Sharad Malik
  • Mohit Sahni
  • Hongce Zhang
  • Ryan Beckett
  • David Walker

In 2017, Aarti Gupta was awarded the ACM Fellow distinction for contributions to system analysis and verification techniques and their transfer to industrial practice.

Best Publications

  • A survey of recent advances in SAT-based formal verification

    Mukul R. Prasad;Armin Biere;Aarti Gupta

  • Formal hardware verification methods: a survey

    Aarti Gupta

  • A General Approach to Network Configuration Verification

    Ryan Beckett;Aarti Gupta;Ratul Mahajan;David Walker

  • Probabilistic Temporal Logic Falsification of Cyber-Physical Systems

    Houssam Abbas;Georgios Fainekos;Sriram Sankaranarayanan;Franjo Ivančić

  • Verification of scheduling in the presence of loops using uninterpreted symbolic simulation

    P. Ashar;A. Raghunathan;A. Gupta;S. Bhattacharya

  • Combining strengths of circuit-based and CNF-based algorithms for a high-performance SAT solver

    M.K. Ganai;Lintao Zhang;P. Ashar;A. Gupta

  • Monte-carlo techniques for falsification of temporal properties of non-linear hybrid systems

    Truong Nghiem;Sriram Sankaranarayanan;Georgios Fainekos;Franjo Ivancić

  • Fast and accurate static data-race detection for concurrent programs

    Vineet Kahlon;Yu Yang;Sriram Sankaranarayanan;Aarti Gupta

  • F-SOFT: software verification platform

    F. Ivančić;Z. Yang;M. K. Ganai;A. Gupta

  • Efficient SAT-based bounded model checking for software verification

    Franjo Ivančić;Zijiang Yang;Malay K. Ganai;Aarti Gupta

  • Reasoning about threads communicating via locks

    Vineet Kahlon;Franjo Ivančić;Aarti Gupta

  • SAT-Based Image Computation with Application in Reachability Analysis

    Aarti Gupta;Zijiang Yang;Pranav Ashar;Anubhav Gupta

  • Static analysis in disjunctive numerical domains

    Sriram Sankaranarayanan;Franjo Ivančić;Ilya Shlyakhter;Aarti Gupta

  • Model checking C programs using F-Soft

    F. Ivancic;I. Shlyakhter;A. Gupta;M.K. Ganai

  • Monotonic Partial Order Reduction: An Optimal Symbolic Partial Order Reduction Technique

    Vineet Kahlon;Chao Wang;Aarti Gupta

  • Symbolic Predictive Analysis for Concurrent Programs

    Chao Wang;Sudipta Kundu;Malay Ganai;Aarti Gupta

  • Coverage guided systematic concurrency testing

    Chao Wang;Mahmoud Said;Aarti Gupta

  • Iterative Abstraction using SAT-based BMC with Proof Analysis

    Aarti Gupta;Malay Ganai;Zijiang Yang;Pranav Ashar

  • Peephole partial order reduction

    Chao Wang;Zijiang Yang;Vineet Kahlon;Aarti Gupta

  • SAT-Based Scalable Formal Verification Solutions

    Malay K. Ganai;Aarti Gupta

  • Accelerating high-level bounded model checking

    Malay K Ganai;Aarti Gupta

Frequent Co-Authors

Franjo Ivancic
Franjo Ivancic Google (United States)
Chao Wang
Chao Wang University of Southern California
Zijiang Yang
Zijiang Yang Western Michigan University
Sriram Sankaranarayanan
Sriram Sankaranarayanan University of Colorado Boulder
Sharad Malik
Sharad Malik Princeton University
Pranav Ashar
Pranav Ashar NEC (United States)
David Walker
David Walker Princeton University
Georgios Fainekos
Georgios Fainekos Arizona State University
Ratul Mahajan
Ratul Mahajan University of Washington
Himanshu Jain
Himanshu Jain Lehigh University

If you think any of the details on this page are incorrect, let us know.

Report an issue

We appreciate your kind effort to assist us to improve this page, it would be helpful providing us with as much detail as possible in the text box below:

Related Online Degrees & Career Pathways

Studying Computer Science in the USA opens doors to a wide range of online degree options and career pathways. Many students worry about stringent admission requirements, but there are college that accepts low gpa to help students begin their academic journeys.

For those looking to finish their studies faster, explore the fastest computer science degree programs available online. These accelerated options can help you earn your degree and enter the job market more quickly.

Computer science graduates aren’t limited to tech jobs. If you’re interested in other fields, look into jobs for environmental science majors or combine your tech background with sustainability by considering environmental engineering degrees online.

By exploring these online educational and career pathways, you can discover flexible, affordable, and accelerated options tailored to your needs and goals.

Best Scientists Citing Aarti Gupta

Trending Scientists

Recently Published Articles