HCSS 2021

file

Visible to the public DoD Enterprise DevSecOps Initiative & Platform One

Submitted by Katie Dey on Wed, 04/21/2021 - 12:59pm

Presented as part of the 2021 HCSS conference.

ABSTRACT

file

Visible to the public Safe Composition through Dynamic Feature Interaction Resolution

Submitted by Eunsuk Kang on Tue, 04/20/2021 - 4:12pm. Contributor:

Presented as part of the 2021 HCSS conference.

ABSTRACT

file

Visible to the public Verifiable Binary Lifting

Submitted by akarns on Tue, 04/20/2021 - 4:12pm. Contributor:

Presented as part of the 2021 HCSS conference.

ABSTRACT

file

Visible to the public Retrofitting a type system onto a real world dynamic expression language

Submitted by akarns on Tue, 04/20/2021 - 4:12pm. Contributors:

Presented as part of the 2021 HCSS conference. 

ABSTRACT

file

Visible to the public Proof Robustness in the seL4 Verification

Submitted by akarns on Tue, 04/20/2021 - 4:12pm. Contributors:

Presented as part of the 2021 HCSS conference. 

ABSTRACT

file

Visible to the public On Computing Relevant Parameters of Decision Functions

Submitted by susmitj on Tue, 04/20/2021 - 4:12pm. Contributors:

Presented as part of the 2021 HCSS conference.

ABSTRACT

file

Visible to the public Proof Robustness in ACL2

Submitted by Eric Smith on Tue, 04/20/2021 - 4:12pm. Contributor:

Presented as part of the 2021 HCSS conference. 

ABSTRACT

This experience report builds on 20 years of maintaining proofs for the ACL2 theorem prover.

file

Visible to the public KEYNOTE_Rungta

Submitted by akarns on Tue, 04/20/2021 - 4:12pm. Contributor: