Fetching the paper…
Reading the bibliography…
Implementing bug-free concurrent programs is a challenging task in modern software development.
Flow analysis and optimization of LISP-like structures. In POPL . Association for Computing Machinery, 244–256
Neil D Jones and Steven S Muchnick. 1979 · 1979
Earlier work this paper cites.
RacerX: effective, static detection of race conditions and deadlocks. In SOSP . ACM, 237–252
Dawson R. Engler and Ken Ashcraft. 2003 · 2003
Earlier work this paper cites.
Test input generation with Java PathFinder. In ISSTA . ACM, 97–107
Willem Visser, Corina S. Pasareanu, and Sarfraz Khurshid. 2004 · 2004
Earlier work this paper cites.
Dynamic partial-order reduction for model checking software. In PLDI . ACM, 110–121
Cormac Flanagan and Patrice Godefroid. 2005 · 2005
Earlier work this paper cites.
Java Concurrency in Practice
Brian Goetz, Tim Peierls, Joshua Bloch, Joseph Bowbeer, David Holmes, and Doug Lea. 2006 · 2006
Earlier work this paper cites.
Effective static race detection for Java. In PLDI . ACM, 308–319
Mayur Naik, Alex Aiken, and John Whaley. 2006 · 2006
Earlier work this paper cites.
Healing Data Races On-the-Fly. In Proceedings of the 2007 ACM Workshop on Parallel and Distributed Systems: Testing and Debugging . ACM, 54–64
Bohuslav Krena, Zdenek Letko, Rachel Tzoref, Shmuel Ur, and Tomáš Vojnar. 2007 · 2007
Earlier work this paper cites.
Using Static Analysis to Find Bugs
Nathaniel Ayewah, David Hovemeyer, J. David Morgenthaler, John Penix, and William Pugh. 2008 · 2008
Earlier work this paper cites.
The art of multiprocessor programming
Maurice Herlihy and Nir Shavit. 2008 · 2008
Earlier work this paper cites.
Learning from mistakes: a comprehensive study on real world concurrency bug characteristics. In ASPLOS . ACM, 329–339
Shan Lu, Soyeon Park, Eunsoo Seo, and Yuanyuan Zhou. 2008 · 2008
Earlier work this paper cites.
Atom-Aid: Detecting and Surviving Atomicity Violations. In ISCA . IEEE Computer Society, 277–288
Brandon Lucia, Joseph Devietti, Karin Strauss, and Luis Ceze. 2008 · 2008
Earlier work this paper cites.
Compositional shape analysis by means of bi-abduction. In POPL . ACM, 289–300
Cristiano Calcagno, Dino Distefano, Peter W. O’Hearn, and Hongseok Yang. 2009 · 2009
Earlier work this paper cites.
FastTrack: efficient and precise dynamic race detection. In PLDI . ACM, 121–133
Cormac Flanagan and Stephen N. Freund. 2009 · 2009
Earlier work this paper cites.
A Concurrency Testing Tool and Its Plug-Ins for Dynamic Analysis and Runtime Healing
Bohuslav Křena, Zdeněk Letko, Yarden Nir-Buchbinder, Rachel Tzoref-Brill, Shmuel Ur, and Tomáš Vojnar. 2009 · 2009
Earlier work this paper cites.
Effective static deadlock detection. In ICSE . IEEE, 386–396
Mayur Naik, Chang-Seo Park, Koushik Sen, and David Gay. 2009 · 2009
Earlier work this paper cites.
ThreadSanitizer: data race detection in practice
Konstantin Serebryany and Timur Iskhodzhanov. 2009 · 2009
Earlier work this paper cites.
Automatically finding patches using genetic programming. In ICSE . IEEE, 364–374
Westley Weimer, ThanhVu Nguyen, Claire Le Goues, and Stephanie Forrest. 2009 · 2009
Earlier work this paper cites.
A few billion lines of code later: using static analysis to find bugs in the real world
Al Bessey, Ken Block, Benjamin Chelf, Andy Chou, Bryan Fulton, Seth Hallem, Charles-Henri Gros, Asya Kamsky, Scott McPeak, and Dawson R. Engler. 2010 · 2010
Earlier work this paper cites.
The Pecan Benchmarks
2011 · 2011
Cited alongside, same era.
Automated atomicity-violation fixing. In PLDI . ACM, 389–400
Guoliang Jin, Linhai Song, Wei Zhang, Shan Lu, and Ben Liblit. 2011 · 2011
Cited alongside, same era.
Execution privatization for scheduler-oblivious concurrent programs. In OOPSLA . ACM, 737–752
Jeff Huang and Charles Zhang. 2012 · 2012
Cited alongside, same era.
Automated Concurrency-Bug Fixing. In OSDI . USENIX Association, 221–236
Guoliang Jin, Wei Zhang, and Dongdong Deng. 2012 · 2012
Cited alongside, same era.
Axis: Automatically fixing atomicity violations through solving control constraints. In ICSE . IEEE Computer Society, 299–309
Peng Liu and Charles Zhang. 2012 · 2012
Cited alongside, same era.
Modular and verified automatic program repair. In OOPSLA . ACM, 133–146
Francesco Logozzo and Thomas Ball. 2012 · 2012
Adaptively Generating High Quality Fixes for Atomicity Violations. In ESEC/FSE 2017 . ACM, 303–314
Yan Cai, Lingwei Cao, and Jing Zhao. 2017 · 2017
Later among the works it cites.
The PFix Benchmarks
2018 · 2018
Later among the works it cites.
RacerD: Compositional Static Race Detection
Sam Blackshear, Nikos Gorogiannis, Peter W. O’Hearn, and Ilya Sergey. 2018 · 2018
Later among the works it cites.
PFix: fixing concurrency bugs based on memory access patterns. In ASE . ACM, 589–600
Huarui Lin, Zan Wang, Shuang Liu, Jun Sun, Dongdi Zhang, and Guangning Wei. 2018 · 2018
Later among the works it cites.
Symbolic execution with existential second-order constraints. In ESEC / SIGSOFT FSE . ACM, 389–399
Sergey Mechtaev, Alberto Griggio, Alessandro Cimatti, and Abhik Roychoudhury. 2018 · 2018
Later among the works it cites.
Lessons from Building Static Analysis Tools at Google
Caitlin Sadowski, Edward Aftandilian, Alex Eagle, Liam Miller-Cushon, and Ciera Jaspan. 2018 · 2018
alphaXiv searches the wider corpus for related work and actual follow-ups.
alphaXiv is searching for related work…
Cited alongside, same era.
A Unified Approach for Localizing Non-deadlock Concurrency Bugs. In ICST . IEEE Computer Society, 51–60
Sangmin Park, Richard W. Vuduc, and Mary Jean Harrold. 2012 · 2012
Cited alongside, same era.
SemFix: program repair via semantic analysis. In ICSE . IEEE Computer Society, 772–781
Hoang Duong Thien Nguyen, Dawei Qi, Abhik Roychoudhury, and Satish Chandra. 2013 · 2013
Cited alongside, same era.
From the Trenches: Static Analysis in Industry
Andy Chou. 2014 · 2014
Cited alongside, same era.
Maximal sound predictive race detection with control flow abstraction. In PLDI . ACM, 337–348
Jeff Huang, Patrick O’Neil Meredith, and Grigore Rosu. 2014 · 2014
Cited alongside, same era.
C/C++ Thread Safety Analysis. In SCAM . IEEE, 41–46
DeLesley Hutchins, Aaron Ballman, and Dean Sutherland. 2014 · 2014
Cited alongside, same era.
Grail: context-aware fixing of concurrency bugs. In FSE . ACM, 318–329
Peng Liu, Omer Tripp, and Charles Zhang. 2014 · 2014
Cited alongside, same era.
Later among the works it cites.
Static Automated Program Repair for Heap Properties. In ICSE . ACM, 151–162
Rijnard van Tonder and Claire Le Goues. 2018 · 2018
Later among the works it cites.
Phoenix: automated data-driven synthesis of repairs for static analysis violations. In ESEC / SIGSOFT FSE . ACM, 613–624
Rohan Bavishi, Hiroaki Yoshida, and Mukul R. Prasad. 2019 · 2019
Later among the works it cites.
Scaling static analyses at Facebook
Dino Distefano, Manuel Fähndrich, Francesco Logozzo, and Peter W. O’Hearn. 2019 · 2019
Later among the works it cites.
A True Positives Theorem for a Static Race Detector
Nikos Gorogiannis, Peter W. O’Hearn, and Ilya Sergey. 2019 · 2019
Later among the works it cites.
Automated program repair
Claire Le Goues, Michael Pradel, and Abhik Roychoudhury. 2019 · 2019
Later among the works it cites.
Structuring the synthesis of heap-manipulating programs
Nadia Polikarpova and Ilya Sergey. 2019 · 2019
Later among the works it cites.
A Compositional Deadlock Detector for Android Java
James Brotherston, Paul Brunet, Nikos Gorogiannis, and Max Kanovich. 2020 · 2020
Later among the works it cites.
Concise Read-Only Specifications for Better Synthesis of Programs with Pointers. In ESOP (LNCS, Vol. 12075) . Springer, 141–168
Andreea Costea, Amy Zhu, Nadia Polikarpova, and Ilya Sergey. 2020 · 2020
Later among the works it cites.
Hippodrome
2021 · 2021
Closest in time.
Hippodrome
2021 · 2021
Closest in time.
When Threads Meet Events: Efficient and Precise Static Race Detection with Origins. In PLDI . ACM, 725–739
Bozhen Liu, Peiming Liu, Yanze Li, Chia-Che Tsai, Dilma Da Silva, and Jeff Huang. 2021 · 2021
Closest in time.
Automated Repair of Heap-Manipulating Programs Using Deductive Synthesis. In VMCAI (LNCS, Vol. 12597) . Springer, 376–400
Thanh-Toan Nguyen, Quang-Trung Ta, Ilya Sergey, and Wei-Ngan Chin. 2021 · 2021
Closest in time.