Leonid Ryzhyk

According to our database1, Leonid Ryzhyk authored at least 32 papers between 2007 and 2019.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2019
Simple and precise static analysis of untrusted Linux kernel extensions.
Proceedings of the 40th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2019

Synthesizing Cluster Management Code for Distributed Systems.
Proceedings of the Workshop on Hot Topics in Operating Systems, 2019

RedLeaf: Towards An Operating System for Safe and Verified Firmware.
Proceedings of the Workshop on Hot Topics in Operating Systems, 2019

Differential Datalog.
Proceedings of the Datalog 2.0 2019, 2019

2018
Secure serverless computing using dynamic information flow control.
PACMPL, 2018

Verifying Properties of Binarized Deep Neural Networks.
Proceedings of the Thirty-Second AAAI Conference on Artificial Intelligence, 2018

2017
The first reactive synthesis competition (SYNTCOMP 2014).
STTT, 2017

Correct by Construction Networks Using Stepwise Refinement.
Proceedings of the 14th USENIX Symposium on Networked Systems Design and Implementation, 2017

System Programming in Rust: Beyond Safety.
Proceedings of the 16th Workshop on Hot Topics in Operating Systems, 2017

2016
Developing a Practical Reactive Synthesis Tool: Experience and Lessons Learned.
Proceedings of the Proceedings Fifth Workshop on Synthesis, 2016

The 3rd Reactive Synthesis Competition (SYNTCOMP 2016): Benchmarks, Participants & Results.
Proceedings of the Proceedings Fifth Workshop on Synthesis, 2016

A SAT-Based Counterexample Guided Method for Unbounded Synthesis.
Proceedings of the Computer Aided Verification - 28th International Conference, 2016

2015
The Second Reactive Synthesis Competition (SYNTCOMP 2015).
Proceedings of the Proceedings Fourth Workshop on Synthesis, 2015

From Non-preemptive to Preemptive Scheduling Using Synchronization Synthesis.
Proceedings of the Computer Aided Verification - 27th International Conference, 2015

SAT-Based Strategy Extraction in Reachability Games.
Proceedings of the Twenty-Ninth AAAI Conference on Artificial Intelligence, 2015

2014
Automatic verification of active device drivers.
Operating Systems Review, 2014

User-Guided Device Driver Synthesis.
Proceedings of the 11th USENIX Symposium on Operating Systems Design and Implementation, 2014

Predicate abstraction for reactive synthesis.
Proceedings of the Formal Methods in Computer-Aided Design, 2014

Solving Games without Controllable Predecessor.
Proceedings of the Computer Aided Verification - 26th International Conference, 2014

Regression-Free Synthesis for Concurrency.
Proceedings of the Computer Aided Verification - 26th International Conference, 2014

2013
File systems deserve verification too!
Proceedings of the Seventh Workshop on Programming Languages and Operating Systems, 2013

Efficient Synthesis for Concurrency by Semantics-Preserving Transformations.
Proceedings of the Computer Aided Verification - 25th International Conference, 2013

2012
Automatic Verification of Message-Based Device Drivers
Proceedings of the Proceedings Seventh Conference on Systems Software Verification, 2012

2011
What If You Could Actually Trust Your Kernel?
Proceedings of the 13th Workshop on Hot Topics in Operating Systems, 2011

Improved device driver reliability through hardware verification reuse.
Proceedings of the 16th International Conference on Architectural Support for Programming Languages and Operating Systems, 2011

Static analysis of device drivers: we can do better!
Proceedings of the APSys '11 Asia Pacific Workshop on Systems, 2011

2010
The case for active device drivers.
Proceedings of the 1st ACM SIGCOMM Asia-Pacific Workshop on Systems, 2010

Improved Device Driver Reliability Through Verification Reuse.
Proceedings of the Sixth Workshop on Hot Topics in System Dependability, 2010

The road to trustworthy systems.
Proceedings of the fifth ACM workshop on Scalable trusted computing, 2010

2009
Automatic device driver synthesis with termite.
Proceedings of the 22nd ACM Symposium on Operating Systems Principles 2009, 2009

Dingo: taming device drivers.
Proceedings of the 2009 EuroSys Conference, Nuremberg, Germany, April 1-3, 2009, 2009

2007
Formalising device driver interfaces.
Proceedings of the 4th workshop on Programming languages and operating systems, 2007


  Loading...