The following pages link to LLVM (Q17043):
Displayed 22 items.
- Refinement through restraint: bringing down the cost of verification (Q2982005) (← links)
- Modular Verification of Procedure Equivalence in the Presence of Memory Allocation (Q2988675) (← links)
- Using Fault Screeners for Software Error Detection (Q3058774) (← links)
- RSSA: A Reversible SSA Form (Q3179177) (← links)
- Verification of Concurrent Programs on Weak Memory Models (Q3179387) (← links)
- Lingva: Generating and Proving Program Properties Using Symbol Elimination (Q3455056) (← links)
- Computing in Operations Research Using Julia (Q3466770) (← links)
- (Q3528920) (← links)
- A Domain-Specific Language and Editor for Parallel Particle Methods (Q4611302) (← links)
- Interval-based resource usage verification by translation into Horn clauses and an application to energy consumption (Q4644354) (← links)
- Parallel Assertions for Architectures with Weak Memory Models (Q4649301) (← links)
- Parallelizing computation of expected values in recombinant binomial trees (Q4960568) (← links)
- Constraint-based Diversification of JOP Gadgets (Q5026250) (← links)
- A Fast Verified Liveness Analysis in SSA Form (Q5049011) (← links)
- (Q5149222) (← links)
- Quo Vadis Explicit-State Model Checking (Q5175096) (← links)
- Extracting verified decision procedures: DPLL and Resolution (Q5177337) (← links)
- (Q5188287) (← links)
- Structural Abstraction of Software Verification Conditions (Q5429330) (← links)
- JuMP: A Modeling Language for Mathematical Optimization (Q5738130) (← links)
- (Q5856419) (← links)
- A Modern Look at GRIN, an Optimizing Functional Language Back End (Q5886175) (← links)