A Formally Verified Compiler Back-end

·2009·DOI
Health Data Science
Computational and Interdisciplinary Sciences
Software Engineering and Practices
Verification and Synthesis in Embedded Systems

Role in the Field

Neutralin Health Data Science
Neutralin Computational and Interdisciplinary Sciences
Neutralin Software Engineering and Practices
Neutralin Verification and Synthesis in Embedded Systems

Abstract

Citations

353

Year

2009

PageRank

2.8 / 10

Relative influence (log-scaled)

Related Papers

10 of 10 papers

Innovative Instructions And Software Model For Isolated Execution
·2013·663 citations
High-Level Synthesis For FPGAs: From Prototyping To Deployment
·2011·599 citations
SpaceEx: Scalable Verification Of Hybrid Systems
·2011·547 citations
Formal Verification Of A Realistic Compiler
·2009·825 citations
Precise Interprocedural Dataflow Analysis Via Graph Reachability
·1995·804 citations
Force-directed Scheduling For The Behavioral Synthesis Of ASICs
·1989·746 citations
Static Scheduling Of Synchronous Data Flow Programs For Digital Signal Processing
·1987·904 citations
Using Branching Time Temporal Logic To Synthesize Synchronization Skeletons
·1982·464 citations
MiBench: A Free, Commercially Representative Embedded Benchmark Suite
·0·1,370 citations
Design And Synthesis Of Synchronization Skeletons Using Branching Time Temporal Logic
·0·994 citations