Travelled to:1 × Austria
1 × Russia
5 × USA
Collaborated with:A.Legg N.Narodytska P.Cerný T.A.Henzinger A.Radhakrishna T.Tarrach G.Heiser A.Walker J.Keys A.Raghunath M.Vij M.Sagiv F.Bacchus P.Chubb I.Kuz E.L.Sueur B.Mirla E.M.Clarke R.Samanta M.Stumm Kalev Alpernas C.Flanagan Sadjad Fouladi Thomas Schmitz Keith Winstein G.Keller T.C.Murray S.Amani L.O'Connor Z.Chen G.Klein Elazar Gershuni N.Amit A.Gurfinkel J.A.Navas N.Rinetzky
Talks about:synthesi (6) driver (3) devic (3) preemptiv (2) control (2) concurr (2) verif (2) guid (2) use (2) counterexampl (1)
Person: Leonid Ryzhyk
DBLP: Ryzhyk:Leonid
Contributed to:
20152014
20142013
2013
2011
20092016
2018
2019Wrote 11 papers:
- CAV-2015-CernyCHRRST #scheduling #synthesis #using
- From Non-preemptive to Preemptive Scheduling Using Synchronization Synthesis (PC, EMC, TAH, AR, LR, RS, TT), pp. 180–197.
- CAV-2014-CernyHRRT #concurrent #synthesis
- Regression-Free Synthesis for Concurrency (PC, TAH, AR, LR, TT), pp. 568–584.
- CAV-2014-NarodytskaLBRW #game studies
- Solving Games without Controllable Predecessor (NN, AL, FB, LR, AW), pp. 533–540.
- OSDI-2014-RyzhykWKLRSV #synthesis
- User-Guided Device Driver Synthesis (LR, AW, JK, AL, AR, MS, MV), pp. 661–676.
- CAV-2013-CernyHRRT #concurrent #performance #semantics #synthesis
- Efficient Synthesis for Concurrency by Semantics-Preserving Transformations (PC, TAH, AR, LR, TT), pp. 951–967.
- PLOS-2013-KellerMAOCRKH #exclamation #file system #verification
- File systems deserve verification too! (GK, TCM, SA, LO, ZC, LR, GK, GH), p. 7.
- ASPLOS-2011-RyzhykKMRVH #hardware #reliability #reuse #verification
- Improved device driver reliability through hardware verification reuse (LR, JK, BM, AR, MV, GH), pp. 133–144.
- SOSP-2009-RyzhykCKSH #automation #synthesis
- Automatic device driver synthesis with termite (LR, PC, IK, ELS, GH), pp. 73–86.
- CAV-2016-LeggNR #bound #satisfiability #synthesis
- A SAT-Based Counterexample Guided Method for Unbounded Synthesis (AL, NN, LR), pp. 364–382.
- OOPSLA-2018-AlpernasFFRSSW #data flow #information management #using
- Secure serverless computing using dynamic information flow control (KA, CF, SF, LR, MS, TS, KW), p. 26.
- PLDI-2019-GershuniAGNNRRS #kernel #linux #precise #static analysis
- Simple and precise static analysis of untrusted Linux kernel extensions (EG, NA, AG, NN, JAN, NR, LR, MS), pp. 1069–1084.