Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX 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}
}
a service of 
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.
last updated on 2024-02-06 23:50 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
