Cited in
(only showing first 100 items - show all)- Whale: an interpolation-based algorithm for inter-procedural verification
- Polly
- A resource semantics and abstract machine for \textit{Safe}: a functional language with regions and explicit deallocation
- Memory-centric scheduling for multicore hard real-time systems
- Extending R
- A Modern Look at GRIN, an Optimizing Functional Language Back End
- Checking data-race freedom of GPU kernels, compositionally
- Fast computation of strong control dependencies
- Program synthesis for interactive-security systems
- On the correctness of the SIMT execution model of GPUs
- A complete semantics of \(\mathbb{K}\) and its translation to Isabelle
- Modular verification of procedure equivalence in the presence of memory allocation
- Jasmin
- Towards bit-width-independent proofs in SMT solvers
- Towards satisfiability modulo parametric bit-vectors
- Harnessing static analysis to help learn pseudo-inverses of string manipulating procedures for automatic test generation
- Leveraging compiler intermediate representation for multi- and cross-language 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
- Julia language in machine learning: algorithms, applications, and open issues
- Complexity and resource bound analysis of imperative programs using difference constraints
- Structural Abstraction of Software Verification Conditions
- cQASM
- PULSEE
- Non-linear Boltzmann equation on hybrid-unstructured non-conforming multi-domains
- Speculative parallelization of sequential loops on multicores
- Improving the results of program analysis by abstract interpretation beyond the decreasing sequence
- Automatically proving termination and memory safety for programs with pointer arithmetic
- Extracting verified decision procedures: DPLL and resolution
- Refinement through restraint: bringing down the cost of verification
- Verification of Concurrent Programs on Weak Memory Models
- Sound bit-precise numerical domains
- RSSA: A Reversible SSA Form
- Termination and complexity analysis for programs with bitvector arithmetic by symbolic execution
- Time-triggered runtime verification
- DeepWukong
- Juliet Test Suite
- Qsim
- CScout: a refactoring browser for C
- Symbolic computation via program transformation
- Ghidra
- AMulet
- FRAT
- libParanumal
- qopt
- Spinsim
- iBioSim
- XACC
- Software obfuscation with non-linear mixed Boolean-arithmetic expressions
- A formal approach to the WCRT analysis of multicore systems with memory contention under phase-structured task sets
- Replacing conjectures by positive knowledge: inferring proven precise worst-case execution time bounds using symbolic execution
- LambdaMu-calculus
- Backward symbolic execution with loop folding
- Hash consed points-to sets
- In search of a program generator to implement generic transformations for high-performance computing
- A formal semantics of the GraalVM intermediate representation
- Spinsim: a GPU optimized Python package for simulating spin-half and spin-one quantum systems
- Relational program reasoning using compiler IR
- A profile-based tool for finding pipeline parallelism in sequential programs
- An abstract domain of uninterpreted functions
- Trace-based schedulability analysis to enhance passive side-channel attack resilience of embedded software
- CLUE
- Facilitating the design of fault tolerance in transaction level SystemC programs
- Computing in operations research using Julia
- scientific article; zbMATH DE number 5679834 (Why is no real title available?)
- Programmable program synthesis
- A principled, complete, and efficient representation of C++
- A compiler for MSVL and its applications
- A new abstraction framework for affine transformers
- Proteus
- Forest
- BoogiePL
- sgmcmc
- ScaffCC
- GRATchk
- DLVM
- EROS
- Fable
- DPB
- Laminar
- Merlin
- Moat
- Privtrans
- SGX
- SMACK
- VC3
- Kendo
- KLEE-FP
- Hive
- Aligator.jl
- Symbiotic 2
- jCUTE
- IODINE
- Mono
- Qlose
- XRPython
- XR
- SymDIVINE
- Rosette
- pyQuil
- qHiPSTER
This page was built for software: LLVM
