Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Aarti Gupta
@article{DBLP:journals/todaes/HuangLLHSTGCCWGTM24,
author = {Bo{-}Yuan Huang and
Steven Lyubomirsky and
Yi Li and
Mike He and
Gus Henry Smith and
Thierry Tambe and
Akash Gaonkar and
Vishal Canumalla and
Andrew Cheung and
Gu{-}Yeon Wei and
Aarti Gupta and
Zachary Tatlock and
Sharad Malik},
title = {Application-level Validation of Accelerator Designs Using a Formal
Software/Hardware Interface},
journal = {{ACM} Trans. Design Autom. Electr. Syst.},
volume = {29},
number = {2},
pages = {35:1--35:25},
year = {2024},
url = {https://doi.org/10.1145/3639051},
doi = {10.1145/3639051},
timestamp = {Mon, 01 Apr 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/todaes/HuangLLHSTGCCWGTM24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2403-04165,
author = {Fengchen Gong and
Divya Raghunathan and
Aarti Gupta and
Maria Apostolaki},
title = {Super-resolution on network telemetry time series},
journal = {CoRR},
volume = {abs/2403.04165},
year = {2024},
url = {https://doi.org/10.48550/arXiv.2403.04165},
doi = {10.48550/ARXIV.2403.04165},
eprinttype = {arXiv},
eprint = {2403.04165},
timestamp = {Wed, 03 Apr 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2403-04165.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pacmpl/ThijmBGW23,
author = {Timothy Alberdingk Thijm and
Ryan Beckett and
Aarti Gupta and
David Walker},
title = {Modular Control Plane Verification via Temporal Invariants},
journal = {Proc. {ACM} Program. Lang.},
volume = {7},
number = {{PLDI}},
pages = {50--75},
year = {2023},
url = {https://doi.org/10.1145/3591222},
doi = {10.1145/3591222},
timestamp = {Mon, 08 Apr 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/pacmpl/ThijmBGW23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pacmpl/PickDG23,
author = {Lauren Pick and
Ankush Desai and
Aarti Gupta},
title = {Psym: Efficient Symbolic Exploration of Distributed Systems},
journal = {Proc. {ACM} Program. Lang.},
volume = {7},
number = {{PLDI}},
pages = {660--685},
year = {2023},
url = {https://doi.org/10.1145/3591247},
doi = {10.1145/3591247},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/pacmpl/PickDG23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pacmpl/WangGW23,
author = {Jingbo Wang and
Aarti Gupta and
Chao Wang},
title = {Synthesizing {MILP} Constraints for Efficient and Robust Optimization},
journal = {Proc. {ACM} Program. Lang.},
volume = {7},
number = {{PLDI}},
pages = {1896--1919},
year = {2023},
url = {https://doi.org/10.1145/3591298},
doi = {10.1145/3591298},
timestamp = {Wed, 30 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/pacmpl/WangGW23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/todaes/LuXGM23,
author = {Huaixi Lu and
Yue Xing and
Aarti Gupta and
Sharad Malik},
title = {SoC Protocol Implementation Verification Using Instruction-Level Abstraction
Specifications},
journal = {{ACM} Trans. Design Autom. Electr. Syst.},
volume = {28},
number = {6},
pages = {89:1--89:24},
year = {2023},
url = {https://doi.org/10.1145/3610292},
doi = {10.1145/3610292},
timestamp = {Sun, 10 Dec 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/todaes/LuXGM23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/asplos/GaoRFWZSNG23,
author = {Xiangyu Gao and
Divya Raghunathan and
Ruijie Fang and
Tao Wang and
Xiaotong Zhu and
Anirudh Sivaraman and
Srinivas Narayana and
Aarti Gupta},
editor = {Tor M. Aamodt and
Natalie D. Enright Jerger and
Michael M. Swift},
title = {CaT: {A} Solver-Aided Compiler for Packet-Processing Pipelines},
booktitle = {Proceedings of the 28th {ACM} International Conference on Architectural
Support for Programming Languages and Operating Systems, Volume 3,
{ASPLOS} 2023, Vancouver, BC, Canada, March 25-29, 2023},
pages = {72--88},
publisher = {{ACM}},
year = {2023},
url = {https://doi.org/10.1145/3582016.3582036},
doi = {10.1145/3582016.3582036},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/asplos/GaoRFWZSNG23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/HuangZGM23,
author = {Bo{-}Yuan Huang and
Hongce Zhang and
Aarti Gupta and
Sharad Malik},
title = {{INVITED:} Generalizing the {ISA} to the {ILA:} {A} Software/Hardware
Interface for Accelerator-rich Platforms},
booktitle = {60th {ACM/IEEE} Design Automation Conference, {DAC} 2023, San Francisco,
CA, USA, July 9-13, 2023},
pages = {1--4},
publisher = {{IEEE}},
year = {2023},
url = {https://doi.org/10.1109/DAC56929.2023.10247894},
doi = {10.1109/DAC56929.2023.10247894},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dac/HuangZGM23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hotnets/GongRGA23,
author = {Fengchen Gong and
Divya Raghunathan and
Aarti Gupta and
Maria Apostolaki},
title = {Towards Integrating Formal Methods into ML-Based Systems for Networking},
booktitle = {Proceedings of the 22nd {ACM} Workshop on Hot Topics in Networks,
HotNets 2023, Cambridge, MA, USA, November 28-29, 2023},
pages = {48--55},
publisher = {{ACM}},
year = {2023},
url = {https://doi.org/10.1145/3626111.3628188},
doi = {10.1145/3626111.3628188},
timestamp = {Tue, 28 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/hotnets/GongRGA23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2311-18246,
author = {Yi Li and
Aarti Gupta and
Sharad Malik},
title = {Combined Scheduling, Memory Allocation and Tensor Replacement for
Minimizing Off-Chip Data Accesses of {DNN} Accelerators},
journal = {CoRR},
volume = {abs/2311.18246},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2311.18246},
doi = {10.48550/ARXIV.2311.18246},
eprinttype = {arXiv},
eprint = {2311.18246},
timestamp = {Tue, 05 Dec 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2311-18246.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aspdac/XingGM22,
author = {Yue Xing and
Aarti Gupta and
Sharad Malik},
title = {Generalizing Tandem Simulation: Connecting High-level and {RTL} Simulation
Models},
booktitle = {27th Asia and South Pacific Design Automation Conference, {ASP-DAC}
2022, Taipei, Taiwan, January 17-20, 2022},
pages = {154--159},
publisher = {{IEEE}},
year = {2022},
url = {https://doi.org/10.1109/ASP-DAC52403.2022.9712564},
doi = {10.1109/ASP-DAC52403.2022.9712564},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aspdac/XingGM22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/date/ZengGM22,
author = {Yu Zeng and
Aarti Gupta and
Sharad Malik},
editor = {Cristiana Bolchini and
Ingrid Verbauwhede and
Ioana Vatajelu},
title = {Automatic Generation of Architecture-Level Models from {RTL} Designs
for Processors and Accelerators},
booktitle = {2022 Design, Automation {\&} Test in Europe Conference {\&}
Exhibition, {DATE} 2022, Antwerp, Belgium, March 14-23, 2022},
pages = {460--465},
publisher = {{IEEE}},
year = {2022},
url = {https://doi.org/10.23919/DATE54114.2022.9774527},
doi = {10.23919/DATE54114.2022.9774527},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/date/ZengGM22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmcad/GuptaKMS22,
author = {Aarti Gupta and
Roope Kaivola and
Mihir Parang Mehta and
Vaibhav Singh},
editor = {Alberto Griggio and
Neha Rungta},
title = {Error Correction Code Algorithm and Implementation Verification Using
Symbolic Representations},
booktitle = {22nd Formal Methods in Computer-Aided Design, {FMCAD} 2022, Trento,
Italy, October 17-21, 2022},
pages = {151--159},
publisher = {{IEEE}},
year = {2022},
url = {https://doi.org/10.34727/2022/isbn.978-3-85448-053-2\_21},
doi = {10.34727/2022/ISBN.978-3-85448-053-2\_21},
timestamp = {Mon, 13 Feb 2023 21:53:10 +0100},
biburl = {https://dblp.org/rec/conf/fmcad/GuptaKMS22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmcad/RaghunathanBGW22,
author = {Divya Raghunathan and
Ryan Beckett and
Aarti Gupta and
David Walker},
editor = {Alberto Griggio and
Neha Rungta},
title = {{ACORN:} Network Control Plane Abstraction using Route Nondeterminism},
booktitle = {22nd Formal Methods in Computer-Aided Design, {FMCAD} 2022, Trento,
Italy, October 17-21, 2022},
pages = {261--272},
publisher = {{IEEE}},
year = {2022},
url = {https://doi.org/10.34727/2022/isbn.978-3-85448-053-2\_33},
doi = {10.34727/2022/ISBN.978-3-85448-053-2\_33},
timestamp = {Mon, 08 Apr 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fmcad/RaghunathanBGW22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccad/XingLGM22,
author = {Yue Xing and
Huaixi Lu and
Aarti Gupta and
Sharad Malik},
editor = {Tulika Mitra and
Evangeline F. Y. Young and
Jinjun Xiong},
title = {Compositional Verification Using a Formal Component and Interface
Specification},
booktitle = {Proceedings of the 41st {IEEE/ACM} International Conference on Computer-Aided
Design, {ICCAD} 2022, San Diego, California, USA, 30 October 2022
- 3 November 2022},
pages = {72:1--72:9},
publisher = {{ACM}},
year = {2022},
url = {https://doi.org/10.1145/3508352.3549341},
doi = {10.1145/3508352.3549341},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iccad/XingLGM22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccad/TanGM22,
author = {Qinhan Tan and
Aarti Gupta and
Sharad Malik},
editor = {Tulika Mitra and
Evangeline F. Y. Young and
Jinjun Xiong},
title = {Usage-Based {RTL} Subsetting for Hardware Accelerators},
booktitle = {Proceedings of the 41st {IEEE/ACM} International Conference on Computer-Aided
Design, {ICCAD} 2022, San Diego, California, USA, 30 October 2022
- 3 November 2022},
pages = {73:1--73:9},
publisher = {{ACM}},
year = {2022},
url = {https://doi.org/10.1145/3508352.3549391},
doi = {10.1145/3508352.3549391},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iccad/TanGM22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icnp/ThijmBGW22,
author = {Timothy Alberdingk Thijm and
Ryan Beckett and
Aarti Gupta and
David Walker},
title = {Kirigami, the Verifiable Art of Network Cutting},
booktitle = {30th {IEEE} International Conference on Network Protocols, {ICNP}
2022, Lexington, KY, USA, October 30 - Nov. 2, 2022},
pages = {1--12},
publisher = {{IEEE}},
year = {2022},
url = {https://doi.org/10.1109/ICNP55882.2022.9940333},
doi = {10.1109/ICNP55882.2022.9940333},
timestamp = {Mon, 08 Apr 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icnp/ThijmBGW22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nsdi/BeckettG22,
author = {Ryan Beckett and
Aarti Gupta},
editor = {Amar Phanishayee and
Vyas Sekar},
title = {Katra: Realtime Verification for Multilayer Networks},
booktitle = {19th {USENIX} Symposium on Networked Systems Design and Implementation,
{NSDI} 2022, Renton, WA, USA, April 4-6, 2022},
pages = {617--634},
publisher = {{USENIX} Association},
year = {2022},
url = {https://www.usenix.org/conference/nsdi22/presentation/beckett},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/nsdi/BeckettG22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2202-06098,
author = {Tim Alberdingk Thijm and
Ryan Beckett and
Aarti Gupta and
David Walker},
title = {Kirigami, the Verifiable Art of Network Cutting},
journal = {CoRR},
volume = {abs/2202.06098},
year = {2022},
url = {https://arxiv.org/abs/2202.06098},
eprinttype = {arXiv},
eprint = {2202.06098},
timestamp = {Mon, 08 Apr 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2202-06098.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2203-00218,
author = {Bo{-}Yuan Huang and
Steven Lyubomirsky and
Yi Li and
Mike He and
Thierry Tambe and
Gus Henry Smith and
Akash Gaonkar and
Vishal Canumalla and
Gu{-}Yeon Wei and
Aarti Gupta and
Zachary Tatlock and
Sharad Malik},
title = {Specialized Accelerators and Compiler Flows: Replacing Accelerator
APIs with a Formal Software/Hardware Interface},
journal = {CoRR},
volume = {abs/2203.00218},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2203.00218},
doi = {10.48550/ARXIV.2203.00218},
eprinttype = {arXiv},
eprint = {2203.00218},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2203-00218.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2204-10303,
author = {Timothy Alberdingk Thijm and
Ryan Beckett and
Aarti Gupta and
David Walker},
title = {Modular Control Plane Verification via Temporal Invariants},
journal = {CoRR},
volume = {abs/2204.10303},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2204.10303},
doi = {10.48550/ARXIV.2204.10303},
eprinttype = {arXiv},
eprint = {2204.10303},
timestamp = {Mon, 08 Apr 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2204-10303.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2206-02100,
author = {Divya Raghunathan and
Ryan Beckett and
Aarti Gupta and
David Walker},
title = {{ACORN:} Network Control Plane Abstraction using Route Nondeterminism},
journal = {CoRR},
volume = {abs/2206.02100},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2206.02100},
doi = {10.48550/ARXIV.2206.02100},
eprinttype = {arXiv},
eprint = {2206.02100},
timestamp = {Mon, 08 Apr 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2206-02100.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2211-06475,
author = {Xiangyu Gao and
Divya Raghunathan and
Ruijie Fang and
Tao Wang and
Xiaotong Zhu and
Anirudh Sivaraman and
Srinivas Narayana and
Aarti Gupta},
title = {High-Level Synthesis for Packet-Processing Pipelines},
journal = {CoRR},
volume = {abs/2211.06475},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2211.06475},
doi = {10.48550/ARXIV.2211.06475},
eprinttype = {arXiv},
eprint = {2211.06475},
timestamp = {Tue, 15 Nov 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2211-06475.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/MannILYZBGB20,
author = {Makai Mann and
Ahmed Irfan and
Florian Lonsing and
Yahan Yang and
Hongce Zhang and
Kristopher Brown and
Aarti Gupta and
Clark W. Barrett},
editor = {Alexandra Silva and
K. Rustan M. Leino},
title = {Pono: {A} Flexible and Extensible SMT-Based Model Checker},
booktitle = {Computer Aided Verification - 33rd International Conference, {CAV}
2021, Virtual Event, July 20-23, 2021, Proceedings, Part {II}},
series = {Lecture Notes in Computer Science},
volume = {12760},
pages = {461--474},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-81688-9\_22},
doi = {10.1007/978-3-030-81688-9\_22},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cav/MannILYZBGB20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/date/XingLGM21,
author = {Yue Xing and
Huaixi Lu and
Aarti Gupta and
Sharad Malik},
title = {Leveraging Processor Modeling and Verification for General Hardware
Modules},
booktitle = {Design, Automation {\&} Test in Europe Conference {\&} Exhibition,
{DATE} 2021, Grenoble, France, February 1-5, 2021},
pages = {1130--1135},
publisher = {{IEEE}},
year = {2021},
url = {https://doi.org/10.23919/DATE51398.2021.9474194},
doi = {10.23919/DATE51398.2021.9474194},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/date/XingLGM21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccad/Zeng0ZGM21,
author = {Yu Zeng and
Bo{-}Yuan Huang and
Hongce Zhang and
Aarti Gupta and
Sharad Malik},
title = {Generating Architecture-Level Abstractions from {RTL} Designs for
Processors and Accelerators Part {I:} Determining Architectural State
Variables},
booktitle = {{IEEE/ACM} International Conference On Computer Aided Design, {ICCAD}
2021, Munich, Germany, November 1-4, 2021},
pages = {1--9},
publisher = {{IEEE}},
year = {2021},
url = {https://doi.org/10.1109/ICCAD51958.2021.9643584},
doi = {10.1109/ICCAD51958.2021.9643584},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iccad/Zeng0ZGM21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vmcai/PickFG21,
author = {Lauren Pick and
Grigory Fedyukovich and
Aarti Gupta},
editor = {Fritz Henglein and
Sharon Shoham and
Yakir Vizel},
title = {Unbounded Procedure Summaries from Bounded Environments},
booktitle = {Verification, Model Checking, and Abstract Interpretation - 22nd International
Conference, {VMCAI} 2021, Copenhagen, Denmark, January 17-19, 2021,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12597},
pages = {291--324},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-67067-2\_14},
doi = {10.1007/978-3-030-67067-2\_14},
timestamp = {Tue, 26 Jan 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/vmcai/PickFG21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vmcai/ZhangGM21,
author = {Hongce Zhang and
Aarti Gupta and
Sharad Malik},
editor = {Fritz Henglein and
Sharon Shoham and
Yakir Vizel},
title = {Syntax-Guided Synthesis for Lemma Generation in Hardware Model Checking},
booktitle = {Verification, Model Checking, and Abstract Interpretation - 22nd International
Conference, {VMCAI} 2021, Copenhagen, Denmark, January 17-19, 2021,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12597},
pages = {325--349},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-67067-2\_15},
doi = {10.1007/978-3-030-67067-2\_15},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/vmcai/ZhangGM21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pacmpl/BeckettGMW20,
author = {Ryan Beckett and
Aarti Gupta and
Ratul Mahajan and
David Walker},
title = {Abstract interpretation of distributed network control planes},
journal = {Proc. {ACM} Program. Lang.},
volume = {4},
number = {{POPL}},
pages = {42:1--42:27},
year = {2020},
url = {https://doi.org/10.1145/3371110},
doi = {10.1145/3371110},
timestamp = {Mon, 08 Apr 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/pacmpl/BeckettGMW20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecai/ZhangSGGLN20,
author = {Hongce Zhang and
Maxwell Shinn and
Aarti Gupta and
Arie Gurfinkel and
Nham Le and
Nina Narodytska},
editor = {Giuseppe De Giacomo and
Alejandro Catal{\'{a}} and
Bistra Dilkina and
Michela Milano and
Sen{\'{e}}n Barro and
Alberto Bugar{\'{\i}}n and
J{\'{e}}r{\^{o}}me Lang},
title = {Verification of Recurrent Neural Networks for Cognitive Tasks via
Reachability Analysis},
booktitle = {{ECAI} 2020 - 24th European Conference on Artificial Intelligence,
29 August-8 September 2020, Santiago de Compostela, Spain, August
29 - September 8, 2020 - Including 10th Conference on Prestigious
Applications of Artificial Intelligence {(PAIS} 2020)},
series = {Frontiers in Artificial Intelligence and Applications},
volume = {325},
pages = {1690--1697},
publisher = {{IOS} Press},
year = {2020},
url = {https://doi.org/10.3233/FAIA200281},
doi = {10.3233/FAIA200281},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ecai/ZhangSGGLN20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmcad/PickFG20,
author = {Lauren Pick and
Grigory Fedyukovich and
Aarti Gupta},
title = {Automating Modular Verification of Secure Information Flow},
booktitle = {2020 Formal Methods in Computer Aided Design, {FMCAD} 2020, Haifa,
Israel, September 21-24, 2020},
pages = {158--168},
publisher = {{IEEE}},
year = {2020},
url = {https://doi.org/10.34727/2020/isbn.978-3-85448-042-6\_23},
doi = {10.34727/2020/ISBN.978-3-85448-042-6\_23},
timestamp = {Thu, 14 Jan 2021 08:55:22 +0100},
biburl = {https://dblp.org/rec/conf/fmcad/PickFG20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclr/NarodytskaZGW20,
author = {Nina Narodytska and
Hongce Zhang and
Aarti Gupta and
Toby Walsh},
title = {In Search for a SAT-friendly Binarized Neural Network Architecture},
booktitle = {8th International Conference on Learning Representations, {ICLR} 2020,
Addis Ababa, Ethiopia, April 26-30, 2020},
publisher = {OpenReview.net},
year = {2020},
url = {https://openreview.net/forum?id=SJx-j64FDr},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iclr/NarodytskaZGW20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigcomm/GaoKWRVKSNG20,
author = {Xiangyu Gao and
Taegyun Kim and
Michael D. Wong and
Divya Raghunathan and
Aatish Kishan Varma and
Pravein Govindan Kannan and
Anirudh Sivaraman and
Srinivas Narayana and
Aarti Gupta},
editor = {Henning Schulzrinne and
Vishal Misra},
title = {Switch Code Generation Using Program Synthesis},
booktitle = {{SIGCOMM} '20: Proceedings of the 2020 Annual conference of the {ACM}
Special Interest Group on Data Communication on the applications,
technologies, architectures, and protocols for computer communication,
Virtual Event, USA, August 10-14, 2020},
pages = {44--61},
publisher = {{ACM}},
year = {2020},
url = {https://doi.org/10.1145/3387514.3405852},
doi = {10.1145/3387514.3405852},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sigcomm/GaoKWRVKSNG20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/KobayashiFG20,
author = {Naoki Kobayashi and
Grigory Fedyukovich and
Aarti Gupta},
editor = {Armin Biere and
David Parker},
title = {Fold/Unfold Transformations for Fixpoint Logic},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems
- 26th International Conference, {TACAS} 2020, Held as Part of the
European Joint Conferences on Theory and Practice of Software, {ETAPS}
2020, Dublin, Ireland, April 25-30, 2020, Proceedings, Part {II}},
series = {Lecture Notes in Computer Science},
volume = {12079},
pages = {195--214},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-45237-7\_12},
doi = {10.1007/978-3-030-45237-7\_12},
timestamp = {Fri, 14 May 2021 08:34:19 +0200},
biburl = {https://dblp.org/rec/conf/tacas/KobayashiFG20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vmcai/ZhangYFGM20,
author = {Hongce Zhang and
Weikun Yang and
Grigory Fedyukovich and
Aarti Gupta and
Sharad Malik},
editor = {Dirk Beyer and
Damien Zufferey},
title = {Synthesizing Environment Invariants for Modular Hardware Verification},
booktitle = {Verification, Model Checking, and Abstract Interpretation - 21st International
Conference, {VMCAI} 2020, New Orleans, LA, USA, January 16-21, 2020,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11990},
pages = {202--225},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-39322-9\_10},
doi = {10.1007/978-3-030-39322-9\_10},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/vmcai/ZhangYFGM20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/todaes/HuangZSVGM19,
author = {Bo{-}Yuan Huang and
Hongce Zhang and
Pramod Subramanyan and
Yakir Vizel and
Aarti Gupta and
Sharad Malik},
title = {Instruction-Level Abstraction {(ILA):} {A} Uniform Specification for
System-on-Chip (SoC) Verification},
journal = {{ACM} Trans. Design Autom. Electr. Syst.},
volume = {24},
number = {1},
pages = {10:1--10:24},
year = {2019},
url = {https://doi.org/10.1145/3282444},
doi = {10.1145/3282444},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/todaes/HuangZSVGM19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/FedyukovichPMG19,
author = {Grigory Fedyukovich and
Sumanth Prabhu and
Kumar Madhukar and
Aarti Gupta},
editor = {Isil Dillig and
Serdar Tasiran},
title = {Quantified Invariants via Syntax-Guided Synthesis},
booktitle = {Computer Aided Verification - 31st International Conference, {CAV}
2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part
{I}},
series = {Lecture Notes in Computer Science},
volume = {11561},
pages = {259--277},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-25540-4\_14},
doi = {10.1007/978-3-030-25540-4\_14},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cav/FedyukovichPMG19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/FedyukovichG19,
author = {Grigory Fedyukovich and
Aarti Gupta},
editor = {Thomas Schiex and
Simon de Givry},
title = {Functional Synthesis with Examples},
booktitle = {Principles and Practice of Constraint Programming - 25th International
Conference, {CP} 2019, Stamford, CT, USA, September 30 - October 4,
2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11802},
pages = {547--564},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-30048-7\_32},
doi = {10.1007/978-3-030-30048-7\_32},
timestamp = {Sat, 12 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cp/FedyukovichG19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/YangFG19,
author = {Weikun Yang and
Grigory Fedyukovich and
Aarti Gupta},
editor = {Thomas Schiex and
Simon de Givry},
title = {Lemma Synthesis for Automating Induction over Algebraic Data Types},
booktitle = {Principles and Practice of Constraint Programming - 25th International
Conference, {CP} 2019, Stamford, CT, USA, September 30 - October 4,
2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11802},
pages = {600--617},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-30048-7\_35},
doi = {10.1007/978-3-030-30048-7\_35},
timestamp = {Sat, 12 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cp/YangFG19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eurosys/LukmanKSSKSPTYL19,
author = {Jeffrey F. Lukman and
Huan Ke and
Cesar A. Stuardo and
Riza O. Suminto and
Daniar Heri Kurniawan and
Dikaimin Simon and
Satria Priambada and
Chen Tian and
Feng Ye and
Tanakorn Leesatapornwongsa and
Aarti Gupta and
Shan Lu and
Haryadi S. Gunawi},
editor = {George Candea and
Robbert van Renesse and
Christof Fetzer},
title = {FlyMC: Highly Scalable Testing of Complex Interleavings in Distributed
Systems},
booktitle = {Proceedings of the Fourteenth EuroSys Conference 2019, Dresden, Germany,
March 25-28, 2019},
pages = {20:1--20:16},
publisher = {{ACM}},
year = {2019},
url = {https://doi.org/10.1145/3302424.3303986},
doi = {10.1145/3302424.3303986},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/eurosys/LukmanKSSKSPTYL19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/HuangZGM19,
author = {Bo{-}Yuan Huang and
Hongce Zhang and
Aarti Gupta and
Sharad Malik},
editor = {Tom{\'{a}}s Vojnar and
Lijun Zhang},
title = {ILAng: {A} Modeling and Verification Platform for SoCs Using Instruction-Level
Abstractions},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems
- 25th International Conference, {TACAS} 2019, Held as Part of the
European Joint Conferences on Theory and Practice of Software, {ETAPS}
2019, Prague, Czech Republic, April 6-11, 2019, Proceedings, Part
{I}},
series = {Lecture Notes in Computer Science},
volume = {11427},
pages = {351--357},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-17462-0\_21},
doi = {10.1007/978-3-030-17462-0\_21},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tacas/HuangZGM19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vmcai/FedyukovichGG19,
author = {Grigory Fedyukovich and
Arie Gurfinkel and
Aarti Gupta},
editor = {Constantin Enea and
Ruzica Piskac},
title = {Lazy but Effective Functional Synthesis},
booktitle = {Verification, Model Checking, and Abstract Interpretation - 20th International
Conference, {VMCAI} 2019, Cascais, Portugal, January 13-15, 2019,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11388},
pages = {92--113},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-11245-5\_5},
doi = {10.1007/978-3-030-11245-5\_5},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/vmcai/FedyukovichGG19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcad/SubramanyanHVGM18,
author = {Pramod Subramanyan and
Bo{-}Yuan Huang and
Yakir Vizel and
Aarti Gupta and
Sharad Malik},
title = {Template-Based Parameterized Synthesis of Uniform Instruction-Level
Abstractions for SoC Verification},
journal = {{IEEE} Trans. Comput. Aided Des. Integr. Circuits Syst.},
volume = {37},
number = {8},
pages = {1692--1705},
year = {2018},
url = {https://doi.org/10.1109/TCAD.2017.2764482},
doi = {10.1109/TCAD.2017.2764482},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tcad/SubramanyanHVGM18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/FedyukovichZG18,
author = {Grigory Fedyukovich and
Yueling Zhang and
Aarti Gupta},
editor = {Hana Chockler and
Georg Weissenbacher},
title = {Syntax-Guided Termination Analysis},
booktitle = {Computer Aided Verification - 30th International Conference, {CAV}
2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford,
UK, July 14-17, 2018, Proceedings, Part {I}},
series = {Lecture Notes in Computer Science},
volume = {10981},
pages = {124--143},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-96145-3\_7},
doi = {10.1007/978-3-319-96145-3\_7},
timestamp = {Fri, 09 Apr 2021 18:35:27 +0200},
biburl = {https://dblp.org/rec/conf/cav/FedyukovichZG18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/YangVSGM18,
author = {Weikun Yang and
Yakir Vizel and
Pramod Subramanyan and
Aarti Gupta and
Sharad Malik},
editor = {Hana Chockler and
Georg Weissenbacher},
title = {Lazy Self-composition for Security Verification},
booktitle = {Computer Aided Verification - 30th International Conference, {CAV}
2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford,
UK, July 14-17, 2018, Proceedings, Part {II}},
series = {Lecture Notes in Computer Science},
volume = {10982},
pages = {136--156},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-96142-2\_11},
doi = {10.1007/978-3-319-96142-2\_11},
timestamp = {Fri, 09 Apr 2021 18:35:26 +0200},
biburl = {https://dblp.org/rec/conf/cav/YangVSGM18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/PickFG18,
author = {Lauren Pick and
Grigory Fedyukovich and
Aarti Gupta},
editor = {Hana Chockler and
Georg Weissenbacher},
title = {Exploiting Synchrony and Symmetry in Relational Verification},
booktitle = {Computer Aided Verification - 30th International Conference, {CAV}
2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford,
UK, July 14-17, 2018, Proceedings, Part {I}},
series = {Lecture Notes in Computer Science},
volume = {10981},
pages = {164--182},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-96145-3\_9},
doi = {10.1007/978-3-319-96145-3\_9},
timestamp = {Wed, 03 Oct 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cav/PickFG18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/HuangRGFM18,
author = {Bo{-}Yuan Huang and
Sayak Ray and
Aarti Gupta and
Jason M. Fung and
Sharad Malik},
title = {Formal security verification of concurrent firmware in SoCs using
instruction-level abstraction for hardware},
booktitle = {Proceedings of the 55th Annual Design Automation Conference, {DAC}
2018, San Francisco, CA, USA, June 24-29, 2018},
pages = {91:1--91:6},
publisher = {{ACM}},
year = {2018},
url = {https://doi.org/10.1145/3195970.3196055},
doi = {10.1145/3195970.3196055},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dac/HuangRGFM18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmcad/FedyukovichPMG18,
author = {Grigory Fedyukovich and
Sumanth Prabhu and
Kumar Madhukar and
Aarti Gupta},
editor = {Nikolaj S. Bj{\o}rner and
Arie Gurfinkel},
title = {Solving Constrained Horn Clauses Using Syntax and Data},
booktitle = {2018 Formal Methods in Computer Aided Design, {FMCAD} 2018, Austin,
TX, USA, October 30 - November 2, 2018},
pages = {1--9},
publisher = {{IEEE}},
year = {2018},
url = {https://doi.org/10.23919/FMCAD.2018.8603011},
doi = {10.23919/FMCAD.2018.8603011},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fmcad/FedyukovichPMG18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmcad/ZhangTMGMM18,
author = {Hongce Zhang and
Caroline Trippel and
Yatin A. Manerkar and
Aarti Gupta and
Margaret Martonosi and
Sharad Malik},
editor = {Nikolaj S. Bj{\o}rner and
Arie Gurfinkel},
title = {{ILA-MCM:} Integrating Memory Consistency Models with Instruction-Level
Abstractions for Heterogeneous System-on-Chip Verification},
booktitle = {2018 Formal Methods in Computer Aided Design, {FMCAD} 2018, Austin,
TX, USA, October 30 - November 2, 2018},
pages = {1--10},
publisher = {{IEEE}},
year = {2018},
url = {https://doi.org/10.23919/FMCAD.2018.8603015},
doi = {10.23919/FMCAD.2018.8603015},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fmcad/ZhangTMGMM18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccad/XingHGM18,
author = {Yue Xing and
Bo{-}Yuan Huang and
Aarti Gupta and
Sharad Malik},
editor = {Iris Bahar},
title = {A formal instruction-level {GPU} model for scalable verification},
booktitle = {Proceedings of the International Conference on Computer-Aided Design,
{ICCAD} 2018, San Diego, CA, USA, November 05-08, 2018},
pages = {130},
publisher = {{ACM}},
year = {2018},
url = {https://doi.org/10.1145/3240765.3240771},
doi = {10.1145/3240765.3240771},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iccad/XingHGM18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/micro/ManerkarLMG18,
author = {Yatin A. Manerkar and
Daniel Lustig and
Margaret Martonosi and
Aarti Gupta},
title = {PipeProof: Automated Memory Consistency Proofs for Microarchitectural
Specifications},
booktitle = {51st Annual {IEEE/ACM} International Symposium on Microarchitecture,
{MICRO} 2018, Fukuoka, Japan, October 20-24, 2018},
pages = {788--801},
publisher = {{IEEE} Computer Society},
year = {2018},
url = {https://doi.org/10.1109/MICRO.2018.00069},
doi = {10.1109/MICRO.2018.00069},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/micro/ManerkarLMG18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigcomm/BeckettGMW18,
author = {Ryan Beckett and
Aarti Gupta and
Ratul Mahajan and
David Walker},
editor = {Sergey Gorinsky and
J{\'{a}}nos Tapolcai},
title = {Control plane compression},
booktitle = {Proceedings of the 2018 Conference of the {ACM} Special Interest Group
on Data Communication, {SIGCOMM} 2018, Budapest, Hungary, August 20-25,
2018},
pages = {476--489},
publisher = {{ACM}},
year = {2018},
url = {https://doi.org/10.1145/3230543.3230583},
doi = {10.1145/3230543.3230583},
timestamp = {Mon, 08 Apr 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sigcomm/BeckettGMW18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:reference/mc/GuptaKQT18,
author = {Aarti Gupta and
Vineet Kahlon and
Shaz Qadeer and
Tayssir Touili},
editor = {Edmund M. Clarke and
Thomas A. Henzinger and
Helmut Veith and
Roderick Bloem},
title = {Model Checking Concurrent Programs},
booktitle = {Handbook of Model Checking},
pages = {573--611},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-10575-8\_18},
doi = {10.1007/978-3-319-10575-8\_18},
timestamp = {Mon, 03 Jan 2022 22:13:30 +0100},
biburl = {https://dblp.org/rec/reference/mc/GuptaKQT18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1801-01114,
author = {Bo{-}Yuan Huang and
Hongce Zhang and
Pramod Subramanyan and
Yakir Vizel and
Aarti Gupta and
Sharad Malik},
title = {Instruction-Level Abstraction {(ILA):} {A} Uniform Specification for
System-on-Chip (SoC) Verification},
journal = {CoRR},
volume = {abs/1801.01114},
year = {2018},
url = {http://arxiv.org/abs/1801.01114},
eprinttype = {arXiv},
eprint = {1801.01114},
timestamp = {Wed, 24 Mar 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1801-01114.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1806-08744,
author = {Ryan Beckett and
Aarti Gupta and
Ratul Mahajan and
David Walker},
title = {Control Plane Compression},
journal = {CoRR},
volume = {abs/1806.08744},
year = {2018},
url = {http://arxiv.org/abs/1806.08744},
eprinttype = {arXiv},
eprint = {1806.08744},
timestamp = {Mon, 08 Apr 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1806-08744.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hvc/XuGM17,
author = {Zhixing Xu and
Aarti Gupta and
Sharad Malik},
editor = {Ofer Strichman and
Rachel Tzoref{-}Brill},
title = {Trace-based Analysis of Memory Corruption Malware Attacks},
booktitle = {Hardware and Software: Verification and Testing - 13th International
Haifa Verification Conference, {HVC} 2017, Haifa, Israel, November
13-15, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10629},
pages = {67--82},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-70389-3\_5},
doi = {10.1007/978-3-319-70389-3\_5},
timestamp = {Sat, 19 Oct 2019 20:27:11 +0200},
biburl = {https://dblp.org/rec/conf/hvc/XuGM17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigcomm/BeckettGMW17,
author = {Ryan Beckett and
Aarti Gupta and
Ratul Mahajan and
David Walker},
title = {A General Approach to Network Configuration Verification},
booktitle = {Proceedings of the Conference of the {ACM} Special Interest Group
on Data Communication, {SIGCOMM} 2017, Los Angeles, CA, USA, August
21-25, 2017},
pages = {155--168},
publisher = {{ACM}},
year = {2017},
url = {https://doi.org/10.1145/3098822.3098834},
doi = {10.1145/3098822.3098834},
timestamp = {Mon, 08 Apr 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sigcomm/BeckettGMW17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sas/MenendezNG16,
author = {David Menendez and
Santosh Nagarakatte and
Aarti Gupta},
editor = {Xavier Rival},
title = {Alive-FP: Automated Verification of Floating Point Based Peephole
Optimizations in {LLVM}},
booktitle = {Static Analysis - 23rd International Symposium, {SAS} 2016, Edinburgh,
UK, September 8-10, 2016, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9837},
pages = {317--337},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-662-53413-7\_16},
doi = {10.1007/978-3-662-53413-7\_16},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sas/MenendezNG16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/YogaNG16,
author = {Adarsh Yoga and
Santosh Nagarakatte and
Aarti Gupta},
editor = {Thomas Zimmermann and
Jane Cleland{-}Huang and
Zhendong Su},
title = {Parallel data race detection for task parallel programs with locks},
booktitle = {Proceedings of the 24th {ACM} {SIGSOFT} International Symposium on
Foundations of Software Engineering, {FSE} 2016, Seattle, WA, USA,
November 13-18, 2016},
pages = {833--845},
publisher = {{ACM}},
year = {2016},
url = {https://doi.org/10.1145/2950290.2950329},
doi = {10.1145/2950290.2950329},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sigsoft/YogaNG16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ase/IvancicBGSMIPH15,
author = {Franjo Ivancic and
Gogul Balakrishnan and
Aarti Gupta and
Sriram Sankaranarayanan and
Naoto Maeda and
Takashi Imoto and
Rakesh Pothengil and
Mustafa Hussain},
title = {Scalable and scope-bounded software verification in Varvel},
journal = {Autom. Softw. Eng.},
volume = {22},
number = {4},
pages = {517--559},
year = {2015},
url = {https://doi.org/10.1007/s10515-014-0164-0},
doi = {10.1007/S10515-014-0164-0},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ase/IvancicBGSMIPH15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/codes/AhnMG15,
author = {Sunha Ahn and
Sharad Malik and
Aarti Gupta},
editor = {Gabriela Nicolescu and
Andreas Gerstlauer},
title = {Completeness bounds and sequentialization for model checking of interacting
firmware and hardware},
booktitle = {2015 International Conference on Hardware/Software Codesign and System
Synthesis, {CODES+ISSS} 2015, Amsterdam, Netherlands, October 4-9,
2015},
pages = {202--211},
publisher = {{IEEE}},
year = {2015},
url = {https://doi.org/10.1109/CODESISSS.2015.7331383},
doi = {10.1109/CODESISSS.2015.7331383},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/codes/AhnMG15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/GuoKWYG15,
author = {Shengjian Guo and
Markus Kusano and
Chao Wang and
Zijiang Yang and
Aarti Gupta},
editor = {Elisabetta Di Nitto and
Mark Harman and
Patrick Heymans},
title = {Assertion guided symbolic execution of multithreaded programs},
booktitle = {Proceedings of the 2015 10th Joint Meeting on Foundations of Software
Engineering, {ESEC/FSE} 2015, Bergamo, Italy, August 30 - September
4, 2015},
pages = {854--865},
publisher = {{ACM}},
year = {2015},
url = {https://doi.org/10.1145/2786805.2786841},
doi = {10.1145/2786805.2786841},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sigsoft/GuoKWYG15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cloud/LiJGG14,
author = {Kaituo Li and
Pallavi Joshi and
Aarti Gupta and
Malay K. Ganai},
editor = {Ed Lazowska and
Doug Terry and
Remzi H. Arpaci{-}Dusseau and
Johannes Gehrke},
title = {ReproLite: {A} Lightweight Tool to Quickly Reproduce Hard System Bugs},
booktitle = {Proceedings of the {ACM} Symposium on Cloud Computing, Seattle, WA,
USA, November 3-5, 2014},
pages = {25:1--25:13},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2670979.2671004},
doi = {10.1145/2670979.2671004},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cloud/LiJGG14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dsn/ZhangILYGM14,
author = {Shuyuan Zhang and
Franjo Ivancic and
Cristian Lumezanu and
Yifei Yuan and
Aarti Gupta and
Sharad Malik},
title = {An Adaptable Rule Placement for Software-Defined Networks},
booktitle = {44th Annual {IEEE/IFIP} International Conference on Dependable Systems
and Networks, {DSN} 2014, Atlanta, GA, USA, June 23-26, 2014},
pages = {88--99},
publisher = {{IEEE} Computer Society},
year = {2014},
url = {https://doi.org/10.1109/DSN.2014.24},
doi = {10.1109/DSN.2014.24},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dsn/ZhangILYGM14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/GuptaKG14,
author = {Aarti Gupta and
V. M. Achutha KiranKumar and
Rajnish Ghughal},
editor = {Cliff B. Jones and
Pekka Pihlajasaari and
Jun Sun},
title = {Formally Verifying Graphics {FPU} - An Intel{\textregistered} Experience},
booktitle = {{FM} 2014: Formal Methods - 19th International Symposium, Singapore,
May 12-16, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8442},
pages = {673--687},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-06410-9\_45},
doi = {10.1007/978-3-319-06410-9\_45},
timestamp = {Tue, 14 May 2019 10:00:46 +0200},
biburl = {https://dblp.org/rec/conf/fm/GuptaKG14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issta/XiaoBIMGC14,
author = {Xusheng Xiao and
Gogul Balakrishnan and
Franjo Ivancic and
Naoto Maeda and
Aarti Gupta and
Deepak Chhetri},
editor = {Corina S. Pasareanu and
Darko Marinov},
title = {{ARC++:} effective typestate and lifetime dependency analysis},
booktitle = {International Symposium on Software Testing and Analysis, {ISSTA}
'14, San Jose, CA, {USA} - July 21 - 26, 2014},
pages = {116--126},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2610384.2610395},
doi = {10.1145/2610384.2610395},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/issta/XiaoBIMGC14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigcomm/YuanILZG14,
author = {Yifei Yuan and
Franjo Ivancic and
Cristian Lumezanu and
Shuyuan Zhang and
Aarti Gupta},
editor = {Aditya Akella and
Albert G. Greenberg},
title = {Generating consistent updates for software-defined network configurations},
booktitle = {Proceedings of the third workshop on Hot topics in software defined
networking, HotSDN '14, Chicago, Illinois, USA, August 22, 2014},
pages = {221--222},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2620728.2620774},
doi = {10.1145/2620728.2620774},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sigcomm/YuanILZG14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vecpar/LinIJBGG14,
author = {Yu Lin and
Franjo Ivancic and
Pallavi Joshi and
Gogul Balakrishnan and
Malay K. Ganai and
Aarti Gupta},
editor = {Michel J. Dayd{\'{e}} and
Osni Marques and
Kengo Nakajima},
title = {Environment-Sensitive Performance Tuning for Distributed Service Orchestration},
booktitle = {High Performance Computing for Computational Science - {VECPAR} 2014
- 11th International Conference, Eugene, OR, USA, June 30 - July 3,
2014, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {8969},
pages = {209--223},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-17353-5\_18},
doi = {10.1007/978-3-319-17353-5\_18},
timestamp = {Tue, 14 May 2019 10:00:36 +0200},
biburl = {https://dblp.org/rec/conf/vecpar/LinIJBGG14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/KumarGB14,
author = {M. V. Achutha Kiran Kumar and
Aarti Gupta and
S. S. Bindumadhava},
editor = {Shang{-}Wei Lin and
Laure Petrucci},
title = {{RTL2RTL} Formal Equivalence: Boosting the Design Confidence},
booktitle = {Proceedings 2nd French Singaporean Workshop on Formal Methods and
Applications, {FSFMA} 2014, Singapore, 13th May 2014},
series = {{EPTCS}},
volume = {156},
pages = {29--44},
year = {2014},
url = {https://doi.org/10.4204/EPTCS.156.7},
doi = {10.4204/EPTCS.156.7},
timestamp = {Fri, 19 Jun 2020 11:35:38 +0200},
biburl = {https://dblp.org/rec/journals/corr/KumarGB14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sttt/KahlonSG13,
author = {Vineet Kahlon and
Sriram Sankaranarayanan and
Aarti Gupta},
title = {Static analysis for concurrent programs with applications to data
race detection},
journal = {Int. J. Softw. Tools Technol. Transf.},
volume = {15},
number = {4},
pages = {321--336},
year = {2013},
url = {https://doi.org/10.1007/s10009-013-0274-1},
doi = {10.1007/S10009-013-0274-1},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sttt/KahlonSG13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tecs/AbbasFSIG13,
author = {Houssam Abbas and
Georgios Fainekos and
Sriram Sankaranarayanan and
Franjo Ivancic and
Aarti Gupta},
title = {Probabilistic Temporal Logic Falsification of Cyber-Physical Systems},
journal = {{ACM} Trans. Embed. Comput. Syst.},
volume = {12},
number = {2s},
pages = {95:1--95:30},
year = {2013},
url = {https://doi.org/10.1145/2465787.2465797},
doi = {10.1145/2465787.2465797},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tecs/AbbasFSIG13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/GargIBMG13,
author = {Pranav Garg and
Franjo Ivancic and
Gogul Balakrishnan and
Naoto Maeda and
Aarti Gupta},
editor = {David Notkin and
Betty H. C. Cheng and
Klaus Pohl},
title = {Feedback-directed unit test generation for {C/C++} using concolic
execution},
booktitle = {35th International Conference on Software Engineering, {ICSE} '13,
San Francisco, CA, USA, May 18-26, 2013},
pages = {132--141},
publisher = {{IEEE} Computer Society},
year = {2013},
url = {https://doi.org/10.1109/ICSE.2013.6606559},
doi = {10.1109/ICSE.2013.6606559},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icse/GargIBMG13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sosp/JoshiGBGP13,
author = {Pallavi Joshi and
Malay K. Ganai and
Gogul Balakrishnan and
Aarti Gupta and
Nadia Papakonstantinou},
title = {SETSUD{\={O}}: perturbation-based testing framework for scalable distributed
systems},
booktitle = {Proceedings of the First {ACM} {SIGOPS} Conference on Timely Results
in Operating Systems, TRIOS@SOSP 2013, Farmington, PA, USA, November
3, 2013},
pages = {7:1--7:14},
publisher = {{ACM}},
year = {2013},
url = {https://doi.org/10.1145/2524211.2524217},
doi = {10.1145/2524211.2524217},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sosp/JoshiGBGP13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/todaes/RayBAWG12,
author = {Sandip Ray and
Jayanta Bhadra and
Magdy S. Abadir and
Li{-}C. Wang and
Aarti Gupta},
title = {Introduction to special section on verification challenges in the
concurrent world},
journal = {{ACM} Trans. Design Autom. Electr. Syst.},
volume = {17},
number = {3},
pages = {19:1--19:3},
year = {2012},
url = {https://doi.org/10.1145/2209291.2209292},
doi = {10.1145/2209291.2209292},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/todaes/RayBAWG12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aplas/RazaviIKG12,
author = {Niloofar Razavi and
Franjo Ivancic and
Vineet Kahlon and
Aarti Gupta},
editor = {Ranjit Jhala and
Atsushi Igarashi},
title = {Concurrent Test Generation Using Concolic Multi-trace Analysis},
booktitle = {Programming Languages and Systems - 10th Asian Symposium, {APLAS}
2012, Kyoto, Japan, December 11-13, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7705},
pages = {239--255},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-35182-2\_17},
doi = {10.1007/978-3-642-35182-2\_17},
timestamp = {Tue, 14 May 2019 10:00:41 +0200},
biburl = {https://dblp.org/rec/conf/aplas/RazaviIKG12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cc/YangBMIGSSS12,
author = {Jing Yang and
Gogul Balakrishnan and
Naoto Maeda and
Franjo Ivancic and
Aarti Gupta and
Nishant Sinha and
Sriram Sankaranarayanan and
Naveen Sharma},
editor = {Michael F. P. O'Boyle},
title = {Object Model Construction for Inheritance in {C++} and Its Applications
to Program Analysis},
booktitle = {Compiler Construction - 21st International Conference, {CC} 2012,
Held as Part of the European Joint Conferences on Theory and Practice
of Software, {ETAPS} 2012, Tallinn, Estonia, March 24 - April 1, 2012.
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7210},
pages = {144--164},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-28652-0\_8},
doi = {10.1007/978-3-642-28652-0\_8},
timestamp = {Fri, 06 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cc/YangBMIGSSS12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmcad/SinhaMG12,
author = {Arnab Sinha and
Sharad Malik and
Aarti Gupta},
editor = {Gianpiero Cabodi and
Satnam Singh},
title = {Efficient predictive analysis for detecting nondeterminism in multi-threaded
programs},
booktitle = {Formal Methods in Computer-Aided Design, {FMCAD} 2012, Cambridge,
UK, October 22-25, 2012},
pages = {6--15},
publisher = {{IEEE}},
year = {2012},
url = {https://ieeexplore.ieee.org/document/6462550/},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fmcad/SinhaMG12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmcad/KiranKumarGG12,
author = {V. M. Achutha KiranKumar and
Aarti Gupta and
Rajnish Ghughal},
editor = {Gianpiero Cabodi and
Satnam Singh},
title = {Symbolic Trajectory Evaluation: The primary validation Vehicle for
next generation Intel{\textregistered} Processor Graphics {FPU}},
booktitle = {Formal Methods in Computer-Aided Design, {FMCAD} 2012, Cambridge,
UK, October 22-25, 2012},
pages = {149--156},
publisher = {{IEEE}},
year = {2012},
url = {https://ieeexplore.ieee.org/document/6462567/},
timestamp = {Mon, 09 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fmcad/KiranKumarGG12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rp/GhorbalDKIG12,
author = {Khalil Ghorbal and
Parasara Sridhar Duggirala and
Vineet Kahlon and
Franjo Ivancic and
Aarti Gupta},
editor = {Alain Finkel and
J{\'{e}}r{\^{o}}me Leroux and
Igor Potapov},
title = {Efficient Probabilistic Model Checking of Systems with Ranged Probabilities},
booktitle = {Reachability Problems - 6th International Workshop, {RP} 2012, Bordeaux,
France, September 17-19, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7550},
pages = {107--120},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-33512-9\_10},
doi = {10.1007/978-3-642-33512-9\_10},
timestamp = {Tue, 14 May 2019 10:00:51 +0200},
biburl = {https://dblp.org/rec/conf/rp/GhorbalDKIG12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/GanaiLG12,
author = {Malay K. Ganai and
Dongyoon Lee and
Aarti Gupta},
editor = {Will Tracz and
Martin P. Robillard and
Tevfik Bultan},
title = {{DTAM:} dynamic taint analysis of multi-threaded programs for relevancy},
booktitle = {20th {ACM} {SIGSOFT} Symposium on the Foundations of Software Engineering
(FSE-20), SIGSOFT/FSE'12, Cary, NC, {USA} - November 11 - 16, 2012},
pages = {46},
publisher = {{ACM}},
year = {2012},
url = {https://doi.org/10.1145/2393596.2393650},
doi = {10.1145/2393596.2393650},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sigsoft/GanaiLG12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vmcai/GhorbalIBMG12,
author = {Khalil Ghorbal and
Franjo Ivancic and
Gogul Balakrishnan and
Naoto Maeda and
Aarti Gupta},
editor = {Viktor Kuncak and
Andrey Rybalchenko},
title = {Donut Domains: Efficient Non-convex Domains for Abstract Interpretation},
booktitle = {Verification, Model Checking, and Abstract Interpretation - 13th International
Conference, {VMCAI} 2012, Philadelphia, PA, USA, January 22-24, 2012.
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7148},
pages = {235--250},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-27940-9\_16},
doi = {10.1007/978-3-642-27940-9\_16},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/vmcai/GhorbalIBMG12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/WangKLGG11,
author = {Chao Wang and
Sudipta Kundu and
Rhishikesh Limaye and
Malay K. Ganai and
Aarti Gupta},
title = {Symbolic predictive analysis for concurrent programs},
journal = {Formal Aspects Comput.},
volume = {23},
number = {6},
pages = {781--805},
year = {2011},
url = {https://doi.org/10.1007/s00165-011-0179-2},
doi = {10.1007/S00165-011-0179-2},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fac/WangKLGG11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoop/PrabhuMBIG11,
author = {Prakash Prabhu and
Naoto Maeda and
Gogul Balakrishnan and
Franjo Ivancic and
Aarti Gupta},
editor = {Mira Mezini},
title = {Interprocedural Exception Analysis for {C++}},
booktitle = {{ECOOP} 2011 - Object-Oriented Programming - 25th European Conference,
Lancaster, UK, July 25-29, 2011 Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6813},
pages = {583--608},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-22655-7\_27},
doi = {10.1007/978-3-642-22655-7\_27},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/ecoop/PrabhuMBIG11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmcad/Gupta11,
author = {Aarti Gupta},
editor = {Per Bjesse and
Anna Slobodov{\'{a}}},
title = {Verifying concurrent programs: \emph{tutorial talk}},
booktitle = {International Conference on Formal Methods in Computer-Aided Design,
{FMCAD} '11, Austin, TX, USA, October 30 - November 02, 2011},
pages = {1},
publisher = {{FMCAD} Inc.},
year = {2011},
url = {http://dl.acm.org/citation.cfm?id=2157655},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fmcad/Gupta11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/foveoos/BalakrishnanMSIGP11,
author = {Gogul Balakrishnan and
Naoto Maeda and
Sriram Sankaranarayanan and
Franjo Ivancic and
Aarti Gupta and
Rakesh Pothengil},
editor = {Bernhard Beckert and
Ferruccio Damiani and
Dilian Gurov},
title = {Modeling and Analyzing the Interaction of {C} and {C++} Strings},
booktitle = {Formal Verification of Object-Oriented Software - International Conference,
FoVeOOS 2011, Turin, Italy, October 5-7, 2011, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {7421},
pages = {67--85},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-31762-0\_6},
doi = {10.1007/978-3-642-31762-0\_6},
timestamp = {Mon, 26 Jun 2023 20:49:01 +0200},
biburl = {https://dblp.org/rec/conf/foveoos/BalakrishnanMSIGP11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hvc/SinhaMWG11,
author = {Arnab Sinha and
Sharad Malik and
Chao Wang and
Aarti Gupta},
editor = {Kerstin Eder and
Jo{\~{a}}o Louren{\c{c}}o and
Onn Shehory},
title = {Predicting Serializability Violations: SMT-Based Search vs. DPOR-Based
Search},
booktitle = {Hardware and Software: Verification and Testing - 7th International
Haifa Verification Conference, {HVC} 2011, Haifa, Israel, December
6-8, 2011, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {7261},
pages = {95--114},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-34188-5\_11},
doi = {10.1007/978-3-642-34188-5\_11},
timestamp = {Fri, 27 Mar 2020 08:58:09 +0100},
biburl = {https://dblp.org/rec/conf/hvc/SinhaMWG11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/WangSG11,
author = {Chao Wang and
Mahmoud Said and
Aarti Gupta},
editor = {Richard N. Taylor and
Harald C. Gall and
Nenad Medvidovic},
title = {Coverage guided systematic concurrency testing},
booktitle = {Proceedings of the 33rd International Conference on Software Engineering,
{ICSE} 2011, Waikiki, Honolulu , HI, USA, May 21-28, 2011},
pages = {221--230},
publisher = {{ACM}},
year = {2011},
url = {https://doi.org/10.1145/1985793.1985824},
doi = {10.1145/1985793.1985824},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icse/WangSG11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/IvancicBGSMTIM11,
author = {Franjo Ivancic and
Gogul Balakrishnan and
Aarti Gupta and
Sriram Sankaranarayanan and
Naoto Maeda and
Hiroki Tokuoka and
Takashi Imoto and
Yoshiaki Miyazaki},
editor = {Perry Alexander and
Corina S. Pasareanu and
John G. Hosking},
title = {{DC2:} {A} framework for scalable, scope-bounded software verification},
booktitle = {26th {IEEE/ACM} International Conference on Automated Software Engineering
{(ASE} 2011), Lawrence, KS, USA, November 6-10, 2011},
pages = {133--142},
publisher = {{IEEE} Computer Society},
year = {2011},
url = {https://doi.org/10.1109/ASE.2011.6100046},
doi = {10.1109/ASE.2011.6100046},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kbse/IvancicBGSMTIM11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/GanaiAWGB11,
author = {Malay K. Ganai and
Nipun Arora and
Chao Wang and
Aarti Gupta and
Gogul Balakrishnan},
editor = {Perry Alexander and
Corina S. Pasareanu and
John G. Hosking},
title = {{BEST:} {A} symbolic testing tool for predicting multi-threaded program
failures},
booktitle = {26th {IEEE/ACM} International Conference on Automated Software Engineering
{(ASE} 2011), Lawrence, KS, USA, November 6-10, 2011},
pages = {596--599},
publisher = {{IEEE} Computer Society},
year = {2011},
url = {https://doi.org/10.1109/ASE.2011.6100134},
doi = {10.1109/ASE.2011.6100134},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kbse/GanaiAWGB11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/memocode/SinhaMWG11,
author = {Arnab Sinha and
Sharad Malik and
Chao Wang and
Aarti Gupta},
editor = {Satnam Singh and
Barbara Jobstmann and
Michael Kishinevsky and
Jens Brandt},
title = {Predictive analysis for detecting serializability violations through
Trace Segmentation},
booktitle = {9th {IEEE/ACM} International Conference on Formal Methods and Models
for Codesign, {MEMOCODE} 2011, Cambridge, UK, 11-13 July, 2011},
pages = {99--108},
publisher = {{IEEE}},
year = {2011},
url = {https://doi.org/10.1109/MEMCOD.2011.5970516},
doi = {10.1109/MEMCOD.2011.5970516},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/memocode/SinhaMWG11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmcad/GaoGIGSC10,
author = {Sicun Gao and
Malay K. Ganai and
Franjo Ivancic and
Aarti Gupta and
Sriram Sankaranarayanan and
Edmund M. Clarke},
editor = {Roderick Bloem and
Natasha Sharygina},
title = {Integrating {ICP} and {LRA} solvers for deciding nonlinear real arithmetic
problems},
booktitle = {Proceedings of 10th International Conference on Formal Methods in
Computer-Aided Design, {FMCAD} 2010, Lugano, Switzerland, October
20-23},
pages = {81--89},
publisher = {{IEEE}},
year = {2010},
url = {https://ieeexplore.ieee.org/document/5770936/},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fmcad/GaoGIGSC10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmcad/BalakrishnanGGIKLMPSSW10,
author = {Gogul Balakrishnan and
Malay K. Ganai and
Aarti Gupta and
Franjo Ivancic and
Vineet Kahlon and
Weihong Li and
Naoto Maeda and
Nadia Papakonstantinou and
Sriram Sankaranarayanan and
Nishant Sinha and
Chao Wang},
editor = {Roderick Bloem and
Natasha Sharygina},
title = {Scalable and precise program analysis at {NEC}},
booktitle = {Proceedings of 10th International Conference on Formal Methods in
Computer-Aided Design, {FMCAD} 2010, Lugano, Switzerland, October
20-23},
pages = {273--274},
publisher = {{IEEE}},
year = {2010},
url = {https://ieeexplore.ieee.org/document/5770960/},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fmcad/BalakrishnanGGIKLMPSSW10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hybrid/NghiemSFIGP10,
author = {Truong Nghiem and
Sriram Sankaranarayanan and
Georgios Fainekos and
Franjo Ivancic and
Aarti Gupta and
George J. Pappas},
editor = {Karl Henrik Johansson and
Wang Yi},
title = {Monte-carlo techniques for falsification of temporal properties of
non-linear hybrid systems},
booktitle = {Proceedings of the 13th {ACM} International Conference on Hybrid Systems:
Computation and Control, {HSCC} 2010, Stockholm, Sweden, April 12-15,
2010},
pages = {211--220},
publisher = {{ACM}},
year = {2010},
url = {https://doi.org/10.1145/1755952.1755983},
doi = {10.1145/1755952.1755983},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/hybrid/NghiemSFIGP10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/memocode/IvancicGSG10,
author = {Franjo Ivancic and
Malay K. Ganai and
Sriram Sankaranarayanan and
Aarti Gupta},
title = {Numerical stability analysis of floating-point computations using
software model checking},
booktitle = {8th {ACM/IEEE} International Conference on Formal Methods and Models
for Codesign {(MEMOCODE} 2010), Grenoble, France, 26-28 July 2010},
pages = {49--58},
publisher = {{IEEE} Computer Society},
year = {2010},
url = {https://doi.org/10.1109/MEMCOD.2010.5558622},
doi = {10.1109/MEMCOD.2010.5558622},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/memocode/IvancicGSG10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/HarrisSIG10,
author = {William R. Harris and
Sriram Sankaranarayanan and
Franjo Ivancic and
Aarti Gupta},
editor = {Manuel V. Hermenegildo and
Jens Palsberg},
title = {Program analysis via satisfiability modulo path programs},
booktitle = {Proceedings of the 37th {ACM} {SIGPLAN-SIGACT} Symposium on Principles
of Programming Languages, {POPL} 2010, Madrid, Spain, January 17-23,
2010},
pages = {71--82},
publisher = {{ACM}},
year = {2010},
url = {https://doi.org/10.1145/1706299.1706309},
doi = {10.1145/1706299.1706309},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/popl/HarrisSIG10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/WangLGG10,
author = {Chao Wang and
Rhishikesh Limaye and
Malay K. Ganai and
Aarti Gupta},
editor = {Javier Esparza and
Rupak Majumdar},
title = {Trace-Based Symbolic Analysis for Atomicity Violations},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems,
16th International Conference, {TACAS} 2010, Held as Part of the Joint
European Conferences on Theory and Practice of Software, {ETAPS} 2010,
Paphos, Cyprus, March 20-28, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6015},
pages = {328--342},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-12002-2\_27},
doi = {10.1007/978-3-642-12002-2\_27},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/tacas/WangLGG10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fmsd/GuptaM09,
author = {Aarti Gupta and
Sharad Malik},
title = {Preface},
journal = {Formal Methods Syst. Des.},
volume = {35},
number = {1},
pages = {1},
year = {2009},
url = {https://doi.org/10.1007/s10703-009-0072-2},
doi = {10.1007/S10703-009-0072-2},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fmsd/GuptaM09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/todaes/YangWGI09,
author = {Zijiang Yang and
Chao Wang and
Aarti Gupta and
Franjo Ivancic},
title = {Model checking sequential software programs via mixed symbolic analysis},
journal = {{ACM} Trans. Design Autom. Electr. Syst.},
volume = {14},
number = {1},
pages = {10:1--10:26},
year = {2009},
url = {https://doi.org/10.1145/1455229.1455239},
doi = {10.1145/1455229.1455239},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/todaes/YangWGI09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/KahlonWG09,
author = {Vineet Kahlon and
Chao Wang and
Aarti Gupta},
editor = {Ahmed Bouajjani and
Oded Maler},
title = {Monotonic Partial Order Reduction: An Optimal Symbolic Partial Order
Reduction Technique},
booktitle = {Computer Aided Verification, 21st International Conference, {CAV}
2009, Grenoble, France, June 26 - July 2, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5643},
pages = {398--413},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-02658-4\_31},
doi = {10.1007/978-3-642-02658-4\_31},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/cav/KahlonWG09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/emsoft/BalakrishnanSIG09,
author = {Gogul Balakrishnan and
Sriram Sankaranarayanan and
Franjo Ivancic and
Aarti Gupta},
editor = {Samarjit Chakraborty and
Nicolas Halbwachs},
title = {Refining the control structure of loops using static analysis},
booktitle = {Proceedings of the 9th {ACM} {\&} {IEEE} International conference
on Embedded software, {EMSOFT} 2009, Grenoble, France, October 12-16,
2009},
pages = {49--58},
publisher = {{ACM}},
year = {2009},
url = {https://doi.org/10.1145/1629335.1629343},
doi = {10.1145/1629335.1629343},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/emsoft/BalakrishnanSIG09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/WangKGG09,
author = {Chao Wang and
Sudipta Kundu and
Malay K. Ganai and
Aarti Gupta},
editor = {Ana Cavalcanti and
Dennis Dams},
title = {Symbolic Predictive Analysis for Concurrent Programs},
booktitle = {{FM} 2009: Formal Methods, Second World Congress, Eindhoven, The Netherlands,
November 2-6, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5850},
pages = {256--272},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-05089-3\_17},
doi = {10.1007/978-3-642-05089-3\_17},
timestamp = {Mon, 21 Feb 2022 14:40:51 +0100},
biburl = {https://dblp.org/rec/conf/fm/WangKGG09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rtss/FainekosSIG09,
author = {Georgios Fainekos and
Sriram Sankaranarayanan and
Franjo Ivancic and
Aarti Gupta},
editor = {Theodore P. Baker},
title = {Robustness of Model-Based Simulations},
booktitle = {Proceedings of the 30th {IEEE} Real-Time Systems Symposium, {RTSS}
2009, Washington, DC, USA, 1-4 December 2009},
pages = {345--354},
publisher = {{IEEE} Computer Society},
year = {2009},
url = {https://doi.org/10.1109/RTSS.2009.26},
doi = {10.1109/RTSS.2009.26},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rtss/FainekosSIG09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/WangCGY09,
author = {Chao Wang and
Swarat Chaudhuri and
Aarti Gupta and
Yu Yang},
editor = {Hans van Vliet and
Val{\'{e}}rie Issarny},
title = {Symbolic pruning of concurrent program executions},
booktitle = {Proceedings of the 7th joint meeting of the European Software Engineering
Conference and the {ACM} {SIGSOFT} International Symposium on Foundations
of Software Engineering, 2009, Amsterdam, The Netherlands, August
24-28, 2009},
pages = {23--32},
publisher = {{ACM}},
year = {2009},
url = {https://doi.org/10.1145/1595696.1595702},
doi = {10.1145/1595696.1595702},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sigsoft/WangCGY09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/KahlonSG09,
author = {Vineet Kahlon and
Sriram Sankaranarayanan and
Aarti Gupta},
editor = {Stefan Kowalewski and
Anna Philippou},
title = {Semantic Reduction of Thread Interleavings in Concurrent Programs},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems,
15th International Conference, {TACAS} 2009, Held as Part of the Joint
European Conferences on Theory and Practice of Software, {ETAPS} 2009,
York, UK, March 22-29, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5505},
pages = {124--138},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-00768-2\_12},
doi = {10.1007/978-3-642-00768-2\_12},
timestamp = {Fri, 06 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tacas/KahlonSG09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vmcai/Gupta09,
author = {Aarti Gupta},
editor = {Neil D. Jones and
Markus M{\"{u}}ller{-}Olm},
title = {Model Checking Concurrent Programs},
booktitle = {Verification, Model Checking, and Abstract Interpretation, 10th International
Conference, {VMCAI} 2009, Savannah, GA, USA, January 18-20, 2009.
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5403},
pages = {2},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-540-93900-9\_2},
doi = {10.1007/978-3-540-93900-9\_2},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/vmcai/Gupta09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcad/ZaksYSICGGA08,
author = {Aleksandr Zaks and
Zijiang Yang and
Ilya Shlyakhter and
Franjo Ivancic and
Srihari Cadambi and
Malay K. Ganai and
Aarti Gupta and
Pranav Ashar},
title = {Bitwidth Reduction via Symbolic Interval Analysis for Software Model
Checking},
journal = {{IEEE} Trans. Comput. Aided Des. Integr. Circuits Syst.},
volume = {27},
number = {8},
pages = {1513--1517},
year = {2008},
url = {https://doi.org/10.1109/TCAD.2008.925777},
doi = {10.1109/TCAD.2008.925777},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tcad/ZaksYSICGGA08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/IvancicYGGA08,
author = {Franjo Ivancic and
Zijiang Yang and
Malay K. Ganai and
Aarti Gupta and
Pranav Ashar},
title = {Efficient SAT-based bounded model checking for software verification},
journal = {Theor. Comput. Sci.},
volume = {404},
number = {3},
pages = {256--274},
year = {2008},
url = {https://doi.org/10.1016/j.tcs.2008.03.013},
doi = {10.1016/J.TCS.2008.03.013},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tcs/IvancicYGGA08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atva/WangYGG08,
author = {Chao Wang and
Yu Yang and
Aarti Gupta and
Ganesh Gopalakrishnan},
editor = {Sung Deok Cha and
Jin{-}Young Choi and
Moonzoo Kim and
Insup Lee and
Mahesh Viswanathan},
title = {Dynamic Model Checking with Property Driven Pruning to Detect Race
Conditions},
booktitle = {Automated Technology for Verification and Analysis, 6th International
Symposium, {ATVA} 2008, Seoul, Korea, October 20-23, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5311},
pages = {126--140},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-88387-6\_11},
doi = {10.1007/978-3-540-88387-6\_11},
timestamp = {Tue, 07 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/atva/WangYGG08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/Gupta08,
author = {Aarti Gupta},
editor = {Alessandro Armando and
Peter Baumgartner and
Gilles Dowek},
title = {Software Verification: Roles and Challenges for Automatic Decision
Procedures},
booktitle = {Automated Reasoning, 4th International Joint Conference, {IJCAR} 2008,
Sydney, Australia, August 12-15, 2008, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5195},
pages = {1},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-71070-7\_1},
doi = {10.1007/978-3-540-71070-7\_1},
timestamp = {Tue, 14 May 2019 10:00:39 +0200},
biburl = {https://dblp.org/rec/conf/cade/Gupta08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/GanaiG08,
author = {Malay K. Ganai and
Aarti Gupta},
editor = {Limor Fix},
title = {Tunneling and slicing: towards scalable {BMC}},
booktitle = {Proceedings of the 45th Design Automation Conference, {DAC} 2008,
Anaheim, CA, USA, June 8-13, 2008},
pages = {137--142},
publisher = {{ACM}},
year = {2008},
url = {https://doi.org/10.1145/1391469.1391507},
doi = {10.1145/1391469.1391507},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dac/GanaiG08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/date/GanaiG08,
author = {Malay K. Ganai and
Aarti Gupta},
editor = {Donatella Sciuto},
title = {Completeness in SMT-based {BMC} for Software Programs},
booktitle = {Design, Automation and Test in Europe, {DATE} 2008, Munich, Germany,
March 10-14, 2008},
pages = {831--836},
publisher = {{ACM}},
year = {2008},
url = {https://doi.org/10.1109/DATE.2008.4484777},
doi = {10.1109/DATE.2008.4484777},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/date/GanaiG08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/SankaranarayananIG08,
author = {Sriram Sankaranarayanan and
Franjo Ivancic and
Aarti Gupta},
editor = {Wilhelm Sch{\"{a}}fer and
Matthew B. Dwyer and
Volker Gruhn},
title = {Mining library specifications using inductive logic programming},
booktitle = {30th International Conference on Software Engineering {(ICSE} 2008),
Leipzig, Germany, May 10-18, 2008},
pages = {131--140},
publisher = {{ACM}},
year = {2008},
url = {https://doi.org/10.1145/1368088.1368107},
doi = {10.1145/1368088.1368107},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icse/SankaranarayananIG08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issta/SankaranarayananCIG08,
author = {Sriram Sankaranarayanan and
Swarat Chaudhuri and
Franjo Ivancic and
Aarti Gupta},
editor = {Barbara G. Ryder and
Andreas Zeller},
title = {Dynamic inference of likely data preconditions over predicates by
tree learning},
booktitle = {Proceedings of the {ACM/SIGSOFT} International Symposium on Software
Testing and Analysis, {ISSTA} 2008, Seattle, WA, USA, July 20-24,
2008},
pages = {295--306},
publisher = {{ACM}},
year = {2008},
url = {https://doi.org/10.1145/1390630.1390666},
doi = {10.1145/1390630.1390666},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/issta/SankaranarayananCIG08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sas/BalakrishnanSIWG08,
author = {Gogul Balakrishnan and
Sriram Sankaranarayanan and
Franjo Ivancic and
Ou Wei and
Aarti Gupta},
editor = {Mar{\'{\i}}a Alpuente and
Germ{\'{a}}n Vidal},
title = {{SLR:} Path-Sensitive Analysis through Infeasible-Path Detection and
Syntactic Language Refinement},
booktitle = {Static Analysis, 15th International Symposium, {SAS} 2008, Valencia,
Spain, July 16-18, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5079},
pages = {238--254},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-69166-2\_16},
doi = {10.1007/978-3-540-69166-2\_16},
timestamp = {Wed, 25 Sep 2019 18:08:39 +0200},
biburl = {https://dblp.org/rec/conf/sas/BalakrishnanSIWG08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/YuWGB08,
author = {Fang Yu and
Chao Wang and
Aarti Gupta and
Tevfik Bultan},
editor = {Mary Jean Harrold and
Gail C. Murphy},
title = {Modular verification of web services using efficient symbolic encoding
and summarization},
booktitle = {Proceedings of the 16th {ACM} {SIGSOFT} International Symposium on
Foundations of Software Engineering, 2008, Atlanta, Georgia, USA,
November 9-14, 2008},
pages = {192--202},
publisher = {{ACM}},
year = {2008},
url = {https://doi.org/10.1145/1453101.1453127},
doi = {10.1145/1453101.1453127},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sigsoft/YuWGB08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/spin/GanaiG08,
author = {Malay K. Ganai and
Aarti Gupta},
editor = {Klaus Havelund and
Rupak Majumdar and
Jens Palsberg},
title = {Efficient Modeling of Concurrent Systems in {BMC}},
booktitle = {Model Checking Software, 15th International {SPIN} Workshop, Los Angeles,
CA, USA, August 10-12, 2008, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5156},
pages = {114--133},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-85114-1\_10},
doi = {10.1007/978-3-540-85114-1\_10},
timestamp = {Tue, 14 May 2019 10:00:36 +0200},
biburl = {https://dblp.org/rec/conf/spin/GanaiG08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/WangYKG08,
author = {Chao Wang and
Zijiang Yang and
Vineet Kahlon and
Aarti Gupta},
editor = {C. R. Ramakrishnan and
Jakob Rehof},
title = {Peephole Partial Order Reduction},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems,
14th International Conference, {TACAS} 2008, Held as Part of the Joint
European Conferences on Theory and Practice of Software, {ETAPS} 2008,
Budapest, Hungary, March 29-April 6, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4963},
pages = {382--396},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-78800-3\_29},
doi = {10.1007/978-3-540-78800-3\_29},
timestamp = {Mon, 03 Apr 2023 17:23:33 +0200},
biburl = {https://dblp.org/rec/conf/tacas/WangYKG08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/cav/2008,
editor = {Aarti Gupta and
Sharad Malik},
title = {Computer Aided Verification, 20th International Conference, {CAV}
2008, Princeton, NJ, USA, July 7-14, 2008, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5123},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-70545-1},
doi = {10.1007/978-3-540-70545-1},
isbn = {978-3-540-70543-7},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cav/2008.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:series/icas/GanaiG07,
author = {Malay K. Ganai and
Aarti Gupta},
title = {SAT-Based Scalable Formal Verification Solutions},
series = {Series on Integrated Circuits and Systems},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-0-387-69167-1},
doi = {10.1007/978-0-387-69167-1},
isbn = {978-0-387-69166-4},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/series/icas/GanaiG07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsat/GanaiTG07,
author = {Malay K. Ganai and
Muralidhar Talupur and
Aarti Gupta},
title = {{SDSAT:} Tight Integration of Small Domain Encoding and Lazy Approaches
in Solving Difference Logic},
journal = {J. Satisf. Boolean Model. Comput.},
volume = {3},
number = {1-2},
pages = {91--114},
year = {2007},
url = {https://doi.org/10.3233/sat190031},
doi = {10.3233/SAT190031},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsat/GanaiTG07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/todaes/WangYIG07,
author = {Chao Wang and
Zijiang Yang and
Franjo Ivancic and
Aarti Gupta},
title = {Disjunctive image computation for software verification},
journal = {{ACM} Trans. Design Autom. Electr. Syst.},
volume = {12},
number = {2},
pages = {10},
year = {2007},
url = {https://doi.org/10.1145/1230800.1230802},
doi = {10.1145/1230800.1230802},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/todaes/WangYIG07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aspdac/GanaiG07,
author = {Malay K. Ganai and
Aarti Gupta},
title = {Efficient {BMC} for Multi-Clock Systems with Clocked Specifications},
booktitle = {Proceedings of the 12th Conference on Asia South Pacific Design Automation,
{ASP-DAC} 2007, Yokohama, Japan, January 23-26, 2007},
pages = {310--315},
publisher = {{IEEE} Computer Society},
year = {2007},
url = {https://doi.org/10.1109/ASPDAC.2007.358004},
doi = {10.1109/ASPDAC.2007.358004},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aspdac/GanaiG07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/KahlonYSG07,
author = {Vineet Kahlon and
Yu Yang and
Sriram Sankaranarayanan and
Aarti Gupta},
editor = {Werner Damm and
Holger Hermanns},
title = {Fast and Accurate Static Data-Race Detection for Concurrent Programs},
booktitle = {Computer Aided Verification, 19th International Conference, {CAV}
2007, Berlin, Germany, July 3-7, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4590},
pages = {226--239},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-73368-3\_26},
doi = {10.1007/978-3-540-73368-3\_26},
timestamp = {Sat, 30 Sep 2023 09:35:55 +0200},
biburl = {https://dblp.org/rec/conf/cav/KahlonYSG07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/WangYGI07,
author = {Chao Wang and
Zijiang Yang and
Aarti Gupta and
Franjo Ivancic},
editor = {Werner Damm and
Holger Hermanns},
title = {Using Counterexamples for Improving the Precision of Reachability
Computation with Polyhedra},
booktitle = {Computer Aided Verification, 19th International Conference, {CAV}
2007, Berlin, Germany, July 3-7, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4590},
pages = {352--365},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-73368-3\_40},
doi = {10.1007/978-3-540-73368-3\_40},
timestamp = {Thu, 11 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cav/WangYGI07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmcad/WangGI07,
author = {Chao Wang and
Aarti Gupta and
Franjo Ivancic},
title = {Induction in {CEGAR} for Detecting Counterexamples},
booktitle = {Formal Methods in Computer-Aided Design, 7th International Conference,
{FMCAD} 2007, Austin, Texas, USA, November 11-14, 2007, Proceedings},
pages = {77--84},
publisher = {{IEEE} Computer Society},
year = {2007},
url = {https://doi.org/10.1109/FAMCAD.2007.21},
doi = {10.1109/FAMCAD.2007.21},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fmcad/WangGI07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hvc/Gupta07,
author = {Aarti Gupta},
editor = {Karen Yorav},
title = {From Hardware Verification to Software Verification: Re-use and Re-learn},
booktitle = {Hardware and Software: Verification and Testing, Third International
Haifa Verification Conference, {HVC} 2007, Haifa, Israel, October
23-25, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4899},
pages = {14--15},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-77966-7\_3},
doi = {10.1007/978-3-540-77966-7\_3},
timestamp = {Tue, 14 May 2019 10:00:42 +0200},
biburl = {https://dblp.org/rec/conf/hvc/Gupta07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccad/WangKG07,
author = {Chao Wang and
Hyondeuk Kim and
Aarti Gupta},
editor = {Georges G. E. Gielen},
title = {Hybrid {CEGAR:} combining variable hiding and predicate abstraction},
booktitle = {2007 International Conference on Computer-Aided Design, {ICCAD} 2007,
San Jose, CA, USA, November 5-8, 2007},
pages = {310--317},
publisher = {{IEEE} Computer Society},
year = {2007},
url = {https://doi.org/10.1109/ICCAD.2007.4397283},
doi = {10.1109/ICCAD.2007.4397283},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iccad/WangKG07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/GuptaO07,
author = {Aarti Gupta and
Tim Oates},
editor = {Manuela M. Veloso},
title = {Using Ontologies and the Web to Learn Lexical Semantics},
booktitle = {{IJCAI} 2007, Proceedings of the 20th International Joint Conference
on Artificial Intelligence, Hyderabad, India, January 6-12, 2007},
pages = {1618--1623},
year = {2007},
url = {http://ijcai.org/Proceedings/07/Papers/261.pdf},
timestamp = {Sun, 16 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/GuptaO07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/KahlonG07,
author = {Vineet Kahlon and
Aarti Gupta},
editor = {Martin Hofmann and
Matthias Felleisen},
title = {On the analysis of interacting pushdown systems},
booktitle = {Proceedings of the 34th {ACM} {SIGPLAN-SIGACT} Symposium on Principles
of Programming Languages, {POPL} 2007, Nice, France, January 17-19,
2007},
pages = {303--314},
publisher = {{ACM}},
year = {2007},
url = {https://doi.org/10.1145/1190216.1190262},
doi = {10.1145/1190216.1190262},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/popl/KahlonG07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sas/SankaranarayananIG07,
author = {Sriram Sankaranarayanan and
Franjo Ivancic and
Aarti Gupta},
editor = {Hanne Riis Nielson and
Gilberto Fil{\'{e}}},
title = {Program Analysis Using Symbolic Ranges},
booktitle = {Static Analysis, 14th International Symposium, {SAS} 2007, Kongens
Lyngby, Denmark, August 22-24, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4634},
pages = {366--383},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-74061-2\_23},
doi = {10.1007/978-3-540-74061-2\_23},
timestamp = {Fri, 06 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sas/SankaranarayananIG07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vlsid/GanaiMGW07,
author = {Malay K. Ganai and
Akira Mukaiyama and
Aarti Gupta and
Kazutoshi Wakabayashi},
title = {Synthesizing "Verification Aware" Models: Why and How?},
booktitle = {20th International Conference on {VLSI} Design {(VLSI} Design 2007),
Sixth International Conference on Embedded Systems {(ICES} 2007),
6-10 January 2007, Bangalore, India},
pages = {50--56},
publisher = {{IEEE} Computer Society},
year = {2007},
url = {https://doi.org/10.1109/VLSID.2007.151},
doi = {10.1109/VLSID.2007.151},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/vlsid/GanaiMGW07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-0710-4666,
author = {Malay K. Ganai and
Aarti Gupta and
Pranav Ashar},
title = {Verification of Embedded Memory Systems using Efficient Memory Modeling},
journal = {CoRR},
volume = {abs/0710.4666},
year = {2007},
url = {http://arxiv.org/abs/0710.4666},
eprinttype = {arXiv},
eprint = {0710.4666},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-0710-4666.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sttt/GanaiGYA06,
author = {Malay K. Ganai and
Aarti Gupta and
Zijiang Yang and
Pranav Ashar},
title = {Efficient distributed {SAT} and SAT-based distributed Bounded Model
Checking},
journal = {Int. J. Softw. Tools Technol. Transf.},
volume = {8},
number = {4-5},
pages = {387--396},
year = {2006},
url = {https://doi.org/10.1007/s10009-005-0203-z},
doi = {10.1007/S10009-005-0203-Z},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sttt/GanaiGYA06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atva/WangYIG06,
author = {Chao Wang and
Zijiang Yang and
Franjo Ivancic and
Aarti Gupta},
editor = {Susanne Graf and
Wenhui Zhang},
title = {Whodunit? Causal Analysis for Counterexamples},
booktitle = {Automated Technology for Verification and Analysis, 4th International
Symposium, {ATVA} 2006, Beijing, China, October 23-26, 2006},
series = {Lecture Notes in Computer Science},
volume = {4218},
pages = {82--95},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11901914\_9},
doi = {10.1007/11901914\_9},
timestamp = {Wed, 10 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/atva/WangYIG06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/JainIGSW06,
author = {Himanshu Jain and
Franjo Ivancic and
Aarti Gupta and
Ilya Shlyakhter and
Chao Wang},
editor = {Thomas Ball and
Robert B. Jones},
title = {Using Statically Computed Invariants Inside the Predicate Abstraction
and Refinement Loop},
booktitle = {Computer Aided Verification, 18th International Conference, {CAV}
2006, Seattle, WA, USA, August 17-20, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4144},
pages = {137--151},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11817963\_15},
doi = {10.1007/11817963\_15},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/cav/JainIGSW06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/KahlonGS06,
author = {Vineet Kahlon and
Aarti Gupta and
Nishant Sinha},
editor = {Thomas Ball and
Robert B. Jones},
title = {Symbolic Model Checking of Concurrent Programs Using Partial Orders
and On-the-Fly Transactions},
booktitle = {Computer Aided Verification, 18th International Conference, {CAV}
2006, Seattle, WA, USA, August 17-20, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4144},
pages = {286--299},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11817963\_28},
doi = {10.1007/11817963\_28},
timestamp = {Wed, 03 Oct 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cav/KahlonGS06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/WangGG06,
author = {Chao Wang and
Aarti Gupta and
Malay K. Ganai},
editor = {Ellen Sentovich},
title = {Predicate learning and selective theory deduction for a difference
logic solver},
booktitle = {Proceedings of the 43rd Design Automation Conference, {DAC} 2006,
San Francisco, CA, USA, July 24-28, 2006},
pages = {235--240},
publisher = {{ACM}},
year = {2006},
url = {https://doi.org/10.1145/1146909.1146971},
doi = {10.1145/1146909.1146971},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dac/WangGG06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/date/WangYIG06,
author = {Chao Wang and
Zijiang Yang and
Franjo Ivancic and
Aarti Gupta},
editor = {Georges G. E. Gielen},
title = {Disjunctive image computation for embedded software verification},
booktitle = {Proceedings of the Conference on Design, Automation and Test in Europe,
{DATE} 2006, Munich, Germany, March 6-10, 2006},
pages = {1205--1210},
publisher = {European Design and Automation Association, Leuven, Belgium},
year = {2006},
url = {https://doi.org/10.1109/DATE.2006.244049},
doi = {10.1109/DATE.2006.244049},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/date/WangYIG06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccad/GanaiG06,
author = {Malay K. Ganai and
Aarti Gupta},
editor = {Soha Hassoun},
title = {Accelerating high-level bounded model checking},
booktitle = {2006 International Conference on Computer-Aided Design, {ICCAD} 2006,
San Jose, CA, USA, November 5-9, 2006},
pages = {794--801},
publisher = {{ACM}},
year = {2006},
url = {https://doi.org/10.1145/1233501.1233664},
doi = {10.1145/1233501.1233664},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iccad/GanaiG06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/KahlonG06,
author = {Vineet Kahlon and
Aarti Gupta},
title = {An Automata-Theoretic Approach for Model Checking Threads for {LTL}
Propert},
booktitle = {21th {IEEE} Symposium on Logic in Computer Science {(LICS} 2006),
12-15 August 2006, Seattle, WA, USA, Proceedings},
pages = {101--110},
publisher = {{IEEE} Computer Society},
year = {2006},
url = {https://doi.org/10.1109/LICS.2006.11},
doi = {10.1109/LICS.2006.11},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lics/KahlonG06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/memocode/YangWGI06,
author = {Zijiang Yang and
Chao Wang and
Aarti Gupta and
Franjo Ivancic},
title = {Mixed symbolic representations for model checking software programs},
booktitle = {4th {ACM} {\&} {IEEE} International Conference on Formal Methods
and Models for Co-Design {(MEMOCODE} 2006), 27-29 July 2006, Embassy
Suites, Napa, California, {USA}},
pages = {17--26},
publisher = {{IEEE} Computer Society},
year = {2006},
url = {https://doi.org/10.1109/MEMCOD.2006.1695896},
doi = {10.1109/MEMCOD.2006.1695896},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/memocode/YangWGI06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sas/SankaranarayananISG06,
author = {Sriram Sankaranarayanan and
Franjo Ivancic and
Ilya Shlyakhter and
Aarti Gupta},
editor = {Kwangkeun Yi},
title = {Static Analysis in Disjunctive Numerical Domains},
booktitle = {Static Analysis, 13th International Symposium, {SAS} 2006, Seoul,
Korea, August 29-31, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4134},
pages = {3--17},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11823230\_2},
doi = {10.1007/11823230\_2},
timestamp = {Fri, 06 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sas/SankaranarayananISG06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sfm/GuptaGW06,
author = {Aarti Gupta and
Malay K. Ganai and
Chao Wang},
editor = {Marco Bernardo and
Alessandro Cimatti},
title = {SAT-Based Verification Methods and Applications in Hardware Verification},
booktitle = {Formal Methods for Hardware Verification, 6th International School
on Formal Methods for the Design of Computer, Communication, and Software
Systems, {SFM} 2006, Bertinoro, Italy, May 22-27, 2006, Advanced Lectures},
series = {Lecture Notes in Computer Science},
volume = {3965},
pages = {108--143},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11757283\_5},
doi = {10.1007/11757283\_5},
timestamp = {Tue, 14 May 2019 10:00:44 +0200},
biburl = {https://dblp.org/rec/conf/sfm/GuptaGW06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/GanaiTG06,
author = {Malay K. Ganai and
Muralidhar Talupur and
Aarti Gupta},
editor = {Holger Hermanns and
Jens Palsberg},
title = {\emph{SDSAT}: Tight Integration of \emph{Small Domain Encoding} and
\emph{Lazy} Approaches in a Separation Logic Solver},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems,
12th International Conference, {TACAS} 2006 Held as Part of the Joint
European Conferences on Theory and Practice of Software, {ETAPS} 2006,
Vienna, Austria, March 25 - April 2, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3920},
pages = {135--150},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11691372\_9},
doi = {10.1007/11691372\_9},
timestamp = {Sat, 30 Sep 2023 09:57:43 +0200},
biburl = {https://dblp.org/rec/conf/tacas/GanaiTG06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sttt/PrasadBG05,
author = {Mukul R. Prasad and
Armin Biere and
Aarti Gupta},
title = {A survey of recent advances in SAT-based formal verification},
journal = {Int. J. Softw. Tools Technol. Transf.},
volume = {7},
number = {2},
pages = {156--173},
year = {2005},
url = {https://doi.org/10.1007/s10009-004-0183-4},
doi = {10.1007/S10009-004-0183-4},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sttt/PrasadBG05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/TangMGI05,
author = {Daijue Tang and
Sharad Malik and
Aarti Gupta and
C. Norris Ip},
editor = {Kousha Etessami and
Sriram K. Rajamani},
title = {Symmetry Reduction in SAT-Based Model Checking},
booktitle = {Computer Aided Verification, 17th International Conference, {CAV}
2005, Edinburgh, Scotland, UK, July 6-10, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3576},
pages = {125--138},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11513988\_12},
doi = {10.1007/11513988\_12},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/cav/TangMGI05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/IvancicYGGSA05,
author = {Franjo Ivancic and
Zijiang Yang and
Malay K. Ganai and
Aarti Gupta and
Ilya Shlyakhter and
Pranav Ashar},
editor = {Kousha Etessami and
Sriram K. Rajamani},
title = {F-Soft: Software Verification Platform},
booktitle = {Computer Aided Verification, 17th International Conference, {CAV}
2005, Edinburgh, Scotland, UK, July 6-10, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3576},
pages = {301--306},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11513988\_31},
doi = {10.1007/11513988\_31},
timestamp = {Thu, 11 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cav/IvancicYGGSA05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/KahlonIG05,
author = {Vineet Kahlon and
Franjo Ivancic and
Aarti Gupta},
editor = {Kousha Etessami and
Sriram K. Rajamani},
title = {Reasoning About Threads Communicating via Locks},
booktitle = {Computer Aided Verification, 17th International Conference, {CAV}
2005, Edinburgh, Scotland, UK, July 6-10, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3576},
pages = {505--518},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11513988\_49},
doi = {10.1007/11513988\_49},
timestamp = {Wed, 03 Oct 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cav/KahlonIG05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/GanaiGA05,
author = {Malay K. Ganai and
Aarti Gupta and
Pranav Ashar},
editor = {William H. Joyner Jr. and
Grant Martin and
Andrew B. Kahng},
title = {Beyond safety: customized SAT-based model checking},
booktitle = {Proceedings of the 42nd Design Automation Conference, {DAC} 2005,
San Diego, CA, USA, June 13-17, 2005},
pages = {738--743},
publisher = {{ACM}},
year = {2005},
url = {https://doi.org/10.1145/1065579.1065773},
doi = {10.1145/1065579.1065773},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dac/GanaiGA05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/date/GanaiGA05,
author = {Malay K. Ganai and
Aarti Gupta and
Pranav Ashar},
title = {Verification of Embedded Memory Systems using Efficient Memory Modeling},
booktitle = {2005 Design, Automation and Test in Europe Conference and Exposition
{(DATE} 2005), 7-11 March 2005, Munich, Germany},
pages = {1096--1101},
publisher = {{IEEE} Computer Society},
year = {2005},
url = {https://doi.org/10.1109/DATE.2005.325},
doi = {10.1109/DATE.2005.325},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/date/GanaiGA05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccd/IvanicicSGG05,
author = {Franjo Ivancic and
Ilya Shlyakhter and
Aarti Gupta and
Malay K. Ganai and
Vineet Kahlon and
Chao Wang and
Zijiang Yang},
title = {Model Checking {C} Programs Using {F-SOFT}},
booktitle = {23rd International Conference on Computer Design {(ICCD} 2005), 2-5
October 2005, San Jose, CA, {USA}},
pages = {297--308},
publisher = {{IEEE} Computer Society},
year = {2005},
url = {https://doi.org/10.1109/ICCD.2005.77},
doi = {10.1109/ICCD.2005.77},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iccd/IvanicicSGG05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpar/WangIGG05,
author = {Chao Wang and
Franjo Ivancic and
Malay K. Ganai and
Aarti Gupta},
editor = {Geoff Sutcliffe and
Andrei Voronkov},
title = {Deciding Separation Logic Formulae by {SAT} and Incremental Negative
Cycle Elimination},
booktitle = {Logic for Programming, Artificial Intelligence, and Reasoning, 12th
International Conference, {LPAR} 2005, Montego Bay, Jamaica, December
2-6, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3835},
pages = {322--336},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11591191\_23},
doi = {10.1007/11591191\_23},
timestamp = {Tue, 14 May 2019 10:00:55 +0200},
biburl = {https://dblp.org/rec/conf/lpar/WangIGG05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/JainIGG05,
author = {Himanshu Jain and
Franjo Ivancic and
Aarti Gupta and
Malay K. Ganai},
editor = {Nicolas Halbwachs and
Lenore D. Zuck},
title = {Localization and Register Sharing for Predicate Abstraction},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems,
11th International Conference, {TACAS} 2005, Held as Part of the Joint
European Conferences on Theory and Practice of Software, {ETAPS} 2005,
Edinburgh, UK, April 4-8, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3440},
pages = {397--412},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/978-3-540-31980-1\_26},
doi = {10.1007/978-3-540-31980-1\_26},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/tacas/JainIGG05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/GanaiGA05,
author = {Malay K. Ganai and
Aarti Gupta and
Pranav Ashar},
editor = {Nicolas Halbwachs and
Lenore D. Zuck},
title = {\emph{DiVer}: SAT-Based Model Checking Platform for Verifying Large
Scale Systems},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems,
11th International Conference, {TACAS} 2005, Held as Part of the Joint
European Conferences on Theory and Practice of Software, {ETAPS} 2005,
Edinburgh, UK, April 4-8, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3440},
pages = {575--580},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/978-3-540-31980-1\_41},
doi = {10.1007/978-3-540-31980-1\_41},
timestamp = {Tue, 26 Jun 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tacas/GanaiGA05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vlsid/GuptaGA05,
author = {Aarti Gupta and
Malay K. Ganai and
Pranav Ashar},
title = {Lazy Constraints and {SAT} Heuristics for Proof-Based Abstraction},
booktitle = {18th International Conference on {VLSI} Design {(VLSI} Design 2005),
with the 4th International Conference on Embedded Systems Design,
3-7 January 2005, Kolkata, India},
pages = {183--188},
publisher = {{IEEE} Computer Society},
year = {2005},
url = {https://doi.org/10.1109/ICVD.2005.114},
doi = {10.1109/ICVD.2005.114},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/vlsid/GuptaGA05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/crc/IIR2005/GuptaBM05,
author = {Aarti Gupta and
Ali Alphan Bayazit and
Yogesh S. Mahajan},
editor = {Richard Zurawski},
title = {Verification Languages},
booktitle = {The Industrial Information Technology Handbook},
pages = {1--18},
publisher = {{CRC} Press},
year = {2005},
timestamp = {Thu, 21 Jun 2007 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/crc/IIR2005/GuptaBM05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:reference/crc/GuptaBM05,
author = {Aarti Gupta and
Ali Alphan Bayazit and
Yogesh S. Mahajan},
editor = {Richard Zurawski},
title = {Verification Languages},
booktitle = {Embedded Systems Handbook},
publisher = {{CRC} Press},
year = {2005},
url = {https://doi.org/10.1201/9781420038163.ch10},
doi = {10.1201/9781420038163.CH10},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/reference/crc/GuptaBM05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/GanaiGA04,
author = {Malay K. Ganai and
Aarti Gupta and
Pranav Ashar},
editor = {Rajeev Alur and
Doron A. Peled},
title = {Efficient Modeling of Embedded Memories in Bounded Model Checking},
booktitle = {Computer Aided Verification, 16th International Conference, {CAV}
2004, Boston, MA, USA, July 13-17, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3114},
pages = {440--452},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-27813-9\_34},
doi = {10.1007/978-3-540-27813-9\_34},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/cav/GanaiGA04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccad/GanaiGA04,
author = {Malay K. Ganai and
Aarti Gupta and
Pranav Ashar},
title = {Efficient SAT-based unbounded symbolic model checking using circuit
cofactoring},
booktitle = {2004 International Conference on Computer-Aided Design, {ICCAD} 2004,
San Jose, CA, USA, November 7-11, 2004},
pages = {510--517},
publisher = {{IEEE} Computer Society / {ACM}},
year = {2004},
url = {https://doi.org/10.1109/ICCAD.2004.1382631},
doi = {10.1109/ICCAD.2004.1382631},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iccad/GanaiGA04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/AsharGGIY04,
author = {Pranav Ashar and
Malay K. Ganai and
Aarti Gupta and
Franjo Ivancic and
Zijiang Yang},
editor = {Tiziana Margaria and
Bernhard Steffen and
Anna Philippou and
Manfred Reitenspie{\ss}},
title = {Efficient SAT-based Bounded Model Checking for Software Verification},
booktitle = {International Symposium on Leveraging Applications of Formal Methods,
ISoLA 2004, October 30 - November 2, 2004, Paphos, Cyprus. Preliminary
proceedings},
series = {Technical Report},
volume = {{TR-2004-6}},
pages = {157--164},
publisher = {Department of Computer Science, University of Cyprus},
year = {2004},
timestamp = {Thu, 11 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/isola/AsharGGIY04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/GuptaGWYA03,
author = {Aarti Gupta and
Malay K. Ganai and
Chao Wang and
Zijiang Yang and
Pranav Ashar},
editor = {Warren A. Hunt Jr. and
Fabio Somenzi},
title = {Abstraction and BDDs Complement SAT-Based {BMC} in DiVer},
booktitle = {Computer Aided Verification, 15th International Conference, {CAV}
2003, Boulder, CO, USA, July 8-12, 2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2725},
pages = {206--209},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-45069-6\_20},
doi = {10.1007/978-3-540-45069-6\_20},
timestamp = {Thu, 11 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cav/GuptaGWYA03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/charme/GanaiGYA03,
author = {Malay K. Ganai and
Aarti Gupta and
Zijiang Yang and
Pranav Ashar},
editor = {Daniel Geist and
Enrico Tronci},
title = {Efficient Distributed {SAT} and SAT-Based Distributed Bounded Model
Checking},
booktitle = {Correct Hardware Design and Verification Methods, 12th {IFIP} {WG}
10.5 Advanced Research Working Conference, {CHARME} 2003, L'Aquila,
Italy, October 21-24, 2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2860},
pages = {334--347},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-39724-3\_30},
doi = {10.1007/978-3-540-39724-3\_30},
timestamp = {Thu, 11 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/charme/GanaiGYA03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/GuptaGWYA03,
author = {Aarti Gupta and
Malay K. Ganai and
Chao Wang and
Zijiang Yang and
Pranav Ashar},
title = {Learning from BDDs in SAT-based bounded model checking},
booktitle = {Proceedings of the 40th Design Automation Conference, {DAC} 2003,
Anaheim, CA, USA, June 2-6, 2003},
pages = {824--829},
publisher = {{ACM}},
year = {2003},
url = {https://doi.org/10.1145/775832.776040},
doi = {10.1145/775832.776040},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dac/GuptaGWYA03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccad/GuptaGYA03,
author = {Aarti Gupta and
Malay K. Ganai and
Zijiang Yang and
Pranav Ashar},
title = {Iterative Abstraction using SAT-based {BMC} with Proof Analysis},
booktitle = {2003 International Conference on Computer-Aided Design, {ICCAD} 2003,
San Jose, CA, USA, November 9-13, 2003},
pages = {416--423},
publisher = {{IEEE} Computer Society / {ACM}},
year = {2003},
url = {https://doi.org/10.1109/ICCAD.2003.1257811},
doi = {10.1109/ICCAD.2003.1257811},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iccad/GuptaGYA03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dt/Gupta02,
author = {Aarti Gupta},
title = {Assertion-based verification turns the corner},
journal = {{IEEE} Des. Test Comput.},
volume = {19},
number = {4},
pages = {131--132},
year = {2002},
url = {http://doi.ieeecomputersociety.org/10.1109/MDT.2002.10025},
doi = {10.1109/MDT.2002.10025},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/dt/Gupta02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/GanaiAGZM02,
author = {Malay K. Ganai and
Pranav Ashar and
Aarti Gupta and
Lintao Zhang and
Sharad Malik},
title = {Combining strengths of circuit-based and CNF-based algorithms for
a high-performance {SAT} solver},
booktitle = {Proceedings of the 39th Design Automation Conference, {DAC} 2002,
New Orleans, LA, USA, June 10-14, 2002},
pages = {747--750},
publisher = {{ACM}},
year = {2002},
url = {https://doi.org/10.1145/513918.514105},
doi = {10.1145/513918.514105},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dac/GanaiAGZM02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vlsid/GuptaCALMW02,
author = {Aarti Gupta and
Albert E. Casavant and
Pranav Ashar and
Sean Liu and
Akira Mukaiyama and
Kazutoshi Wakabayashi},
title = {Property-Specific Testbench Generation for Guided Simulation},
booktitle = {Proceedings of the 7th Asia and South Pacific Design Automation Conference
{(ASP-DAC} 2002), and the 15th International Conference on {VLSI}
Design {(VLSI} Design 2002), Bangalore, India, January 7-11, 2002},
pages = {524},
publisher = {{IEEE} Computer Society},
year = {2002},
url = {https://doi.org/10.1109/ASPDAC.2002.994973},
doi = {10.1109/ASPDAC.2002.994973},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/vlsid/GuptaCALMW02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/todaes/AsharGM01,
author = {Pranav Ashar and
Aarti Gupta and
Sharad Malik},
title = {Using complete-1-distinguishability for {FSM} equivalence checking},
journal = {{ACM} Trans. Design Autom. Electr. Syst.},
volume = {6},
number = {4},
pages = {569--590},
year = {2001},
url = {https://doi.org/10.1145/502175.502183},
doi = {10.1145/502175.502183},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/todaes/AsharGM01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/GuptaGYA01,
author = {Aarti Gupta and
Anubhav Gupta and
Zijiang Yang and
Pranav Ashar},
title = {Dynamic Detection and Removal of Inactive Clauses in {SAT} with Application
in Image Computation},
booktitle = {Proceedings of the 38th Design Automation Conference, {DAC} 2001,
Las Vegas, NV, USA, June 18-22, 2001},
pages = {536--541},
publisher = {{ACM}},
year = {2001},
url = {https://doi.org/10.1145/378239.379018},
doi = {10.1145/378239.379018},
timestamp = {Fri, 01 Mar 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dac/GuptaGYA01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/date/CasavantGLMWA01,
author = {Albert E. Casavant and
Aarti Gupta and
S. Liu and
Akira Mukaiyama and
Kazutoshi Wakabayashi and
Pranav Ashar},
editor = {Wolfgang Nebel and
Ahmed Jerraya},
title = {Property-specific witness graph generation for guided simulation},
booktitle = {Proceedings of the Conference on Design, Automation and Test in Europe,
{DATE} 2001, Munich, Germany, March 12-16, 2001},
pages = {799},
publisher = {{IEEE} Computer Society},
year = {2001},
url = {https://doi.org/10.1109/DATE.2001.915124},
doi = {10.1109/DATE.2001.915124},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/date/CasavantGLMWA01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccad/GuptaYAZM01,
author = {Aarti Gupta and
Zijiang Yang and
Pranav Ashar and
Lintao Zhang and
Sharad Malik},
editor = {Rolf Ernst},
title = {Partition-Based Decision Heuristics for Image Computation Using {SAT}
and BDDs},
booktitle = {Proceedings of the 2001 {IEEE/ACM} International Conference on Computer-Aided
Design, {ICCAD} 2001, San Jose, CA, USA, November 4-8, 2001},
pages = {286--292},
publisher = {{IEEE} Computer Society},
year = {2001},
url = {https://doi.org/10.1109/ICCAD.2001.968635},
doi = {10.1109/ICCAD.2001.968635},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iccad/GuptaYAZM01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmcad/GuptaYAG00,
author = {Aarti Gupta and
Zijiang Yang and
Pranav Ashar and
Anubhav Gupta},
editor = {Warren A. Hunt Jr. and
Steven D. Johnson},
title = {SAT-Based Image Computation with Application in Reachability Analysis},
booktitle = {Formal Methods in Computer-Aided Design, Third International Conference,
{FMCAD} 2000, Austin, Texas, USA, November 1-3, 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1954},
pages = {354--371},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-40922-X\_22},
doi = {10.1007/3-540-40922-X\_22},
timestamp = {Fri, 01 Mar 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fmcad/GuptaYAG00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vlsid/GuptaA00,
author = {Aarti Gupta and
Pranav Ashar},
title = {Fast Error Diagnosis for Combinational Verification},
booktitle = {13th International Conference on {VLSI} Design {(VLSI} Design 2000),
4-7 January 2000, Calcutta, India},
pages = {442--448},
publisher = {{IEEE} Computer Society},
year = {2000},
url = {https://doi.org/10.1109/ICVD.2000.812647},
doi = {10.1109/ICVD.2000.812647},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/vlsid/GuptaA00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/charme/GuptaAM99,
author = {Aarti Gupta and
Pranav Ashar and
Sharad Malik},
editor = {Laurence Pierre and
Thomas Kropf},
title = {Exploiting Retiming in a Guided Simulation Based Validation Methodology},
booktitle = {Correct Hardware Design and Verification Methods, 10th {IFIP} {WG}
10.5 Advanced Research Working Conference, {CHARME} '99, Bad Herrenalb,
Germany, September 27-29, 1999, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1703},
pages = {350--353},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/3-540-48153-2\_32},
doi = {10.1007/3-540-48153-2\_32},
timestamp = {Tue, 14 May 2019 10:00:39 +0200},
biburl = {https://dblp.org/rec/conf/charme/GuptaAM99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccd/AsharRGB99,
author = {Pranav Ashar and
Anand Raghunathan and
Aarti Gupta and
Subhrajit Bhattacharya},
title = {Verification of Scheduling in the Presence of Loops Using Uninterpreted
Symbolic Simulation},
booktitle = {Proceedings of the {IEEE} International Conference On Computer Design,
{VLSI} in Computers and Processors, {ICCD} '99, Austin, Texas, USA,
October 10-13, 1999},
pages = {458--466},
publisher = {{IEEE} Computer Society},
year = {1999},
url = {https://doi.org/10.1109/ICCD.1999.808581},
doi = {10.1109/ICCD.1999.808581},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iccd/AsharRGB99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vlsid/GuptaA98,
author = {Aarti Gupta and
Pranav Ashar},
title = {Integrating a Boolean Satisfiability Checker and BDDs for Combinational
Equivalence Checking},
booktitle = {11th International Conference on {VLSI} Design {(VLSI} Design 1991),
4-7 January 1998, Chennai, India},
pages = {222--225},
publisher = {{IEEE} Computer Society},
year = {1998},
url = {https://doi.org/10.1109/ICVD.1998.646606},
doi = {10.1109/ICVD.1998.646606},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/vlsid/GuptaA98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/GuptaMA97,
author = {Aarti Gupta and
Sharad Malik and
Pranav Ashar},
editor = {Ellen J. Yoffa and
Giovanni De Micheli and
Jan M. Rabaey},
title = {Toward Formalizing a Validation Methodology Using Simulation Coverage},
booktitle = {Proceedings of the 34st Conference on Design Automation, Anaheim,
California, USA, Anaheim Convention Center, June 9-13, 1997},
pages = {740--745},
publisher = {{ACM} Press},
year = {1997},
url = {https://doi.org/10.1145/266021.266359},
doi = {10.1145/266021.266359},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dac/GuptaMA97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccad/AsharGM96,
author = {Pranav Ashar and
Aarti Gupta and
Sharad Malik},
editor = {Rob A. Rutenbar and
Ralph H. J. M. Otten},
title = {Using complete-1-distinguishability for {FSM} equivalence checking},
booktitle = {Proceedings of the 1996 {IEEE/ACM} International Conference on Computer-Aided
Design, {ICCAD} 1996, San Jose, CA, USA, November 10-14, 1996},
pages = {346--353},
publisher = {{IEEE} Computer Society / {ACM}},
year = {1996},
url = {https://doi.org/10.1109/ICCAD.1996.569807},
doi = {10.1109/ICCAD.1996.569807},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iccad/AsharGM96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccd/GuptaF94,
author = {Aarti Gupta and
Allan L. Fisher},
title = {Tradeoffs in Canonical Sequential Function Representations},
booktitle = {Proceedings 1994 {IEEE} International Conference on Computer Design:
{VLSI} in Computer {\&} Processors, {ICCD} '94, Cambridge, MA,
USA, October 10-12, 1994},
pages = {111--116},
publisher = {{IEEE} Computer Society},
year = {1994},
url = {https://doi.org/10.1109/ICCD.1994.331867},
doi = {10.1109/ICCD.1994.331867},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iccd/GuptaF94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/GuptaF93,
author = {Aarti Gupta and
Allan L. Fisher},
editor = {Costas Courcoubetis},
title = {Parametric Circuit Representation Using Inductive Boolean Functions},
booktitle = {Computer Aided Verification, 5th International Conference, {CAV} '93,
Elounda, Greece, June 28 - July 1, 1993, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {697},
pages = {15--28},
publisher = {Springer},
year = {1993},
url = {https://doi.org/10.1007/3-540-56922-7\_3},
doi = {10.1007/3-540-56922-7\_3},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/cav/GuptaF93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccad/GuptaF93,
author = {Aarti Gupta and
Allan L. Fisher},
editor = {Michael R. Lightner and
Jochen A. G. Jess},
title = {Representation and symbolic manipulation of linearly inductive Boolean
functions},
booktitle = {Proceedings of the 1993 {IEEE/ACM} International Conference on Computer-Aided
Design, 1993, Santa Clara, California, USA, November 7-11, 1993},
pages = {192--199},
publisher = {{IEEE} Computer Society / {ACM}},
year = {1993},
url = {https://doi.org/10.1109/ICCAD.1993.580055},
doi = {10.1109/ICCAD.1993.580055},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iccad/GuptaF93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fmsd/Gupta92,
author = {Aarti Gupta},
title = {Formal Hardware Verification Methods: {A} Survey},
journal = {Formal Methods Syst. Des.},
volume = {1},
number = {2/3},
pages = {151--238},
year = {1992},
url = {https://doi.org/10.1007/BF00121125},
doi = {10.1007/BF00121125},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fmsd/Gupta92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icpp/GuptaF90,
author = {Aarti Gupta and
Allan L. Fisher},
editor = {Pen{-}Chung Yew},
title = {Flexible Parallel Polygon Rendering},
booktitle = {Proceedings of the 1990 International Conference on Parallel Processing,
Urbana-Champaign, IL, USA, August 1990. Volume 3: Algorithms and Applications},
pages = {87--91},
publisher = {Pennsylvania State University Press},
year = {1990},
timestamp = {Mon, 15 Jun 2015 19:00:07 +0200},
biburl = {https://dblp.org/rec/conf/icpp/GuptaF90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fjcc/ChungTG86,
author = {Moon{-}Jung Chung and
Edward J. Toy and
Aarti Gupta},
title = {A Parallel Computer Based on Cube-Connected Cycles for Wafer-Scale},
booktitle = {Proceedings of the Fall Joint Computer Conference, November 2-6, 1986,
Dallas, Texas, {USA}},
pages = {325--334},
publisher = {{IEEE} Computer Society},
year = {1986},
timestamp = {Fri, 29 Sep 2017 14:35:52 +0200},
biburl = {https://dblp.org/rec/conf/fjcc/ChungTG86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-04-25 01:22 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
