Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDGrigory Fedyukovich
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
[c59]Konstantin Britikov
, Ilia Zlatkin, Grigory Fedyukovich, Leonardo Alt, Natasha Sharygina:
SolTG: A CHC-Based Solidity Test Case Generator. CAV (1) 2024: 466-479- [c58]Sumanth Prabhu, Grigory Fedyukovich, Deepak D'Souza:
Maximal Quantified Precondition Synthesis for Linear Array Loops. ESOP (2) 2024: 245-274 - [c57]Sumanth Prabhu, Deepak D'Souza, Supratik Chakraborty, R. Venkatesh, Grigory Fedyukovich:
Weakest Precondition Inference for Non-Deterministic Linear Array Programs. TACAS (2) 2024: 175-195 - 2023
- [c56]Yurii Kostyukov, Dmitry Mordvinov, Grigory Fedyukovich:
Collaborative Inference of Combined Invariants. LPAR 2023: 288-305 - [c55]Ameer Hamza, Grigory Fedyukovich:
Lockstep Composition for Unbalanced Loops. TACAS (2) 2023: 270-288 - [c54]Lucas Zavalía, Lidiia Chernigovskaia, Grigory Fedyukovich:
Solving Constrained Horn Clauses over Algebraic Data Types. VMCAI 2023: 341-365 - 2022
- [j4]Sepideh Asadi, Martin Blicha, Antti E. J. Hyvärinen, Grigory Fedyukovich, Natasha Sharygina:
SMT-based verification of program changes through summary repair. Formal Methods Syst. Des. 60(3): 350-380 (2022) - [c53]Martin Blicha, Grigory Fedyukovich, Antti E. J. Hyvärinen, Natasha Sharygina:
Split Transition Power Abstraction for Unbounded Safety. FMCAD 2022: 349-358 - [c52]Ilia Zlatkin, Grigory Fedyukovich:
Horntinuum: Autonomous Testing using Constrained Horn Clauses. ASE 2022: 217:1 - [c51]Daniel Riley, Grigory Fedyukovich:
Multi-phase invariant synthesis. ESEC/SIGSOFT FSE 2022: 607-619 - [c50]Ilia Zlatkin, Grigory Fedyukovich:
Maximizing Branch Coverage with Constrained Horn Clauses. TACAS (2) 2022: 254-272 - [c49]Martin Blicha, Grigory Fedyukovich, Antti E. J. Hyvärinen, Natasha Sharygina:
Transition Power Abstractions for Deep Counterexample Detection. TACAS (1) 2022: 524-542 - 2021
- [c48]Yurii Kostyukov, Dmitry Mordvinov, Grigory Fedyukovich:
Beyond the elementary representations of program invariants over algebraic data types. PLDI 2021: 451-465 - [c47]Sumanth Prabhu S, Grigory Fedyukovich, Kumar Madhukar, Deepak D'Souza:
Specification synthesis with constrained Horn clauses. PLDI 2021: 1203-1217 - [c46]Grigory Fedyukovich, Gidon Ernst:
Bridging Arrays and ADTs in Recursive Proofs. TACAS (2) 2021: 24-42 - [c45]Lauren Pick, Grigory Fedyukovich, Aarti Gupta:
Unbounded Procedure Summaries from Bounded Environments. VMCAI 2021: 291-324 - [c44]Grigory Fedyukovich, Philipp Rümmer:
Competition Report: CHC-COMP-21. HCVS@ETAPS 2021: 91-108 - [i5]Yurii Kostyukov, Dmitry Mordvinov, Grigory Fedyukovich:
Beyond the Elementary Representations of Program Invariants over Algebraic Data Types. CoRR abs/2104.04463 (2021) - 2020
- [j3]Grigory Fedyukovich, Samuel J. Kaufman, Rastislav Bodík:
Learning inductive invariants by sampling from frequency distributions. Formal Methods Syst. Des. 56(1): 154-177 (2020) - [c43]Sepideh Asadi, Martin Blicha, Antti E. J. Hyvärinen, Grigory Fedyukovich, Natasha Sharygina:
Incremental Verification by SMT-based Summary Repair. FMCAD 2020: 77-82 - [c42]Lauren Pick, Grigory Fedyukovich, Aarti Gupta:
Automating Modular Verification of Secure Information Flow. FMCAD 2020: 158-168 - [c41]Hari Govind V. K., Grigory Fedyukovich, Arie Gurfinkel:
Word Level Property Directed Reachability. ICCAD 2020: 107:1-107:9 - [c40]Andreas Katis, Grigory Fedyukovich, Jeffrey Chen, David A. Greve, Sanjai Rayadurgam, Michael W. Whalen:
Synthesis of Infinite-State Systems with Random Behavior. ASE 2020: 250-261 - [c39]Sepideh Asadi, Martin Blicha, Antti E. J. Hyvärinen, Grigory Fedyukovich, Natasha Sharygina:
Farkas-Based Tree Interpolation. SAS 2020: 357-379 - [c38]Naoki Kobayashi, Grigory Fedyukovich, Aarti Gupta:
Fold/Unfold Transformations for Fixpoint Logic. TACAS (2) 2020: 195-214 - [c37]Hongce Zhang, Weikun Yang, Grigory Fedyukovich, Aarti Gupta, Sharad Malik:
Synthesizing Environment Invariants for Modular Hardware Verification. VMCAI 2020: 202-225 - [i4]Andreas Katis, Grigory Fedyukovich, Jeffrey Chen, David A. Greve, Sanjai Rayadurgam, Michael W. Whalen:
Synthesis of Infinite-State Systems with Random Behavior. CoRR abs/2009.12330 (2020)
2010 – 2019
- 2019
- [j2]Pavel Jancík, Jan Kofron, Leonardo Alt, Grigory Fedyukovich, Antti E. J. Hyvärinen, Natasha Sharygina:
Exploiting partial variable assignment in interpolation-based model checking. Formal Methods Syst. Des. 55(1): 33-71 (2019) - [c36]Grigory Fedyukovich, Sumanth Prabhu, Kumar Madhukar, Aarti Gupta:
Quantified Invariants via Syntax-Guided Synthesis. CAV (1) 2019: 259-277 - [c35]Grigory Fedyukovich, Aarti Gupta:
Functional Synthesis with Examples. CP 2019: 547-564 - [c34]Weikun Yang, Grigory Fedyukovich, Aarti Gupta:
Lemma Synthesis for Automating Induction over Algebraic Data Types. CP 2019: 600-617 - [c33]Grigory Fedyukovich:
The FMCAD 2019 Student Forum. FMCAD 2019: 1 - [c32]Dmitry Mordvinov, Grigory Fedyukovich:
Property Directed Inference of Relational Invariants. FMCAD 2019: 152-160 - [c31]Ezio Bartocci, Dirk Beyer, Paul E. Black, Grigory Fedyukovich, Hubert Garavel, Arnd Hartmanns, Marieke Huisman, Fabrice Kordon, Julian Nagele, Mihaela Sighireanu, Bernhard Steffen, Martin Suda, Geoff Sutcliffe, Tjark Weber, Akihisa Yamada:
TOOLympics 2019: An Overview of Competitions in Formal Methods. TACAS (3) 2019: 3-24 - [c30]Grigory Fedyukovich, Arie Gurfinkel, Aarti Gupta:
Lazy but Effective Functional Synthesis. VMCAI 2019: 92-113 - [e1]Emanuele De Angelis, Grigory Fedyukovich, Nikos Tzevelekos, Mattias Ulbrich:
Proceedings of the Sixth Workshop on Horn Clauses for Verification and Synthesis and Third Workshop on Program Equivalence and Relational Reasoning, HCVS/PERR@ETAPS 2019, Prague, Czech Republic, 6-7th April 2019. EPTCS 296, 2019 [contents] - 2018
- [c29]Grigory Fedyukovich, Yueling Zhang, Aarti Gupta:
Syntax-Guided Termination Analysis. CAV (1) 2018: 124-143 - [c28]Lauren Pick, Grigory Fedyukovich, Aarti Gupta:
Exploiting Synchrony and Symmetry in Relational Verification. CAV (1) 2018: 164-182 - [c27]Grigory Fedyukovich, Sumanth Prabhu, Kumar Madhukar, Aarti Gupta:
Solving Constrained Horn Clauses Using Syntax and Data. FMCAD 2018: 1-9 - [c26]Sepideh Asadi, Martin Blicha, Grigory Fedyukovich, Antti E. J. Hyvärinen, Karine Even-Mendoza, Natasha Sharygina, Hana Chockler:
Function Summarization Modulo Theories. LPAR 2018: 56-75 - [c25]Andreas Katis, Grigory Fedyukovich, Huajun Guo, Andrew Gacek, John Backes, Arie Gurfinkel, Michael W. Whalen:
Validity-Guided Synthesis of Reactive Systems from Assume-Guarantee Contracts. TACAS (2) 2018: 176-193 - [c24]Grigory Fedyukovich, Rastislav Bodík:
Accelerating Syntax-Guided Invariant Synthesis. TACAS (1) 2018: 251-269 - 2017
- [j1]Grigory Fedyukovich, Ondrej Sery, Natasha Sharygina:
Flexible SAT-based framework for incremental bounded upgrade checking. Int. J. Softw. Tools Technol. Transf. 19(5): 517-534 (2017) - [c23]Grigory Fedyukovich, Samuel J. Kaufman, Rastislav Bodík:
Sampling invariants from frequency distributions. FMCAD 2017: 100-107 - [c22]Dmitry Mordvinov, Grigory Fedyukovich:
Synchronizing Constrained Horn Clauses. LPAR 2017: 338-355 - [c21]Grigory Fedyukovich, Maaz Bin Safeer Ahmad, Rastislav Bodík:
Gradual synthesis for static parallelization of single-pass array-processing programs. PLDI 2017: 572-585 - [c20]Antti E. J. Hyvärinen, Sepideh Asadi, Karine Even-Mendoza, Grigory Fedyukovich, Hana Chockler, Natasha Sharygina:
Theory Refinement for Program Verification. SAT 2017: 347-363 - [c19]Leonardo Alt, Sepideh Asadi, Hana Chockler, Karine Even-Mendoza, Grigory Fedyukovich, Antti E. J. Hyvärinen, Natasha Sharygina:
HiFrog: SMT-based Function Summarization for Software Verification. TACAS (2) 2017: 207-213 - [i3]Dmitry Mordvinov, Grigory Fedyukovich:
Verifying Safety of Functional Programs with Rosette/Unbound. CoRR abs/1704.04558 (2017) - [i2]Andreas Katis, Grigory Fedyukovich, Huajun Guo, Andrew Gacek, John Backes, Arie Gurfinkel, Michael W. Whalen:
Validity-Guided Synthesis of Reactive Systems from Assume-Guarantee Contracts. CoRR abs/1709.04986 (2017) - 2016
- [c18]Grigory Fedyukovich, Arie Gurfinkel, Natasha Sharygina:
Property Directed Equivalence via Abstract Simulation. CAV (2) 2016: 433-453 - [c17]Pavel Jancík, Leonardo Alt, Grigory Fedyukovich, Antti E. J. Hyvärinen, Jan Kofron, Natasha Sharygina:
PVAIR: Partial Variable Assignment InterpolatoR. FASE 2016: 419-434 - [c16]Grigory Fedyukovich, Rastislav Bodík:
Approaching Symbolic Parallelization by Synthesis of Recurrence Decompositions. SYNT@CAV 2016: 55-66 - [i1]Andreas Katis, Grigory Fedyukovich, Andrew Gacek, John D. Backes, Arie Gurfinkel, Michael W. Whalen:
Synthesis from Assume-Guarantee Contracts using Skolemized Proofs of Realizability. CoRR abs/1610.05867 (2016) - 2015
- [c15]Grigory Fedyukovich, Andrea Callia D'Iddio, Antti E. J. Hyvärinen, Natasha Sharygina:
Symbolic Detection of Assertion Dependencies for Bounded Model Checking. FASE 2015: 186-201 - [c14]Grigory Fedyukovich, Arie Gurfinkel, Natasha Sharygina:
Automated Discovery of Simulation Between Programs. LPAR 2015: 606-621 - [c13]Leonardo Alt, Grigory Fedyukovich, Antti E. J. Hyvärinen, Natasha Sharygina:
A Proof-Sensitive Approach for Small Propositional Interpolants. VSTTE 2015: 1-18 - [p4]Ondrej Sery, Grigory Fedyukovich, Natasha Sharygina:
Function Summarization-Based Bounded Model Checking. Validation of Evolving Software 2015: 37-53 - [p3]Ondrej Sery, Grigory Fedyukovich, Natasha Sharygina:
Incremental Upgrade Checking. Validation of Evolving Software 2015: 55-72 - [p2]Simone Fulvio Rollini, Leonardo Alt, Grigory Fedyukovich, Antti Eero Johannes Hyvärinen, Natasha Sharygina:
Optimizing Function Summaries Through Interpolation. Validation of Evolving Software 2015: 73-82 - [p1]Fabrizio Pastore, Leonardo Mariani, Antti Eero Johannes Hyvärinen, Grigory Fedyukovich, Natasha Sharygina, Stephan Sehestedt, Ali Muhammad:
Regression Checking of Changes in C Software. Validation of Evolving Software 2015: 185-207 - 2014
- [c12]Fabrizio Pastore, Leonardo Mariani, Antti Eero Johannes Hyvärinen, Grigory Fedyukovich, Natasha Sharygina, Stephan Sehestedt, Ali Muhammad:
Verification-aided regression testing. ISSTA 2014: 37-48 - [c11]Grigory Fedyukovich, Arie Gurfinkel, Natasha Sharygina:
Incremental Verification of Compiler Optimizations. NASA Formal Methods 2014: 300-306 - [c10]Grigory Fedyukovich, Natasha Sharygina:
Towards Completeness in Bounded Model Checking Through Automatic Recursion Depth Detection. SBMF 2014: 96-112 - 2013
- [c9]Hana Chockler, Giovanni Denaro, Meijia Ling, Grigory Fedyukovich, Antti Eero Johannes Hyvärinen, Leonardo Mariani, Ali Muhammad, Manuel Oriol, Ajitha Rajan, Ondrej Sery, Natasha Sharygina, Michael Tautschnig:
PINCETTE - Validating Changes and Upgrades in Networked Software. CSMR 2013: 461-464 - [c8]Grigory Fedyukovich, Antti E. J. Hyvärinen, Natasha Sharygina:
Interpolation-based model checking for efficient incremental analysis of software. DDECS 2013: 8-9 - [c7]Simone Fulvio Rollini, Leonardo Alt, Grigory Fedyukovich, Antti Eero Johannes Hyvärinen, Natasha Sharygina:
PeRIPLO: A Framework for Producing Effective Interpolants in SAT-Based Software Verification. LPAR 2013: 683-693 - [c6]Grigory Fedyukovich, Ondrej Sery, Natasha Sharygina:
eVolCheck: Incremental Upgrade Checker for C. TACAS 2013: 292-307 - 2012
- [c5]Ondrej Sery, Grigory Fedyukovich, Natasha Sharygina:
FunFrog: Bounded Model Checking with Interpolation-Based Function Summarization. ATVA 2012: 203-207 - [c4]Ondrej Sery, Grigory Fedyukovich, Natasha Sharygina:
Incremental upgrade checking by means of interpolation-based function summaries. FMCAD 2012: 114-121 - 2011
- [c3]Ondrej Sery, Grigory Fedyukovich, Natasha Sharygina:
Interpolation-Based Function Summaries in Bounded Model Checking. Haifa Verification Conference 2011: 160-175 - [c2]Grigory Fedyukovich, Ondrej Sery, Natasha Sharygina:
Function Summaries in Software Upgrade Checking. Haifa Verification Conference 2011: 257-258 - 2010
- [c1]Grigory Fedyukovich, Vladimir Safonov:
Implementing Parallel Algorithms of MapReduce. PDPTA 2010: 397-401
Coauthor Index
aka: Antti E. J. Hyvärinen
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-08-05 20:24 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
