Instruct: Given the title of a scientific paper, retrieve paper titles that are cited by the given paper.
Query: CETS : Compiler-Enforced Temporal Safety for C Santosh Nagarakatte Jianzhou
Hardbound: architectural support for spatial safety of the C programming language
Formal verification of a realistic compiler
EffectiveSan: type and memory error detection using dynamically typed C/C++
Formal memory models for verifying C systems code
A source-to-source compiler for generating dependable software
Learning to Verify Safety Properties
WatchdogLite: Hardware-Accelerated Compiler-Based Pointer Checking
Enforcing forward-edge control-flow integrity in GCC & LLVM
Efficient Detection of Thread Safety Violations via Coverage-Guided Generation of Concurrent Tests
CoreDet: a compiler and runtime system for deterministic multithreaded execution
Safe Control under Uncertainty with Probabilistic Signal Temporal Logic
dynamic model - based safety analysis : from state machines to temporal fault trees .
The ForSpec Temporal Logic: A New Temporal Property-Specification Language
Shield Synthesis: Runtime Enforcement for Reactive Systems
Don't sweat the small stuff: formal verification of C code without the pain
A Component-Based Dynamic Link Support for Safety-Critical Embedded Systems
The Temporal Logic of Reactive and Concurrent Systems
Formal certification of a compiler back-end or: programming a compiler with a proof assistant
The Temporal Logic of Programs
C and tcc: a language and compiler for dynamic code generation
Generalisation and Sharing in Triplet Convnets for Sketch based Visual Search
27.6 A 0.7pF-to-10nF fully digital capacitance-to-digital converter using iterative delay-chain discharge
An information fidelity criterion for image quality assessment using natural scene statistics
Unbiased Metric Learning: On the Utilization of Multiple Datasets and Web Images for Softening Bias
Non-control-data attacks are realistic threats