Scott Lystig Fritchie

Publication Activity (10 Years)

Years Active: 1997-2017
Publications (10 Years): 2

Top Topics

Operating System

Formal Specification

Music Retrieval

Asynchronous Circuits

Top Venues

Erlang Workshop

Publications

Stavros Aronis, Scott Lystig Fritchie, Konstantinos Sagonas
Testing and Verifying Chain Repair Methods for Corfu Using Stateless Model Checking. IFM (2017)
Scott Lystig Fritchie
Coordinating distributed system configuration changes with humming consensus. PaPoC@EuroSys (2016)
Scott Lystig Fritchie
Faulterl: precise fault injection for the erlang VM, NIFs and linked-in drivers. Erlang Workshop (2014)
Scott Lystig Fritchie
Chain replication in theory and in practice. Erlang Workshop (2010)
Scott Lystig Fritchie
A study of Erlang ETS table implementations and performance. Erlang Workshop (2003)
Scott Lystig Fritchie
The evolution of Erlang drivers and the Erlang driver toolkit. Erlang Workshop (2002)
Scott Lystig Fritchie
The Cyclic News Filesystem: Getting INN To Do More With Less. LISA (1997)