| Reluplex: An efficient SMT solver for verifying deep neural networks G Katz, C Barrett, DL Dill, K Julian, MJ Kochenderfer Computer Aided Verification: 29th International Conference, CAV 2017 …, 2017 | 2336 | 2017 |
| Satisfiability Modulo Theories C Barrett, R Sebastiani, SA Seshia, C Tinelli Handbook of Satisfiability 185, 825-885, 2009 | 2175* | 2009 |
| Satisfiability Modulo Theories C Barrett, C Tinelli Handbook of Model Checking, 305-343, 2018 | 2137 | 2018 |
| CVC4 C Barrett, C Conway, M Deters, L Hadarean, D Jovanović, T King, ... Computer aided verification, 171-177, 2011 | 2128 | 2011 |
| The SMT-LIB standard: Version 2.0 C Barrett, A Stump, C Tinelli Proceedings of the 8th international workshop on satisfiability modulo …, 2010 | 1552 | 2010 |
| The satisfiability modulo theories library (SMT-LIB) C Barrett, A Stump, C Tinelli SMT-LIB. org 15, 18-52, 2010 | 830* | 2010 |
| The marabou framework for verification and analysis of deep neural networks G Katz, DA Huang, D Ibeling, K Julian, C Lazarus, R Lim, P Shah, ... Computer Aided Verification: 31st International Conference, CAV 2019, New …, 2019 | 662 | 2019 |
| 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 | 476 | 2022 |
| Algorithms for verifying deep neural networks C Liu, T Arnon, C Lazarus, C Strong, C Barrett, MJ Kochenderfer Foundations and Trends® in Optimization 4 (3-4), 244-404, 2021 | 465 | 2021 |
| CVC Lite: A new implementation of the cooperating validity checker: Category B C Barrett, S Berezin Computer Aided Verification: 16th International Conference, CAV 2004, Boston …, 2004 | 396 | 2004 |
| Flexgen: High-throughput generative inference of large language models with a single gpu Y Sheng, L Zheng, B Yuan, Z Li, M Ryabinin, B Chen, P Liang, C Ré, ... International Conference on Machine Learning, 31094-31116, 2023 | 281 | 2023 |
| CVC: A cooperating validity checker A Stump, CW Barrett, DL Dill Computer Aided Verification: 14th International Conference, CAV 2002 …, 2002 | 279 | 2002 |
| Validity checking for combinations of theories with equality C Barrett, D Dill, J Levitt Formal Methods in Computer-Aided Design: First International Conference …, 1996 | 277 | 1996 |
| A decision procedure for an extensional theory of arrays A Stump, CW Barrett, DL Dill, J Levitt Proceedings 16th Annual IEEE Symposium on Logic in Computer Science, 29-37, 2001 | 230 | 2001 |
| Checking satisfiability of first-order formulas by incremental translation to SAT CW Barrett, DL Dill, A Stump Computer Aided Verification: 14th International Conference, CAV 2002 …, 2002 | 228 | 2002 |
| H2o: Heavy-hitter oracle for efficient generative inference of large language models Z Zhang, Y Sheng, T Zhou, T Chen, L Zheng, R Cai, Z Song, Y Tian, C Ré, ... Advances in Neural Information Processing Systems 36, 34661-34710, 2023 | 202 | 2023 |
| A decision procedure for bit-vector arithmetic CW Barrett, DL Dill, JR Levitt Proceedings of the 35th Annual Design Automation Conference, 522-527, 1998 | 187 | 1998 |
| Counterexample-guided quantifier instantiation for synthesis in SMT A Reynolds, M Deters, V Kuncak, C Tinelli, C Barrett Computer Aided Verification: 27th International Conference, CAV 2015, San …, 2015 | 172 | 2015 |
| A DPLL(T) Theory Solver for a Theory of Strings and Regular Expressions T Liang, A Reynolds, C Tinelli, C Barrett, M Deters Computer Aided Verification: 26th International Conference, CAV 2014, Held …, 2014 | 169 | 2014 |
| SMT-COMP: Satisfiability modulo theories competition C Barrett, L De Moura, A Stump Computer Aided Verification: 17th International Conference, CAV 2005 …, 2005 | 163 | 2005 |
Cesare TinelliProfessor of Computer Science, The University of IowaVerified email at uiowa.edu