Publications

4 Results

Formal Methods-based Certification Frameworks for Scientific Computing Applications

Hulette, Geoffrey C.; Bender, John M.; Pollard, Samuel D.; Thornquist, Heidi K.; Kellison, Ariel &.

Abstract not provided.

More Details

TYPE Conference Paper YEAR 2021

OSTI

When Does a Bit Matter? Techniques for Verifying the Correctness of Assembly Languages and Floating-Point Programs

Pollard, Samuel D.

Abstract not provided.

More Details

TYPE Thesis or Dissertation YEAR 2021

OSTI

Quameleon: A Lifter and Intermediate Language for Binary Analysis

Pollard, Samuel D.; Johnson-Freyd, Philip A.; Aytac, Jon M.; Duckworth, Tristan D.; Carson, Michael J.; Hulette, Geoffrey C.; Harrison, Christopher B.

Abstract not provided.

More Details

TYPE Conference Poster YEAR 2019

OSTI

Quameleon: A Lifter and Intermediate Language for Binary Analysis

Johnson-Freyd, Philip A.; Pollard, Samuel D.; Duckworth, Tristan D.; Carson, Michael J.; Hulette, Geoffrey C.; Harrison, Christopher B.

Abstract not provided.

More Details

TYPE Conference Poster YEAR 2019

OSTI

4 Results

4 Results