@inproceedings(ABQ09, author = "Mohamed Faouzi Atig and Ahmed Bouajjani and Shaz Qadeer", year = "2009", title = "Context-Bounded Analysis for Concurrent Programs with Dynamic Creation of Threads", editor = "Stefan Kowalewski and Anna Philippou", booktitle = "TACAS", series = "Lecture Notes in Computer Science", volume = "5505", publisher = "Springer", pages = "107--123", url = "http://dx.doi.org/10.1007/978-3-642-00768-2_11", ) @inproceedings(BaslerMazzucchiWahlKroeningCAV09, author = "G{\'e}rard Basler and Michele Mazzucchi and Thomas Wahl and Daniel Kroening", year = "2009", title = "Symbolic Counter Abstraction for Concurrent Software", editor = "Bouajjani and Maler", pages = "64--78", url = "http://dx.doi.org/10.1007/978-3-642-02658-4_9", ) @proceedings(DBLP:conf/cav/2009, editor = "Ahmed Bouajjani and Oded Maler", year = "2009", title = "Computer Aided Verification, 21st International Conference, CAV 2009, Grenoble, France, June 26 - July 2, 2009. Proceedings", series = "Lecture Notes in Computer Science", volume = "5643", publisher = "Springer", url = "http://dx.doi.org/10.1007/978-3-642-02658-4", ) @inproceedings(CohenNamjoshiCAV08, author = "Ariel Cohen and Kedar S. Namjoshi", year = "2008", title = "Local Proofs for Linear-Time Properties of Concurrent Programs", editor = "Aarti Gupta and Sharad Malik", booktitle = "CAV", series = "Lecture Notes in Computer Science", volume = "5123", publisher = "Springer", pages = "149--161", url = "http://dx.doi.org/10.1007/978-3-540-70545-1_15", ) @inproceedings(EmersonKahlonCSL04, author = "E. Allen Emerson and Vineet Kahlon", year = "2004", title = "Parameterized Model Checking of Ring-Based Message Passing Systems", editor = "Jerzy Marcinkowski and Andrzej Tarlecki", booktitle = "CSL", series = "Lecture Notes in Computer Science", volume = "3210", publisher = "Springer", pages = "325--339", url = "http://dx.doi.org/10.1007/978-3-540-30124-0_26", ) @inproceedings(QadeerPOPL11, author = "Michael Emmi and Shaz Qadeer and Zvonimir Rakamaric", year = "2011", title = "Delay-bounded scheduling", editor = "Thomas Ball and Mooly Sagiv", booktitle = "POPL", publisher = "ACM", pages = "411--422", url = "http://doi.acm.org/10.1145/1926385.1926432", ) @inproceedings(Garg11, author = "Pranav Garg and P. Madhusudan", year = "2011", title = "Compositionality Entails Sequentializability", editor = "Parosh Aziz Abdulla and K. Rustan M. Leino", booktitle = "TACAS", series = "Lecture Notes in Computer Science", volume = "6605", publisher = "Springer", pages = "26--40", url = "http://dx.doi.org/10.1007/978-3-642-19835-9_4", ) @inproceedings(ZvonimirSPIN, author = "Naghmeh Ghafari and Alan J. Hu and Zvonimir Rakamaric", year = "2010", title = "Context-Bounded Translations for Concurrent Software: An Empirical Evaluation", editor = "Jaco van de Pol and Michael Weber 0002", booktitle = "SPIN", series = "Lecture Notes in Computer Science", volume = "6349", publisher = "Springer", pages = "227--244", url = "http://dx.doi.org/10.1007/978-3-642-16164-3_17", ) @inproceedings(KestenMalerMarcusPnueliShahar97, author = "Yonit Kesten and Oded Maler and Monica Marcus and Amir Pnueli and Elad Shahar", year = "1997", title = "Symbolic Model Checking with Rich ssertional Languages", editor = "Orna Grumberg", booktitle = "CAV", series = "Lecture Notes in Computer Science", volume = "1254", publisher = "Springer", pages = "424--435", ) @inproceedings(KPSZ02, author = "Yonit Kesten and Amir Pnueli and Elad Shahar and Lenore D. Zuck", year = "2002", title = "Network Invariants in Action", editor = "Lubos Brim and Petr Jancar and Mojm\'{\i }r Kret\'{\i }nsk{\'y} and Anton\'{\i }n Kucera", booktitle = "CONCUR", series = "Lecture Notes in Computer Science", volume = "2421", publisher = "Springer", pages = "101--115", url = "http://dx.doi.org/10.1007/3-540-45694-5_8", ) @inproceedings(LaTorreMadhusudanParlatoPLDI09, author = "Salvatore {La Torre} and P. Madhusudan and Gennaro Parlato", year = "2009", title = "Analyzing recursive programs using a fixed-point calculus", editor = "Michael Hind and Amer Diwan", booktitle = "PLDI", publisher = "ACM", pages = "211--222", url = "http://doi.acm.org/10.1145/1542476.1542500", ) @inproceedings(LMPCAV09, author = "Salvatore {La Torre} and P. Madhusudan and Gennaro Parlato", year = "2009", title = "Reducing Context-Bounded Concurrent Reachability to Sequential Reachability", editor = "Bouajjani and Maler", pages = "477--492", url = "http://dx.doi.org/10.1007/978-3-642-02658-4_36", ) @inproceedings(CAV10, author = "Salvatore {La Torre} and P. Madhusudan and Gennaro Parlato", year = "2010", title = "Model-Checking Parameterized Concurrent Programs Using Linear Interfaces", editor = "Tayssir Touili and Byron Cook and Paul Jackson", booktitle = "CAV", series = "Lecture Notes in Computer Science", volume = "6174", publisher = "Springer", pages = "629--644", url = "http://dx.doi.org/10.1007/978-3-642-14295-6_54", ) @inproceedings(ZvonimirCAV09, author = "Shuvendu K. Lahiri and Shaz Qadeer and Zvonimir Rakamaric", year = "2009", title = "Static and Precise Detection of Concurrency Errors in Systems Code Using {SMT} Solvers", editor = "Bouajjani and Maler", pages = "509--524", url = "http://dx.doi.org/10.1007/978-3-642-02658-4_38", ) @article(LalReps, author = "Akash Lal and Thomas W. Reps", year = "2009", title = "Reducing concurrent analysis under a context bound to sequential analysis", journal = "Formal Methods in System Design", volume = "35", number = "1", pages = "73--97", url = "http://dx.doi.org/10.1007/s10703-009-0078-9", ) @inproceedings(MusuvathiQadeerPLDI07, author = "Madanlal Musuvathi and Shaz Qadeer", year = "2007", title = "Iterative context bounding for systematic testing of multithreaded programs", editor = "Jeanne Ferrante and Kathryn S. McKinley", booktitle = "PLDI", publisher = "ACM", pages = "446--455", url = "http://doi.acm.org/10.1145/1250734.1250785", ) @inproceedings(CHESS, author = "Madanlal Musuvathi and Shaz Qadeer and Thomas Ball and G{\'e}rard Basler and Piramanayagam Arumuga Nainar and Iulian Neamtiu", year = "2008", title = "Finding and Reproducing Heisenbugs in Concurrent Programs", editor = "Richard Draves and Robbert van Renesse", booktitle = "OSDI", publisher = "USENIX Association", pages = "267--280", url = "http://www.usenix.org/events/osdi08/tech/full_papers/musuvathi/musuvathi.pdf", ) @inproceedings(PnueliXuZuckCAV02, author = "Amir Pnueli and Jessie Xu and Lenore D. Zuck", year = "2002", title = "Liveness with (0, 1, infty)-Counter Abstraction", editor = "Ed Brinksma and Kim Guldstrand Larsen", booktitle = "CAV", series = "Lecture Notes in Computer Science", volume = "2404", publisher = "Springer", pages = "107--122", url = "http://dx.doi.org/10.1007/3-540-45657-0_9", ) @inproceedings(QadeerRehof, author = "Shaz Qadeer and Jakob Rehof", year = "2005", title = "Context-Bounded Model Checking of Concurrent Software", editor = "Nicolas Halbwachs and Lenore D. Zuck", booktitle = "TACAS", series = "Lecture Notes in Computer Science", volume = "3440", publisher = "Springer", pages = "93--107", url = "http://dx.doi.org/10.1007/978-3-540-31980-1_7", ) @inproceedings(QadeerWu, author = "Shaz Qadeer and Dinghao Wu", year = "2004", title = "KISS: keep it simple and sequential", editor = "William Pugh and Craig Chambers", booktitle = "PLDI", publisher = "ACM", pages = "14--24", url = "http://doi.acm.org/10.1145/996841.996845", ) @inproceedings(SES08, author = "Dejvuth Suwimonteerabuth and Javier Esparza and Stefan Schwoon", year = "2008", title = "Symbolic Context-Bounded Analysis of Multithreaded Java Programs", editor = "Klaus Havelund and Rupak Majumdar and Jens Palsberg", booktitle = "SPIN", series = "Lecture Notes in Computer Science", volume = "5156", publisher = "Springer", pages = "270--287", url = "http://dx.doi.org/10.1007/978-3-540-85114-1_19", )