LLVM
From MaRDI portal
Cited in
(only showing first 100 items - show all)- Juliet Test Suite
- DeepWukong
- Qsim
- Ghidra
- AMulet
- FRAT
- libParanumal
- qopt
- Spinsim
- Sawja
- Sdpsol
- StreamIt
- Improving the results of program analysis by abstract interpretation beyond the decreasing sequence
- Symbolic computation via program transformation
- A compiler for MSVL and its applications
- DiVinE
- Termination and complexity analysis for programs with bitvector arithmetic by symbolic execution
- Valgrind
- MiBench
- Program synthesis for interactive-security systems
- Relational program reasoning using compiler IR
- KLEE
- Dagger
- CasADi: a software framework for nonlinear optimization and optimal control
- PySCeS
- SPARKSkein
- Predator
- CPAchecker
- KRATOS
- A matrix-free isogeometric Galerkin method for Karhunen-Loève approximation of random fields using tensor product splines, tensor contraction and interpolation based quadrature
- TypeInfo
- Julia language in machine learning: algorithms, applications, and open issues
- versat
- Towards satisfiability modulo parametric bit-vectors
- SFO
- SUIF
- MediaBench
- Grace
- A complete semantics of \(\mathbb{K}\) and its translation to Isabelle
- CodeBoost
- Non-linear Boltzmann equation on hybrid-unstructured non-conforming multi-domains
- Hash consed points-to sets
- Backward symbolic execution with loop folding
- LLBMC
- A formal semantics of the GraalVM intermediate representation
- UFO
- SPLASH-2
- PARSEC
- Cetus
- CBMC
- ABC
- r-TuBound
- CompCert
- InvGen
- Quipper
- JPAX
- NaCl
- UMM
- CScout
- Time-triggered runtime verification
- Memory-centric scheduling for multicore hard real-time systems
- RooFit
- rdyncall
- RevKit
- codetools
- Towards bit-width-independent proofs in SMT solvers
- A new abstraction framework for affine transformers
- na11
- Analyzing program termination and complexity automatically with \textsf{AProVE}
- Automatically proving termination and memory safety for programs with pointer arithmetic
- Complexity and resource bound analysis of imperative programs using difference constraints
- A resource semantics and abstract machine for \textit{Safe}: a functional language with regions and explicit deallocation
- qasm2circ
- GKLEE
- Mako
- SymDiff
- aiT
- In search of a program generator to implement generic transformations for high-performance computing
- Vellvm
- SAFECode
- Lingva
- Snugglebug
- Joogie
- SWILL
- Enhancing \texttt{R} with advanced compilation tools and methods
- Ctrl
- gputools
- QCL
- Dependencies
- Smacc
- Wolverine
- Rllvm
- RllvmCompile
- RCIndex
- Rffi
- FastCSVSample
- r2c
- pdist
- libclang
- Software obfuscation with non-linear mixed Boolean-arithmetic expressions
This page was built for software: LLVM
