default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Gogul Balakrishnan
@inproceedings{DBLP:conf/icml/KanadeMBS20,
author = {Aditya Kanade and
Petros Maniatis and
Gogul Balakrishnan and
Kensen Shi},
title = {Learning and Evaluating Contextual Embedding of Source Code},
booktitle = {Proceedings of the 37th International Conference on Machine Learning,
{ICML} 2020, 13-18 July 2020, Virtual Event},
series = {Proceedings of Machine Learning Research},
volume = {119},
pages = {5110--5121},
publisher = {{PMLR}},
year = {2020},
url = {http://proceedings.mlr.press/v119/kanade20a.html},
timestamp = {Tue, 15 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icml/KanadeMBS20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2001-00059,
author = {Aditya Kanade and
Petros Maniatis and
Gogul Balakrishnan and
Kensen Shi},
title = {Pre-trained Contextual Embedding of Source Code},
journal = {CoRR},
volume = {abs/2001.00059},
year = {2020},
url = {http://arxiv.org/abs/2001.00059},
eprinttype = {arXiv},
eprint = {2001.00059},
timestamp = {Fri, 10 Jan 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2001-00059.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/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/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: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}
}
@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/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}
}
@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/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/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}
}
@article{DBLP:journals/toplas/BalakrishnanR10,
author = {Gogul Balakrishnan and
Thomas W. Reps},
title = {{WYSINWYX:} What you see is not what you eXecute},
journal = {{ACM} Trans. Program. Lang. Syst.},
volume = {32},
number = {6},
pages = {23:1--23:84},
year = {2010},
url = {https://doi.org/10.1145/1749608.1749612},
doi = {10.1145/1749608.1749612},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/toplas/BalakrishnanR10.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/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/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/cc/RepsB08,
author = {Thomas W. Reps and
Gogul Balakrishnan},
editor = {Laurie J. Hendren},
title = {Improved Memory-Access Analysis for x86 Executables},
booktitle = {Compiler Construction, 17th International Conference, {CC} 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 = {4959},
pages = {16--35},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-78791-4\_2},
doi = {10.1007/978-3-540-78791-4\_2},
timestamp = {Tue, 14 May 2019 10:00:48 +0200},
biburl = {https://dblp.org/rec/conf/cc/RepsB08.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/sefm/BalakrishnanG08,
author = {Gogul Balakrishnan and
Malay K. Ganai},
editor = {Antonio Cerone and
Stefan Gruner},
title = {{PED:} Proof-Guided Error Diagnosis by Triangulation of Program Error
Causes},
booktitle = {Sixth {IEEE} International Conference on Software Engineering and
Formal Methods, {SEFM} 2008, Cape Town, South Africa, 10-14 November
2008},
pages = {268--278},
publisher = {{IEEE} Computer Society},
year = {2008},
url = {https://doi.org/10.1109/SEFM.2008.35},
doi = {10.1109/SEFM.2008.35},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sefm/BalakrishnanG08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/BalakrishnanR08,
author = {Gogul Balakrishnan and
Thomas W. Reps},
editor = {C. R. Ramakrishnan and
Jakob Rehof},
title = {Analyzing Stripped Device-Driver Executables},
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 = {124--140},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-78800-3\_10},
doi = {10.1007/978-3-540-78800-3\_10},
timestamp = {Mon, 03 Apr 2023 17:23:33 +0200},
biburl = {https://dblp.org/rec/conf/tacas/BalakrishnanR08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vmcai/BalakrishnanR07,
author = {Gogul Balakrishnan and
Thomas W. Reps},
editor = {Byron Cook and
Andreas Podelski},
title = {{DIVINE:} DIscovering Variables {IN} Executables},
booktitle = {Verification, Model Checking, and Abstract Interpretation, 8th International
Conference, {VMCAI} 2007, Nice, France, January 14-16, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4349},
pages = {1--28},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-69738-1\_1},
doi = {10.1007/978-3-540-69738-1\_1},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/vmcai/BalakrishnanR07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:series/ais/RepsBLT07,
author = {Thomas W. Reps and
Gogul Balakrishnan and
Junghee Lim and
Tim Teitelbaum},
editor = {Mihai Christodorescu and
Somesh Jha and
Douglas Maughan and
Dawn Song and
Cliff Wang},
title = {A Next-Generation Platform for Analyzing Executables},
booktitle = {Malware Detection},
series = {Advances in Information Security},
volume = {27},
pages = {43--61},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-0-387-44599-1\_3},
doi = {10.1007/978-0-387-44599-1\_3},
timestamp = {Tue, 16 May 2017 14:24:25 +0200},
biburl = {https://dblp.org/rec/series/ais/RepsBLT07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pepm/RepsBL06,
author = {Thomas W. Reps and
Gogul Balakrishnan and
Junghee Lim},
editor = {John Hatcliff and
Frank Tip},
title = {Intermediate-representation recovery from low-level code},
booktitle = {Proceedings of the 2006 {ACM} {SIGPLAN} Workshop on Partial Evaluation
and Semantics-based Program Manipulation, 2006, Charleston, South
Carolina, USA, January 9-10, 2006},
pages = {100--111},
publisher = {{ACM}},
year = {2006},
url = {https://doi.org/10.1145/1111542.1111560},
doi = {10.1145/1111542.1111560},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pepm/RepsBL06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sas/BalakrishnanR06,
author = {Gogul Balakrishnan and
Thomas W. Reps},
editor = {Kwangkeun Yi},
title = {Recency-Abstraction for Heap-Allocated Storage},
booktitle = {Static Analysis, 13th International Symposium, {SAS} 2006, Seoul,
Korea, August 29-31, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4134},
pages = {221--239},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11823230\_15},
doi = {10.1007/11823230\_15},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/sas/BalakrishnanR06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aplas/RepsBLT05,
author = {Thomas W. Reps and
Gogul Balakrishnan and
Junghee Lim and
Tim Teitelbaum},
editor = {Kwangkeun Yi},
title = {A Next-Generation Platform for Analyzing Executables},
booktitle = {Programming Languages and Systems, Third Asian Symposium, {APLAS}
2005, Tsukuba, Japan, November 2-5, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3780},
pages = {212--229},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11575467\_15},
doi = {10.1007/11575467\_15},
timestamp = {Tue, 14 May 2019 10:00:41 +0200},
biburl = {https://dblp.org/rec/conf/aplas/RepsBLT05.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/cc/BalakrishnanGRT05,
author = {Gogul Balakrishnan and
Radu Gruian and
Thomas W. Reps and
Tim Teitelbaum},
editor = {Rastislav Bod{\'{\i}}k},
title = {CodeSurfer/x86-A Platform for Analyzing x86 Executables},
booktitle = {Compiler Construction, 14th International Conference, {CC} 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 = {3443},
pages = {250--254},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/978-3-540-31985-6\_19},
doi = {10.1007/978-3-540-31985-6\_19},
timestamp = {Tue, 14 May 2019 10:00:48 +0200},
biburl = {https://dblp.org/rec/conf/cc/BalakrishnanGRT05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vstte/BalakrishnanRMT05,
author = {Gogul Balakrishnan and
Thomas W. Reps and
David Melski and
Tim Teitelbaum},
editor = {Bertrand Meyer and
Jim Woodcock},
title = {{WYSINWYX:} What You See Is Not What You eXecute},
booktitle = {Verified Software: Theories, Tools, Experiments, First {IFIP} {TC}
2/WG 2.3 Conference, {VSTTE} 2005, Zurich, Switzerland, October 10-13,
2005, Revised Selected Papers and Discussions},
series = {Lecture Notes in Computer Science},
volume = {4171},
pages = {202--213},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/978-3-540-69149-5\_22},
doi = {10.1007/978-3-540-69149-5\_22},
timestamp = {Fri, 17 Feb 2023 09:02:02 +0100},
biburl = {https://dblp.org/rec/conf/vstte/BalakrishnanRMT05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cc/BalakrishnanR04,
author = {Gogul Balakrishnan and
Thomas W. Reps},
editor = {Evelyn Duesterwald},
title = {Analyzing Memory Accesses in x86 Executables},
booktitle = {Compiler Construction, 13th International Conference, {CC} 2004, Held
as Part of the Joint European Conferences on Theory and Practice of
Software, {ETAPS} 2004, Barcelona, Spain, March 29 - April 2, 2004,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2985},
pages = {5--23},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-24723-4\_2},
doi = {10.1007/978-3-540-24723-4\_2},
timestamp = {Tue, 14 May 2019 10:00:48 +0200},
biburl = {https://dblp.org/rec/conf/cc/BalakrishnanR04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
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-24 23:02 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:
