Aarti Gupta

发表

Aarti Gupta, Malay K. Ganai, Aarti Gupta, 2008, 2008 Design, Automation and Test in Europe.
Chao Wang, Aarti Gupta, Malay K. Ganai, 2006, SFM.
Aarti Gupta, Allan L. Fisher, 1994, Proceedings 1994 IEEE International Conference on Computer Design: VLSI in Computers and Processors.
Aarti Gupta, Malay K. Ganai, Aarti Gupta, 2006, 2006 IEEE/ACM International Conference on Computer Aided Design.
Aarti Gupta, Malay K. Ganai, Pranav Ashar, 2004, IEEE/ACM International Conference on Computer Aided Design, 2004. ICCAD-2004..
Pallavi Joshi, Aarti Gupta, Malay K. Ganai, 2014, SoCC.
Sriram Sankaranarayanan, Edmund M. Clarke, Sicun Gao, 2010, Formal Methods in Computer Aided Design.
Zijiang Yang, Aarti Gupta, Malay K. Ganai, 2005, International Journal on Software Tools for Technology Transfer.
Aarti Gupta, Malay K. Ganai, Aarti Gupta, 2007 .
Sriram Sankaranarayanan, Chao Wang, Weihong Li, 2010, Formal Methods in Computer Aided Design.
Zijiang Yang, Aarti Gupta, Pranav Ashar, 2003, ICCAD 2003.
Vineet Kahlon, Aarti Gupta, Franjo Ivancic, 2005, CAV.
Aarti Gupta, M. V. Achutha Kiran Kumar, S. S. Bindumadhava, 2014, FSFMA.
Anirudh Sivaraman, Aarti Gupta, Xiangyu Gao, 2020, SIGCOMM.
Aarti Gupta, 2007, Haifa Verification Conference.
Aarti Gupta, V. M. Achutha KiranKumar, Rajnish Ghughal, 2012, 2012 Formal Methods in Computer-Aided Design (FMCAD).
Chao Wang, Zijiang Yang, Vineet Kahlon, 2008, TACAS.
Gogul Balakrishnan, Aarti Gupta, Xusheng Xiao, 2014, ISSTA 2014.
Sharad Malik, Pramod Subramanyan, Aarti Gupta, 2018, CAV.
Swarat Chaudhuri, Yu Yang, Chao Wang, 2009, ESEC/FSE '09.
Sharad Malik, Aarti Gupta, Pranav Ashar, 1996, Proceedings of International Conference on Computer Aided Design.
Vineet Kahlon, Aarti Gupta, Aarti Gupta, 2006, 21st Annual IEEE Symposium on Logic in Computer Science (LICS'06).
Vineet Kahlon, Aarti Gupta, Franjo Ivancic, 2012, RP.
Sharad Malik, Aarti Gupta, Pranav Ashar, 1996, ICCAD.
Chao Wang, Fang Yu, Tevfik Bultan, 2008, SIGSOFT '08/FSE-16.
Kazutoshi Wakabayashi, Aarti Gupta, Malay K. Ganai, 2007, 20th International Conference on VLSI Design held jointly with 6th International Conference on Embedded Systems (VLSID'07).
Ratul Mahajan, Ryan Beckett, David Walker, 2017, SIGCOMM.
Sharad Malik, Arnab Sinha, Aarti Gupta, 2012, 2012 Formal Methods in Computer-Aided Design (FMCAD).
Aarti Gupta, Malay K. Ganai, Aarti Gupta, 2007, 2007 Asia and South Pacific Design Automation Conference.
Sharad Malik, Aarti Gupta, Sunha Ahn, 2015, 2015 International Conference on Hardware/Software Codesign and System Synthesis (CODES+ISSS).
Armin Biere, Aarti Gupta, Mukul R. Prasad, 2005, International Journal on Software Tools for Technology Transfer.
Chao Wang, Aarti Gupta, Malay K. Ganai, 2009, Formal Aspects of Computing.
Chao Wang, Zijiang Yang, Aarti Gupta, 2015, ESEC/SIGSOFT FSE.
Chao Wang, Zijiang Yang, Aarti Gupta, 2007, TODE.
Aarti Gupta, Malay K. Ganai, Pranav Ashar, 2004, CAV.
Zijiang Yang, Aarti Gupta, Malay K. Ganai, 2003, International Journal on Software Tools for Technology Transfer.
Swarat Chaudhuri, Sriram Sankaranarayanan, Aarti Gupta, 2008, ISSTA '08.
Sriram Sankaranarayanan, Aarti Gupta, Franjo Ivancic, 2007, SAS.
Sriram Sankaranarayanan, Aarti Gupta, Malay K. Ganai, 2010, Eighth ACM/IEEE International Conference on Formal Methods and Models for Codesign (MEMOCODE 2010).
Sriram Sankaranarayanan, Gogul Balakrishnan, Aarti Gupta, 2014, Automated Software Engineering.
Sharad Malik, Pramod Subramanyan, Aarti Gupta, 2018, ACM Trans. Design Autom. Electr. Syst..
Chao Wang, Aarti Gupta, Hyondeuk Kim, 2007, ICCAD 2007.
Sriram Sankaranarayanan, Gogul Balakrishnan, Aarti Gupta, 2011, FoVeOOS.
Aarti Gupta, Malay K. Ganai, Dongyoon Lee, 2012, SIGSOFT FSE.
Aarti Gupta, V. M. Achutha KiranKumar, Rajnish Ghughal, 2014, FM.
Ratul Mahajan, Ryan Beckett, David Walker, 2018, SIGCOMM.
Zijiang Yang, Aarti Gupta, Malay K. Ganai, 2005, CAV.
Zijiang Yang, Aarti Gupta, Pranav Ashar, 2001, Proceedings of the 38th Design Automation Conference (IEEE Cat. No.01CH37232).
Sriram Sankaranarayanan, Aarti Gupta, Ilya Shlyakhter, 2006, SAS.
Sayak Ray, Sharad Malik, Aarti Gupta, 2018, 2018 55th ACM/ESDA/IEEE Design Automation Conference (DAC).
Sriram Sankaranarayanan, Aarti Gupta, Franjo Ivancic, 2008, 2008 ACM/IEEE 30th International Conference on Software Engineering.
Aarti Gupta, Malay K. Ganai, 2007 .
Margaret Martonosi, Daniel Lustig, Aarti Gupta, 2018, 2018 51st Annual IEEE/ACM International Symposium on Microarchitecture (MICRO).
Sharad Malik, Aarti Gupta, Bo-Yuan Huang, 2018, 2018 IEEE/ACM International Conference on Computer-Aided Design (ICCAD).
Aarti Gupta, Malay K. Ganai, Pranav Ashar, 2005, Design, Automation and Test in Europe.
Zijiang Yang, Aarti Gupta, Pranav Ashar, 2000, FMCAD.
Aarti Gupta, Ali Alphan Bayazit, Yogesh S. Mahajan, 2005, The Industrial Information Technology Handbook.
Sriram Sankaranarayanan, Gogul Balakrishnan, Aarti Gupta, 2009, EMSOFT '09.
Sharad Malik, Pramod Subramanyan, Aarti Gupta, 2018, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems.
William R. Harris, Sriram Sankaranarayanan, Aarti Gupta, 2010, POPL '10.
Arie Gurfinkel, Grigory Fedyukovich, Aarti Gupta, 2019, VMCAI.
Chao Wang, Gogul Balakrishnan, Aarti Gupta, 2011, 2011 26th IEEE/ACM International Conference on Automated Software Engineering (ASE 2011).
Chao Wang, Aarti Gupta, Malay K. Ganai, 2006, 2006 43rd ACM/IEEE Design Automation Conference.
Sharad Malik, Aarti Gupta, Pranav Ashar, 1999, CHARME.
Aarti Gupta, Allan L. Fisher, 1990, ICPP.
Moon-Jung Chung, Aarti Gupta, Edward J. Toy, 1986, FJCC.
Aarti Gupta, 2011, 2011 Formal Methods in Computer-Aided Design (FMCAD).
Zijiang Yang, Aarti Gupta, Malay K. Ganai, 2003, ICCAD.
Sriram Sankaranarayanan, Yu Yang, Vineet Kahlon, 2007, CAV.
Aarti Gupta, Sharmila Sengupta, Arpita Bhattacharya, 2012 .
Chao Wang, Zijiang Yang, Aarti Gupta, 2006, Fourth ACM and IEEE International Conference on Formal Methods and Models for Co-Design, 2006. MEMOCODE '06. Proceedings..
Chao Wang, Zijiang Yang, Aarti Gupta, 2006, ATVA.
Gogul Balakrishnan, Aarti Gupta, Franjo Ivancic, 2012, VMCAI.
Sriram Sankaranarayanan, Vineet Kahlon, Aarti Gupta, 2013, International Journal on Software Tools for Technology Transfer.
Aarti Gupta, Malay K. Ganai, Franjo Ivancic, 2005, TACAS.
Yueling Zhang, Grigory Fedyukovich, Aarti Gupta, 2018, CAV.
Sharad Malik, Aarti Gupta, Pranav Ashar, 1997, DAC.
Chao Wang, Zijiang Yang, Vineet Kahlon, 2005, 2005 International Conference on Computer Design.
Aarti Gupta, Malay K. Ganai, 2007 .
Aarti Gupta, Malay K. Ganai, 2007 .
Sriram Sankaranarayanan, George J. Pappas, Truong Nghiem, 2010, HSCC '10.
Chao Wang, Zijiang Yang, Aarti Gupta, 2009, TODE.
Chao Wang, Aarti Gupta, Malay K. Ganai, 2009, FM.
Santosh Nagarakatte, Aarti Gupta, Adarsh Yoga, 2016, SIGSOFT FSE.
Sriram Sankaranarayanan, Georgios E. Fainekos, Aarti Gupta, 2009, 2009 30th IEEE Real-Time Systems Symposium.
Sriram Sankaranarayanan, Gogul Balakrishnan, Aarti Gupta, 2008, SAS.
Chao Wang, Zijiang Yang, Aarti Gupta, 2003, CAV.
Sharad Malik, Aarti Gupta, Zhixing Xu, 2017, Haifa Verification Conference.
Sriram Sankaranarayanan, Vineet Kahlon, Aarti Gupta, 2009, TACAS.
Aarti Gupta, Pranav Ashar, Aarti Gupta, 1998, Proceedings Eleventh International Conference on VLSI Design.
Aarti Gupta, Malay K. Ganai, Aarti Gupta, 2008, SPIN.
Chao Wang, Aarti Gupta, Franjo Ivancic, 2007, Formal Methods in Computer Aided Design (FMCAD'07).
Aarti Gupta, Malay K. Ganai, Pranav Ashar, 2005, 18th International Conference on VLSI Design held jointly with 4th International Conference on Embedded Systems Design.
Kazutoshi Wakabayashi, S. Liu, Aarti Gupta, 2001, Proceedings Design, Automation and Test in Europe. Conference and Exhibition 2001.
Chao Wang, Aarti Gupta, Mahmoud Said, 2011, 2011 33rd International Conference on Software Engineering (ICSE).
Aarti Gupta, Malay K. Ganai, Muralidhar Talupur, 2007, J. Satisf. Boolean Model. Comput..
Anand Raghunathan, Subhrajit Bhattacharya, Aarti Gupta, 1999, Proceedings 1999 IEEE International Conference on Computer Design: VLSI in Computers and Processors (Cat. No.99CB37040).
Aarti Gupta, Malay K. Ganai, 2007 .
Grigory Fedyukovich, Aarti Gupta, Kumar Madhukar, 2018, 2018 Formal Methods in Computer Aided Design (FMCAD).
Aarti Gupta, Allan L. Fisher, Aarti Gupta, 1993, CAV.
Aarti Gupta, Malay K. Ganai, Aarti Gupta, 2008, 2008 45th ACM/IEEE Design Automation Conference.
Yifei Yuan, Aarti Gupta, Shuyuan Zhang, 2014, HotSDN.
Vineet Kahlon, Aarti Gupta, 2007, POPL '07.
Srihari Cadambi, Zijiang Yang, Aarti Gupta, 2008, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems.
Grigory Fedyukovich, Aarti Gupta, Lauren Pick, 2018, CAV.
Gogul Balakrishnan, Aarti Gupta, Franjo Ivancic, 2011, ECOOP.
Gogul Balakrishnan, Aarti Gupta, Pranav Garg, 2013, 2013 35th International Conference on Software Engineering (ICSE).
Chao Wang, Zijiang Yang, Aarti Gupta, 2003, Proceedings 2003. Design Automation Conference (IEEE Cat. No.03CH37451).
Sriram Sankaranarayanan, Gogul Balakrishnan, Aarti Gupta, 2011, 2011 26th IEEE/ACM International Conference on Automated Software Engineering (ASE 2011).
Sharad Malik, Chao Wang, Arnab Sinha, 2011, Ninth ACM/IEEE International Conference on Formal Methods and Models for Codesign (MEMPCODE2011).
Vineet Kahlon, Aarti Gupta, Niloofar Razavi, 2012, APLAS.
Chao Wang, Aarti Gupta, Hyondeuk Kim, 2007, 2007 IEEE/ACM International Conference on Computer-Aided Design.
Sharad Malik, Aarti Gupta, C. Norris Ip, 2005, CAV.
Kazutoshi Wakabayashi, Aarti Gupta, Albert E. Casavant, 2002, Proceedings of ASP-DAC/VLSI Design 2002. 7th Asia and South Pacific Design Automation Conference and 15h International Conference on VLSI Design.
Aarti Gupta, Malay K. Ganai, Pranav Ashar, 2005, TACAS.
Pallavi Joshi, Gogul Balakrishnan, Aarti Gupta, 2013, TRIOS@SOSP.
Aarti Gupta, Malay K. Ganai, 2007 .
Aarti Gupta, Malay K. Ganai, 2007 .
Sriram Sankaranarayanan, Houssam Abbas, Georgios E. Fainekos, 2013, TECS.
Sharad Malik, Margaret Martonosi, Aarti Gupta, 2018, 2018 Formal Methods in Computer Aided Design (FMCAD).
Chao Wang, Aarti Gupta, Malay K. Ganai, 2010, TACAS.
Aarti Gupta, 2002, IEEE Des. Test Comput..
Sharad Malik, Yifei Yuan, Aarti Gupta, 2014, 2014 44th Annual IEEE/IFIP International Conference on Dependable Systems and Networks.
Aarti Gupta, Malay K. Ganai, 2007 .
Sharad Malik, Zijiang Yang, Aarti Gupta, 2001, IEEE/ACM International Conference on Computer Aided Design. ICCAD 2001. IEEE/ACM Digest of Technical Papers (Cat. No.01CH37281).
Santosh Nagarakatte, Aarti Gupta, David Menendez, 2016, SAS.
Sharad Malik, Chao Wang, Arnab Sinha, 2011, Haifa Verification Conference.
Sriram Sankaranarayanan, Naveen Sharma, Jing Yang, 2012, CC.
Aarti Gupta, Malay K. Ganai, Pranav Ashar, 2005, Proceedings. 42nd Design Automation Conference, 2005..
Aarti Gupta, Malay K. Ganai, 2007, Series on Integrated Circuits and Systems.
Yu Yang, Chao Wang, Ganesh Gopalakrishnan, 2008, ATVA.
Yu Lin, Pallavi Joshi, Gogul Balakrishnan, 2014, VECPAR.
Aarti Gupta, Aarti Gupta, 1992, Formal Methods Syst. Des..
Chao Wang, Zijiang Yang, Aarti Gupta, 2006, Proceedings of the Design Automation & Test in Europe Conference.
Florian Lonsing, Aarti Gupta, Makai Mann, 2021, CAV.
Sharad Malik, Aarti Gupta, Yue Xing, 2021, 2021 Design, Automation & Test in Europe Conference & Exhibition (DATE).
Sriram Sankaranarayanan, Aarti Gupta, Malay K. Ganai, 2009 .