Daniel Ziegler

Publication Activity (10 Years)

Years Active: 2015-2017
Publications (10 Years): 5

Top Topics

Classical Logic

Polygonal Approximation

Top Venues

USENIX Annual Technical Conference

Inf. Process. Lett.

Publications

Tej Chajed, Haogang Chen, Adam Chlipala, M. Frans Kaashoek, Nickolai Zeldovich, Daniel Ziegler
Certifying a file system using crash hoare logic: correctness in the presence of crashes. Commun. ACM 60 (4) (2017)
Erik D. Demaine, Varun Ganesan, Vladislav Kontsevoi, Qipeng Liu, Quanquan C. Liu, Fermi Ma, Ofir Nachum, Aaron Sidford, Erik Waingarten, Daniel Ziegler
Arboral satisfaction: Recognition and LP approximation. Inf. Process. Lett. 127 (2017)
Haogang Chen, Daniel Ziegler, Tej Chajed, Adam Chlipala, M. Frans Kaashoek, Nickolai Zeldovich
Using Crash Hoare Logic for Certifying the FSCQ File System. USENIX Annual Technical Conference (2016)
Haogang Chen, Daniel Ziegler, Tej Chajed, Adam Chlipala, M. Frans Kaashoek, Nickolai Zeldovich
Using Crash Hoare logic for certifying the FSCQ file system. SOSP (2015)
Haogang Chen, Daniel Ziegler, Adam Chlipala, M. Frans Kaashoek, Eddie Kohler, Nickolai Zeldovich
Specifying Crash Safety for Storage Systems. HotOS (2015)