Bernhard Kragl
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
10
Venues
9
Active years
2013–2021
Best venue rank
A*
Where they publish
Papers
10 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2021 | FMCAD | The Civl Verifier. | Bernhard Kragl, Shaz Qadeer |
| 2021 | SOSP | Using Lightweight Formal Methods to Validate a Key-Value Storage Node in Amazon S3. | James Bornholt, Rajeev Joshi, Vytautas Astrauskas, Brendan Cully, Bernhard Kragl, Seth Markle, Kyle Sauri, Drew Schleit, Grant Slatton, Serdar Tasiran, Jacob Van Geffen, Andrew Warfield |
| 2020 | CAV | Refinement for Structured Concurrent Programs. | Bernhard Kragl, Shaz Qadeer, Thomas A. Henzinger |
| 2020 | CSL | Monitoring Event Frequencies. | Thomas Ferrre, Thomas A. Henzinger, Bernhard Kragl |
| 2020 | PLDI | Inductive sequentialization of asynchronous programs. | Bernhard Kragl, Constantin Enea, Thomas A. Henzinger, Suha Orhun Mutluergil, Shaz Qadeer |
| 2018 | CAV | Layered Concurrent Programs. | Bernhard Kragl, Shaz Qadeer |
| 2018 | CONCUR | Synchronizing the Asynchronous. | Bernhard Kragl, Shaz Qadeer, Thomas A. Henzinger |
| 2017 | ESOP | Faster Algorithms for Weighted Recursive State Machines. | Krishnendu Chatterjee, Bernhard Kragl, Samarth Mishra, Andreas Pavlogiannis |
| 2014 | ATVA | Extensional Crisis and Proving Identity. | Ashutosh Gupta, Laura Kovcs, Bernhard Kragl, Andrei Voronkov |
| 2013 | LPAR | Tree Interpolation in Vampire. | Rgis Blanc, Ashutosh Gupta, Laura Kovcs, Bernhard Kragl |