Ironclad

Armada: Low-Effort Verification of High-Performance Concurrent Programs

Jay Lorch, Yixuan Chen, Manos Kapritsos, Bryan Parno, Shaz Qadeer, Upamanyu Sharma, James R. Wilcox, Xueyuan Zhao

International Conference on Programming Language Design and Implementation (PLDI) | June 2020

Distinguished Paper Award

Publication

IronFleet: Proving Safety and Liveness of Practical Distributed Systems

Chris Hawblitzel, Jon Howell, Manos Kapritsos, Jay Lorch, Bryan Parno, Justine Stephenson, Srinath Setty, Brian Zill

Communications of the ACM | July 2017, Vol 60

CACM Research Highlight

Publication

IronFleet: Proving Practical Distributed Systems Correct

Chris Hawblitzel, Jon Howell, Manos Kapritsos, Jay Lorch, Bryan Parno, Justine Stephenson, Srinath Setty, Brian Zill

Proceedings of the ACM Symposium on Operating Systems Principles (SOSP) | October 2015

Publication

Ironclad Apps: End-to-End Security via Automated Full-System Verification

Chris Hawblitzel, Jon Howell, Jay Lorch, Arjun Narayan, Bryan Parno, Danfeng Zhang, Brian Zill

USENIX Symposium on Operating Systems Design and Implementation (OSDI) | October 2014

Publication Github Project

Safe to the Last Instruction: Automated Verification of a Type-Safe Operating System

Jean Yang, Chris Hawblitzel

PLDI | June 2010

Best Paper

Publication Publication

Armada: Low-Effort Verification of High-Performance Concurrent Programs

Jay Lorch, Yixuan Chen, Manos Kapritsos, Bryan Parno, Shaz Qadeer, Upamanyu Sharma, James R. Wilcox, Xueyuan Zhao

International Conference on Programming Language Design and Implementation (PLDI) | June 2020

Distinguished Paper Award

Publication

IronFleet: Proving Safety and Liveness of Practical Distributed Systems

Chris Hawblitzel, Jon Howell, Manos Kapritsos, Jay Lorch, Bryan Parno, Justine Stephenson, Srinath Setty, Brian Zill

Communications of the ACM | July 2017, Vol 60

CACM Research Highlight

Publication

IronFleet: Proving Practical Distributed Systems Correct

Chris Hawblitzel, Jon Howell, Manos Kapritsos, Jay Lorch, Bryan Parno, Justine Stephenson, Srinath Setty, Brian Zill

Proceedings of the ACM Symposium on Operating Systems Principles (SOSP) | October 2015

Publication

Ironclad Apps: End-to-End Security via Automated Full-System Verification

Chris Hawblitzel, Jon Howell, Jay Lorch, Arjun Narayan, Bryan Parno, Danfeng Zhang, Brian Zill

USENIX Symposium on Operating Systems Design and Implementation (OSDI) | October 2014

Publication Github Project

IronFleet: Proving Safety and Liveness of Practical Distributed Systems

Chris Hawblitzel, Jon Howell, Manos Kapritsos, Jay Lorch, Bryan Parno, Justine Stephenson, Srinath Setty, Brian Zill

Communications of the ACM | July 2017, Vol 60

CACM Research Highlight

Publication

Ironclad Apps: End-to-End Security via Automated Full-System Verification

Chris Hawblitzel, Jon Howell, Jay Lorch, Arjun Narayan, Bryan Parno, Danfeng Zhang, Brian Zill

USENIX Symposium on Operating Systems Design and Implementation (OSDI) | October 2014

Publication Github Project

Safe to the Last Instruction: Automated Verification of a Type-Safe Operating System

Jean Yang, Chris Hawblitzel

PLDI | June 2010

Best Paper

Publication Publication

IronFleet: Proving Practical Distributed Systems Correct

Chris Hawblitzel, Jon Howell, Manos Kapritsos, Jay Lorch, Bryan Parno, Justine Stephenson, Srinath Setty, Brian Zill

Proceedings of the ACM Symposium on Operating Systems Principles (SOSP) | October 2015

Publication

Ironclad Apps: End-to-End Security via Automated Full-System Verification

Chris Hawblitzel, Jon Howell, Jay Lorch, Arjun Narayan, Bryan Parno, Danfeng Zhang, Brian Zill

USENIX Symposium on Operating Systems Design and Implementation (OSDI) | October 2014

Publication Github Project

Armada: Low-Effort Verification of High-Performance Concurrent Programs

Jay Lorch, Yixuan Chen, Manos Kapritsos, Bryan Parno, Shaz Qadeer, Upamanyu Sharma, James R. Wilcox, Xueyuan Zhao

International Conference on Programming Language Design and Implementation (PLDI) | June 2020

Distinguished Paper Award

Publication

IronFleet: Proving Practical Distributed Systems Correct

Chris Hawblitzel, Jon Howell, Manos Kapritsos, Jay Lorch, Bryan Parno, Justine Stephenson, Srinath Setty, Brian Zill

Proceedings of the ACM Symposium on Operating Systems Principles (SOSP) | October 2015

Publication

Ironclad Apps: End-to-End Security via Automated Full-System Verification

Chris Hawblitzel, Jon Howell, Jay Lorch, Arjun Narayan, Bryan Parno, Danfeng Zhang, Brian Zill

USENIX Symposium on Operating Systems Design and Implementation (OSDI) | October 2014

Publication Github Project

Safe to the Last Instruction: Automated Verification of a Type-Safe Operating System

Jean Yang, Chris Hawblitzel

PLDI | June 2010

Best Paper

Publication Publication

IronFleet: Proving Safety and Liveness of Practical Distributed Systems

Chris Hawblitzel, Jon Howell, Manos Kapritsos, Jay Lorch, Bryan Parno, Justine Stephenson, Srinath Setty, Brian Zill

Communications of the ACM | July 2017, Vol 60

CACM Research Highlight

Publication