The following pages link to LLVM (Q17043):
Displayed 50 items.
- Enhancing \texttt{R} with advanced compilation tools and methods (Q257679) (← links)
- LCTD: test-guided proofs for C programs on LLVM (Q338629) (← links)
- A principled, complete, and efficient representation of C++ (Q359906) (← links)
- Facilitating the design of fault tolerance in transaction level SystemC programs (Q391252) (← links)
- Trace-based schedulability analysis to enhance passive side-channel attack resilience of embedded software (Q477664) (← links)
- A formal approach to the WCRT analysis of multicore systems with memory contention under phase-structured task sets (Q488240) (← links)
- Replacing conjectures by positive knowledge: inferring proven precise worst-case execution time bounds using symbolic execution (Q507359) (← links)
- Speculative parallelization of sequential loops on multicores (Q735356) (← links)
- Leveraging compiler intermediate representation for multi- and cross-language verification (Q784116) (← links)
- Harnessing static analysis to help learn pseudo-inverses of string manipulating procedures for automatic test generation (Q784127) (← links)
- Programmable program synthesis (Q832155) (← links)
- Checking data-race freedom of GPU kernels, compositionally (Q832190) (← links)
- Fast computation of strong control dependencies (Q832318) (← links)
- CScout: a refactoring browser for C (Q967532) (← links)
- A profile-based tool for finding pipeline parallelism in sequential programs (Q991154) (← links)
- Improving the results of program analysis by abstract interpretation beyond the decreasing sequence (Q1620957) (← links)
- Symbolic computation via program transformation (Q1623144) (← links)
- A compiler for MSVL and its applications (Q1630985) (← links)
- Termination and complexity analysis for programs with bitvector arithmetic by symbolic execution (Q1647969) (← links)
- Program synthesis for interactive-security systems (Q1696589) (← links)
- Relational program reasoning using compiler IR (Q1703014) (← links)
- CasADi: a software framework for nonlinear optimization and optimal control (Q1741124) (← links)
- A matrix-free isogeometric Galerkin method for Karhunen-Loève approximation of random fields using tensor product splines, tensor contraction and interpolation based quadrature (Q2021879) (← links)
- Julia language in machine learning: algorithms, applications, and open issues (Q2026295) (← links)
- Towards satisfiability modulo parametric bit-vectors (Q2051567) (← links)
- A complete semantics of \(\mathbb{K}\) and its translation to Isabelle (Q2119971) (← links)
- Non-linear Boltzmann equation on hybrid-unstructured non-conforming multi-domains (Q2134685) (← links)
- Hash consed points-to sets (Q2145316) (← links)
- Backward symbolic execution with loop folding (Q2145317) (← links)
- A formal semantics of the GraalVM intermediate representation (Q2147184) (← links)
- Time-triggered runtime verification (Q2248067) (← links)
- Memory-centric scheduling for multicore hard real-time systems (Q2251351) (← links)
- Towards bit-width-independent proofs in SMT solvers (Q2305428) (← links)
- A new abstraction framework for affine transformers (Q2322316) (← links)
- Analyzing program termination and complexity automatically with \textsf{AProVE} (Q2362493) (← links)
- Automatically proving termination and memory safety for programs with pointer arithmetic (Q2362494) (← links)
- Complexity and resource bound analysis of imperative programs using difference constraints (Q2398171) (← links)
- A resource semantics and abstract machine for \textit{Safe}: a functional language with regions and explicit deallocation (Q2437794) (← links)
- In search of a program generator to implement generic transformations for high-performance computing (Q2507772) (← links)
- Software obfuscation with non-linear mixed Boolean-arithmetic expressions (Q2672451) (← links)
- Spinsim: a GPU optimized Python package for simulating spin-half and spin-one quantum systems (Q2692486) (← links)
- An Abstract Domain of Uninterpreted Functions (Q2796038) (← links)
- (Q2810946) (← links)
- Whale: An Interpolation-Based Algorithm for Inter-procedural Verification (Q2891400) (← links)
- On the Correctness of the SIMT Execution Model of GPUs (Q2892735) (← links)
- On the implementation of<tt>GNU Prolog</tt> (Q2893102) (← links)
- From Under-Approximations to Over-Approximations and Back (Q2894271) (← links)
- Formalizing the SAFECode Type System (Q2938049) (← links)
- Julia: A Fresh Approach to Numerical Computing (Q2960399) (← links)
- Sound Bit-Precise Numerical Domains (Q2961585) (← links)