LLVM
From MaRDI portal
Cited in
(only showing first 100 items - show all)- Facilitating the design of fault tolerance in transaction level SystemC programs
- Enhancing \texttt{R} with advanced compilation tools and methods
- Quo vadis explicit-state model checking
- A resource semantics and abstract machine for \textit{Safe}: a functional language with regions and explicit deallocation
- Analyzing program termination and complexity automatically with \textsf{AProVE}
- Checking data-race freedom of GPU kernels, compositionally
- Fast computation of strong control dependencies
- Memory-centric scheduling for multicore hard real-time systems
- Parallelizing computation of expected values in recombinant binomial trees
- cQASM
- PULSEE
- CScout: a refactoring browser for C
- Modular verification of procedure equivalence in the presence of memory allocation
- On the implementation of GNU Prolog
- A complete semantics of \(\mathbb{K}\) and its translation to Isabelle
- Symbolic computation via program transformation
- Programmable program synthesis
- Whale: an interpolation-based algorithm for inter-procedural verification
- A matrix-free isogeometric Galerkin method for Karhunen-Loève approximation of random fields using tensor product splines, tensor contraction and interpolation based quadrature
- Improving the results of program analysis by abstract interpretation beyond the decreasing sequence
- RSSA: A Reversible SSA Form
- Towards satisfiability modulo parametric bit-vectors
- Output-sensitive information flow analysis
- A profile-based tool for finding pipeline parallelism in sequential programs
- Interval-based resource usage verification by translation into Horn clauses and an application to energy consumption
- An abstract domain of uninterpreted functions
- Non-linear Boltzmann equation on hybrid-unstructured non-conforming multi-domains
- Refinement through restraint: bringing down the cost of verification
- Extracting verified decision procedures: DPLL and resolution
- Julia language in machine learning: algorithms, applications, and open issues
- Speculative parallelization of sequential loops on multicores
- Complexity and resource bound analysis of imperative programs using difference constraints
- Termination and complexity analysis for programs with bitvector arithmetic by symbolic execution
- Backward symbolic execution with loop folding
- Hash consed points-to sets
- A formal semantics of the GraalVM intermediate representation
- Sawja
- Sdpsol
- StreamIt
- DiVinE
- MiBench
- Valgrind
- KLEE
- Dagger
- PySCeS
- SPARKSkein
- CPAchecker
- Predator
- PARSEC
- UFO
- KRATOS
- TypeInfo
- SFO
- Grace
- versat
- MediaBench
- CodeBoost
- SUIF
- LLBMC
- ABC
- Cetus
- CBMC
- CompCert
- InvGen
- r-TuBound
- JPAX
- NaCl
- Quipper
- SPLASH-2
- CScout
- UMM
- RooFit
- rdyncall
- RevKit
- codetools
- na11
- GKLEE
- qasm2circ
- aiT
- Mako
- SAFECode
- SymDiff
- Lingva
- Joogie
- Ctrl
- Vellvm
- Snugglebug
- gputools
- Dependencies
- QCL
- SWILL
- Smacc
- FastCSVSample
- libclang
- Rllvm
- RllvmCompile
- pdist
- RCIndex
- r2c
- Rffi
This page was built for software: LLVM
