Rekard Edgren - Curing Our Binary Disease - EuroSTAR 2012
Continuous delivery in the cloud - DevConFu 2014
Fuzz
Faster recovery from operating system failure & file cache missing
Presto meetup 2015-03-19 @Facebook
Presto as a Service - Tips for operation and monitoring
20140311 Pregdb Cscs-lcg2 Migration to Slurm
Effectively Model Checking Real-World Distributed Systems Junfeng Yang Joint work with Huayang Guo, Ming Wu, Lidong Zhou, Gang Hu, Lintao Zhang, Heming.
Web Server Administration Chapter 10 Securing the Web Environment.
How Can Simple Model Test Complex System Model Based Testing of Large-Scale Software Victor Kuliamin [email protected] ISP RAS, Moscow.
Using model checking and execution generated tests to find bugs in real code Dawson Engler Cristian Cadar, Junfeng Yang, Ted Kremenek, Paul Twohey Stanford.
Chapter 3 Program Design and Branching Structures Dr. Ali Can Takinacı İstanbul Technical University Faculty of Naval Architecture and Ocean Engineering.