Stop the war!
Остановите войну!
for scientists:
default search action
BibTeX records: Leonid Ryzhyk
@article{DBLP:journals/pvldb/BudiuCMRT23, author = {Mihai Budiu and Tej Chajed and Frank McSherry and Leonid Ryzhyk and Val Tannen}, title = {{DBSP:} Automatic Incremental View Maintenance for Rich Query Languages}, journal = {Proc. {VLDB} Endow.}, volume = {16}, number = {7}, pages = {1601--1614}, year = {2023}, url = {https://www.vldb.org/pvldb/vol16/p1601-budiu.pdf}, doi = {10.14778/3587136.3587137}, timestamp = {Mon, 23 Oct 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/pvldb/BudiuCMRT23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/hotnets/SurPRB22, author = {Debnil Sur and Ben Pfaff and Leonid Ryzhyk and Mihai Budiu}, title = {Full-stack {SDN}}, booktitle = {Proceedings of the 21st {ACM} Workshop on Hot Topics in Networks, HotNets 2022, Austin, Texas, November 14-15, 2022}, pages = {130--137}, publisher = {{ACM}}, year = {2022}, url = {https://doi.org/10.1145/3563766.3564101}, doi = {10.1145/3563766.3564101}, timestamp = {Thu, 17 Nov 2022 16:03:13 +0100}, biburl = {https://dblp.org/rec/conf/hotnets/SurPRB22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2203-16684, author = {Mihai Budiu and Frank McSherry and Leonid Ryzhyk and Val Tannen}, title = {{DBSP:} Automatic Incremental View Maintenance for Rich Query Languages}, journal = {CoRR}, volume = {abs/2203.16684}, year = {2022}, url = {https://doi.org/10.48550/arXiv.2203.16684}, doi = {10.48550/ARXIV.2203.16684}, eprinttype = {arXiv}, eprint = {2203.16684}, timestamp = {Mon, 04 Apr 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-2203-16684.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cloud/AlpernasPRS21, author = {Kalev Alpernas and Aurojit Panda and Leonid Ryzhyk and Mooly Sagiv}, editor = {Carlo Curino and Georgia Koutrika and Ravi Netravali}, title = {Cloud-Scale Runtime Verification of Serverless Applications}, booktitle = {SoCC '21: {ACM} Symposium on Cloud Computing, Seattle, WA, USA, November 1 - 4, 2021}, pages = {92--107}, publisher = {{ACM}}, year = {2021}, url = {https://doi.org/10.1145/3472883.3486977}, doi = {10.1145/3472883.3486977}, timestamp = {Sun, 31 Oct 2021 09:45:45 +0100}, biburl = {https://dblp.org/rec/conf/cloud/AlpernasPRS21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/osdi/SureshLKJNRGOJG20, author = {Lalith Suresh and Jo{\~{a}}o Loff and Faria Kalim and Sangeetha Abdu Jyothi and Nina Narodytska and Leonid Ryzhyk and Sahan Gamage and Brian Oki and Pranshu Jain and Michael Gasch}, title = {Building Scalable and Flexible Cluster Managers Using Declarative Programming}, booktitle = {14th {USENIX} Symposium on Operating Systems Design and Implementation, {OSDI} 2020, Virtual Event, November 4-6, 2020}, pages = {827--844}, publisher = {{USENIX} Association}, year = {2020}, url = {https://www.usenix.org/conference/osdi20/presentation/suresh}, timestamp = {Mon, 05 Feb 2024 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/osdi/SureshLKJNRGOJG20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/datalog/RyzhykB19, author = {Leonid Ryzhyk and Mihai Budiu}, editor = {Mario Alviano and Andreas Pieris}, title = {Differential Datalog}, booktitle = {Datalog 2.0 2019 - 3rd International Workshop on the Resurgence of Datalog in Academia and Industry co-located with the 15th International Conference on Logic Programming and Nonmonotonic Reasoning {(LPNMR} 2019) at the Philadelphia Logic Week 2019, Philadelphia, {PA} (USA), June 4-5, 2019}, series = {{CEUR} Workshop Proceedings}, volume = {2368}, pages = {56--67}, publisher = {CEUR-WS.org}, year = {2019}, url = {https://ceur-ws.org/Vol-2368/paper6.pdf}, timestamp = {Fri, 10 Mar 2023 16:23:45 +0100}, biburl = {https://dblp.org/rec/conf/datalog/RyzhykB19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/fmcad/NarodytskaRGS19, author = {Nina Narodytska and Leonid Ryzhyk and Igor Ganichev and Soner Sevinc}, editor = {Clark W. Barrett and Jin Yang}, title = {BDD-Based Algorithms for Packet Classification}, booktitle = {2019 Formal Methods in Computer Aided Design, {FMCAD} 2019, San Jose, CA, USA, October 22-25, 2019}, pages = {64--68}, publisher = {{IEEE}}, year = {2019}, url = {https://doi.org/10.23919/FMCAD.2019.8894253}, doi = {10.23919/FMCAD.2019.8894253}, timestamp = {Thu, 14 Nov 2019 12:14:47 +0100}, biburl = {https://dblp.org/rec/conf/fmcad/NarodytskaRGS19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/hotos/NarayananBRRB19, author = {Vikram Narayanan and Marek S. Baranowski and Leonid Ryzhyk and Zvonimir Rakamaric and Anton Burtsev}, title = {RedLeaf: Towards An Operating System for Safe and Verified Firmware}, booktitle = {Proceedings of the Workshop on Hot Topics in Operating Systems, HotOS 2019, Bertinoro, Italy, May 13-15, 2019}, pages = {37--44}, publisher = {{ACM}}, year = {2019}, url = {https://doi.org/10.1145/3317550.3321449}, doi = {10.1145/3317550.3321449}, timestamp = {Mon, 26 Jun 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/hotos/NarayananBRRB19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/hotos/SureshLNRSO19, author = {Lalith Suresh and Jo{\~{a}}o Loff and Nina Narodytska and Leonid Ryzhyk and Mooly Sagiv and Brian Oki}, title = {Synthesizing Cluster Management Code for Distributed Systems}, booktitle = {Proceedings of the Workshop on Hot Topics in Operating Systems, HotOS 2019, Bertinoro, Italy, May 13-15, 2019}, pages = {45--50}, publisher = {{ACM}}, year = {2019}, url = {https://doi.org/10.1145/3317550.3321444}, doi = {10.1145/3317550.3321444}, timestamp = {Wed, 29 May 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/hotos/SureshLNRSO19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/pldi/GershuniAGNNRRS19, author = {Elazar Gershuni and Nadav Amit and Arie Gurfinkel and Nina Narodytska and Jorge A. Navas and Noam Rinetzky and Leonid Ryzhyk and Mooly Sagiv}, editor = {Kathryn S. McKinley and Kathleen Fisher}, title = {Simple and precise static analysis of untrusted Linux kernel extensions}, booktitle = {Proceedings of the 40th {ACM} {SIGPLAN} Conference on Programming Language Design and Implementation, {PLDI} 2019, Phoenix, AZ, USA, June 22-26, 2019}, pages = {1069--1084}, publisher = {{ACM}}, year = {2019}, url = {https://doi.org/10.1145/3314221.3314590}, doi = {10.1145/3314221.3314590}, timestamp = {Sun, 02 Oct 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/pldi/GershuniAGNNRRS19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-1909-03130, author = {Lalith Suresh and Jo{\~{a}}o Loff and Faria Kalim and Nina Narodytska and Leonid Ryzhyk and Sahan Gamage and Brian Oki and Zeeshan Lokhandwala and Mukesh Hira and Mooly Sagiv}, title = {Automating Cluster Management with Weave}, journal = {CoRR}, volume = {abs/1909.03130}, year = {2019}, url = {http://arxiv.org/abs/1909.03130}, eprinttype = {arXiv}, eprint = {1909.03130}, timestamp = {Tue, 17 Sep 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-1909-03130.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/pacmpl/AlpernasFFRSSW18, author = {Kalev Alpernas and Cormac Flanagan and Sadjad Fouladi and Leonid Ryzhyk and Mooly Sagiv and Thomas Schmitz and Keith Winstein}, title = {Secure serverless computing using dynamic information flow control}, journal = {Proc. {ACM} Program. Lang.}, volume = {2}, number = {{OOPSLA}}, pages = {118:1--118:26}, year = {2018}, url = {https://doi.org/10.1145/3276488}, doi = {10.1145/3276488}, timestamp = {Mon, 06 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/pacmpl/AlpernasFFRSSW18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/aaai/NarodytskaKRSW18, author = {Nina Narodytska and Shiva Prasad Kasiviswanathan and Leonid Ryzhyk and Mooly Sagiv and Toby Walsh}, editor = {Sheila A. McIlraith and Kilian Q. Weinberger}, title = {Verifying Properties of Binarized Deep Neural Networks}, booktitle = {Proceedings of the Thirty-Second {AAAI} Conference on Artificial Intelligence, (AAAI-18), the 30th innovative Applications of Artificial Intelligence (IAAI-18), and the 8th {AAAI} Symposium on Educational Advances in Artificial Intelligence (EAAI-18), New Orleans, Louisiana, USA, February 2-7, 2018}, pages = {6615--6624}, publisher = {{AAAI} Press}, year = {2018}, url = {https://doi.org/10.1609/aaai.v32i1.12206}, doi = {10.1609/AAAI.V32I1.12206}, timestamp = {Mon, 04 Sep 2023 12:29:24 +0200}, biburl = {https://dblp.org/rec/conf/aaai/NarodytskaKRSW18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-1802-08984, author = {Kalev Alpernas and Cormac Flanagan and Sadjad Fouladi and Leonid Ryzhyk and Mooly Sagiv and Thomas Schmitz and Keith Winstein}, title = {Secure Serverless Computing Using Dynamic Information Flow Control}, journal = {CoRR}, volume = {abs/1802.08984}, year = {2018}, url = {http://arxiv.org/abs/1802.08984}, eprinttype = {arXiv}, eprint = {1802.08984}, timestamp = {Mon, 06 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/corr/abs-1802-08984.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fmsd/CernyCHRRST17, author = {Pavol Cern{\'{y}} and Edmund M. Clarke and Thomas A. Henzinger and Arjun Radhakrishna and Leonid Ryzhyk and Roopsha Samanta and Thorsten Tarrach}, title = {From non-preemptive to preemptive scheduling using synchronization synthesis}, journal = {Formal Methods Syst. Des.}, volume = {50}, number = {2-3}, pages = {97--139}, year = {2017}, url = {https://doi.org/10.1007/s10703-016-0256-5}, doi = {10.1007/S10703-016-0256-5}, timestamp = {Mon, 05 Feb 2024 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/fmsd/CernyCHRRST17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/sigops/Balasubramanian17, author = {Abhiram Balasubramanian and Marek S. Baranowski and Anton Burtsev and Aurojit Panda and Zvonimir Rakamaric and Leonid Ryzhyk}, title = {System Programming in Rust: Beyond Safety}, journal = {{ACM} {SIGOPS} Oper. Syst. Rev.}, volume = {51}, number = {1}, pages = {94--99}, year = {2017}, url = {https://doi.org/10.1145/3139645.3139660}, doi = {10.1145/3139645.3139660}, timestamp = {Sun, 22 Oct 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/sigops/Balasubramanian17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/sttt/JacobsBBEHKPRRS17, author = {Swen Jacobs and Roderick Bloem and Romain Brenguier and R{\"{u}}diger Ehlers and Timotheus Hell and Robert K{\"{o}}nighofer and Guillermo A. P{\'{e}}rez and Jean{-}Fran{\c{c}}ois Raskin and Leonid Ryzhyk and Ocan Sankur and Martina Seidl and Leander Tentrup and Adam Walker}, title = {The first reactive synthesis competition {(SYNTCOMP} 2014)}, journal = {Int. J. Softw. Tools Technol. Transf.}, volume = {19}, number = {3}, pages = {367--390}, year = {2017}, url = {https://doi.org/10.1007/s10009-016-0416-3}, doi = {10.1007/S10009-016-0416-3}, timestamp = {Tue, 21 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/sttt/JacobsBBEHKPRRS17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/hotos/Balasubramanian17, author = {Abhiram Balasubramanian and Marek S. Baranowski and Anton Burtsev and Aurojit Panda and Zvonimir Rakamaric and Leonid Ryzhyk}, editor = {Alexandra Fedorova and Andrew Warfield and Ivan Beschastnikh and Rachit Agarwal}, title = {System Programming in Rust: Beyond Safety}, booktitle = {Proceedings of the 16th Workshop on Hot Topics in Operating Systems, HotOS 2017, Whistler, BC, Canada, May 8-10, 2017}, pages = {156--161}, publisher = {{ACM}}, year = {2017}, url = {https://doi.org/10.1145/3102980.3103006}, doi = {10.1145/3102980.3103006}, timestamp = {Tue, 06 Nov 2018 11:07:19 +0100}, biburl = {https://dblp.org/rec/conf/hotos/Balasubramanian17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/nsdi/RyzhykBCJSTV17, author = {Leonid Ryzhyk and Nikolaj S. Bj{\o}rner and Marco Canini and Jean{-}Baptiste Jeannin and Cole Schlesinger and Douglas B. Terry and George Varghese}, editor = {Aditya Akella and Jon Howell}, title = {Correct by Construction Networks Using Stepwise Refinement}, booktitle = {14th {USENIX} Symposium on Networked Systems Design and Implementation, {NSDI} 2017, Boston, MA, USA, March 27-29, 2017}, pages = {683--698}, publisher = {{USENIX} Association}, year = {2017}, url = {https://www.usenix.org/conference/nsdi17/technical-sessions/presentation/ryzhyk}, timestamp = {Thu, 14 Apr 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/nsdi/RyzhykBCJSTV17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-1709-06662, author = {Nina Narodytska and Shiva Prasad Kasiviswanathan and Leonid Ryzhyk and Mooly Sagiv and Toby Walsh}, title = {Verifying Properties of Binarized Deep Neural Networks}, journal = {CoRR}, volume = {abs/1709.06662}, year = {2017}, url = {http://arxiv.org/abs/1709.06662}, eprinttype = {arXiv}, eprint = {1709.06662}, timestamp = {Mon, 13 Aug 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-1709-06662.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cav/LeggNR16, author = {Alexander Legg and Nina Narodytska and Leonid Ryzhyk}, editor = {Swarat Chaudhuri and Azadeh Farzan}, title = {A SAT-Based Counterexample Guided Method for Unbounded Synthesis}, booktitle = {Computer Aided Verification - 28th International Conference, {CAV} 2016, Toronto, ON, Canada, July 17-23, 2016, Proceedings, Part {II}}, series = {Lecture Notes in Computer Science}, volume = {9780}, pages = {364--382}, publisher = {Springer}, year = {2016}, url = {https://doi.org/10.1007/978-3-319-41540-6\_20}, doi = {10.1007/978-3-319-41540-6\_20}, timestamp = {Tue, 14 May 2019 10:00:43 +0200}, biburl = {https://dblp.org/rec/conf/cav/LeggNR16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/corr/RyzhykW16, author = {Leonid Ryzhyk and Adam Walker}, editor = {Ruzica Piskac and Rayna Dimitrova}, title = {Developing a Practical Reactive Synthesis Tool: Experience and Lessons Learned}, booktitle = {Proceedings Fifth Workshop on Synthesis, SYNT@CAV 2016, Toronto, Canada, July 17-18, 2016}, series = {{EPTCS}}, volume = {229}, pages = {84--99}, year = {2016}, url = {https://doi.org/10.4204/EPTCS.229.8}, doi = {10.4204/EPTCS.229.8}, timestamp = {Wed, 12 Sep 2018 01:05:13 +0200}, biburl = {https://dblp.org/rec/journals/corr/RyzhykW16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/corr/JacobsBBK0KKLNP16, author = {Swen Jacobs and Roderick Bloem and Romain Brenguier and Ayrat Khalimov and Felix Klein and Robert K{\"{o}}nighofer and Jens Kreber and Alexander Legg and Nina Narodytska and Guillermo A. P{\'{e}}rez and Jean{-}Fran{\c{c}}ois Raskin and Leonid Ryzhyk and Ocan Sankur and Martina Seidl and Leander Tentrup and Adam Walker}, editor = {Ruzica Piskac and Rayna Dimitrova}, title = {The 3rd Reactive Synthesis Competition {(SYNTCOMP} 2016): Benchmarks, Participants {\&} Results}, booktitle = {Proceedings Fifth Workshop on Synthesis, SYNT@CAV 2016, Toronto, Canada, July 17-18, 2016}, series = {{EPTCS}}, volume = {229}, pages = {149--177}, year = {2016}, url = {https://doi.org/10.4204/EPTCS.229.12}, doi = {10.4204/EPTCS.229.12}, timestamp = {Mon, 03 Jan 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/corr/JacobsBBK0KKLNP16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/aaai/EenLNR15, author = {Niklas E{\'{e}}n and Alexander Legg and Nina Narodytska and Leonid Ryzhyk}, editor = {Blai Bonet and Sven Koenig}, title = {SAT-Based Strategy Extraction in Reachability Games}, booktitle = {Proceedings of the Twenty-Ninth {AAAI} Conference on Artificial Intelligence, January 25-30, 2015, Austin, Texas, {USA}}, pages = {3738--3745}, publisher = {{AAAI} Press}, year = {2015}, url = {https://doi.org/10.1609/aaai.v29i1.9752}, doi = {10.1609/AAAI.V29I1.9752}, timestamp = {Mon, 18 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/aaai/EenLNR15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cav/CernyCHRRST15, author = {Pavol Cern{\'{y}} and Edmund M. Clarke and Thomas A. Henzinger and Arjun Radhakrishna and Leonid Ryzhyk and Roopsha Samanta and Thorsten Tarrach}, editor = {Daniel Kroening and Corina S. Pasareanu}, title = {From Non-preemptive to Preemptive Scheduling Using Synchronization Synthesis}, booktitle = {Computer Aided Verification - 27th International Conference, {CAV} 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part {II}}, series = {Lecture Notes in Computer Science}, volume = {9207}, pages = {180--197}, publisher = {Springer}, year = {2015}, url = {https://doi.org/10.1007/978-3-319-21668-3\_11}, doi = {10.1007/978-3-319-21668-3\_11}, timestamp = {Fri, 27 Mar 2020 08:45:57 +0100}, biburl = {https://dblp.org/rec/conf/cav/CernyCHRRST15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/corr/JacobsBBKPRRSST16, author = {Swen Jacobs and Roderick Bloem and Romain Brenguier and Robert K{\"{o}}nighofer and Guillermo A. P{\'{e}}rez and Jean{-}Fran{\c{c}}ois Raskin and Leonid Ryzhyk and Ocan Sankur and Martina Seidl and Leander Tentrup and Adam Walker}, editor = {Pavol Cern{\'{y}} and Viktor Kuncak and Parthasarathy Madhusudan}, title = {The Second Reactive Synthesis Competition {(SYNTCOMP} 2015)}, booktitle = {Proceedings Fourth Workshop on Synthesis, {SYNT} 2015, San Francisco, CA, USA, 18th July 2015}, series = {{EPTCS}}, volume = {202}, pages = {27--57}, year = {2015}, url = {https://doi.org/10.4204/EPTCS.202.4}, doi = {10.4204/EPTCS.202.4}, timestamp = {Thu, 08 Apr 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/JacobsBBKPRRSST16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/CernyCHRRST15, author = {Pavol Cern{\'{y}} and Edmund M. Clarke and Thomas A. Henzinger and Arjun Radhakrishna and Leonid Ryzhyk and Roopsha Samanta and Thorsten Tarrach}, title = {From Non-preemptive to Preemptive Scheduling using Synchronization Synthesis}, journal = {CoRR}, volume = {abs/1505.04533}, year = {2015}, url = {http://arxiv.org/abs/1505.04533}, eprinttype = {arXiv}, eprint = {1505.04533}, timestamp = {Mon, 13 Aug 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/CernyCHRRST15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/JacobsBBEHKPRRS15, author = {Swen Jacobs and Roderick Bloem and Romain Brenguier and R{\"{u}}diger Ehlers and Timotheus Hell and Robert K{\"{o}}nighofer and Guillermo A. P{\'{e}}rez and Jean{-}Fran{\c{c}}ois Raskin and Leonid Ryzhyk and Ocan Sankur and Martina Seidl and Leander Tentrup and Adam Walker}, title = {The First Reactive Synthesis Competition {(SYNTCOMP} 2014)}, journal = {CoRR}, volume = {abs/1506.08726}, year = {2015}, url = {http://arxiv.org/abs/1506.08726}, eprinttype = {arXiv}, eprint = {1506.08726}, timestamp = {Thu, 08 Apr 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/JacobsBBEHKPRRS15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/CernyCHRRST15a, author = {Pavol Cern{\'{y}} and Edmund M. Clarke and Thomas A. Henzinger and Arjun Radhakrishna and Leonid Ryzhyk and Roopsha Samanta and Thorsten Tarrach}, title = {Optimizing Solution Quality in Synchronization Synthesis}, journal = {CoRR}, volume = {abs/1511.07163}, year = {2015}, url = {http://arxiv.org/abs/1511.07163}, eprinttype = {arXiv}, eprint = {1511.07163}, timestamp = {Mon, 13 Aug 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/CernyCHRRST15a.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/sigops/KellerMAOCRKH14, author = {Gabriele Keller and Toby C. Murray and Sidney Amani and Liam O'Connor and Zilin Chen and Leonid Ryzhyk and Gerwin Klein and Gernot Heiser}, title = {File systems deserve verification too!}, journal = {{ACM} {SIGOPS} Oper. Syst. Rev.}, volume = {48}, number = {1}, pages = {58--64}, year = {2014}, url = {https://doi.org/10.1145/2626401.2626414}, doi = {10.1145/2626401.2626414}, timestamp = {Sun, 12 Feb 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/sigops/KellerMAOCRKH14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/sigops/AmaniCDLORZ14, author = {Sidney Amani and Peter Chubb and Alastair F. Donaldson and Alexander Legg and Keng Chai Ong and Leonid Ryzhyk and Yanjin Zhu}, title = {Automatic verification of active device drivers}, journal = {{ACM} {SIGOPS} Oper. Syst. Rev.}, volume = {48}, number = {1}, pages = {106--118}, year = {2014}, url = {https://doi.org/10.1145/2626401.2626424}, doi = {10.1145/2626401.2626424}, timestamp = {Tue, 14 Jul 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/sigops/AmaniCDLORZ14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cav/NarodytskaLBRW14, author = {Nina Narodytska and Alexander Legg and Fahiem Bacchus and Leonid Ryzhyk and Adam Walker}, editor = {Armin Biere and Roderick Bloem}, title = {Solving Games without Controllable Predecessor}, booktitle = {Computer Aided Verification - 26th International Conference, {CAV} 2014, Held as Part of the Vienna Summer of Logic, {VSL} 2014, Vienna, Austria, July 18-22, 2014. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {8559}, pages = {533--540}, publisher = {Springer}, year = {2014}, url = {https://doi.org/10.1007/978-3-319-08867-9\_35}, doi = {10.1007/978-3-319-08867-9\_35}, timestamp = {Mon, 03 Jan 2022 22:13:44 +0100}, biburl = {https://dblp.org/rec/conf/cav/NarodytskaLBRW14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cav/CernyHRRT14, author = {Pavol Cern{\'{y}} and Thomas A. Henzinger and Arjun Radhakrishna and Leonid Ryzhyk and Thorsten Tarrach}, editor = {Armin Biere and Roderick Bloem}, title = {Regression-Free Synthesis for Concurrency}, booktitle = {Computer Aided Verification - 26th International Conference, {CAV} 2014, Held as Part of the Vienna Summer of Logic, {VSL} 2014, Vienna, Austria, July 18-22, 2014. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {8559}, pages = {568--584}, publisher = {Springer}, year = {2014}, url = {https://doi.org/10.1007/978-3-319-08867-9\_38}, doi = {10.1007/978-3-319-08867-9\_38}, timestamp = {Wed, 03 Oct 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/cav/CernyHRRT14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/fmcad/WalkerR14, author = {Adam Walker and Leonid Ryzhyk}, title = {Predicate abstraction for reactive synthesis}, booktitle = {Formal Methods in Computer-Aided Design, {FMCAD} 2014, Lausanne, Switzerland, October 21-24, 2014}, pages = {219--226}, publisher = {{IEEE}}, year = {2014}, url = {https://doi.org/10.1109/FMCAD.2014.6987617}, doi = {10.1109/FMCAD.2014.6987617}, timestamp = {Wed, 16 Oct 2019 14:14:56 +0200}, biburl = {https://dblp.org/rec/conf/fmcad/WalkerR14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/osdi/RyzhykWKLRSV14, author = {Leonid Ryzhyk and Adam Walker and John Keys and Alexander Legg and Arun Raghunath and Michael Stumm and Mona Vij}, editor = {Jason Flinn and Hank Levy}, title = {User-Guided Device Driver Synthesis}, booktitle = {11th {USENIX} Symposium on Operating Systems Design and Implementation, {OSDI} '14, Broomfield, CO, USA, October 6-8, 2014}, pages = {661--676}, publisher = {{USENIX} Association}, year = {2014}, url = {https://www.usenix.org/conference/osdi14/technical-sessions/presentation/ryzhyk}, timestamp = {Tue, 02 Feb 2021 08:05:58 +0100}, biburl = {https://dblp.org/rec/conf/osdi/RyzhykWKLRSV14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/CernyHRRT14, author = {Pavol Cern{\'{y}} and Thomas A. Henzinger and Arjun Radhakrishna and Leonid Ryzhyk and Thorsten Tarrach}, title = {Regression-free Synthesis for Concurrency}, journal = {CoRR}, volume = {abs/1407.3681}, year = {2014}, url = {http://arxiv.org/abs/1407.3681}, eprinttype = {arXiv}, eprint = {1407.3681}, timestamp = {Mon, 13 Aug 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/CernyHRRT14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cav/CernyHRRT13, author = {Pavol Cern{\'{y}} and Thomas A. Henzinger and Arjun Radhakrishna and Leonid Ryzhyk and Thorsten Tarrach}, editor = {Natasha Sharygina and Helmut Veith}, title = {Efficient Synthesis for Concurrency by Semantics-Preserving Transformations}, booktitle = {Computer Aided Verification - 25th International Conference, {CAV} 2013, Saint Petersburg, Russia, July 13-19, 2013. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {8044}, pages = {951--967}, publisher = {Springer}, year = {2013}, url = {https://doi.org/10.1007/978-3-642-39799-8\_68}, doi = {10.1007/978-3-642-39799-8\_68}, timestamp = {Wed, 07 Dec 2022 23:12:58 +0100}, biburl = {https://dblp.org/rec/conf/cav/CernyHRRT13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sosp/KellerMAOCRKH13, author = {Gabriele Keller and Toby C. Murray and Sidney Amani and Liam O'Connor and Zilin Chen and Leonid Ryzhyk and Gerwin Klein and Gernot Heiser}, editor = {Tim Harris and Anil Madhavapeddy}, title = {File systems deserve verification too!}, booktitle = {Proceedings of the Seventh Workshop on Programming Languages and Operating Systems, {PLOS} 2013, Farmington, Pennsylvania, USA, November 3-6, 2013}, pages = {1:1--1:7}, publisher = {{ACM}}, year = {2013}, url = {https://doi.org/10.1145/2525528.2525530}, doi = {10.1145/2525528.2525530}, timestamp = {Sun, 12 Feb 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/sosp/KellerMAOCRKH13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/corr/abs-1211-6185, author = {Sidney Amani and Peter Chubb and Alastair F. Donaldson and Alexander Legg and Leonid Ryzhyk and Yanjin Zhu}, editor = {Franck Cassez and Ralf Huuck and Gerwin Klein and Bastian Schlich}, title = {Automatic Verification of Message-Based Device Drivers}, booktitle = {Proceedings Seventh Conference on Systems Software Verification, {SSV} 2012, Sydney, Australia, 28-30 November 2012}, series = {{EPTCS}}, volume = {102}, pages = {4--17}, year = {2012}, url = {https://doi.org/10.4204/EPTCS.102.3}, doi = {10.4204/EPTCS.102.3}, timestamp = {Wed, 12 Sep 2018 01:05:13 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-1211-6185.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/apsys/AmaniRDHLZ11, author = {Sidney Amani and Leonid Ryzhyk and Alastair F. Donaldson and Gernot Heiser and Alexander Legg and Yanjin Zhu}, editor = {Haibo Chen and Zheng Zhang and Sue Moon and Yuanyuan Zhou}, title = {Static analysis of device drivers: we can do better!}, booktitle = {APSys '11 Asia Pacific Workshop on Systems, Shanghai, China, July 11-12, 2011}, pages = {8}, publisher = {{ACM}}, year = {2011}, url = {https://doi.org/10.1145/2103799.2103809}, doi = {10.1145/2103799.2103809}, timestamp = {Thu, 19 Nov 2020 07:47:39 +0100}, biburl = {https://dblp.org/rec/conf/apsys/AmaniRDHLZ11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/asplos/RyzhykKMRVH11, author = {Leonid Ryzhyk and John Keys and Balachandra Mirla and Arun Raghunath and Mona Vij and Gernot Heiser}, editor = {Rajiv Gupta and Todd C. Mowry}, title = {Improved device driver reliability through hardware verification reuse}, booktitle = {Proceedings of the 16th International Conference on Architectural Support for Programming Languages and Operating Systems, {ASPLOS} 2011, Newport Beach, CA, USA, March 5-11, 2011}, pages = {133--144}, publisher = {{ACM}}, year = {2011}, url = {https://doi.org/10.1145/1950365.1950383}, doi = {10.1145/1950365.1950383}, timestamp = {Wed, 07 Jul 2021 13:23:08 +0200}, biburl = {https://dblp.org/rec/conf/asplos/RyzhykKMRVH11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/hotos/HeiserRTB11, author = {Gernot Heiser and Leonid Ryzhyk and Michael von Tessin and Aleksander Budzynowski}, editor = {Matt Welsh}, title = {What If You Could Actually Trust Your Kernel?}, booktitle = {13th Workshop on Hot Topics in Operating Systems, HotOS XIII, Napa, California, USA, May 9-11, 2011}, publisher = {{USENIX} Association}, year = {2011}, url = {https://www.usenix.org/conference/hotosxiii/what-if-you-could-actually-trust-your-kernel}, timestamp = {Wed, 04 Jul 2018 13:06:34 +0200}, biburl = {https://dblp.org/rec/conf/hotos/HeiserRTB11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ccs/HeiserAEKKR10, author = {Gernot Heiser and June Andronick and Kevin Elphinstone and Gerwin Klein and Ihor Kuz and Leonid Ryzhyk}, editor = {Shouhuai Xu and N. Asokan and Ahmad{-}Reza Sadeghi}, title = {The road to trustworthy systems}, booktitle = {Proceedings of the fifth {ACM} workshop on Scalable trusted computing, STC@CCS 2010, Chicago, IL, USA, October 4, 2010}, pages = {3--10}, publisher = {{ACM}}, year = {2010}, url = {http://dl.acm.org/citation.cfm?id=1867638}, timestamp = {Tue, 10 Nov 2020 16:06:16 +0100}, biburl = {https://dblp.org/rec/conf/ccs/HeiserAEKKR10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/hotdep/RyzhykKMRVH10, author = {Leonid Ryzhyk and John Keys and Balachandra Mirla and Arun Raghunath and Mona Vij and Gernot Heiser}, editor = {Paulo Ver{\'{\i}}ssimo and Hakim Weatherspoon}, title = {Improved Device Driver Reliability Through Verification Reuse}, booktitle = {Proceedings of the Sixth Workshop on Hot Topics in System Dependability, HotDep 2010, Vancouver, BC, Canada, October 3, 2010}, publisher = {{USENIX} Association}, year = {2010}, url = {https://www.usenix.org/conference/hotdep10/improved-device-driver-reliability-through-verification-reuse}, timestamp = {Tue, 02 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/hotdep/RyzhykKMRVH10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sigcomm/RyzhykZH10, author = {Leonid Ryzhyk and Yanjin Zhu and Gernot Heiser}, editor = {Chandramohan A. Thekkath and Ramakrishna Kotla and Lidong Zhou}, title = {The case for active device drivers}, booktitle = {Proceedings of the 1st {ACM} {SIGCOMM} Asia-Pacific Workshop on Systems, ApSys 2010, New Delhi, India, August 30, 2010}, pages = {25--30}, publisher = {{ACM}}, year = {2010}, url = {https://doi.org/10.1145/1851276.1851283}, doi = {10.1145/1851276.1851283}, timestamp = {Tue, 06 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/sigcomm/RyzhykZH10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/eurosys/RyzhykCKH09, author = {Leonid Ryzhyk and Peter Chubb and Ihor Kuz and Gernot Heiser}, editor = {Wolfgang Schr{\"{o}}der{-}Preikschat and John Wilkes and Rebecca Isaacs}, title = {Dingo: taming device drivers}, booktitle = {Proceedings of the 2009 EuroSys Conference, Nuremberg, Germany, April 1-3, 2009}, pages = {275--288}, publisher = {{ACM}}, year = {2009}, url = {https://doi.org/10.1145/1519065.1519095}, doi = {10.1145/1519065.1519095}, timestamp = {Tue, 06 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/eurosys/RyzhykCKH09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sosp/RyzhykCKSH09, author = {Leonid Ryzhyk and Peter Chubb and Ihor Kuz and Etienne Le Sueur and Gernot Heiser}, editor = {Jeanna Neefe Matthews and Thomas E. Anderson}, title = {Automatic device driver synthesis with termite}, booktitle = {Proceedings of the 22nd {ACM} Symposium on Operating Systems Principles 2009, {SOSP} 2009, Big Sky, Montana, USA, October 11-14, 2009}, pages = {73--86}, publisher = {{ACM}}, year = {2009}, url = {https://doi.org/10.1145/1629575.1629583}, doi = {10.1145/1629575.1629583}, timestamp = {Tue, 06 Nov 2018 16:59:32 +0100}, biburl = {https://dblp.org/rec/conf/sosp/RyzhykCKSH09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sosp/RyzhykKH07, author = {Leonid Ryzhyk and Ihor Kuz and Gernot Heiser}, editor = {Eric Eide and Marc E. Fiuczynski}, title = {Formalising device driver interfaces}, booktitle = {Proceedings of the 4th workshop on Programming languages and operating systems, PLOS@SOSP 2007, Stevenson, Washington, USA, October 18, 2007}, pages = {10:1--10:5}, publisher = {{ACM}}, year = {2007}, url = {https://doi.org/10.1145/1376789.1376803}, doi = {10.1145/1376789.1376803}, timestamp = {Tue, 06 Nov 2018 16:59:32 +0100}, biburl = {https://dblp.org/rec/conf/sosp/RyzhykKH07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.