Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Akash Lal
@inproceedings{DBLP:conf/cidr/RajanRLRSP24,
author = {Kaushik Rajan and
Aseem Rastogi and
Akash Lal and
Sampath Rajendra and
Krithika Subramanian and
Krut Patel},
title = {Welding Natural Language Queries to Analytics IRs with LLMs},
booktitle = {14th Conference on Innovative Data Systems Research, {CIDR} 2024,
Chaminade, HI, USA, January 14-17, 2024},
publisher = {www.cidrdb.org},
year = {2024},
url = {https://www.cidrdb.org/cidr2024/papers/p79-rajan.pdf},
timestamp = {Fri, 05 Apr 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cidr/RajanRLRSP24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/indiaSE/Lal24,
author = {Akash Lal},
editor = {Sujit Kumar Charkrabarti and
Raghavan Komondoor and
Raveendra Kumar Medicherla and
Aseem Rastogi and
Sudipto Ghosh},
title = {Concurrency Testing: {A} Journey from Research to Practice},
booktitle = {Proceedings of the 17th Innovations in Software Engineering Conference,
{ISEC} 2024, Bangalore, India, February 22-24, 2024},
pages = {1:1},
publisher = {{ACM}},
year = {2024},
url = {https://doi.org/10.1145/3641399.3644112},
doi = {10.1145/3641399.3644112},
timestamp = {Sat, 16 Mar 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/indiaSE/Lal24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/SolankiCLR24,
author = {Mayank Solanki and
Prantik Chatterjee and
Akash Lal and
Subhajit Roy},
editor = {Bernd Finkbeiner and
Laura Kov{\'{a}}cs},
title = {Accelerated Bounded Model Checking Using Interpolation Based Summaries},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems
- 30th International Conference, {TACAS} 2024, Held as Part of the
European Joint Conferences on Theory and Practice of Software, {ETAPS}
2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings,
Part {II}},
series = {Lecture Notes in Computer Science},
volume = {14571},
pages = {155--174},
publisher = {Springer},
year = {2024},
url = {https://doi.org/10.1007/978-3-031-57249-4\_8},
doi = {10.1007/978-3-031-57249-4\_8},
timestamp = {Sun, 14 Apr 2024 18:32:16 +0200},
biburl = {https://dblp.org/rec/conf/tacas/SolankiCLR24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pacmpl/ShadabGTEKLLS23,
author = {Narges Shadab and
Pritam M. Gharat and
Shrey Tiwari and
Michael D. Ernst and
Martin Kellogg and
Shuvendu K. Lahiri and
Akash Lal and
Manu Sridharan},
title = {Inference of Resource Management Specifications},
journal = {Proc. {ACM} Program. Lang.},
volume = {7},
number = {{OOPSLA2}},
pages = {1705--1728},
year = {2023},
url = {https://doi.org/10.1145/3622858},
doi = {10.1145/3622858},
timestamp = {Sun, 10 Dec 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/pacmpl/ShadabGTEKLLS23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/emnlp/ChakrabortyLFLM23,
author = {Saikat Chakraborty and
Shuvendu K. Lahiri and
Sarah Fakhoury and
Akash Lal and
Madanlal Musuvathi and
Aseem Rastogi and
Aditya Senthilnathan and
Rahul Sharma and
Nikhil Swamy},
editor = {Houda Bouamor and
Juan Pino and
Kalika Bali},
title = {Ranking LLM-Generated Loop Invariants for Program Verification},
booktitle = {Findings of the Association for Computational Linguistics: {EMNLP}
2023, Singapore, December 6-10, 2023},
pages = {9164--9175},
publisher = {Association for Computational Linguistics},
year = {2023},
url = {https://doi.org/10.18653/v1/2023.findings-emnlp.614},
doi = {10.18653/V1/2023.FINDINGS-EMNLP.614},
timestamp = {Fri, 12 Apr 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/emnlp/ChakrabortyLFLM23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/MondalBLV23,
author = {Tamal Mondal and
Scott Barnett and
Akash Lal and
Jyothi Vedurada},
title = {Cell2Doc: {ML} Pipeline for Generating Documentation in Computational
Notebooks},
booktitle = {38th {IEEE/ACM} International Conference on Automated Software Engineering,
{ASE} 2023, Luxembourg, September 11-15, 2023},
pages = {384--396},
publisher = {{IEEE}},
year = {2023},
url = {https://doi.org/10.1109/ASE56229.2023.00200},
doi = {10.1109/ASE56229.2023.00200},
timestamp = {Thu, 16 Nov 2023 09:03:51 +0100},
biburl = {https://dblp.org/rec/conf/kbse/MondalBLV23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/DeligiannisSNLL23,
author = {Pantazis Deligiannis and
Aditya Senthilnathan and
Fahad Nayyar and
Chris Lovett and
Akash Lal},
editor = {Sriram Sankaranarayanan and
Natasha Sharygina},
title = {Industrial-Strength Controlled Concurrency Testing for sc {C} tt {\#}
Programs with sc Coyote},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems
- 29th International Conference, {TACAS} 2023, Held as Part of the
European Joint Conferences on Theory and Practice of Software, {ETAPS}
2022, Paris, France, April 22-27, 2023, Proceedings, Part {II}},
series = {Lecture Notes in Computer Science},
volume = {13994},
pages = {433--452},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-30820-8\_26},
doi = {10.1007/978-3-031-30820-8\_26},
timestamp = {Sat, 13 May 2023 01:07:18 +0200},
biburl = {https://dblp.org/rec/conf/tacas/DeligiannisSNLL23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/cav/2023-1,
editor = {Constantin Enea and
Akash Lal},
title = {Computer Aided Verification - 35th International Conference, {CAV}
2023, Paris, France, July 17-22, 2023, Proceedings, Part {I}},
series = {Lecture Notes in Computer Science},
volume = {13964},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-37706-8},
doi = {10.1007/978-3-031-37706-8},
isbn = {978-3-031-37705-1},
timestamp = {Tue, 12 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cav/2023-1.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/cav/2023-2,
editor = {Constantin Enea and
Akash Lal},
title = {Computer Aided Verification - 35th International Conference, {CAV}
2023, Paris, France, July 17-22, 2023, Proceedings, Part {II}},
series = {Lecture Notes in Computer Science},
volume = {13965},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-37703-7},
doi = {10.1007/978-3-031-37703-7},
isbn = {978-3-031-37702-0},
timestamp = {Tue, 12 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cav/2023-2.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/cav/2023-3,
editor = {Constantin Enea and
Akash Lal},
title = {Computer Aided Verification - 35th International Conference, {CAV}
2023, Paris, France, July 17-22, 2023, Proceedings, Part {III}},
series = {Lecture Notes in Computer Science},
volume = {13966},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-37709-9},
doi = {10.1007/978-3-031-37709-9},
isbn = {978-3-031-37708-2},
timestamp = {Tue, 12 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cav/2023-3.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/vstte/2022,
editor = {Akash Lal and
Stefano Tonetta},
title = {Verified Software. Theories, Tools and Experiments - 14th International
Conference, {VSTTE} 2022, Trento, Italy, October 17-18, 2022, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {13800},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-25803-9},
doi = {10.1007/978-3-031-25803-9},
isbn = {978-3-031-25802-2},
timestamp = {Fri, 03 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/vstte/2022.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2306-11953,
author = {Narges Shadab and
Pritam M. Gharat and
Shrey Tiwari and
Michael D. Ernst and
Martin Kellogg and
Shuvendu K. Lahiri and
Akash Lal and
Manu Sridharan},
title = {Automatic Inference of Resource Leak Specifications},
journal = {CoRR},
volume = {abs/2306.11953},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2306.11953},
doi = {10.48550/ARXIV.2306.11953},
eprinttype = {arXiv},
eprint = {2306.11953},
timestamp = {Thu, 07 Dec 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2306-11953.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2308-05177,
author = {Pantazis Deligiannis and
Akash Lal and
Nikita Mehrotra and
Aseem Rastogi},
title = {Fixing Rust Compilation Errors using LLMs},
journal = {CoRR},
volume = {abs/2308.05177},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2308.05177},
doi = {10.48550/ARXIV.2308.05177},
eprinttype = {arXiv},
eprint = {2308.05177},
timestamp = {Tue, 22 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2308-05177.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2310-09342,
author = {Saikat Chakraborty and
Shuvendu K. Lahiri and
Sarah Fakhoury and
Madanlal Musuvathi and
Akash Lal and
Aseem Rastogi and
Aditya Senthilnathan and
Rahul Sharma and
Nikhil Swamy},
title = {Ranking LLM-Generated Loop Invariants for Program Verification},
journal = {CoRR},
volume = {abs/2310.09342},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2310.09342},
doi = {10.48550/ARXIV.2310.09342},
eprinttype = {arXiv},
eprint = {2310.09342},
timestamp = {Wed, 25 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2310-09342.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2311-07948,
author = {Adharsh Kamath and
Aditya Senthilnathan and
Saikat Chakraborty and
Pantazis Deligiannis and
Shuvendu K. Lahiri and
Akash Lal and
Aseem Rastogi and
Subhajit Roy and
Rahul Sharma},
title = {Finding Inductive Loop Invariants using Large Language Models},
journal = {CoRR},
volume = {abs/2311.07948},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2311.07948},
doi = {10.48550/ARXIV.2311.07948},
eprinttype = {arXiv},
eprint = {2311.07948},
timestamp = {Tue, 21 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2311-07948.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2312-01912,
author = {Pritam M. Gharat and
Narges Shadab and
Shrey Tiwari and
Shuvendu K. Lahiri and
Akash Lal},
title = {Resource Leak Checker (RLC{\#}) for C{\#} Code using CodeQL},
journal = {CoRR},
volume = {abs/2312.01912},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2312.01912},
doi = {10.48550/ARXIV.2312.01912},
eprinttype = {arXiv},
eprint = {2312.01912},
timestamp = {Tue, 12 Dec 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2312-01912.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/ChatterjeeMLR22,
author = {Prantik Chatterjee and
Jaydeepsinh Meda and
Akash Lal and
Subhajit Roy},
editor = {Sharon Shoham and
Yakir Vizel},
title = {Proof-Guided Underapproximation Widening for Bounded Model Checking},
booktitle = {Computer Aided Verification - 34th International Conference, {CAV}
2022, Haifa, Israel, August 7-10, 2022, Proceedings, Part {I}},
series = {Lecture Notes in Computer Science},
volume = {13371},
pages = {304--324},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-13185-1\_15},
doi = {10.1007/978-3-031-13185-1\_15},
timestamp = {Tue, 03 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cav/ChatterjeeMLR22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pacmpl/BiswasKVEL21,
author = {Ranadeep Biswas and
Diptanshu Kakwani and
Jyothi Vedurada and
Constantin Enea and
Akash Lal},
title = {MonkeyDB: effectively testing correctness under weak isolation levels},
journal = {Proc. {ACM} Program. Lang.},
volume = {5},
number = {{OOPSLA}},
pages = {1--27},
year = {2021},
url = {https://doi.org/10.1145/3485546},
doi = {10.1145/3485546},
timestamp = {Wed, 03 Nov 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/pacmpl/BiswasKVEL21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cloud/DeligiannisGLQ21,
author = {Pantazis Deligiannis and
Narayanan Ganapathy and
Akash Lal and
Shaz Qadeer},
editor = {Carlo Curino and
Georgia Koutrika and
Ravi Netravali},
title = {Building Reliable Cloud Services Using Coyote Actors},
booktitle = {SoCC '21: {ACM} Symposium on Cloud Computing, Seattle, WA, USA, November
1 - 4, 2021},
pages = {108--121},
publisher = {{ACM}},
year = {2021},
url = {https://doi.org/10.1145/3472883.3486983},
doi = {10.1145/3472883.3486983},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cloud/DeligiannisGLQ21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmcad/DharanikotaMBRL21,
author = {Samvid Dharanikota and
Suvam Mukherjee and
Chandrika Bhardwaj and
Aseem Rastogi and
Akash Lal},
title = {Celestial: {A} Smart Contracts Verification Framework},
booktitle = {Formal Methods in Computer Aided Design, {FMCAD} 2021, New Haven,
CT, USA, October 19-22, 2021},
pages = {133--142},
publisher = {{IEEE}},
year = {2021},
url = {https://doi.org/10.34727/2021/isbn.978-3-85448-046-4\_22},
doi = {10.34727/2021/ISBN.978-3-85448-046-4\_22},
timestamp = {Tue, 07 Dec 2021 17:02:16 +0100},
biburl = {https://dblp.org/rec/conf/fmcad/DharanikotaMBRL21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/AgarwalDHJLNPTV21,
author = {Udit Agarwal and
Pantazis Deligiannis and
Cheng Huang and
Kumseok Jung and
Akash Lal and
Immad Naseer and
Matthew Parkinson and
Arun Thangamani and
Jyothi Vedurada and
Yunpeng Xiao},
title = {Nekara: Generalized Concurrency Testing},
booktitle = {36th {IEEE/ACM} International Conference on Automated Software Engineering,
{ASE} 2021, Melbourne, Australia, November 15-19, 2021},
pages = {679--691},
publisher = {{IEEE}},
year = {2021},
url = {https://doi.org/10.1109/ASE51524.2021.9678838},
doi = {10.1109/ASE51524.2021.9678838},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kbse/AgarwalDHJLNPTV21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lctrts/PoroorLG21,
author = {Jayaraj Poroor and
Akash Lal and
Sandesh Ghanta},
editor = {J{\"{o}}rg Henkel and
Xu Liu},
title = {Robust I/O-compute concurrency for machine learning pipelines in constrained
cyber-physical devices},
booktitle = {{LCTES} '21: 22nd {ACM} {SIGPLAN/SIGBED} International Conference
on Languages, Compilers, and Tools for Embedded Systems, Virtual Event,
Canada, 22 June, 2021},
pages = {1--11},
publisher = {{ACM}},
year = {2021},
url = {https://doi.org/10.1145/3461648.3463842},
doi = {10.1145/3461648.3463842},
timestamp = {Thu, 22 Jul 2021 14:01:44 +0200},
biburl = {https://dblp.org/rec/conf/lctrts/PoroorLG21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2103-02830,
author = {Ranadeep Biswas and
Diptanshu Kakwani and
Jyothi Vedurada and
Constantin Enea and
Akash Lal},
title = {MonkeyDB: Effectively Testing Correctness against Weak Isolation Levels},
journal = {CoRR},
volume = {abs/2103.02830},
year = {2021},
url = {https://arxiv.org/abs/2103.02830},
eprinttype = {arXiv},
eprint = {2103.02830},
timestamp = {Mon, 15 Mar 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2103-02830.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pacmpl/MukherjeeDBL20,
author = {Suvam Mukherjee and
Pantazis Deligiannis and
Arpita Biswas and
Akash Lal},
title = {Learning-based controlled concurrency testing},
journal = {Proc. {ACM} Program. Lang.},
volume = {4},
number = {{OOPSLA}},
pages = {230:1--230:31},
year = {2020},
url = {https://doi.org/10.1145/3428298},
doi = {10.1145/3428298},
timestamp = {Sat, 08 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/pacmpl/MukherjeeDBL20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmcad/ChatterjeeRDL20,
author = {Prantik Chatterjee and
Subhajit Roy and
Bui Phi Diep and
Akash Lal},
title = {Distributed Bounded Model Checking},
booktitle = {2020 Formal Methods in Computer Aided Design, {FMCAD} 2020, Haifa,
Israel, September 21-24, 2020},
pages = {47--56},
publisher = {{IEEE}},
year = {2020},
url = {https://doi.org/10.34727/2020/isbn.978-3-85448-042-6\_11},
doi = {10.34727/2020/ISBN.978-3-85448-042-6\_11},
timestamp = {Tue, 03 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fmcad/ChatterjeeRDL20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmcad/LahiriLGNLKDLB20,
author = {Shuvendu K. Lahiri and
Akash Lal and
Sridhar Gopinath and
Alexander Nutz and
Vladimir Levin and
Rahul Kumar and
Nate Deisinger and
Jakob Lichtenberg and
Chetan Bansal},
title = {Angelic Checking within Static Driver Verifier: Towards high-precision
defects without (modeling) cost},
booktitle = {2020 Formal Methods in Computer Aided Design, {FMCAD} 2020, Haifa,
Israel, September 21-24, 2020},
pages = {169--178},
publisher = {{IEEE}},
year = {2020},
url = {https://doi.org/10.34727/2020/isbn.978-3-85448-042-6\_24},
doi = {10.34727/2020/ISBN.978-3-85448-042-6\_24},
timestamp = {Thu, 14 Jan 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fmcad/LahiriLGNLKDLB20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/osdi/SarthiRLMJLGK20,
author = {Partho Sarthi and
Kaushik Rajan and
Akash Lal and
Abhishek Modi and
Prakhar Jain and
Mo Liu and
Ashit Gosalia and
Saurabh Kalikar},
title = {Generalized Sub-Query Fusion for Eliminating Redundant {I/O} from
Big-Data Queries},
booktitle = {14th {USENIX} Symposium on Operating Systems Design and Implementation,
{OSDI} 2020, Virtual Event, November 4-6, 2020},
pages = {209--224},
publisher = {{USENIX} Association},
year = {2020},
url = {https://www.usenix.org/conference/osdi20/presentation/sarthi},
timestamp = {Mon, 13 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/osdi/SarthiRLMJLGK20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2002-04903,
author = {Pantazis Deligiannis and
Narayanan Ganapathy and
Akash Lal and
Shaz Qadeer},
title = {Building Reliable Cloud Services Using P{\#} (Experience Report)},
journal = {CoRR},
volume = {abs/2002.04903},
year = {2020},
url = {https://arxiv.org/abs/2002.04903},
eprinttype = {arXiv},
eprint = {2002.04903},
timestamp = {Fri, 14 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2002-04903.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2005-08063,
author = {Prantik Chatterjee and
Subhajit Roy and
Bui Phi Diep and
Akash Lal},
title = {Distributed Bounded Model Checking},
journal = {CoRR},
volume = {abs/2005.08063},
year = {2020},
url = {https://arxiv.org/abs/2005.08063},
eprinttype = {arXiv},
eprint = {2005.08063},
timestamp = {Tue, 03 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2005-08063.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/LiuWL19,
author = {Peizun Liu and
Thomas Wahl and
Akash Lal},
editor = {Isil Dillig and
Serdar Tasiran},
title = {Verifying Asynchronous Event-Driven Programs Using Partial Abstract
Transformers},
booktitle = {Computer Aided Verification - 31st International Conference, {CAV}
2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part
{II}},
series = {Lecture Notes in Computer Science},
volume = {11562},
pages = {386--404},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-25543-5\_22},
doi = {10.1007/978-3-030-25543-5\_22},
timestamp = {Fri, 31 Jan 2020 21:32:18 +0100},
biburl = {https://dblp.org/rec/conf/cav/LiuWL19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoop/MukherjeeRGDRLR19,
author = {Suvam Mukherjee and
Nitin John Raj and
Krishnan Govindraj and
Pantazis Deligiannis and
Chandramouleswaran Ravichandran and
Akash Lal and
Aseem Rastogi and
Raja Krishnaswamy},
editor = {Alastair F. Donaldson},
title = {Reliable State Machines: {A} Framework for Programming Reliable Cloud
Services},
booktitle = {33rd European Conference on Object-Oriented Programming, {ECOOP} 2019,
July 15-19, 2019, London, United Kingdom},
series = {LIPIcs},
volume = {134},
pages = {18:1--18:29},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2019},
url = {https://doi.org/10.4230/LIPIcs.ECOOP.2019.18},
doi = {10.4230/LIPICS.ECOOP.2019.18},
timestamp = {Tue, 11 Feb 2020 15:52:14 +0100},
biburl = {https://dblp.org/rec/conf/ecoop/MukherjeeRGDRLR19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eurosys/Brahmakshatriya19,
author = {Ajay Brahmakshatriya and
Piyus Kedia and
Derrick Paul McKee and
Deepak Garg and
Akash Lal and
Aseem Rastogi and
Hamed Nemati and
Anmol Panda and
Pratik Bhatu},
editor = {George Candea and
Robbert van Renesse and
Christof Fetzer},
title = {ConfLLVM: {A} Compiler for Enforcing Data Confidentiality in Low-Level
Code},
booktitle = {Proceedings of the Fourteenth EuroSys Conference 2019, Dresden, Germany,
March 25-28, 2019},
pages = {4:1--4:15},
publisher = {{ACM}},
year = {2019},
url = {https://doi.org/10.1145/3302424.3303952},
doi = {10.1145/3302424.3303952},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/eurosys/Brahmakshatriya19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1902-09502,
author = {Suvam Mukherjee and
Nitin John Raj and
Krishnan Govindraj and
Pantazis Deligiannis and
Chandramouleswaran Ravichandran and
Akash Lal and
Aseem Rastogi and
Raja Krishnaswamy},
title = {Reliable State Machines: {A} Framework for Programming Reliable Cloud
Services},
journal = {CoRR},
volume = {abs/1902.09502},
year = {2019},
url = {http://arxiv.org/abs/1902.09502},
eprinttype = {arXiv},
eprint = {1902.09502},
timestamp = {Tue, 21 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1902-09502.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1905-09996,
author = {Peizun Liu and
Thomas Wahl and
Akash Lal},
title = {Verifying Asynchronous Event-Driven Programs Using Partial Abstract
Transformers (Extended Manuscript)},
journal = {CoRR},
volume = {abs/1905.09996},
year = {2019},
url = {http://arxiv.org/abs/1905.09996},
eprinttype = {arXiv},
eprint = {1905.09996},
timestamp = {Wed, 29 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1905-09996.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cl/DSouzaL17,
author = {Deepak D'Souza and
Akash Lal},
title = {Special issue on the 16th International Conference on Verification,
Model Checking, and Abstract Interpretation},
journal = {Comput. Lang. Syst. Struct.},
volume = {47},
pages = {1},
year = {2017},
url = {https://doi.org/10.1016/j.cl.2016.06.002},
doi = {10.1016/J.CL.2016.06.002},
timestamp = {Tue, 11 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/cl/DSouzaL17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atva/DasL17,
author = {Ankush Das and
Akash Lal},
editor = {Deepak D'Souza and
K. Narayan Kumar},
title = {Precise Null Pointer Analysis Through Global Value Numbering},
booktitle = {Automated Technology for Verification and Analysis - 15th International
Symposium, {ATVA} 2017, Pune, India, October 3-6, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10482},
pages = {25--41},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-68167-2\_2},
doi = {10.1007/978-3-319-68167-2\_2},
timestamp = {Tue, 14 May 2019 10:00:49 +0200},
biburl = {https://dblp.org/rec/conf/atva/DasL17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmcad/MudduluruDDLQ17,
author = {Rashmi Mudduluru and
Pantazis Deligiannis and
Ankush Desai and
Akash Lal and
Shaz Qadeer},
editor = {Daryl Stewart and
Georg Weissenbacher},
title = {Lasso detection using partial-state caching},
booktitle = {2017 Formal Methods in Computer Aided Design, {FMCAD} 2017, Vienna,
Austria, October 2-6, 2017},
pages = {84--91},
publisher = {{IEEE}},
year = {2017},
url = {https://doi.org/10.23919/FMCAD.2017.8102245},
doi = {10.23919/FMCAD.2017.8102245},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fmcad/MudduluruDDLQ17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sosp/SchlaipferRLS17,
author = {Matthias Schlaipfer and
Kaushik Rajan and
Akash Lal and
Malavika Samak},
title = {Optimizing Big-Data Queries Using Program Synthesis},
booktitle = {Proceedings of the 26th Symposium on Operating Systems Principles,
Shanghai, China, October 28-31, 2017},
pages = {631--646},
publisher = {{ACM}},
year = {2017},
url = {https://doi.org/10.1145/3132747.3132773},
doi = {10.1145/3132747.3132773},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sosp/SchlaipferRLS17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/DasL17,
author = {Ankush Das and
Akash Lal},
title = {Precise Null Pointer Analysis Through Global Value Numbering},
journal = {CoRR},
volume = {abs/1702.05807},
year = {2017},
url = {http://arxiv.org/abs/1702.05807},
eprinttype = {arXiv},
eprint = {1702.05807},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/DasL17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1711-11396,
author = {Ajay Brahmakshatriya and
Piyus Kedia and
Derrick Paul McKee and
Pratik Bhatu and
Deepak Garg and
Akash Lal and
Aseem Rastogi},
title = {An Instrumenting Compiler for Enforcing Confidentiality in Low-Level
Code},
journal = {CoRR},
volume = {abs/1711.11396},
year = {2017},
url = {http://arxiv.org/abs/1711.11396},
eprinttype = {arXiv},
eprint = {1711.11396},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1711-11396.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fast/DeligiannisMTCD16,
author = {Pantazis Deligiannis and
Matt McCutchen and
Paul Thomson and
Shuo Chen and
Alastair F. Donaldson and
John Erickson and
Cheng Huang and
Akash Lal and
Rashmi Mudduluru and
Shaz Qadeer and
Wolfram Schulte},
editor = {Angela Demke Brown and
Florentina I. Popovici},
title = {Uncovering Bugs in Distributed Storage Systems during Testing (Not
in Production!)},
booktitle = {14th {USENIX} Conference on File and Storage Technologies, {FAST}
2016, Santa Clara, CA, USA, February 22-25, 2016},
pages = {249--262},
publisher = {{USENIX} Association},
year = {2016},
url = {https://www.usenix.org/conference/fast16/technical-sessions/presentation/deligiannis},
timestamp = {Tue, 02 Feb 2021 08:06:35 +0100},
biburl = {https://dblp.org/rec/conf/fast/DeligiannisMTCD16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/PavlinovicLS16,
author = {Zvonimir Pavlinovic and
Akash Lal and
Rahul Sharma},
editor = {David Lo and
Sven Apel and
Sarfraz Khurshid},
title = {Inferring annotations for device drivers from verification histories},
booktitle = {Proceedings of the 31st {IEEE/ACM} International Conference on Automated
Software Engineering, {ASE} 2016, Singapore, September 3-7, 2016},
pages = {450--460},
publisher = {{ACM}},
year = {2016},
url = {https://doi.org/10.1145/2970276.2970305},
doi = {10.1145/2970276.2970305},
timestamp = {Sat, 30 Sep 2023 09:51:40 +0200},
biburl = {https://dblp.org/rec/conf/kbse/PavlinovicLS16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/0001CLLRSV16,
author = {Rohit Sinha and
Manuel Costa and
Akash Lal and
Nuno P. Lopes and
Sriram K. Rajamani and
Sanjit A. Seshia and
Kapil Vaswani},
editor = {Chandra Krintz and
Emery D. Berger},
title = {A design and verification methodology for secure isolated regions},
booktitle = {Proceedings of the 37th {ACM} {SIGPLAN} Conference on Programming
Language Design and Implementation, {PLDI} 2016, Santa Barbara, CA,
USA, June 13-17, 2016},
pages = {665--681},
publisher = {{ACM}},
year = {2016},
url = {https://doi.org/10.1145/2908080.2908113},
doi = {10.1145/2908080.2908113},
timestamp = {Sat, 30 Sep 2023 09:54:48 +0200},
biburl = {https://dblp.org/rec/conf/pldi/0001CLLRSV16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/fsttcs/2016,
editor = {Akash Lal and
S. Akshay and
Saket Saurabh and
Sandeep Sen},
title = {36th {IARCS} Annual Conference on Foundations of Software Technology
and Theoretical Computer Science, {FSTTCS} 2016, December 13-15, 2016,
Chennai, India},
series = {LIPIcs},
volume = {65},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2016},
url = {http://www.dagstuhl.de/dagpub/978-3-95977-027-9},
isbn = {978-3-95977-027-9},
timestamp = {Tue, 30 Nov 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fsttcs/2016.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/DasLLL15,
author = {Ankush Das and
Shuvendu K. Lahiri and
Akash Lal and
Yi Li},
editor = {Daniel Kroening and
Corina S. Pasareanu},
title = {Angelic Verification: Precise Verification Modulo Unknowns},
booktitle = {Computer Aided Verification - 27th International Conference, {CAV}
2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part
{I}},
series = {Lecture Notes in Computer Science},
volume = {9206},
pages = {324--342},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-21690-4\_19},
doi = {10.1007/978-3-319-21690-4\_19},
timestamp = {Fri, 27 Mar 2020 08:45:57 +0100},
biburl = {https://dblp.org/rec/conf/cav/DasLLL15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/DeligiannisDKLT15,
author = {Pantazis Deligiannis and
Alastair F. Donaldson and
Jeroen Ketema and
Akash Lal and
Paul Thomson},
editor = {David Grove and
Stephen M. Blackburn},
title = {Asynchronous programming, analysis and testing with state machines},
booktitle = {Proceedings of the 36th {ACM} {SIGPLAN} Conference on Programming
Language Design and Implementation, Portland, OR, USA, June 15-17,
2015},
pages = {154--164},
publisher = {{ACM}},
year = {2015},
url = {https://doi.org/10.1145/2737924.2737996},
doi = {10.1145/2737924.2737996},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pldi/DeligiannisDKLT15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/LalQ15,
author = {Akash Lal and
Shaz Qadeer},
editor = {David Grove and
Stephen M. Blackburn},
title = {{DAG} inlining: a decision procedure for reachability-modulo-theories
in hierarchical programs},
booktitle = {Proceedings of the 36th {ACM} {SIGPLAN} Conference on Programming
Language Design and Implementation, Portland, OR, USA, June 15-17,
2015},
pages = {280--290},
publisher = {{ACM}},
year = {2015},
url = {https://doi.org/10.1145/2737924.2737987},
doi = {10.1145/2737924.2737987},
timestamp = {Wed, 23 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pldi/LalQ15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/HaranCELQR15,
author = {Arvind Haran and
Montgomery Carter and
Michael Emmi and
Akash Lal and
Shaz Qadeer and
Zvonimir Rakamaric},
editor = {Christel Baier and
Cesare Tinelli},
title = {SMACK+Corral: {A} Modular Verifier - (Competition Contribution)},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems
- 21st International Conference, {TACAS} 2015, Held as Part of the
European Joint Conferences on Theory and Practice of Software, {ETAPS}
2015, London, UK, April 11-18, 2015. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9035},
pages = {451--454},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-662-46681-0\_42},
doi = {10.1007/978-3-662-46681-0\_42},
timestamp = {Sat, 30 Sep 2023 09:57:43 +0200},
biburl = {https://dblp.org/rec/conf/tacas/HaranCELQR15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmcad/LalQ14,
author = {Akash Lal and
Shaz Qadeer},
title = {A program transformation for faster goal-directed search},
booktitle = {Formal Methods in Computer-Aided Design, {FMCAD} 2014, Lausanne, Switzerland,
October 21-24, 2014},
pages = {147--154},
publisher = {{IEEE}},
year = {2014},
url = {https://doi.org/10.1109/FMCAD.2014.6987607},
doi = {10.1109/FMCAD.2014.6987607},
timestamp = {Wed, 16 Oct 2019 14:14:56 +0200},
biburl = {https://dblp.org/rec/conf/fmcad/LalQ14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/msr/TulsianKKLN14,
author = {Varun Tulsian and
Aditya Kanade and
Rahul Kumar and
Akash Lal and
Aditya V. Nori},
editor = {Premkumar T. Devanbu and
Sung Kim and
Martin Pinzger},
title = {{MUX:} algorithm selection for software model checkers},
booktitle = {11th Working Conference on Mining Software Repositories, {MSR} 2014,
Proceedings, May 31 - June 1, 2014, Hyderabad, India},
pages = {132--141},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2597073.2597080},
doi = {10.1145/2597073.2597080},
timestamp = {Sat, 25 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/msr/TulsianKKLN14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/LalQ14,
author = {Akash Lal and
Shaz Qadeer},
editor = {Shing{-}Chi Cheung and
Alessandro Orso and
Margaret{-}Anne D. Storey},
title = {Powering the static driver verifier using corral},
booktitle = {Proceedings of the 22nd {ACM} {SIGSOFT} International Symposium on
Foundations of Software Engineering, (FSE-22), Hong Kong, China, November
16 - 22, 2014},
pages = {202--212},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2635868.2635894},
doi = {10.1145/2635868.2635894},
timestamp = {Tue, 01 Feb 2022 10:45:16 +0100},
biburl = {https://dblp.org/rec/conf/sigsoft/LalQ14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/vmcai/2015,
editor = {Deepak D'Souza and
Akash Lal and
Kim Guldstrand Larsen},
title = {Verification, Model Checking, and Abstract Interpretation - 16th International
Conference, {VMCAI} 2015, Mumbai, India, January 12-14, 2015. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8931},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-662-46081-8},
doi = {10.1007/978-3-662-46081-8},
isbn = {978-3-662-46080-1},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/vmcai/2015.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/0001L14,
author = {Saurabh Joshi and
Akash Lal},
title = {Automatically finding atomic regions for fixing bugs in Concurrent
programs},
journal = {CoRR},
volume = {abs/1403.1749},
year = {2014},
url = {http://arxiv.org/abs/1403.1749},
eprinttype = {arXiv},
eprint = {1403.1749},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/0001L14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/ChagantyLNR13,
author = {Arun Tejasvi Chaganty and
Akash Lal and
Aditya V. Nori and
Sriram K. Rajamani},
editor = {Natasha Sharygina and
Helmut Veith},
title = {Combining Relational Learning with {SMT} Solvers Using {CEGAR}},
booktitle = {Computer Aided Verification - 25th International Conference, {CAV}
2013, Saint Petersburg, Russia, July 13-19, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8044},
pages = {447--462},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-39799-8\_30},
doi = {10.1007/978-3-642-39799-8\_30},
timestamp = {Wed, 07 Dec 2022 23:12:58 +0100},
biburl = {https://dblp.org/rec/conf/cav/ChagantyLNR13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issta/BindalBL13,
author = {Sandeep Bindal and
Sorav Bansal and
Akash Lal},
editor = {Mauro Pezz{\`{e}} and
Mark Harman},
title = {Variable and thread bounding for systematic testing of multithreaded
programs},
booktitle = {International Symposium on Software Testing and Analysis, {ISSTA}
'13, Lugano, Switzerland, July 15-20, 2013},
pages = {145--155},
publisher = {{ACM}},
year = {2013},
url = {https://doi.org/10.1145/2483760.2483764},
doi = {10.1145/2483760.2483764},
timestamp = {Sun, 02 Oct 2022 16:10:12 +0200},
biburl = {https://dblp.org/rec/conf/issta/BindalBL13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rp/LalQ13,
author = {Akash Lal and
Shaz Qadeer},
editor = {Parosh Aziz Abdulla and
Igor Potapov},
title = {Reachability Modulo Theories},
booktitle = {Reachability Problems - 7th International Workshop, {RP} 2013, Uppsala,
Sweden, September 24-26, 2013 Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8169},
pages = {23--44},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-41036-9\_4},
doi = {10.1007/978-3-642-41036-9\_4},
timestamp = {Tue, 14 May 2019 10:00:51 +0200},
biburl = {https://dblp.org/rec/conf/rp/LalQ13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/ThakurLLR15,
author = {Aditya V. Thakur and
Akash Lal and
Junghee Lim and
Thomas W. Reps},
editor = {Bor{-}Yuh Evan Chang},
title = {PostHat and All That: Automating Abstract Interpretation},
booktitle = {Fourth Workshop on Tools for Automatic Program Analysis, TAPAS@SAS
2013, Seattle, Washington, USA, June 19, 2013},
series = {Electronic Notes in Theoretical Computer Science},
volume = {311},
pages = {15--32},
publisher = {Elsevier},
year = {2013},
url = {https://doi.org/10.1016/j.entcs.2015.02.003},
doi = {10.1016/J.ENTCS.2015.02.003},
timestamp = {Thu, 10 Nov 2022 14:28:56 +0100},
biburl = {https://dblp.org/rec/journals/entcs/ThakurLLR15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/AtigBEL12,
author = {Mohamed Faouzi Atig and
Ahmed Bouajjani and
Michael Emmi and
Akash Lal},
editor = {P. Madhusudan and
Sanjit A. Seshia},
title = {Detecting Fair Non-termination in Multithreaded Programs},
booktitle = {Computer Aided Verification - 24th International Conference, {CAV}
2012, Berkeley, CA, USA, July 7-13, 2012 Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7358},
pages = {210--226},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-31424-7\_19},
doi = {10.1007/978-3-642-31424-7\_19},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/cav/AtigBEL12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/LalQL12,
author = {Akash Lal and
Shaz Qadeer and
Shuvendu K. Lahiri},
editor = {P. Madhusudan and
Sanjit A. Seshia},
title = {A Solver for Reachability Modulo Theories},
booktitle = {Computer Aided Verification - 24th International Conference, {CAV}
2012, Berkeley, CA, USA, July 7-13, 2012 Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7358},
pages = {427--443},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-31424-7\_32},
doi = {10.1007/978-3-642-31424-7\_32},
timestamp = {Wed, 03 Oct 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cav/LalQL12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/JoshiLL12,
author = {Saurabh Joshi and
Shuvendu K. Lahiri and
Akash Lal},
editor = {John Field and
Michael Hicks},
title = {Underspecified harnesses and interleaved bugs},
booktitle = {Proceedings of the 39th {ACM} {SIGPLAN-SIGACT} Symposium on Principles
of Programming Languages, {POPL} 2012, Philadelphia, Pennsylvania,
USA, January 22-28, 2012},
pages = {19--30},
publisher = {{ACM}},
year = {2012},
url = {https://doi.org/10.1145/2103656.2103662},
doi = {10.1145/2103656.2103662},
timestamp = {Thu, 24 Jun 2021 16:19:31 +0200},
biburl = {https://dblp.org/rec/conf/popl/JoshiLL12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sas/EmmiL12,
author = {Michael Emmi and
Akash Lal},
editor = {Antoine Min{\'{e}} and
David Schmidt},
title = {Finding Non-terminating Executions in Distributed Asynchronous Programs},
booktitle = {Static Analysis - 19th International Symposium, {SAS} 2012, Deauville,
France, September 11-13, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7460},
pages = {439--455},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-33125-1\_29},
doi = {10.1007/978-3-642-33125-1\_29},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/sas/EmmiL12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/EmmiLQ12,
author = {Michael Emmi and
Akash Lal and
Shaz Qadeer},
editor = {Will Tracz and
Martin P. Robillard and
Tevfik Bultan},
title = {Asynchronous programs with prioritized task-buffers},
booktitle = {20th {ACM} {SIGSOFT} Symposium on the Foundations of Software Engineering
(FSE-20), SIGSOFT/FSE'12, Cary, NC, {USA} - November 11 - 16, 2012},
pages = {48},
publisher = {{ACM}},
year = {2012},
url = {https://doi.org/10.1145/2393596.2393652},
doi = {10.1145/2393596.2393652},
timestamp = {Tue, 01 Feb 2022 10:45:16 +0100},
biburl = {https://dblp.org/rec/conf/sigsoft/EmmiLQ12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1207-2544,
author = {Sandeep Bindal and
Sorav Bansal and
Akash Lal},
title = {Variable and Thread Bounding for Systematic Testing of Multithreaded
Programs},
journal = {CoRR},
volume = {abs/1207.2544},
year = {2012},
url = {http://arxiv.org/abs/1207.2544},
eprinttype = {arXiv},
eprint = {1207.2544},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1207-2544.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sttt/LimLR11,
author = {Junghee Lim and
Akash Lal and
Thomas W. Reps},
title = {Symbolic analysis via semantic reinterpretation},
journal = {Int. J. Softw. Tools Technol. Transf.},
volume = {13},
number = {1},
pages = {61--87},
year = {2011},
url = {https://doi.org/10.1007/s10009-010-0158-6},
doi = {10.1007/S10009-010-0158-6},
timestamp = {Thu, 02 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sttt/LimLR11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ipl/LalR10,
author = {Akash Lal and
G. Ramalingam},
title = {Reference count analysis with shallow aliasing},
journal = {Inf. Process. Lett.},
volume = {111},
number = {2},
pages = {57--63},
year = {2010},
url = {https://doi.org/10.1016/j.ipl.2010.08.003},
doi = {10.1016/J.IPL.2010.08.003},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ipl/LalR10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/RepsLTBL10,
author = {Thomas W. Reps and
Junghee Lim and
Aditya V. Thakur and
Gogul Balakrishnan and
Akash Lal},
editor = {Tayssir Touili and
Byron Cook and
Paul B. Jackson},
title = {There's Plenty of Room at the Bottom: Analyzing and Verifying Machine
Code},
booktitle = {Computer Aided Verification, 22nd International Conference, {CAV}
2010, Edinburgh, UK, July 15-19, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6174},
pages = {41--56},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-14295-6\_6},
doi = {10.1007/978-3-642-14295-6\_6},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/cav/RepsLTBL10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/ThakurLLBDEAR10,
author = {Aditya V. Thakur and
Junghee Lim and
Akash Lal and
Amanda Burton and
Evan Driscoll and
Matt Elder and
Tycho Andersen and
Thomas W. Reps},
editor = {Tayssir Touili and
Byron Cook and
Paul B. Jackson},
title = {Directed Proof Generation for Machine Code},
booktitle = {Computer Aided Verification, 22nd International Conference, {CAV}
2010, Edinburgh, UK, July 15-19, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6174},
pages = {288--305},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-14295-6\_27},
doi = {10.1007/978-3-642-14295-6\_27},
timestamp = {Wed, 03 Oct 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cav/ThakurLLBDEAR10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sas/HarrisLNR10,
author = {William R. Harris and
Akash Lal and
Aditya V. Nori and
Sriram K. Rajamani},
editor = {Radhia Cousot and
Matthieu Martel},
title = {Alternation for Termination},
booktitle = {Static Analysis - 17th International Symposium, {SAS} 2010, Perpignan,
France, September 14-16, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6337},
pages = {304--319},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-15769-1\_19},
doi = {10.1007/978-3-642-15769-1\_19},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/sas/HarrisLNR10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fmsd/LalR09,
author = {Akash Lal and
Thomas W. Reps},
title = {Reducing concurrent analysis under a context bound to sequential analysis},
journal = {Formal Methods Syst. Des.},
volume = {35},
number = {1},
pages = {73--97},
year = {2009},
url = {https://doi.org/10.1007/s10703-009-0078-9},
doi = {10.1007/S10703-009-0078-9},
timestamp = {Fri, 13 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/fmsd/LalR09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/spin/LimLR09,
author = {Junghee Lim and
Akash Lal and
Thomas W. Reps},
editor = {Corina S. Pasareanu},
title = {Symbolic Analysis via Semantic Reinterpretation},
booktitle = {Model Checking Software, 16th International {SPIN} Workshop, Grenoble,
France, June 26-28, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5578},
pages = {148--168},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-02652-2\_14},
doi = {10.1007/978-3-642-02652-2\_14},
timestamp = {Tue, 14 May 2019 10:00:36 +0200},
biburl = {https://dblp.org/rec/conf/spin/LimLR09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/LalR08,
author = {Akash Lal and
Thomas W. Reps},
editor = {Aarti Gupta and
Sharad Malik},
title = {Reducing Concurrent Analysis Under a Context Bound to Sequential Analysis},
booktitle = {Computer Aided Verification, 20th International Conference, {CAV}
2008, Princeton, NJ, USA, July 7-14, 2008, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5123},
pages = {37--51},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-70545-1\_7},
doi = {10.1007/978-3-540-70545-1\_7},
timestamp = {Sat, 30 Sep 2023 09:35:55 +0200},
biburl = {https://dblp.org/rec/conf/cav/LalR08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sas/LalR08,
author = {Akash Lal and
Thomas W. Reps},
editor = {Mar{\'{\i}}a Alpuente and
Germ{\'{a}}n Vidal},
title = {Solving Multiple Dataflow Queries Using WPDSs},
booktitle = {Static Analysis, 15th International Symposium, {SAS} 2008, Valencia,
Spain, July 16-18, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5079},
pages = {93--109},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-69166-2\_7},
doi = {10.1007/978-3-540-69166-2\_7},
timestamp = {Wed, 25 Sep 2019 18:08:39 +0200},
biburl = {https://dblp.org/rec/conf/sas/LalR08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sas/KiddLR08,
author = {Nicholas Kidd and
Akash Lal and
Thomas W. Reps},
editor = {Mar{\'{\i}}a Alpuente and
Germ{\'{a}}n Vidal},
title = {Language Strength Reduction},
booktitle = {Static Analysis, 15th International Symposium, {SAS} 2008, Valencia,
Spain, July 16-18, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5079},
pages = {283--298},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-69166-2\_19},
doi = {10.1007/978-3-540-69166-2\_19},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sas/KiddLR08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/LalTKR08,
author = {Akash Lal and
Tayssir Touili and
Nicholas Kidd and
Thomas W. Reps},
editor = {C. R. Ramakrishnan and
Jakob Rehof},
title = {Interprocedural Analysis of Concurrent Programs Under a Context Bound},
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 = {282--298},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-78800-3\_20},
doi = {10.1007/978-3-540-78800-3\_20},
timestamp = {Mon, 03 Apr 2023 17:23:33 +0200},
biburl = {https://dblp.org/rec/conf/tacas/LalTKR08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/RepsLK07,
author = {Thomas W. Reps and
Akash Lal and
Nicholas Kidd},
editor = {Vikraman Arvind and
Sanjiva Prasad},
title = {Program Analysis Using Weighted Pushdown Systems},
booktitle = {{FSTTCS} 2007: Foundations of Software Technology and Theoretical
Computer Science, 27th International Conference, New Delhi, India,
December 12-14, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4855},
pages = {23--51},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-77050-3\_4},
doi = {10.1007/978-3-540-77050-3\_4},
timestamp = {Tue, 14 May 2019 10:00:51 +0200},
biburl = {https://dblp.org/rec/conf/fsttcs/RepsLK07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sas/LalKRT07,
author = {Akash Lal and
Nicholas Kidd and
Thomas W. Reps and
Tayssir Touili},
editor = {Hanne Riis Nielson and
Gilberto Fil{\'{e}}},
title = {Abstract Error Projection},
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 = {200--217},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-74061-2\_13},
doi = {10.1007/978-3-540-74061-2\_13},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/sas/LalKRT07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cor/FagesL06,
author = {Fran{\c{c}}ois Fages and
Akash Lal},
title = {A constraint programming approach to cutset problems},
journal = {Comput. Oper. Res.},
volume = {33},
number = {10},
pages = {2852--2865},
year = {2006},
url = {https://doi.org/10.1016/j.cor.2005.01.014},
doi = {10.1016/J.COR.2005.01.014},
timestamp = {Tue, 18 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/cor/FagesL06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/LalR06,
author = {Akash Lal and
Thomas W. Reps},
editor = {Thomas Ball and
Robert B. Jones},
title = {Improving Pushdown System Model Checking},
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 = {343--357},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11817963\_32},
doi = {10.1007/11817963\_32},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/cav/LalR06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esop/LalLPL06,
author = {Akash Lal and
Junghee Lim and
Marina Polishchuk and
Ben Liblit},
editor = {Peter Sestoft},
title = {Path Optimization in Programs and Its Application to Debugging},
booktitle = {Programming Languages and Systems, 15th European Symposium on Programming,
{ESOP} 2006, Held as Part of the Joint European Conferences on Theory
and Practice of Software, {ETAPS} 2006, Vienna, Austria, March 27-28,
2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3924},
pages = {246--263},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11693024\_17},
doi = {10.1007/11693024\_17},
timestamp = {Tue, 14 May 2019 10:00:41 +0200},
biburl = {https://dblp.org/rec/conf/esop/LalLPL06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/BalakrishnanRKLLMGYCT05,
author = {Gogul Balakrishnan and
Thomas W. Reps and
Nicholas Kidd and
Akash Lal and
Junghee Lim and
David Melski and
Radu Gruian and
Suan Hsi Yong and
Chi{-}Hua Chen and
Tim Teitelbaum},
editor = {Kousha Etessami and
Sriram K. Rajamani},
title = {Model Checking x86 Executables with CodeSurfer/x86 and {WPDS++}},
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 = {158--163},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11513988\_17},
doi = {10.1007/11513988\_17},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/cav/BalakrishnanRKLLMGYCT05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/LalRB05,
author = {Akash Lal and
Thomas W. Reps and
Gogul Balakrishnan},
editor = {Kousha Etessami and
Sriram K. Rajamani},
title = {Extended Weighted Pushdown Systems},
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 = {434--448},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11513988\_44},
doi = {10.1007/11513988\_44},
timestamp = {Wed, 03 Oct 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cav/LalRB05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifipTCS/GargLP04,
author = {Deepak Garg and
Akash Lal and
Sanjiva Prasad},
editor = {Jean{-}Jacques L{\'{e}}vy and
Ernst W. Mayr and
John C. Mitchell},
title = {Effective Chemistry for Synchrony and Asynchrony},
booktitle = {Exploring New Frontiers of Theoretical Informatics, {IFIP} 18th World
Computer Congress, {TC1} 3rd International Conference on Theoretical
Computer Science (TCS2004), 22-27 August 2004, Toulouse, France},
series = {{IFIP}},
volume = {155},
pages = {479--492},
publisher = {Kluwer/Springer},
year = {2004},
url = {https://doi.org/10.1007/1-4020-8141-3\_37},
doi = {10.1007/1-4020-8141-3\_37},
timestamp = {Fri, 27 Sep 2019 10:35:17 +0200},
biburl = {https://dblp.org/rec/conf/ifipTCS/GargLP04.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-15 20:46 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:
