Aarti Gupta

ORCID

Publication Activity (10 Years)

Years Active: 1986-2024
Publications (10 Years): 61

Top Venues

Publications

Bo-Yuan Huang, Steven Lyubomirsky, Yi Li, Mike He, Gus Henry Smith, Thierry Tambe, Akash Gaonkar, Vishal Canumalla, Andrew Cheung, Gu-Yeon Wei, Aarti Gupta, Zachary Tatlock, Sharad Malik
Application-level Validation of Accelerator Designs Using a Formal Software/Hardware Interface. ACM Trans. Design Autom. Electr. Syst. 29 (2) (2024)
Fengchen Gong, Divya Raghunathan, Aarti Gupta, Maria Apostolaki
Super-resolution on network telemetry time series. CoRR (2024)
Fengchen Gong, Divya Raghunathan, Aarti Gupta, Maria Apostolaki
Zoom2Net: Constrained Network Telemetry Imputation. SIGCOMM (2024)
Timothy Alberdingk Thijm, Ryan Beckett, Aarti Gupta, David Walker
Kirigami, the Verifiable Art of Network Cutting. IEEE/ACM Trans. Netw. 32 (3) (2024)
Yi Li, Aarti Gupta, Sharad Malik
Exact Scheduling to Minimize Off-Chip Data Movement for Deep Learning Accelerators. ASPDAC (2024)
Xiangyu Gao, Divya Raghunathan, Ruijie Fang, Tao Wang, Xiaotong Zhu, Anirudh Sivaraman, Srinivas Narayana, Aarti Gupta
CaT: A Solver-Aided Compiler for Packet-Processing Pipelines. ASPLOS (3) (2023)
Yi Li, Aarti Gupta, Sharad Malik
Combined Scheduling, Memory Allocation and Tensor Replacement for Minimizing Off-Chip Data Accesses of DNN Accelerators. CoRR (2023)
Bo-Yuan Huang, Hongce Zhang, Aarti Gupta, Sharad Malik
INVITED: Generalizing the ISA to the ILA: A Software/Hardware Interface for Accelerator-rich Platforms. DAC (2023)
Lauren Pick, Ankush Desai, Aarti Gupta
Psym: Efficient Symbolic Exploration of Distributed Systems. Proc. ACM Program. Lang. 7 (PLDI) (2023)
Timothy Alberdingk Thijm, Ryan Beckett, Aarti Gupta, David Walker
Modular Control Plane Verification via Temporal Invariants. Proc. ACM Program. Lang. 7 (PLDI) (2023)
Huaixi Lu, Yue Xing, Aarti Gupta, Sharad Malik
SoC Protocol Implementation Verification Using Instruction-Level Abstraction Specifications. ACM Trans. Design Autom. Electr. Syst. 28 (6) (2023)
Fengchen Gong, Divya Raghunathan, Aarti Gupta, Maria Apostolaki
Towards Integrating Formal Methods into ML-Based Systems for Networking. HotNets (2023)
Jingbo Wang, Aarti Gupta, Chao Wang
Synthesizing MILP Constraints for Efficient and Robust Optimization. Proc. ACM Program. Lang. 7 (PLDI) (2023)
Xiangyu Gao, Divya Raghunathan, Ruijie Fang, Tao Wang, Xiaotong Zhu, Anirudh Sivaraman, Srinivas Narayana, Aarti Gupta
High-Level Synthesis for Packet-Processing Pipelines. CoRR (2022)
Aarti Gupta, Roope Kaivola, Mihir Parang Mehta, Vaibhav Singh
Error Correction Code Algorithm and Implementation Verification Using Symbolic Representations. FMCAD (2022)
Tim Alberdingk Thijm, Ryan Beckett, Aarti Gupta, David Walker
Kirigami, the Verifiable Art of Network Cutting. CoRR (2022)
Divya Raghunathan, Ryan Beckett, Aarti Gupta, David Walker
ACORN: Network Control Plane Abstraction using Route Nondeterminism. CoRR (2022)
Yue Xing, Huaixi Lu, Aarti Gupta, Sharad Malik
Compositional Verification Using a Formal Component and Interface Specification. ICCAD (2022)
Divya Raghunathan, Ryan Beckett, Aarti Gupta, David Walker
ACORN: Network Control Plane Abstraction using Route Nondeterminism. FMCAD (2022)
Ryan Beckett, Aarti Gupta
Katra: Realtime Verification for Multilayer Networks. NSDI (2022)
Bo-Yuan Huang, Steven Lyubomirsky, Yi Li, Mike He, Thierry Tambe, Gus Henry Smith, Akash Gaonkar, Vishal Canumalla, Gu-Yeon Wei, Aarti Gupta, Zachary Tatlock, Sharad Malik
Specialized Accelerators and Compiler Flows: Replacing Accelerator APIs with a Formal Software/Hardware Interface. CoRR (2022)
Timothy Alberdingk Thijm, Ryan Beckett, Aarti Gupta, David Walker
Modular Control Plane Verification via Temporal Invariants. CoRR (2022)
Yu Zeng, Aarti Gupta, Sharad Malik
Automatic Generation of Architecture-Level Models from RTL Designs for Processors and Accelerators. DATE (2022)
Yue Xing, Aarti Gupta, Sharad Malik
Generalizing Tandem Simulation: Connecting High-level and RTL Simulation Models. ASP-DAC (2022)
Timothy Alberdingk Thijm, Ryan Beckett, Aarti Gupta, David Walker
Kirigami, the Verifiable Art of Network Cutting. ICNP (2022)
Qinhan Tan, Aarti Gupta, Sharad Malik
Usage-Based RTL Subsetting for Hardware Accelerators. ICCAD (2022)
Hongce Zhang, Aarti Gupta, Sharad Malik
Syntax-Guided Synthesis for Lemma Generation in Hardware Model Checking. VMCAI (2021)
Lauren Pick, Grigory Fedyukovich, Aarti Gupta
Unbounded Procedure Summaries from Bounded Environments. VMCAI (2021)
Yu Zeng, Bo-Yuan Huang, Hongce Zhang, Aarti Gupta, Sharad Malik
Generating Architecture-Level Abstractions from RTL Designs for Processors and Accelerators Part I: Determining Architectural State Variables. ICCAD (2021)
Yue Xing, Huaixi Lu, Aarti Gupta, Sharad Malik
Leveraging Processor Modeling and Verification for General Hardware Modules. DATE (2021)
Makai Mann, Ahmed Irfan, Florian Lonsing, Yahan Yang, Hongce Zhang, Kristopher Brown, Aarti Gupta, Clark W. Barrett
Pono: A Flexible and Extensible SMT-Based Model Checker. CAV (2) (2021)
Lauren Pick, Grigory Fedyukovich, Aarti Gupta
Automating Modular Verification of Secure Information Flow. FMCAD (2020)
Xiangyu Gao, Taegyun Kim, Michael D. Wong, Divya Raghunathan, Aatish Kishan Varma, Pravein Govindan Kannan, Anirudh Sivaraman, Srinivas Narayana, Aarti Gupta
Switch Code Generation Using Program Synthesis. SIGCOMM (2020)
Naoki Kobayashi, Grigory Fedyukovich, Aarti Gupta
Fold/Unfold Transformations for Fixpoint Logic. TACAS (2) (2020)
Ryan Beckett, Aarti Gupta, Ratul Mahajan, David Walker
Abstract interpretation of distributed network control planes. Proc. ACM Program. Lang. 4 (POPL) (2020)
Nina Narodytska, Hongce Zhang, Aarti Gupta, Toby Walsh
In Search for a SAT-friendly Binarized Neural Network Architecture. ICLR (2020)
Hongce Zhang, Weikun Yang, Grigory Fedyukovich, Aarti Gupta, Sharad Malik
Synthesizing Environment Invariants for Modular Hardware Verification. VMCAI (2020)
Hongce Zhang, Maxwell Shinn, Aarti Gupta, Arie Gurfinkel, Nham Le, Nina Narodytska
Verification of Recurrent Neural Networks for Cognitive Tasks via Reachability Analysis. ECAI (2020)
Bo-Yuan Huang, Hongce Zhang, Pramod Subramanyan, Yakir Vizel, Aarti Gupta, Sharad Malik
Instruction-Level Abstraction (ILA): A Uniform Specification for System-on-Chip (SoC) Verification. ACM Trans. Design Autom. Electr. Syst. 24 (1) (2019)
Weikun Yang, Grigory Fedyukovich, Aarti Gupta
Lemma Synthesis for Automating Induction over Algebraic Data Types. CP (2019)
Grigory Fedyukovich, Arie Gurfinkel, Aarti Gupta
Lazy but Effective Functional Synthesis. VMCAI (2019)
Grigory Fedyukovich, Sumanth Prabhu, Kumar Madhukar, Aarti Gupta
Quantified Invariants via Syntax-Guided Synthesis. CAV (1) (2019)
Jeffrey F. Lukman, Huan Ke, Cesar A. Stuardo, Riza O. Suminto, Daniar H. Kurniawan, Dikaimin Simon, Satria Priambada, Chen Tian, Feng Ye, Tanakorn Leesatapornwongsa, Aarti Gupta, Shan Lu, Haryadi S. Gunawi
FlyMC: Highly Scalable Testing of Complex Interleavings in Distributed Systems. EuroSys (2019)
Grigory Fedyukovich, Aarti Gupta
Functional Synthesis with Examples. CP (2019)
Bo-Yuan Huang, Hongce Zhang, Aarti Gupta, Sharad Malik
ILAng: A Modeling and Verification Platform for SoCs Using Instruction-Level Abstractions. TACAS (1) (2019)
Pramod Subramanyan, Bo-Yuan Huang, Yakir Vizel, Aarti Gupta, Sharad Malik
Template-Based Parameterized Synthesis of Uniform Instruction-Level Abstractions for SoC Verification. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 37 (8) (2018)
Bo-Yuan Huang, Hongce Zhang, Pramod Subramanyan, Yakir Vizel, Aarti Gupta, Sharad Malik
Instruction-Level Abstraction (ILA): A Uniform Specification for System-on-Chip (SoC) Verification. CoRR (2018)
Yue Xing, Bo-Yuan Huang, Aarti Gupta, Sharad Malik
A formal instruction-level GPU model for scalable verification. ICCAD (2018)
Bo-Yuan Huang, Sayak Ray, Aarti Gupta, Jason M. Fung, Sharad Malik
Formal security verification of concurrent firmware in SoCs using instruction-level abstraction for hardware. DAC (2018)
Yatin A. Manerkar, Daniel Lustig, Margaret Martonosi, Aarti Gupta
PipeProof: Automated Memory Consistency Proofs for Microarchitectural Specifications. MICRO (2018)
Ryan Beckett, Aarti Gupta, Ratul Mahajan, David Walker
Control plane compression. SIGCOMM (2018)
Weikun Yang, Yakir Vizel, Pramod Subramanyan, Aarti Gupta, Sharad Malik
Lazy Self-composition for Security Verification. CAV (2) (2018)
Grigory Fedyukovich, Sumanth Prabhu, Kumar Madhukar, Aarti Gupta
Solving Constrained Horn Clauses Using Syntax and Data. FMCAD (2018)
Grigory Fedyukovich, Yueling Zhang, Aarti Gupta
Syntax-Guided Termination Analysis. CAV (1) (2018)
Hongce Zhang, Caroline Trippel, Yatin A. Manerkar, Aarti Gupta, Margaret Martonosi, Sharad Malik
ILA-MCM: Integrating Memory Consistency Models with Instruction-Level Abstractions for Heterogeneous System-on-Chip Verification. FMCAD (2018)
Lauren Pick, Grigory Fedyukovich, Aarti Gupta
Exploiting Synchrony and Symmetry in Relational Verification. CAV (1) (2018)
Ryan Beckett, Aarti Gupta, Ratul Mahajan, David Walker
Control Plane Compression. CoRR (2018)
Zhixing Xu, Aarti Gupta, Sharad Malik
Trace-based Analysis of Memory Corruption Malware Attacks. Haifa Verification Conference (2017)
Ryan Beckett, Aarti Gupta, Ratul Mahajan, David Walker
A General Approach to Network Configuration Verification. SIGCOMM (2017)
David Menendez, Santosh Nagarakatte, Aarti Gupta
Alive-FP: Automated Verification of Floating Point Based Peephole Optimizations in LLVM. SAS (2016)
Adarsh Yoga, Santosh Nagarakatte, Aarti Gupta
Parallel data race detection for task parallel programs with locks. SIGSOFT FSE (2016)
Shengjian Guo, Markus Kusano, Chao Wang, Zijiang Yang, Aarti Gupta
Assertion guided symbolic execution of multithreaded programs. ESEC/SIGSOFT FSE (2015)
Franjo Ivancic, Gogul Balakrishnan, Aarti Gupta, Sriram Sankaranarayanan, Naoto Maeda, Takashi Imoto, Rakesh Pothengil, Mustafa Hussain
Scalable and scope-bounded software verification in Varvel. Autom. Softw. Eng. 22 (4) (2015)
Sunha Ahn, Sharad Malik, Aarti Gupta
Completeness bounds and sequentialization for model checking of interacting firmware and hardware. CODES+ISSS (2015)
Aarti Gupta, V. M. Achutha KiranKumar, Rajnish Ghughal
Formally Verifying Graphics FPU - An Intel® Experience. FM (2014)
Shuyuan Zhang, Franjo Ivancic, Cristian Lumezanu, Yifei Yuan, Aarti Gupta, Sharad Malik
An Adaptable Rule Placement for Software-Defined Networks. DSN (2014)
Xusheng Xiao, Gogul Balakrishnan, Franjo Ivancic, Naoto Maeda, Aarti Gupta, Deepak Chhetri
ARC++: effective typestate and lifetime dependency analysis. ISSTA (2014)
Kaituo Li, Pallavi Joshi, Aarti Gupta, Malay K. Ganai
ReproLite: A Lightweight Tool to Quickly Reproduce Hard System Bugs. SoCC (2014)
Yu Lin, Franjo Ivancic, Pallavi Joshi, Gogul Balakrishnan, Malay K. Ganai, Aarti Gupta
Environment-Sensitive Performance Tuning for Distributed Service Orchestration. VECPAR (2014)
M. V. Achutha Kiran Kumar, Aarti Gupta, S. S. Bindumadhava
RTL2RTL Formal Equivalence: Boosting the Design Confidence. FSFMA (2014)
Yifei Yuan, Franjo Ivancic, Cristian Lumezanu, Shuyuan Zhang, Aarti Gupta
Generating consistent updates for software-defined network configurations. HotSDN (2014)
Vineet Kahlon, Sriram Sankaranarayanan, Aarti Gupta
Static analysis for concurrent programs with applications to data race detection. Int. J. Softw. Tools Technol. Transf. 15 (4) (2013)
Houssam Abbas, Georgios Fainekos, Sriram Sankaranarayanan, Franjo Ivancic, Aarti Gupta
Probabilistic Temporal Logic Falsification of Cyber-Physical Systems. ACM Trans. Embed. Comput. Syst. 12 (2s) (2013)
Pallavi Joshi, Malay K. Ganai, Gogul Balakrishnan, Aarti Gupta, Nadia Papakonstantinou
SETSUDŌ: perturbation-based testing framework for scalable distributed systems. TRIOS@SOSP (2013)
Pranav Garg, Franjo Ivancic, Gogul Balakrishnan, Naoto Maeda, Aarti Gupta
Feedback-directed unit test generation for C/C++ using concolic execution. ICSE (2013)
Arnab Sinha, Sharad Malik, Aarti Gupta
Efficient predictive analysis for detecting nondeterminism in multi-threaded programs. FMCAD (2012)
Khalil Ghorbal, Parasara Sridhar Duggirala, Vineet Kahlon, Franjo Ivancic, Aarti Gupta
Efficient Probabilistic Model Checking of Systems with Ranged Probabilities. RP (2012)
Sandip Ray, Jayanta Bhadra, Magdy S. Abadir, Li-C. Wang, Aarti Gupta
Introduction to special section on verification challenges in the concurrent world. ACM Trans. Design Autom. Electr. Syst. 17 (3) (2012)
Niloofar Razavi, Franjo Ivancic, Vineet Kahlon, Aarti Gupta
Concurrent Test Generation Using Concolic Multi-trace Analysis. APLAS (2012)
Malay K. Ganai, Dongyoon Lee, Aarti Gupta
DTAM: dynamic taint analysis of multi-threaded programs for relevancy. SIGSOFT FSE (2012)
V. M. Achutha KiranKumar, Aarti Gupta, Rajnish Ghughal
Symbolic Trajectory Evaluation: The primary validation Vehicle for next generation Intel® Processor Graphics FPU. FMCAD (2012)
Khalil Ghorbal, Franjo Ivancic, Gogul Balakrishnan, Naoto Maeda, Aarti Gupta
Donut Domains: Efficient Non-convex Domains for Abstract Interpretation. VMCAI (2012)
Jing Yang, Gogul Balakrishnan, Naoto Maeda, Franjo Ivancic, Aarti Gupta, Nishant Sinha, Sriram Sankaranarayanan, Naveen Sharma
Object Model Construction for Inheritance in C++ and Its Applications to Program Analysis. CC (2012)
Malay K. Ganai, Nipun Arora, Chao Wang, Aarti Gupta, Gogul Balakrishnan
BEST: A symbolic testing tool for predicting multi-threaded program failures. ASE (2011)
Franjo Ivancic, Gogul Balakrishnan, Aarti Gupta, Sriram Sankaranarayanan, Naoto Maeda, Hiroki Tokuoka, Takashi Imoto, Yoshiaki Miyazaki
DC2: A framework for scalable, scope-bounded software verification. ASE (2011)
Gogul Balakrishnan, Naoto Maeda, Sriram Sankaranarayanan, Franjo Ivancic, Aarti Gupta, Rakesh Pothengil
Modeling and Analyzing the Interaction of C and C++ Strings. FoVeOOS (2011)
Chao Wang, Sudipta Kundu, Rhishikesh Limaye, Malay K. Ganai, Aarti Gupta
Symbolic predictive analysis for concurrent programs. Formal Aspects Comput. 23 (6) (2011)
Arnab Sinha, Sharad Malik, Chao Wang, Aarti Gupta
Predictive analysis for detecting serializability violations through Trace Segmentation. MEMOCODE (2011)
Aarti Gupta
. FMCAD (2011)
Chao Wang, Mahmoud Said, Aarti Gupta
Coverage guided systematic concurrency testing. ICSE (2011)
Arnab Sinha, Sharad Malik, Chao Wang, Aarti Gupta
Predicting Serializability Violations: SMT-Based Search vs. DPOR-Based Search. Haifa Verification Conference (2011)
Prakash Prabhu, Naoto Maeda, Gogul Balakrishnan, Franjo Ivancic, Aarti Gupta
Interprocedural Exception Analysis for C++. ECOOP (2011)
Gogul Balakrishnan, Malay K. Ganai, Aarti Gupta, Franjo Ivancic, Vineet Kahlon, Weihong Li, Naoto Maeda, Nadia Papakonstantinou, Sriram Sankaranarayanan, Nishant Sinha, Chao Wang
Scalable and precise program analysis at NEC. FMCAD (2010)
William R. Harris, Sriram Sankaranarayanan, Franjo Ivancic, Aarti Gupta
Program analysis via satisfiability modulo path programs. POPL (2010)
Sicun Gao, Malay K. Ganai, Franjo Ivancic, Aarti Gupta, Sriram Sankaranarayanan, Edmund M. Clarke
Integrating ICP and LRA solvers for deciding nonlinear real arithmetic problems. FMCAD (2010)
Franjo Ivancic, Malay K. Ganai, Sriram Sankaranarayanan, Aarti Gupta
Numerical stability analysis of floating-point computations using software model checking. MEMOCODE (2010)
Chao Wang, Rhishikesh Limaye, Malay K. Ganai, Aarti Gupta
Trace-Based Symbolic Analysis for Atomicity Violations. TACAS (2010)
Truong Nghiem, Sriram Sankaranarayanan, Georgios Fainekos, Franjo Ivancic, Aarti Gupta, George J. Pappas
Monte-carlo techniques for falsification of temporal properties of non-linear hybrid systems. HSCC (2010)
Georgios Fainekos, Sriram Sankaranarayanan, Franjo Ivancic, Aarti Gupta
Robustness of Model-Based Simulations. RTSS (2009)
Gogul Balakrishnan, Sriram Sankaranarayanan, Franjo Ivancic, Aarti Gupta
Refining the control structure of loops using static analysis. EMSOFT (2009)

Aarti Gupta.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Aarti Gupta