Daniel Ziegler

Affiliations:

Massachusetts Institute of Technology, CSAIL, Cambridge, MA, USA

According to our database¹, Daniel Ziegler authored at least 4 papers between 2015 and 2017.

Collaborative distances:

Dijkstra number² of four.
Erdős number³ of three.

Timeline

Legend:

Book

In proceedings

Article

PhD thesis

Dataset

Other

Links

On csauthors.net:

Bibliography

2017

Arboral satisfaction: Recognition and LP approximation.

[BibT_eX]

[DOI]

Inf. Process. Lett., 2017

Certifying a file system using crash hoare logic: correctness in the presence of crashes.

[BibT_eX]

[DOI]

Commun. ACM, 2017

2015

Using Crash Hoare logic for certifying the FSCQ file system.

[BibT_eX]

[DOI]

Proceedings of the 25th Symposium on Operating Systems Principles, 2015

Specifying Crash Safety for Storage Systems.

[BibT_eX]

[DOI]

Proceedings of the 15th Workshop on Hot Topics in Operating Systems, 2015

Daniel Ziegler

Timeline

Legend:

Links

On csauthors.net:

Bibliography

Loading...