Presentations
-
Spectector: Principled detection of speculative information flows
Presented at Northeastern University, Boston, USA, at Forschungstage Informatik 2019, Max Planck Institute for Informatics, Germany, and at the Summer School on the Security of Software / Hardware Interfaces, Rennes, France.
-
SIC: Provably Timing-Predictable Strictly In-Order Pipelined Processor Core
Presented at RTSS 2018, Nashville, USA.
-
Write-back Caches in WCET Analysis
Presented at ECRTS 2017, Dubrovnik, Croatia.
-
Challenges for Timing Analysis of Multi-Core Architectures
Presented at DICE-FOPARA 2017, Uppsala, Sweden.
-
Timing Predictability and How to Achieve It
Presented at Dagstuhl Seminar 16441 "Adaptive Isolation for Predictability and Security", 2016, Wadern, Germany.
-
Enabling Compositionality for Multicore Timing Analysis
Presented at Verimag, 2016, Grenoble, France.
-
Sichere Zukunftsvorhersagen durch Modellierung und Approximation (German only)
Presented at Forschungstage Informatik 2016, Max Planck Institute for Informatics, Germany.
-
Timing Anomalies and Timing Compositionality
Presented at TACLe Meeting at HIPEAC, 2016, Prague, Czech Republic.
-
On the Smoothness of Paging Algorithms
Presented at TU Dortmund, Germany, 2016, WAOA, 2015, Patras, Greece.
-
ASTRA: A Tool for Abstract Interpretation of Graph Transformation Systems
Presented at SPIN, 2015, Stellenbosch, South Africa.
-
Architecture-Parametric Timing Analysis
Presented at RTAS, 2014, Berlin, Germany.
-
Selfish-LRU: Preemption-Aware Caching for Predictability and Performance
Presented at RTAS, 2014, Berlin, Germany.
-
Challenges for
Worst-case Execution Time Analysis of
Multi-core Architectures
Presented at Intel Braunschweig, 2013, Germany.
-
Learning Cache Models by Measurements, pdf version
Presented at Uppsala University, 2012, Uppsala, Sweden.
-
PRET DRAM controller: Bank Privatization for Predictability and Temporal Isolation
Presented at the Embedded Systems Week, 2011, Taipei, Taiwan and Verimag, Grenoble, France.
-
To Meet or Not to Meet the Deadline
Presented at the Ninth Biennial Ptolemy Miniconference, 2011, Berkeley, CA.
-
Caches in WCET Analysis -- Predictability, Competitiveness, Sensitivity
PhD defense talk, also at TRESOR seminar, Ecole Polytechnique Fédérale de Lausanne, HCDDES Web Conference, and at ARTIST Summer School in Europe 2009, Autrans, France (find recording here)
-
Relative Competitive Analysis of Cache Replacement Policies
at LCTES 08
-
Timing Predictability of Cache Replacement Policies
at AVACS Virtual Seminar (find recording here) and Dagstuhl Seminar on Quantitative Aspects of Embedded Systems
-
Shape Analysis of Sets
at Trustworthy Software Workshop, Tel Aviv University, etc.
-
Timing Anomalies
at WCET'06 Workshop, AVACS Meeting Oldenburg, etc.
