Author of the publication

Soufflé: On Synthesis of Program Analyzers.

, , and . CAV (2), volume 9780 of Lecture Notes in Computer Science, page 422-430. Springer, (2016)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Scalable logic defined static analysis.. University College London, UK, (2019)British Library, EThOS.Efficient SMT-Based Network Fault Tolerance Verification., , , , and . FM, volume 14000 of Lecture Notes in Computer Science, page 92-100. Springer, (2023)Two concurrent data structures for efficient datalog query processing., , and . PPoPP, page 399-400. ACM, (2018)Reusable Formal Verification of DAG-based Consensus Protocols., , , , and . CoRR, (2024)Specializing parallel data structures for Datalog., , , and . Concurr. Comput. Pract. Exp., (2022)Brie: A Specialized Trie for Concurrent Datalog., , , and . PMAM@PPoPP, page 31-40. ACM, (2019)Building a Join Optimizer for Soufflé., , , , and . LOPSTR, volume 13474 of Lecture Notes in Computer Science, page 83-102. Springer, (2022)Exploring interpolants., and . FMCAD, page 69-76. IEEE, (2013)Automatic Rollback Suggestions for Incremental Datalog Evaluation., , , and . PADL, volume 13880 of Lecture Notes in Computer Science, page 295-312. Springer, (2023)Statically detecting data leakages in data science code., , and . SOAP@PLDI, page 16-22. ACM, (2022)