Architectural design of E1 distributed operating system von L. B. Ryzhyk, A. Y. Burtsev

Volltext

DBSP: Automatic Incremental View Maintenance for Rich Query Languages von Budiu, Mihai, Chajed, Tej, McSherry, Frank, Ryzhyk, Leonid, Tannen, Val

Volltext

Developing a Practical Reactive Synthesis Tool: Experience and Lessons Learned von Ryzhyk, Leonid, Walker, Adam

Volltext

Multiparametric Ultrasound Examination in Tumor-Like Formations of the Ovaries von Stasiv, Iryna Dmytrivna, Ryzhyk, Valeryan Mykolayovych, Mishchuk, Vasyl Hryhorovych, Dudiy, Petro Fedorovych, Salyzhyn, Tetyana Ivanivna

Volltext

The first reactive synthesis competition (SYNTCOMP 2014) von Jacobs, Swen, Bloem, Roderick, Brenguier, Romain, Ehlers, Rüdiger, Hell, Timotheus, Könighofer, Robert, Pérez, Guillermo A., Raskin, Jean-François, Ryzhyk, Leonid, Sankur, Ocan, Seidl, Martina, Tentrup, Leander, Walker, Adam

Volltext

DBSP: Incremental Computation on Streams and Its Applications to Databases von Budiu, Mihai, Chajed, Tej, McSherry, Frank, Ryzhyk, Leonid, Tannen, Val

Volltext

The 3rd Reactive Synthesis Competition (SYNTCOMP 2016): Benchmarks, Participants & Results von Jacobs, Swen, Bloem, Roderick, Brenguier, Romain, Khalimov, Ayrat, Klein, Felix, Könighofer, Robert, Kreber, Jens, Legg, Alexander, Narodytska, Nina, Pérez, Guillermo A., Raskin, Jean-François, Ryzhyk, Leonid, Sankur, Ocan, Seidl, Martina, Tentrup, Leander, Walker, Adam

Volltext

The Second Reactive Synthesis Competition (SYNTCOMP 2015) von Jacobs, Swen, Bloem, Roderick, Brenguier, Romain, Könighofer, Robert, Pérez, Guillermo A., Raskin, Jean-François, Ryzhyk, Leonid, Sankur, Ocan, Seidl, Martina, Tentrup, Leander, Walker, Adam

Volltext

From non-preemptive to preemptive scheduling using synchronization synthesis von Černý, Pavol, Clarke, Edmund M., Henzinger, Thomas A., Radhakrishna, Arjun, Ryzhyk, Leonid, Samanta, Roopsha, Tarrach, Thorsten

Volltext

A SAT-Based Counterexample Guided Method for Unbounded Synthesis von Legg, Alexander, Narodytska, Nina, Ryzhyk, Leonid

Volltext

From Non-preemptive to Preemptive Scheduling Using Synchronization Synthesis von Černý, Pavol, Clarke, Edmund M., Henzinger, Thomas A., Radhakrishna, Arjun, Ryzhyk, Leonid, Samanta, Roopsha, Tarrach, Thorsten

Volltext

Improved device driver reliability through hardware verification reuse von Ryzhyk, Leonid, Keys, John, Mirla, Balachandra, Raghunath, Arun, Vij, Mona, Heiser, Gernot

Volltext

Hybrid Static-Dynamic Analysis of Data Races Caused by Inconsistent Locking Discipline in Device Drivers von Bai, Jia-Ju, Chen, Qiu-Liang, Jiang, Zu-Ming, Lawall, Julia, Hu, Shi-Min

Volltext

An Evaluation of Direct and Indirect Memory Accesses in Fluid Flow Simulator von Taipe, Stiw Harrison Herrera, Teixeira, Thiago, Ribeiro, Weber, Carneiro, Andre, Borges, Marcio R., Osthoff, Carla, Cabral, F. L., de Oliveira, S. L. Gonzaga

Volltext

Integrating Logic Rules with Everything Else, Seamlessly von LIU, YANHONG A., STOLLER, SCOTT D., TONG, YI, LIN, BO

Volltext

Survey on serverless computing von Hassan, Hassan B., Barakat, Saman A., Sarhan, Qusay I.

Volltext

Ahead of time static analysis for automatic generation of debugging interfaces to the Linux kernel von Bissyandé, Tegawendé F., Réveillère, Laurent, Lawall, Julia L., Muller, Gilles

Volltext

Extended Toda lattice hierarchy, extended two-matrix model and c = 1 string theory von Bonora, L., Xiong, C.S.

Volltext

Fault isolation for device drivers von Herder, J.N., Bos, H., Gras, B., Homburg, P., Tanenbaum, A.S.

Volltext

Bring Your Own Data Structures to Datalog von Sahebolamri, Arash, Barrett, Langston, Moore, Scott, Micinski, Kristopher

Volltext