Ian McCormack

According to our database¹, Ian McCormack authored at least 4 papers between 2022 and 2024.

Collaborative distances:

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

Timeline

Legend:

Book

In proceedings

Article

PhD thesis

Dataset

Other

Links

On csauthors.net:

Bibliography

2024

A Study of Undefined Behavior Across Foreign Function Boundaries in Rust Libraries.

[BibT_eX]

[DOI]

Ian McCormack

Joshua Sunshine

Jonathan Aldrich

CoRR, 2024

"Against the Void": An Interview and Survey Study on How Rust Developers Use Unsafe Code.

[BibT_eX]

[DOI]

CoRR, 2024

2022

Plan B: Design Methodology for Cyber-Physical Systems Robust to Timing Failures.

[BibT_eX]

[DOI]

Mohammad Khayatian

Mohammadreza Mehrabian

ACM Trans. Cyber Phys. Syst., 2022

Gradual C0: Symbolic Execution for Efficient Gradual Verification.

[BibT_eX]

[DOI]

CoRR, 2022

Ian McCormack

Timeline

Legend:

Links

On csauthors.net:

Bibliography

Loading...