Jorge Aparicio Rivera

Publication Activity (10 Years)

Years Active: 2018-2019
Publications (10 Years): 3

Top Topics

Dynamic Analysis

Hardware And Software

Dynamically Changing

Top Venues

Publications

Per Lindgren, Nils Fitinghoff, Jorge Aparicio Rivera
Cargo-call-stack Static Call-stack Analysis for Rust. INDIN (2019)
Jorge Aparicio Rivera, Marcus Lindner, Per Lindgren
Heapless: Dynamic Data Structures without Dynamic Heap Allocator for Rust. INDIN (2018)
Marcus Lindner, Jorge Aparicio Rivera, Henrik Tjader, Per Lindgren, Johan Eriksson
Hardware-in-the-loop based WCET analysis with KLEE. ETFA (2018)