| cvc5: A Versatile and Industrial-Strength SMT Solver H Barbosa, C Barrett, M Brain, G Kremer, H Lachnitt, M Mann, ... International Conference on Tools and Algorithms for the Construction and …, 2022 | 447 | 2022 |
| Emptyheaded: A relational engine for graph processing CR Aberger, A Lamb, S Tu, A Nötzli, K Olukotun, C Ré ACM Transactions on Database Systems (TODS) 42 (4), 1-44, 2017 | 320 | 2017 |
| DBToaster: higher-order delta processing for dynamic, frequently fresh views C Koch, Y Ahmad, O Kennedy, M Nikolic, A Nötzli, D Lupei, A Shaikhha The VLDB Journal 23, 253-278, 2014 | 130 | 2014 |
| P4pktgen: Automated test case generation for p4 programs A Nötzli, J Khan, A Fingerhut, C Barrett, P Athanas Proceedings of the Symposium on SDN Research, 1-7, 2018 | 93 | 2018 |
| cvc4sy: Smart and Fast Term Enumeration for Syntax-Guided Synthesis A Reynolds, H Barbosa, A Nötzli, C Barrett, C Tinelli International Conference on Computer Aided Verification, 74-83, 2019 | 81 | 2019 |
| How to build static checking systems using orders of magnitude less code F Brown, A Nötzli, D Engler Proceedings of the Twenty-First International Conference on Architectural …, 2016 | 49 | 2016 |
| Towards verified, constant-time floating point operations M Andrysco, A Nötzli, F Brown, R Jhala, D Stefan Proceedings of the 2018 ACM SIGSAC Conference on Computer and Communications …, 2018 | 45 | 2018 |
| Syntax-guided rewrite rule enumeration for SMT solvers A Nötzli, A Reynolds, H Barbosa, A Niemetz, M Preiner, C Barrett, ... International Conference on Theory and Applications of Satisfiability …, 2019 | 36 | 2019 |
| LifeJacket: verifying precise floating-point optimizations in LLVM A Nötzli, F Brown Proceedings of the 5th ACM SIGPLAN International Workshop on State of the …, 2016 | 29 | 2016 |
| Flexible Proof Production in an Industrial-Strength SMT Solver H Barbosa, A Reynolds, G Kremer, H Lachnitt, A Niemetz, A Nötzli, ... Automated Reasoning: 11th International Joint Conference, IJCAR 2022, Haifa …, 2022 | 26 | 2022 |
| Towards a verified range analysis for JavaScript JITs F Brown, J Renner, A Nötzli, S Lerner, H Shacham, D Stefan Proceedings of the 41st ACM SIGPLAN Conference on Programming Language …, 2020 | 24 | 2020 |
| Automatic synthesis of out-of-core algorithms Y Klonatos, A Nötzli, A Spielmann, C Koch, V Kuncak Proceedings of the 2013 ACM SIGMOD International Conference on Management of …, 2013 | 19* | 2013 |
| High-level abstractions for simplifying extended string constraints in SMT A Reynolds, A Nötzli, C Barrett, C Tinelli International Conference on Computer Aided Verification, 23-42, 2019 | 18 | 2019 |
| Reductions for Strings and Regular Expressions Revisited. A Reynolds, A Nötzli, CW Barrett, C Tinelli FMCAD, 225-235, 2020 | 16 | 2020 |
| EmptyHeaded: boolean algebra based graph processing CR Aberger, A Nötzli, K Olukotun, C Ré ArXiv e-prints, 2015 | 16 | 2015 |
| Bit-precise reasoning via Int-blasting Y Zohar, A Irfan, M Mann, A Niemetz, A Nötzli, M Preiner, A Reynolds, ... Verification, Model Checking, and Abstract Interpretation: 23rd …, 2022 | 14 | 2022 |
| A decision procedure for string to code point conversion A Reynolds, A Nötzli, C Barrett, C Tinelli International Joint Conference on Automated Reasoning, 218-237, 2020 | 8 | 2020 |
| Even Faster Conflicts and Lazier Reductions for String Solvers A Nötzli, A Reynolds, H Barbosa, C Barrett, C Tinelli International Conference on Computer Aided Verification, 205-226, 2022 | 7 | 2022 |
| Rewrites for SMT solvers using syntax-guided enumeration A Reynolds, H Barbosa, A Niemetz, A Nötzli, M Preiner, C Barrett, ... SMT Workshop, 2018 | 6 | 2018 |
| CVC4SY for sygus-comp 2019 A Reynolds, H Barbosa, A Nötzli, C Barrett, C Tinelli arXiv preprint arXiv:1907.10175, 2019 | 4 | 2019 |
