Nicolas Viennot

13 papers A* 6A 4Journal 2
YearRankTypeTitle / Venue / Authors
2022 J jnl
Path-Tree Optimization in Discrete Partially Observable Environments Using Rapidly-Exploring Belief-Space Graphs.
IEEE Robotics Autom. Lett.
Camille Phiquepal, Andreas Orthey, Nicolas Viennot, Marc Toussaint
2022 J jnl
Path-Tree Optimization in Partially Observable Environments using Rapidly-Exploring Belief-Space Graphs.
CoRR
Camille Phiquepal, Andreas Orthey, Nicolas Viennot, Marc Toussaint
2016 — —
Deterministic, Mutable, and Distributed Record-Replay for Operating Systems and Database Systems.
Nicolas Viennot
2015 A conf
Synapse: a microservices architecture for heterogeneous-database web applications.
EuroSys
Nicolas Viennot, Mathias Lécuyer, Jonathan Bell, Roxana Geambasu, Jason Nieh
2014 A* conf
A measurement study of google play.
SIGMETRICS
Nicolas Viennot, Edward Garcia, Jason Nieh
2014 A* conf
Cider: native execution of iOS apps on android.
ASPLOS
Jeremy Andrus, Alexander Van't Hof, Naser AlDuaij, Christoffer Dall, Nicolas Viennot, Jason Nieh
2013 A* conf
Transparent mutable replay for multicore debugging and patch validation.
ASPLOS
Nicolas Viennot, Siddharth Nair, Jason Nieh
2011 A conf
Finding Concurrency Errors in Sequential Code - OS-level, In-vivo Model Checking of Process Races.
HotOS
Oren Laadan, Chia-Che Tsai, Nicolas Viennot, Chris Blinn, Peter Senyao Du, Jason Nieh
2011 A* conf
Pervasive detection of process races in deployed systems.
SOSP
Oren Laadan, Nicolas Viennot, Chia-Che Tsai, Chris Blinn, Junfeng Yang, Jason Nieh
2011 A conf
Structured linux kernel projects for teaching operating systems concepts.
SIGCSE
Oren Laadan, Jason Nieh, Nicolas Viennot
2010 A conf
Teaching operating systems using virtual appliances and distributed version control.
SIGCSE
Oren Laadan, Jason Nieh, Nicolas Viennot
2010 A* conf
Transparent, lightweight application execution replay on commodity multiprocessor operating systems.
SIGMETRICS
Oren Laadan, Nicolas Viennot, Jason Nieh
2009 A* conf
ASSURE: automatic software self-healing using rescue points.
ASPLOS
Stelios Sidiroglou, Oren Laadan, Carlos Perez, Nicolas Viennot, Jason Nieh, Angelos D. Keromytis