Work

Icarus: Trustworthy Just-In-Time Compilers with Symbolic Meta-Execution

Year: 2024

Type: conference-paper

Source: ACM SIGOPS Symposium on Operating Systems Principles (SOSP)

DOI: 10.1145/3694715.3695949

Authors: Naomi Smith, Abhishek Sharma, John Renner, David Thien, Fraser Brown, Hovav Shacham, Ranjit Jhala, Deian Stefan

Institutions: University of California San Diego, The University of Texas at Austin, Carnegie Mellon University

Language: English

Topic: Logic, programming, and type systems

Subfield: Artificial Intelligence

Field: Computer Science

Domain: Physical Sciences

Open Access status: closed

Funder: National Science Foundation

Awards: Collaborative Research: SaTC: CORE: Large: Building and Deploying a Verified JavaScript Runtime, Collaborative Research: SaTC: CORE: Large: Building and Deploying a Verified JavaScript Runtime, Collaborative Research: SaTC: CORE: Medium: End-to-end Verified Secure Sandboxed Systems, Collaborative Research: SaTC: CORE: Medium: Refine the Gap: Establishing Safety for Modern Foreign Function Interfaces, Collaborative Research: SaTC: CORE: Medium: End-to-end Verified Secure Sandboxed Systems

OpenAlex ID: W4404400576

FWCI: 5.006

Cites: 24

Cited by: 17

Related to: 10