The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "Leonid Ryzhyk" ( http://dblp.L3S.de/Authors/Leonid_Ryzhyk )

  Author page on DBLP  Author page in RDF  Community of Leonid Ryzhyk in ASPL-2

Publication years (Num. hits)
2007-2014 (19) 2015-2017 (15) 2018-2019 (8)
Publication types (Num. hits)
article(13) inproceedings(29)
Venues (Conferences, Journals, ...)
CoRR(7) HotOS(4) CAV(3) Operating Systems Review(3) AAAI(2) APSys(2) CAV (2)(2) PLOS@SOSP(2) SYNT@CAV(2) ASPLOS(1) Datalog(1) EuroSys(1) FMCAD(1) Formal Methods in System Desig...(1) HotDep(1) NSDI(1) More (+10 of total 24)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 11 occurrences of 8 keywords

Results
Found 43 publication records. Showing 42 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Lalith Suresh, João Loff, Faria Kalim, Nina Narodytska, Leonid Ryzhyk, Sahan Gamage, Brian Oki, Zeeshan Lokhandwala, Mukesh Hira, Mooly Sagiv Automating Cluster Management with Weave. Search on Bibsonomy CoRR The full citation details ... 2019 DBLP  BibTeX  RDF
1Leonid Ryzhyk, Mihai Budiu Differential Datalog. Search on Bibsonomy Datalog The full citation details ... 2019 DBLP  BibTeX  RDF
1Elazar Gershuni, Nadav Amit, Arie Gurfinkel, Nina Narodytska, Jorge A. Navas, Noam Rinetzky, Leonid Ryzhyk, Mooly Sagiv Simple and precise static analysis of untrusted Linux kernel extensions. Search on Bibsonomy PLDI The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Vikram Narayanan, Marek S. Baranowski, Leonid Ryzhyk, Zvonimir Rakamaric, Anton Burtsev RedLeaf: Towards An Operating System for Safe and Verified Firmware. Search on Bibsonomy HotOS The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Lalith Suresh, João Loff, Nina Narodytska, Leonid Ryzhyk, Mooly Sagiv, Brian Oki Synthesizing Cluster Management Code for Distributed Systems. Search on Bibsonomy HotOS The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Kalev Alpernas, Cormac Flanagan, Sadjad Fouladi, Leonid Ryzhyk, Mooly Sagiv, Thomas Schmitz, Keith Winstein Secure serverless computing using dynamic information flow control. Search on Bibsonomy PACMPL The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Kalev Alpernas, Cormac Flanagan, Sadjad Fouladi, Leonid Ryzhyk, Mooly Sagiv, Thomas Schmitz, Keith Winstein Secure Serverless Computing Using Dynamic Information Flow Control. Search on Bibsonomy CoRR The full citation details ... 2018 DBLP  BibTeX  RDF
1Nina Narodytska, Shiva Prasad Kasiviswanathan, Leonid Ryzhyk, Mooly Sagiv, Toby Walsh Verifying Properties of Binarized Deep Neural Networks. Search on Bibsonomy AAAI The full citation details ... 2018 DBLP  BibTeX  RDF
1Pavol Cerný, Edmund M. Clarke, Thomas A. Henzinger, Arjun Radhakrishna, Leonid Ryzhyk, Roopsha Samanta, Thorsten Tarrach From non-preemptive to preemptive scheduling using synchronization synthesis. Search on Bibsonomy Formal Methods in System Design The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Swen Jacobs, Roderick Bloem, Romain Brenguier, Rüdiger Ehlers, Timotheus Hell, Robert Könighofer, Guillermo A. Pérez, Jean-François Raskin, Leonid Ryzhyk, Ocan Sankur, Martina Seidl, Leander Tentrup, Adam Walker The first reactive synthesis competition (SYNTCOMP 2014). Search on Bibsonomy STTT The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Nina Narodytska, Shiva Prasad Kasiviswanathan, Leonid Ryzhyk, Mooly Sagiv, Toby Walsh Verifying Properties of Binarized Deep Neural Networks. Search on Bibsonomy CoRR The full citation details ... 2017 DBLP  BibTeX  RDF
1Abhiram Balasubramanian, Marek S. Baranowski, Anton Burtsev, Aurojit Panda, Zvonimir Rakamaric, Leonid Ryzhyk System Programming in Rust: Beyond Safety. Search on Bibsonomy Operating Systems Review The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Leonid Ryzhyk, Nikolaj Bjørner, Marco Canini, Jean-Baptiste Jeannin, Cole Schlesinger, Douglas B. Terry, George Varghese Correct by Construction Networks Using Stepwise Refinement. Search on Bibsonomy NSDI The full citation details ... 2017 DBLP  BibTeX  RDF
1Abhiram Balasubramanian, Marek S. Baranowski, Anton Burtsev, Aurojit Panda, Zvonimir Rakamaric, Leonid Ryzhyk System Programming in Rust: Beyond Safety. Search on Bibsonomy HotOS The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Leonid Ryzhyk, Adam Walker Developing a Practical Reactive Synthesis Tool: Experience and Lessons Learned. Search on Bibsonomy SYNT@CAV The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Swen Jacobs, Roderick Bloem, Romain Brenguier, Ayrat Khalimov, Felix Klein 0001, Robert Könighofer, Jens Kreber, Alexander Legg, Nina Narodytska, Guillermo A. Pérez, Jean-François Raskin, Leonid Ryzhyk, Ocan Sankur, Martina Seidl, Leander Tentrup, Adam Walker The 3rd Reactive Synthesis Competition (SYNTCOMP 2016): Benchmarks, Participants & Results. Search on Bibsonomy SYNT@CAV The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Alexander Legg, Nina Narodytska, Leonid Ryzhyk A SAT-Based Counterexample Guided Method for Unbounded Synthesis. Search on Bibsonomy CAV (2) The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Pavol Cerný, Edmund M. Clarke, Thomas A. Henzinger, Arjun Radhakrishna, Leonid Ryzhyk, Roopsha Samanta, Thorsten Tarrach Optimizing Solution Quality in Synchronization Synthesis. Search on Bibsonomy CoRR The full citation details ... 2015 DBLP  BibTeX  RDF
1Swen Jacobs, Roderick Bloem, Romain Brenguier, Robert Könighofer, Guillermo A. Pérez, Jean-François Raskin, Leonid Ryzhyk, Ocan Sankur, Martina Seidl, Leander Tentrup, Adam Walker The Second Reactive Synthesis Competition (SYNTCOMP 2015). Search on Bibsonomy SYNT The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Swen Jacobs, Roderick Bloem, Romain Brenguier, Rüdiger Ehlers, Timotheus Hell, Robert Könighofer, Guillermo A. Pérez, Jean-François Raskin, Leonid Ryzhyk, Ocan Sankur, Martina Seidl, Leander Tentrup, Adam Walker The First Reactive Synthesis Competition (SYNTCOMP 2014). Search on Bibsonomy CoRR The full citation details ... 2015 DBLP  BibTeX  RDF
1Pavol Cerný, Edmund M. Clarke, Thomas A. Henzinger, Arjun Radhakrishna, Leonid Ryzhyk, Roopsha Samanta, Thorsten Tarrach From Non-preemptive to Preemptive Scheduling using Synchronization Synthesis. Search on Bibsonomy CoRR The full citation details ... 2015 DBLP  BibTeX  RDF
1Pavol Cerný, Edmund M. Clarke, Thomas A. Henzinger, Arjun Radhakrishna, Leonid Ryzhyk, Roopsha Samanta, Thorsten Tarrach From Non-preemptive to Preemptive Scheduling Using Synchronization Synthesis. Search on Bibsonomy CAV (2) The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Niklas Eén, Alexander Legg, Nina Narodytska, Leonid Ryzhyk SAT-Based Strategy Extraction in Reachability Games. Search on Bibsonomy AAAI The full citation details ... 2015 DBLP  BibTeX  RDF
1Pavol Cerný, Thomas A. Henzinger, Arjun Radhakrishna, Leonid Ryzhyk, Thorsten Tarrach Regression-free Synthesis for Concurrency. Search on Bibsonomy CoRR The full citation details ... 2014 DBLP  BibTeX  RDF
1Sidney Amani, Peter Chubb, Alastair F. Donaldson, Alexander Legg, Keng Chai Ong, Leonid Ryzhyk, Yanjin Zhu Automatic verification of active device drivers. Search on Bibsonomy Operating Systems Review The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Gabriele Keller, Toby C. Murray, Sidney Amani, Liam O'Connor, Zilin Chen, Leonid Ryzhyk, Gerwin Klein, Gernot Heiser File systems deserve verification too! Search on Bibsonomy Operating Systems Review The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Pavol Cerný, Thomas A. Henzinger, Arjun Radhakrishna, Leonid Ryzhyk, Thorsten Tarrach Regression-Free Synthesis for Concurrency. Search on Bibsonomy CAV The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Nina Narodytska, Alexander Legg, Fahiem Bacchus, Leonid Ryzhyk, Adam Walker Solving Games without Controllable Predecessor. Search on Bibsonomy CAV The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Leonid Ryzhyk, Adam Walker, John Keys, Alexander Legg, Arun Raghunath, Michael Stumm, Mona Vij User-Guided Device Driver Synthesis. Search on Bibsonomy OSDI The full citation details ... 2014 DBLP  BibTeX  RDF
1Adam Walker, Leonid Ryzhyk Predicate abstraction for reactive synthesis. Search on Bibsonomy FMCAD The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Pavol Cerný, Thomas A. Henzinger, Arjun Radhakrishna, Leonid Ryzhyk, Thorsten Tarrach Efficient Synthesis for Concurrency by Semantics-Preserving Transformations. Search on Bibsonomy CAV The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Gabriele Keller, Toby C. Murray, Sidney Amani, Liam O'Connor, Zilin Chen, Leonid Ryzhyk, Gerwin Klein, Gernot Heiser File systems deserve verification too! Search on Bibsonomy PLOS@SOSP The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Sidney Amani, Peter Chubb, Alastair F. Donaldson, Alexander Legg, Leonid Ryzhyk, Yanjin Zhu Automatic Verification of Message-Based Device Drivers Search on Bibsonomy SSV The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Sidney Amani, Leonid Ryzhyk, Alastair F. Donaldson, Gernot Heiser, Alexander Legg, Yanjin Zhu Static analysis of device drivers: we can do better! Search on Bibsonomy APSys The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Leonid Ryzhyk, John Keys, Balachandra Mirla, Arun Raghunath, Mona Vij, Gernot Heiser Improved device driver reliability through hardware verification reuse. Search on Bibsonomy ASPLOS The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Gernot Heiser, Leonid Ryzhyk, Michael von Tessin, Aleksander Budzynowski What If You Could Actually Trust Your Kernel? Search on Bibsonomy HotOS The full citation details ... 2011 DBLP  BibTeX  RDF
1Gernot Heiser, June Andronick, Kevin Elphinstone, Gerwin Klein, Ihor Kuz, Leonid Ryzhyk The road to trustworthy systems. Search on Bibsonomy STC@CCS The full citation details ... 2010 DBLP  BibTeX  RDF
1Leonid Ryzhyk, Yanjin Zhu, Gernot Heiser The case for active device drivers. Search on Bibsonomy ApSys The full citation details ... 2010 DBLP  DOI  BibTeX  RDF stack ripping, concurrency, device drivers
1Leonid Ryzhyk, John Keys, Balachandra Mirla, Arun Raghunath, Mona Vij, Gernot Heiser Improved Device Driver Reliability Through Verification Reuse. Search on Bibsonomy HotDep The full citation details ... 2010 DBLP  BibTeX  RDF
1Leonid Ryzhyk, Peter Chubb, Ihor Kuz, Etienne Le Sueur, Gernot Heiser Automatic device driver synthesis with termite. Search on Bibsonomy SOSP The full citation details ... 2009 DBLP  DOI  BibTeX  RDF domain-specific languages, device drivers, software synthesis, two-player games
1Leonid Ryzhyk, Peter Chubb, Ihor Kuz, Gernot Heiser Dingo: taming device drivers. Search on Bibsonomy EuroSys The full citation details ... 2009 DBLP  DOI  BibTeX  RDF reliability, domain-specific languages, concurrent programming, device drivers, fault avoidance
1Leonid Ryzhyk, Ihor Kuz, Gernot Heiser Formalising device driver interfaces. Search on Bibsonomy PLOS@SOSP The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #42 of 42 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license