Aarti Gupta
- Application-Level Validation of Accelerator Designs Using a Formal Software/Hardware Interface
2022/03/01 by Bo-Yuan Huang, Steven Lyubomirsky, Huang, Bo-Yuan +23 · 1 voice · 1 citation
Computer Science · #FOS: Computer and information sciences #Hardware Architecture (cs.AR) #Programming Languages (cs.PL) #cs.AR #cs.PL
- AlgoVeri: An Aligned Benchmark for Verified Code Generation on Classical Algorithms
2026/02/10 by Haoyu Zhao, Ziran Yang, Jiawei Li +6 · 1 voice
Computer Science · #cs.SE #cs.AI #cs.CL
- FLAG: Formal and LLM-assisted SVA Generation for Formal Specifications of On-Chip Communication Protocols
2025/04/24 by Yu-An Shih, Shih, Yu-An, Aarti Gupta +4 · 2 citations
Computer Science · #Embedded Systems Design Techniques #FOS: Computer and information sciences #Formal Methods in Verification #Hardware Architecture (cs.AR) #Petri Nets in System Modeling #Software Engineering (cs.SE)
- Three Pathways to Nonuse Agreement(s) on Solar Geoengineering
2024/01/01 by Stacy D. VanDeveer, Frank Biermann, Rakhyun E. Kim +2 · 1 voice · 2 citations
Environmental Science · Social Sciences · Physics and Astronomy · #Climate Change and Geoengineering #Environmental law and policy #Space exploration and regulation
- Towards a Non-Use Regime on Solar Geoengineering: Lessons from International Law and Governance
2024/02/27 by Aarti Gupta, Frank Biermann, Ellinore van Driel +7 · 2 voices · 2 citations
Environmental Science · Physics and Astronomy · #Climate Change and Geoengineering #Space Science and Extraterrestrial Life #Space exploration and regulation