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

2016

Using Crash Hoare Logic for Certifying the FSCQ File System.

[BibT_eX]

[DOI]

Proceedings of the 2016 USENIX Annual Technical Conference, 2016

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...