| Interpolation-based function summaries in bounded model checking O Sery, G Fedyukovich, N Sharygina Haifa verification conference, 160-175, 2011 | 85 | 2011 |
| Quantified invariants via syntax-guided synthesis G Fedyukovich, S Prabhu, K Madhukar, A Gupta International Conference on Computer Aided Verification, 259-277, 2019 | 83 | 2019 |
| Incremental upgrade checking by means of interpolation-based function summaries O Sery, G Fedyukovich, N Sharygina 2012 Formal Methods in Computer-Aided Design (FMCAD), 114-121, 2012 | 74 | 2012 |
| Solving constrained horn clauses using syntax and data G Fedyukovich, S Prabhu, K Madhukar, A Gupta 2018 Formal Methods in Computer Aided Design (FMCAD), 1-9, 2018 | 61 | 2018 |
| Accelerating syntax-guided invariant synthesis G Fedyukovich, R Bodík International Conference on Tools and Algorithms for the Construction and …, 2018 | 60 | 2018 |
| Sampling invariants from frequency distributions G Fedyukovich, SJ Kaufman, R Bodík 2017 Formal Methods in Computer Aided Design (FMCAD), 100-107, 2017 | 60 | 2017 |
| Gradual synthesis for static parallelization of single-pass array-processing programs G Fedyukovich, MBS Ahmad, R Bodik ACM SIGPLAN Notices 52 (6), 572-585, 2017 | 58 | 2017 |
| TOOLympics 2019: An overview of competitions in formal methods E Bartocci, D Beyer, PE Black, G Fedyukovich, H Garavel, A Hartmanns, ... International Conference on Tools and Algorithms for the Construction and …, 2019 | 54 | 2019 |
| eVolCheck: Incremental upgrade checker for C G Fedyukovich, O Sery, N Sharygina International Conference on Tools and Algorithms for the Construction and …, 2013 | 49 | 2013 |
| Lemma synthesis for automating induction over algebraic data types W Yang, G Fedyukovich, A Gupta International Conference on Principles and Practice of Constraint …, 2019 | 47 | 2019 |
| Validity-guided synthesis of reactive systems from assume-guarantee contracts A Katis, G Fedyukovich, H Guo, A Gacek, J Backes, A Gurfinkel, ... International Conference on Tools and Algorithms for the Construction and …, 2018 | 46 | 2018 |
| FunFrog: Bounded model checking with interpolation-based function summarization O Sery, G Fedyukovich, N Sharygina International Symposium on Automated Technology for Verification and …, 2012 | 41 | 2012 |
| PeRIPLO: A framework for producing effective interpolants in SAT-based software verification SF Rollini, L Alt, G Fedyukovich, AEJ Hyvärinen, N Sharygina International Conference on Logic for Programming Artificial Intelligence …, 2013 | 40 | 2013 |
| Automated discovery of simulation between programs G Fedyukovich, A Gurfinkel, N Sharygina Logic for Programming, Artificial Intelligence, and Reasoning, 606-621, 2015 | 39 | 2015 |
| Syntax-guided termination analysis G Fedyukovich, Y Zhang, A Gupta International Conference on Computer Aided Verification, 124-143, 2018 | 38 | 2018 |
| Synchronizing Constrained Horn Clauses. D Mordvinov, G Fedyukovich LPAR, 338-355, 2017 | 36 | 2017 |
| HiFrog: SMT-based function summarization for software verification L Alt, S Asadi, H Chockler, K Even Mendoza, G Fedyukovich, ... International Conference on Tools and Algorithms for the Construction and …, 2017 | 36 | 2017 |
| Property directed equivalence via abstract simulation G Fedyukovich, A Gurfinkel, N Sharygina International Conference on Computer Aided Verification, 433-453, 2016 | 36 | 2016 |
| Beyond the elementary representations of program invariants over algebraic data types Y Kostyukov, D Mordvinov, G Fedyukovich Proceedings of the 42nd ACM SIGPLAN International Conference on Programming …, 2021 | 35 | 2021 |
| Verification-aided regression testing F Pastore, L Mariani, AEJ Hyvärinen, G Fedyukovich, N Sharygina, ... Proceedings of the 2014 International Symposium on Software Testing and …, 2014 | 35 | 2014 |
Natasha SharyginaProfessor of Computer Science, Universita della Svizzera Italiana (USI), Lugano, SwitzerlandVerified email at usi.ch
