• Sign in
  • Sign up
conf.researchr.org / Andrey Rybalchenko
  • ETAPS 2019 profile
  • PLDI 2016 profile
  • PLDI, ECOOP, Curry On, DEBS, LCTES and ISMM profile
  • POPL 2016 profile
  • POPL 2017 profile
  • POPL 2018 profile
  • POPL 2019 profile
  • ‹Programming› 2019 profile
Andrey Rybalchenko

Registered user since Fri 20 Nov 2015

Name:Andrey Rybalchenko
Country:United Kingdom
Affiliation:Microsoft Research
Personal website:http://research.microsoft.com/en-us/people/rybal/

Contributions

VPT 2019 Committee Member in Program Committee within the VPT 2019 -track
VMCAI 2019 Author of Fast BGP Simulation of Large Datacenters within the VMCAI 2019-track
HCVS 2019 Committee Member in Program Committee within the HCVS-track
NetPL 2018 Invited Speaker of Very Large Scale Network Verification within the NetPL 2018-track
POPL 2018 Committee Member in Program Committee within the Research Papers-track
POPL 2017 ERC member in External Review Committee within the POPL-track
PLDI 2017 Committee Member in Program Committee
PLDI 2016 Author of Cardinalities and Universal Quantifiers for Verifying Parameterized Systems within the Research Papers-track
POPL 2016 Author of Scaling Network Verification using Symmetry and Surgery within the Research Papers-track

Share
xTue 28 Jun 02:56
using conf.researchr.org (v1.56.1)
Support page
Sign Up