I agree that this site is using cookies. You can find further informations here.
X
Fedyukovich, Grigory
5  results:
Articles (Online) X
Search for persons X
?
1

SMT-based verification of program changes through summary r..:

Asadi, Sepideh ; Blicha, Martin ; Hyvärinen, Antti E. J...
Formal Methods in System Design.  60 (2022)  3 - p. 350-380 , 2022
Link: https://doi.org/10.1007/..
 
?
2

Learning inductive invariants by sampling from frequency di..:

Fedyukovich, Grigory ; Kaufman, Samuel J. ; Bodík, Rastislav
Formal Methods in System Design.  56 (2020)  1-3 - p. 154-177 , 2020
Link: https://doi.org/10.1007/..
 
?
3

Exploiting partial variable assignment in interpolation-bas..:

Jančík, Pavel ; Kofroň, Jan ; Alt, Leonardo...
Formal Methods in System Design.  55 (2019)  1 - p. 33-71 , 2019
Link: https://doi.org/10.1007/..
 
?
4

Gradual synthesis for static parallelization of single-pass..:

Fedyukovich, Grigory ; Ahmad, Maaz Bin Safeer ; Bodik, Rastislav
ACM SIGPLAN Notices.  52 (2017)  6 - p. 572-585 , 2017
Link: https://doi.org/10.1145/..
 
?
5

Flexible SAT-based framework for incremental bounded upgrad..:

Fedyukovich, Grigory ; Sery, Ondrej ; Sharygina, Natasha
International Journal on Software Tools for Technology Transfer.  19 (2015)  5 - p. 517-534 , 2015
Link: https://doi.org/10.1007/..
 
1-5