• Sign in
  • Sign up
conf.researchr.org / Andrey Rybalchenko
  • ETAPS 2019 profile
  • PLDI 2016 profile
  • PLDI 2024 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

2024

PLDI

  • Chair of PODELSKI within the Tutorials-track

PODELSKI

  • Co-chair in Program Committee within the PLDI 2024 Workshop Honoring Andreas Podelski-track

2019

HCVS

  • Committee Member in Program Committee within the HCVS-track

VPT

  • Committee Member in Program Committee within the VPT 2019 -track

VMCAI

  • Author of Fast BGP Simulation of Large Datacenters within the VMCAI 2019-track

2018

POPL

  • Committee Member in Program Committee within the Research Papers-track

NetPL

  • Invited Speaker of Very Large Scale Network Verification within the NetPL 2018-track

2017

PLDI

  • Committee Member in Program Committee

POPL

  • ERC member in External Review Committee within the POPL-track

2016

PLDI

  • Author of Cardinalities and Universal Quantifiers for Verifying Parameterized Systems within the Research Papers-track

POPL

  • Author of Scaling Network Verification using Symmetry and Surgery within the Research Papers-track
Share
xFri 18 Jul 13:27
using conf.researchr.org (v1.69.1)
Support page
Sign Up