Travelled to:1 × USA
1 × United Kingdom
2 × Italy
Collaborated with:N.Sharygina A.Gupta A.E.J.Hyvärinen O.Sery A.Gurfinkel Y.Zhang L.Pick Maaz Bin Safeer Ahmad R.Bodík A.C.D'Iddio S.Prabhu K.Madhukar L.Mariani A.Muhammad P.Jancík L.Alt A.E.J.Hyvärinen J.Kofron F.Pastore S.Sehestedt H.Chockler G.Denaro M.Ling M.Oriol A.Rajan M.Tautschnig
Talks about:synthesi (2) upgrad (2) syntax (2) verif (2) guid (2) interpolato (1) synchroni (1) increment (1) evolcheck (1) symmetri (1)
Person: Grigory Fedyukovich
DBLP: Fedyukovich:Grigory
Contributed to:
2015
2014
2013
20132016
201620182019
2017Wrote 10 papers:
- FASE-2015-FedyukovichDHS #bound #dependence #detection #model checking
- Symbolic Detection of Assertion Dependencies for Bounded Model Checking (GF, ACD, AEJH, NS), pp. 186–201.
- ISSTA-2014-PastoreMHFSSM #testing
- Verification-aided regression testing (FP, LM, AEJH, GF, NS, SS, AM), pp. 37–48.
- CSMR-2013-ChocklerDLFHMMORSST #named #validation
- PINCETTE — Validating Changes and Upgrades in Networked Software (HC, GD, ML, GF, AEJH, LM, AM, MO, AR, OS, NS, MT), pp. 461–464.
- TACAS-2013-FedyukovichSS #c #incremental #named
- eVolCheck: Incremental Upgrade Checker for C (GF, OS, NS), pp. 292–307.
- FASE-2016-JancikAFHKS #named
- PVAIR: Partial Variable Assignment InterpolatoR (PJ, LA, GF, AEJH, JK, NS), pp. 419–434.
- CAV-2016-FedyukovichGS #equivalence #simulation
- Property Directed Equivalence via Abstract Simulation (GF, AG, NS), pp. 433–453.
- CAV-2018-FedyukovichZG #analysis #termination
- Syntax-Guided Termination Analysis (GF, YZ, AG), pp. 124–143.
- CAV-2018-PickFG #relational #symmetry #verification
- Exploiting Synchrony and Symmetry in Relational Verification (LP, GF, AG), pp. 164–182.
- CAV-2019-FedyukovichPMG #invariant #quantifier #synthesis
- Quantified Invariants via Syntax-Guided Synthesis (GF, SP, KM, AG), pp. 259–277.
- PLDI-2017-FedyukovichAB #parallel #source code #synthesis
- Gradual synthesis for static parallelization of single-pass array-processing programs (GF, MBSA, RB), pp. 572–585.