Nicolas Viennot

According to our database, Nicolas Viennot authored at least 13 papers between 2009 and 2022.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2022

Path-Tree Optimization in Discrete Partially Observable Environments Using Rapidly-Exploring Belief-Space Graphs.

Camille Phiquepal, Andreas Orthey, Nicolas Viennot, Marc Toussaint

IEEE Robotics Autom. Lett., 2022

Path-Tree Optimization in Partially Observable Environments using Rapidly-Exploring Belief-Space Graphs.

Camille Phiquepal, Andreas Orthey, Nicolas Viennot, Marc Toussaint

CoRR, 2022

2016

Deterministic, Mutable, and Distributed Record-Replay for Operating Systems and Database Systems.

Nicolas Viennot

PhD thesis, 2016

2015

Synapse: a microservices architecture for heterogeneous-database web applications.

Nicolas Viennot, Mathias Lécuyer, Jonathan Bell, Roxana Geambasu, Jason Nieh

Proceedings of the Tenth European Conference on Computer Systems, 2015

2014

A measurement study of google play.

Nicolas Viennot, Edward Garcia, Jason Nieh

Proceedings of the ACM SIGMETRICS / International Conference on Measurement and Modeling of Computer Systems, 2014

Cider: native execution of iOS apps on android.

Jeremy Andrus, Alexander Van't Hof, Naser AlDuaij, Christoffer Dall, Nicolas Viennot, Jason Nieh

Proceedings of the Architectural Support for Programming Languages and Operating Systems, 2014

2013

Transparent mutable replay for multicore debugging and patch validation.

Nicolas Viennot, Siddharth Nair, Jason Nieh

Proceedings of the Architectural Support for Programming Languages and Operating Systems, 2013

2011

Pervasive detection of process races in deployed systems.

Oren Laadan, Nicolas Viennot, Chia-Che Tsai, Chris Blinn, Junfeng Yang, Jason Nieh

Proceedings of the 23rd ACM Symposium on Operating Systems Principles 2011, 2011

Structured linux kernel projects for teaching operating systems concepts.

Oren Laadan, Jason Nieh, Nicolas Viennot

Proceedings of the 42nd ACM technical symposium on Computer science education, 2011

Finding Concurrency Errors in Sequential Code - OS-level, In-vivo Model Checking of Process Races.

Oren Laadan, Chia-Che Tsai, Nicolas Viennot, Chris Blinn, Peter Senyao Du, Jason Nieh

Proceedings of the 13th Workshop on Hot Topics in Operating Systems, 2011

2010

Transparent, lightweight application execution replay on commodity multiprocessor operating systems.

Oren Laadan, Nicolas Viennot, Jason Nieh

Proceedings of the SIGMETRICS 2010, 2010

Teaching operating systems using virtual appliances and distributed version control.

Oren Laadan, Jason Nieh, Nicolas Viennot

Proceedings of the 41st ACM technical symposium on Computer science education, 2010

2009

ASSURE: automatic software self-healing using rescue points.

Stelios Sidiroglou, Oren Laadan, Carlos Perez, Nicolas Viennot, Jason Nieh, Angelos D. Keromytis

Proceedings of the 14th International Conference on Architectural Support for Programming Languages and Operating Systems, 2009