L. Ryzhyk

Publications
Influence

Verifying Properties of Binarized Deep Neural Networks

Nina Narodytska, S. Kasiviswanathan, L. Ryzhyk, S. Sagiv, T. Walsh
Computer Science, Mathematics
AAAI
1 September 2017

We propose a rigorous way of verifying properties of a popular class of neural networks, Binarized Neural Networks, using the well-developed means of Boolean satisfiability. Expand

Dingo: taming device drivers

L. Ryzhyk, P. Chubb, I. Kuz, G. Heiser
Computer Science
EuroSys '09
1 April 2009

Device drivers are notorious for being a major source of failure in operating systems. Expand

Efficient Synthesis for Concurrency by Semantics-Preserving Transformations

P. Cerný, T. Henzinger, Arjun Radhakrishna, L. Ryzhyk, Thorsten Tarrach
Computer Science
CAV
13 July 2013

We develop program synthesis techniques that can help programmers fix concurrency-related bugs by considering partial-order traces (instead of linear traces) as counterexamples. Expand

System Programming in Rust: Beyond Safety

A. Balasubramanian, Marek S. Baranowski, A. Burtsev, Aurojit Panda, Z. Rakamaric, L. Ryzhyk
Computer Science
OPSR
11 September 2017

Rust is a new system programming language that enforces safety without runtime overhead, most importantly, without the overhead of garbage collection. Expand

Automatic device driver synthesis with termite

L. Ryzhyk, P. Chubb, I. Kuz, Etienne Le Sueur, G. Heiser
Computer Science
SOSP '09
11 October 2009

We present a concrete driver synthesis approach and tool called Termite that synthesises drivers automatically from formal specifications of device interfaces, thus reducing the impact of human error and potentially cutting down on development costs. Expand

The first reactive synthesis competition (SYNTCOMP 2014)

S. Jacobs, R. Bloem, +10 authors Adam Walker
Computer Science
International Journal on Software Tools for…
29 June 2015

We introduce the reactive synthesis competition (SYNTCOMP), a long-term effort intended to stimulate and guide advances in the design and application of synthesis procedures for reactive systems. Expand

Regression-free Synthesis for Concurrency

P. Cerný, T. Henzinger, Arjun Radhakrishna, L. Ryzhyk, Thorsten Tarrach
Computer Science
CAV
14 July 2014

This research was funded in part by the European Research Council (ERC) under grant agreement 267989 (QUAREM), by a gift from Intel Corporation. Expand

Correct by Construction Networks Using Stepwise Refinement

L. Ryzhyk, N. Bjørner, +4 authors G. Varghese
Computer Science
NSDI
2017

We present Cocoon, a framework for SDN development that facilitates both the design and verification of complex networks using stepwise refinement to move from a high-level specification to the final network implementation. Expand

The Second Reactive Synthesis Competition (SYNTCOMP 2015)

S. Jacobs, R. Bloem, +8 authors Adam Walker
Computer Science
SYNT
2 February 2016

We report on the design and results of the second reactive synthesis competition (SYNTCOMP 2015). Expand

Secure serverless computing using dynamic information flow control

Kalev Alpernas, C. Flanagan, +4 authors Keith Winstein
Computer Science
Proc. ACM Program. Lang.
25 February 2018

We show that in serverless applications, the termination channel found in most existing IFC systems can be arbitrarily amplified via multiple concurrent requests, necessitating a stronger termination-sensitive non-interference guarantee. Expand

Recommended Authors