Valgrind
From MaRDI portal
Cited in
(only showing first 100 items - show all)- Automatic proofs of memory deallocation for a Whiley-to-C compiler
- Numerical modelling via INMOST software platform
- Dynamic analysis of Java program concepts for visualization and profiling
- Algorithmic differentiation of the Open CASCADE technology CAD kernel and its coupling with an adjoint CFD solver
- Memory-usage advantageous block recursive matrix inverse
- Discrete ordinates analysis of the forced-flight variance reduction technique in Monte Carlo neutral particle transport simulations
- Simulation of operational semantics of machine instructions
- The IELR(1) algorithm for generating minimal LR(1) parser tables for non-LR(1) grammars with conflict resolution
- A survey on design and implementation of protected searchable data in the cloud
- scientific article; zbMATH DE number 2024850 (Why is no real title available?)
- A theory of monitors
- Robust software partitioning with multiple instantiation
- An evaluation of point-insertion sequences for incremental Delaunay tessellations
- \texttt{blocks\_3d}: software for general 3d conformal blocks
- Using static analysis to reduce dynamic analysis overhead
- scientific article; zbMATH DE number 2188185 (Why is no real title available?)
- Does relativistic cosmology software handle emergent volume evolution?
- Incremental copying garbage collection for WAM-based Prolog systems
- Wheeler graphs: a framework for BWT-based data structures
- A usability case study of algorithmic differentiation tools on the ISSM ice sheet model
- The cache-oblivious Gaussian elimination paradigm: Theoretical framework, parallelization and Experimental evaluation
- A program slicing-based method for effective detection of coincidentally correct test cases
- ``Endless workload analysis of large-scale supercomputers
- An Abstract Interpretation-Based Framework for Control Flow Reconstruction from Binaries
- G-Tries: a data structure for storing and finding subgraphs
- Silq
- dtControl
- Daisy
- bzip2
- drmemory
- Inforence
- PinPoint
- Starkiller
- DANTON
- FLRWSolver
- GRAMSES
- PAYNT
- libunistring
- Optimized high speed pixel sorting and its application in watershed based image segmentation
- Runtime enforcement monitors: Composition, synthesis, and enforcement abilities
- Memory debugging of MPI-parallel applications in Open MPI
- Practical Guide to Computer Simulations
- I'm stuck! How to efficiently debug computational solid mechanics models so you can enjoy the beauty of simulations
- Ghidra
- Whiley
- textX
- On the infeasibility of modeling polymorphic shellcode. Re-thinking the role of learning in intrusion detection systems
- heaptrack
- LLDB Debugger
- Dynamic Model Checking with Property Driven Pruning to Detect Race Conditions
- Performance advantage of reconfigurable cache design on multicore processor systems
- Optimization of triple-ring electrodes on piezoceramic transducers using algorithmic differentiation
- Non-dominated solutions for time series learning and forecasting. Generating models with a generic two-phase Pareto loca search with VND
- SoftBound
- White-box cryptography: don't forget about grey-box attacks
- A profile-based tool for finding pipeline parallelism in sequential programs
- The \textsc{MergeSat} solver
- Extending Model Checking with Dynamic Analysis
- jContractor: Introducing design-by-contract to Java using reflective bytecode instrumentation
- Capitalizing on \textit{live} variables: new algorithms for efficient Hessian computation via automatic differentiation
- CADNA
- GILK
- Grail
- LANGAGE
- FocusCheck
- jContractor
- ACASH
- AspectWerkz
- MiBench
- TCPDUMP
- LLVM
- FXT
- hfloat
- FunFrog
- DiSL
- TMVA
- VMWare
- PARSEC
- BCEL
- Metro
- Ibis
- CFS++
- MediaBench
- SUIF
- mpiP
- gmm++
- evt
- ESBMC
- CCured
- PermLib
- Insure++
- FAdo
- GUItar
- SymPol
- RE2
- Cachegrind
- edge_push_sp
- hess_pat
- Crypto++
- BAP
This page was built for software: Valgrind
