| Using lightweight formal methods to validate a key-value storage node in Amazon S3 J Bornholt, R Joshi, V Astrauskas, B Cully, B Kragl, S Markle, K Sauri, ... Proceedings of the ACM SIGOPS 28th Symposium on Operating Systems Principles …, 2021 | 56 | 2021 |
| Synchronizing the Asynchronous B Kragl, S Qadeer, TA Henzinger CONCUR 2018 (29th International Conference on Concurrency Theory), 2018 | 37 | 2018 |
| Inductive Sequentialization of Asynchronous Programs B Kragl, C Enea, TA Henzinger, SO Mutluergil, S Qadeer PLDI 2020 (41st ACM SIGPLAN Conference on Programming Language Design and …, 2020 | 33 | 2020 |
| Layered Concurrent Programs B Kragl, S Qadeer CAV 2018 (30th International Conference on Computer Aided Verification), 2018 | 31 | 2018 |
| Extensional Crisis and Proving Identity A Gupta, L Kovács, B Kragl, A Voronkov ATVA 2014 (12th International Symposium on Automated Technology for …, 2014 | 25 | 2014 |
| Tree Interpolation in Vampire R Blanc, A Gupta, L Kovács, B Kragl LPAR 2013 (19th International Conference on Logic for Programming …, 2013 | 23 | 2013 |
| Refinement for Structured Concurrent Programs B Kragl, S Qadeer, TA Henzinger CAV 2020 (32nd International Conference on Computer Aided Verification), 2020 | 13 | 2020 |
| Monitoring Event Frequencies T Ferrère, TA Henzinger, B Kragl CSL 2020 (28th EACSL Annual Conference on Computer Science Logic), 2020 | 9 | 2020 |
| The Civl Verifier B Kragl, S Qadeer FMCAD 2021 (Formal Methods in Computer-Aided Design), 2021 | 7 | 2021 |
| Faster Algorithms for Weighted Recursive State Machines K Chatterjee, B Kragl, S Mishra, A Pavlogiannis ESOP 2017 (26th European Symposium on Programming), 2017 | 3 | 2017 |
| Verifying Concurrent Programs: Refinement, Synchronization, Sequentialization B Kragl | 1 | 2020 |
| Verifikation Nebenläufiger Programme B Kragl Gesellschaft für Informatik eV, 2021 | | 2021 |
| 28th EACSL Annual Conference on Computer Science Logic (CSL 2020) V Cortier, A Dawar, A Jeż, D Kesner, E Bonelli, A Viso, I Tzameret, ... Schloss Dagstuhl-Leibniz-Zentrum für Informatik GmbH, 2020 | | 2020 |
| Reasoning in first-order theories with extensionality B Kragl | | 2014 |
Shaz QadeerSoftware Engineer, MetaVerified email at meta.com
