Grigory Fedyukovich
Title
Cited by
Cited by
Year
Interpolation-based function summaries in bounded model checking
O Sery, G Fedyukovich, N Sharygina
Haifa verification conference, 160-175, 2011
532011
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
452012
eVolCheck: incremental upgrade checker for C
G Fedyukovich, O Sery, N Sharygina
International Conference on Tools and Algorithms for the Construction and …, 2013
392013
FunFrog: bounded model checking with interpolation-based function summarization
O Sery, G Fedyukovich, N Sharygina
International Symposium on Automated Technology for Verification and …, 2012
312012
Automated discovery of simulation between programs
G Fedyukovich, A Gurfinkel, N Sharygina
Logic for Programming, Artificial Intelligence, and Reasoning, 606-621, 2015
292015
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
292013
Synchronizing Constrained Horn Clauses.
D Mordvinov, G Fedyukovich
LPAR, 338-355, 2017
232017
Sampling invariants from frequency distributions
G Fedyukovich, SJ Kaufman, R Bodík
2017 Formal Methods in Computer Aided Design (FMCAD), 100-107, 2017
212017
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
212014
Property directed equivalence via abstract simulation
G Fedyukovich, A Gurfinkel, N Sharygina
International Conference on Computer Aided Verification, 433-453, 2016
182016
Accelerating syntax-guided invariant synthesis
G Fedyukovich, R Bodík
International Conference on Tools and Algorithms for the Construction and …, 2018
172018
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
172017
A proof-sensitive approach for small propositional interpolants
L Alt, G Fedyukovich, AEJ Hyvärinen, N Sharygina
VSSTE, 1-18, 2015
162015
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
152019
HiFrog: SMT-based function summarization for software verification
L Alt, S Asadi, H Chockler, KE Mendoza, G Fedyukovich, AEJ Hyvärinen, ...
International Conference on Tools and Algorithms for the Construction and …, 2017
152017
Incremental verification of compiler optimizations
G Fedyukovich, A Gurfinkel, N Sharygina
NASA Formal Methods Symposium, 300-306, 2014
142014
Exploiting synchrony and symmetry in relational verification
L Pick, G Fedyukovich, A Gupta
International Conference on Computer Aided Verification, 164-182, 2018
132018
Quantified invariants via syntax-guided synthesis
G Fedyukovich, S Prabhu, K Madhukar, A Gupta
International Conference on Computer Aided Verification, 259-277, 2019
102019
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
92018
Symbolic detection of assertion dependencies for bounded model checking
G Fedyukovich, AC D’Iddio, AEJ Hyvärinen, N Sharygina
International Conference on Fundamental Approaches to Software Engineering …, 2015
92015
The system can't perform the operation now. Try again later.
Articles 1–20