Browsing by Author Fedyukovich, Grigory
Showing results 1 to 11 of 11
| Publication Date | Article Title | Author(s) |
|---|---|---|
| 2020 | Automating Modular Verification of Secure Information Flow | Pick, Lauren; Fedyukovich, Grigory; Gupta, Aarti |
| 2018 | Exploiting Synchrony and Symmetry in Relational Verification | Pick, Lauren; Fedyukovich, Grigory; Gupta, Aarti |
| 2020 | Fold/Unfold Transformations for Fixpoint Logic | Kobayashi, Naoki; Fedyukovich, Grigory; Gupta, Aarti |
| 2019 | Functional Synthesis with Examples | Fedyukovich, Grigory; Gupta, Aarti |
| 2019 | Lazy but Effective Functional Synthesis | Fedyukovich, Grigory; Gurfinkel, Arie; Gupta, Aarti |
| 2019 | Lemma Synthesis for Automating Induction over Algebraic Data Types | Yang, Weikun; Fedyukovich, Grigory; Gupta, Aarti |
| 2019 | Quantified Invariants via Syntax-Guided Synthesis | Fedyukovich, Grigory; Prabhu, Sumanth; Madhukar, Kumar; Gupta, Aarti |
| 2018 | Solving Constrained Horn Clauses Using Syntax and Data | Fedyukovich, Grigory; Prabhu, Sumanth; Madhukar, Kumar; Gupta, Aarti |
| 2018 | Syntax-Guided Termination Analysis | Fedyukovich, Grigory; Zhang, Yueling; Gupta, Aarti |
| 2020 | Synthesizing Environment Invariants for Modular Hardware Verification | Zhang, Hongce; Yang, Weikun; Fedyukovich, Grigory; Gupta, Aarti; Malik, Sharad |
| 2021 | Unbounded Procedure Summaries from Bounded Environments | Pick, Lauren; Fedyukovich, Grigory; Gupta, Aarti |