Publications (Conference)
2024
-
SPLC
Conference
B
Should I Bother? Fast Patch Filtering for Statically-Configured Software Variants -
Proceedings of the 28th ACM International Systems and Software Product Line ConferenceAssociation for Computing Machinery2024.
PDF 10.1145/3646548.3672585 [BibTex]
2023
-
ICCAD
Conference
A
Checkpoint Placement for Systematic Fault-Injection Campaigns -
ICCAD '23: Proceedings of the 2023 IEEE/ACM International Conference on Computer-aided designACM Press2023.
PDF Raw Data 10.1109/ICCAD57390.2023.10323809 [BibTex]
-
USENIX
Conference
A
Distinguished Artifact Award
LLFree: Scalable and Optionally-Persistent Page-Frame Allocation -
2023 USENIX Annual Technical Conference (USENIX '23)USENIX Association2023Distinguished Artifact Award.
PDF Details Slides [BibTex]
-
USENIX
Conference
A
MELF: Multivariant Executables for a Heterogeneous World -
2023 USENIX Annual Technical Conference (USENIX '23)USENIX Association2023.
PDF Details [BibTex]
-
ARCS
Conference
Best Paper Award
TOSTING: Investigating Total Store Ordering on ARM -
Proceedings of the 36th GI/ITG International Conference on Architecture of Computing Systems (ARCS 23)Springer International Publishing2023Best Paper Award.
PDF Details Slides [BibTex]
-
LCTES
Conference
B
Thread-Level Attack-Surface Reduction -
Proceedings of the 24th ACM SIGPLAN/SIGBED International Conference on Languages, Compilers, and Tools for Embedded SystemsACM Press2023.
PDF Details Slides Video 10.1145/3589610.3596281 [BibTex]
-
RTAS
Conference
A
MultiSSE: Static Syscall Elision and Specialization for Event-Triggered Multi-Core RTOS -
Proceedings of the 29th IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS'23)2023.
PDF Details Slides [BibTex]
2022
-
ICSOFT
Conference
B
Best Student Paper
TASTING: Reuse Test-case Execution by Global AST Hashing -
Proceedings of the 17th International Conference on Software Technologies - ICSOFTSciTePress2022Best Student Paper.
PDF 10.5220/0011139200003266 [BibTex]
-
ISORC
Conference
C
Outstanding Paper Award
PSIC: Priority-Strict Multi-Core IRQ Processing -
Proceedings of the 25th International Symposium on Real-Time Distributed ComputingIEEE Computer Society2022Outstanding Paper Award.
PDF Slides 10.1109/ISORC52572.2022.9812796 [BibTex]
-
SAFECOMP
Conference
B
ACTOR: Accelerating Fault Injection Campaigns using Timeout Detection based on Autocorrelation -
41st International Conference on Computer Safety, Reliability and Security (SAFECOMP 2022)Springer-Verlag2022.
PDF Slides 10.1007/978-3-031-14835-4_17 [BibTex]
-
SAFECOMP
Conference
B
SailFAIL: Model-Derived Simulation-Assisted ISA-Level Fault-Injection Platforms -
41st International Conference on Computer Safety, Reliability and Security (SAFECOMP 2022)Springer-Verlag2022.
PDF Slides 10.1007/978-3-031-14835-4_14 [BibTex]
2021
-
LCTES
Conference
A
Data-Flow–Sensitive Fault-Space Pruning for the Injection of Transient Hardware Faults -
Proceedings of the 2021 ACM SIGPLAN/SIGBED Conference on Languages, Compilers and Tools for Embedded Systems (LCTES '21)ACM Press2021.
PDF Slides 10.1145/3461648.3463851 [BibTex]
-
RTAS
Conference
A
ARA: Static Initialization of Dynamically-Created System Objects -
Proceedings of the 27th IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS'21)2021.
PDF Details Video Teaser Video 10.1109/RTAS52030.2021.00039 [BibTex]
-
Conference
Silentium! Run-Analyse-Eradicate the Noise out of the DB/OS Stack -
BTW 2021Gesellschaft für Informatik2021.
PDF 10.18420/btw2021-21 [BibTex]
2020
-
OSDI
Conference
A*
From Global to Local Quiescence: Wait-Free Code Patching of Multi-Threaded Processes -
14th Symposium on Operating System Design and Implementation (OSDI '20)2020.
PDF Details Video [BibTex]
2019
-
ICSE
Conference
A*
The List is the Process: Reliable Pre-Integration Tracking of Commits on Mailing Lists -
Proceedings of the 41st International Conference on Software Engineering (ICSE '19)2019.
PDF Raw Data 10.1109/ICSE.2019.00088 [BibTex]
-
ARCS
Conference
A Parallel Adaptive Swarm Search Framework for Solving Black-Box Optimization Problems -
ARCS 2019; 32th International Conference on Architecture of Computing SystemsSpringer International Publishing2019.
[BibTex]
-
EuroSys
Conference
A
Multiverse: Compiler-Assisted Management of Dynamic Variability in Low-Level System Software -
Fourteenth EuroSys Conference 2019 (EuroSys '19)ACM Press2019.
PDF Slides 10.1145/3302424.3303959 [BibTex]
-
PRDC
Conference
B
Program-Structure–Guided Approximation of Large Fault Spaces -
2019 24th Pacific Rim International Symposium on Dependable Computing (PRDC'19)IEEE Computer Society Press2019.
PDF Slides 10.1109/PRDC47002.2019.00044 [BibTex]
-
RTSS
Conference
A*
RT.js: Practical Real-Time Scheduling for Web Applications -
Proceedings of the 40th IEEE Real-Time Systems Symposium 2019IEEE Computer Society Press2019.
PDF 10.1109/RTSS46320.2019.00017 [BibTex]
2018
-
DAC
Conference
A
Cross-Layer Fault-Space Pruning for Hardware-Assisted Fault Injection -
Proceedings of the 55th Annual Design Automation Conference 2018 (DAC '18)ACM Press2018.
PDF Slides Raw Data 10.1145/3195970.3196019 [BibTex]
-
RTSS
Conference
A*
Semi-Extended Tasks: Efficient Stack Sharing Among Blocking Threads -
Proceedings of the 39th IEEE Real-Time Systems Symposium 2018IEEE Computer Society Press2018.
PDF Details Slides Raw Data 10.1109/RTSS.2018.00049 [BibTex]
-
ECRTS
Conference
A
Outstanding Paper Award
Whole-System Worst-Case Energy-Consumption Analysis for Energy-Constrained Real-Time Systems -
Proceedings of the 30th Euromicro Conference on Real-Time Systems 2018Schloss Dagstuhl–Leibniz-Zentrum fuer Informatik2018Outstanding Paper Award.
PDF 10.4230/LIPIcs.ECRTS.2018.24 [BibTex]
2017
-
FMCAD
Conference
Automatic Verification of Application-Tailored OSEK Kernels -
Proceedings of the 17th Conference on Formal Methods in Computer-Aided Design (FMCAD '17)ACM Press2017.
PDF 10.23919/FMCAD.2017.8102260 [BibTex]
-
USENIX
Conference
A
Best Paper Award
cHash: Detection of Redundant Compilations via AST Hashing -
Proceedings of the 2017 USENIX Annual Technical Conference (USENIX '17)USENIX Association2017Best Paper Award.
PDF Details Slides Raw Data [BibTex]
-
LCTES
Conference
A
OSEK-V: Application-Specific RTOS Instantiation in Hardware -
Proceedings of the 2017 ACM SIGPLAN/SIGBED Conference on Languages, Compilers and Tools for Embedded Systems (LCTES '17)ACM Press2017.
PDF Raw Data 10.1145/3078633.3078637 [BibTex]
-
ARCS
Conference
Effectiveness of Software-Based Hardening for Radiation-Induced Soft Errors in Real-Time Operating Systems -
Proceedings of the 2017 Conference on Architecture of Computing Systems (ARCS '17)Springer-Verlag2017.
PDF 10.1007/978-3-319-54999-6_1 [BibTex]
-
RTAS
Conference
A
Outstanding Paper Award
SysWCET: Whole-System Response-Time Analysis for Fixed-Priority Real-Time Systems -
Proceedings of the 23rd IEEE International Symposium on Real-Time and Embedded Technology and Applications (RTAS '17)IEEE Computer Society Press2017Outstanding Paper Award.
PDF Raw Data 10.1109/RTAS.2017.37 [BibTex]
2016
-
WICSA
Conference
A
Architecture-Violation Management for Internal Software Ecosystems -
Proceedings of the 13th Working IEEE/IFIP Conference on Software Architecture (WICSA '16)2016.
10.1109/WICSA.2016.16 [BibTex]
-
OpenSym
Conference
Observing Custom Software Modifications: A Quantitative Approach of Tracking the Evolution of Patch Stacks -
Proceedings of the 12th International Symposium on Open Collaboration (OpenSym '16)2016.
PDF 10.1145/2957792.2957810 [BibTex]
-
GPCE
Conference
B
Towards Scalable Configuration Testing in Variable Software -
Proceedings of the 2016 International Conference on Generative Programming: Concepts and Experiences (GPCE '16)2016.
PDF 10.1145/2993236.2993252 [BibTex]
2015
-
GPCE
Conference
B
Lightweight, Generative Variant Exploration for High-Performance Graphics Applications -
Proceedings of the 14th International Conference on Generative Programming and Component Engineering (GPCE '15)ACM Press2015.
10.1145/2814204.2814220 [BibTex]
-
EDCC
Conference
FAIL*: An Open and Versatile Fault-Injection Framework for the Assessment of Software-Implemented Hardware Fault Tolerance -
Proceedings of the 11th European Dependable Computing Conference (EDCC '15)2015.
PDF 10.1109/EDCC.2015.28 [BibTex]
-
LCTES
Conference
A
Cross-Kernel Control-Flow-Graph Analysis for Event-Driven Real-Time Systems -
Proceedings of the 2015 ACM SIGPLAN/SIGBED Conference on Languages, Compilers and Tools for Embedded Systems (LCTES '15)ACM Press2015.
PDF Raw Data 10.1145/2670529.2754963 [BibTex]
-
RTAS
Conference
A
AUTOBEST: A United AUTOSAR-OS and ARINC 653 Kernel -
Proceedings of the 21st IEEE International Symposium on Real-Time and Embedded Technology and Applications (RTAS '15)IEEE Computer Society Press2015.
PDF Slides 10.1109/RTAS.2015.7108435 [BibTex]
-
RTAS
Conference
A
Best Paper Award
dOSEK: The Design and Implementation of a Dependability-Oriented Static Embedded Kernel -
Proceedings of the 21st IEEE International Symposium on Real-Time and Embedded Technology and Applications (RTAS '15)IEEE Computer Society Press2015Best Paper Award.
PDF 10.1109/RTAS.2015.7108449 [BibTex]
2014
-
FSE
Conference
A*
Distinguished Paper Award
Architecture Challenges for Internal Software Ecosystems: A Large-Scale Industry Case Study -
Proceedings of the 22nd International Symposium on Foundations of Software Engineering (FSE '14)ACM Press2014Distinguished Paper Award.
PDF 10.1145/2635868.2635876 [BibTex]
-
CASES
Conference
A
Team Up: Cooperative Memory Management in Embedded Systems -
Proceedings of the 2014 International Conference on Compilers, Architectures, and Synthesis for Embedded Systems (CASES '14)ACM Press2014.
PDF 10.1145/2656106.2656129 [BibTex]
-
GPCE
Conference
B
Automatic Feature Selection in Large-Scale System-Software Product Lines -
Proceedings of the 13th International Conference on Generative Programming and Component Engineering (GPCE '14)ACM Press2014.
PDF 10.1145/2658761.2658767 [BibTex]
-
USENIX
Conference
A
Static Analysis of Variability in System Software: The 90,000 #ifdefs Issue -
Proceedings of the 2014 USENIX Annual Technical Conference (USENIX '14)USENIX Association2014.
PDF Raw Data [BibTex]
-
ARCS
Conference
Resource-Aware Harris Corner Detection based on Adaptive Pruning -
Proceedings of the 2014 Conference on Architecture of Computing Systems (ARCS '14)Springer-Verlag2014.
10.1007/978-3-319-04891-8 [BibTex]
-
HASE
Conference
B
A Practitioner's Guide to Software-based Soft-Error Mitigation Using AN-Codes -
Proceedings of the 15th IEEE International Symposium on High-Assurance Systems Engineering (HASE '14)IEEE Computer Society Press2014.
PDF 10.1109/HASE.2014.14 [BibTex]
-
ELS
Conference
Defmacro for C: Lightweight, Ad-Hoc Code Generation -
Proceedings of the 7th European Lisp Symposium (ELS '14)2014.
PDF Slides [BibTex]
-
ISORC
Conference
C
Effectiveness of Fault Detection Mechanisms in Static and Dynamic Operating System Designs -
Proceedings of the 17th IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC '14)IEEE Computer Society Press2014.
PDF 10.1109/ISORC.2014.26 [BibTex]
-
ECRTS
Conference
A
MultiSloth: An Efficient Multi-Core RTOS using Hardware-Based Scheduling -
Proceedings of the 26th Euromicro Conference on Real-Time Systems (ECRTS '14)IEEE Computer Society Press2014.
PDF 10.1109/ECRTS.2014.30 [BibTex]
-
RTAS
Conference
A
Safer Sloth: Efficient, Hardware-Tailored Memory Protection -
Proceedings of the 20th IEEE International Symposium on Real-Time and Embedded Technology and Applications (RTAS '14)IEEE Computer Society Press2014.
PDF 10.1109/RTAS.2014.6925989 [BibTex]
2013
-
DASIP
Conference
A Resource-Aware Nearest Neighbor Search Algorithm for K-Dimensional Trees -
Proceedings of the 2013 Conference on Design & Architectures for Signal and Image Processing (DASIP '13)IEEE Computer Society Press2013.
[BibTex]
-
LCTES
Conference
A
A JVM for Soft-Error-Prone Embedded Systems -
Proceedings of the 2013 ACM SIGPLAN/SIGBED Conference on Languages, Compilers and Tools for Embedded Systems (LCTES '13)ACM Press2013.
PDF 10.1145/2465554.2465571 [BibTex]
-
MSR
Conference
A
Linux Variability Anomalies: What Causes Them and How Do They Get Fixed? -
Proceedings of the 10th Working Conference on Mining Software Repositories (MSR '13)IEEE Computer Society Press2013.
PDF 10.1109/MSR.2013.6624017 [BibTex]
-
NDSS
Conference
A*
Attack Surface Metrics and Automated Compile-Time OS Kernel Tailoring -
Proceedings of the 20th Network and Distributed Systems Security SymposiumThe Internet Society2013.
PDF [BibTex]
2012
-
RTSS
Conference
A*
Sloth on Time: Efficient Hardware-Based Scheduling for Time-Triggered RTOS -
Proceedings of the 33rd IEEE International Symposium on Real-Time Systems (RTSS '12)IEEE Computer Society Press2012.
PDF 10.1109/RTSS.2012.75 [BibTex]
-
MobiSys
Conference
B
CiAO/IP: A Highly Configurable Aspect-Oriented IP Stack -
Proceedings of the 10th International Conference on Mobile Systems, Applications, and Services (MobiSys '12)ACM Press2012.
PDF 10.1145/2307636.2307676 [BibTex]
-
EDCC
Conference
Eliminating Single Points of Failure in Software-Based Redundancy -
Proceedings of the 9th European Dependable Computing Conference (EDCC '12)IEEE Computer Society Press2012.
PDF 10.1109/EDCC.2012.21 [BibTex]
-
SPLC
Conference
A Robust Approach for Variability Extraction from the Linux Build System -
Proceedings of the 16th Software Product Line Conference (SPLC '12)ACM Press2012.
PDF 10.1145/2362536.2362544 [BibTex]
2011
-
RTSS
Conference
A*
Sleepy Sloth: Threads as Interrupts as Threads -
Proceedings of the 32nd IEEE International Symposium on Real-Time Systems (RTSS '11)IEEE Computer Society Press2011.
PDF 10.1109/RTSS.2011.14 [BibTex]
-
CODES+ISSS
Conference
C
Design and Architectures for Dependable Embedded Systems -
Proceedings of the 9th IEEE/ACM International Conference on Hardware/Software Codesign and System Synthesis (CODES+ISSS '11)ACM Press2011.
10.1145/2039370.2039384 [BibTex]
-
CODES+ISSS
Conference
C
DistRM: Distributed Resource Management for On-chip Many-Core Systems -
Proceedings of the 9th IEEE/ACM International Conference on Hardware/Software Codesign and System Synthesis (CODES+ISSS '11)ACM Press2011.
10.1145/2039370.2039392 [BibTex]
-
EuroSys
Conference
A
Feature Consistency in Compile-Time-Configurable System Software: Facing the Linux 10,000 Feature Problem -
Proceedings of the ACM SIGOPS/EuroSys European Conference on Computer Systems 2011 (EuroSys '11)ACM Press2011.
PDF 10.1145/1966445.1966451 [BibTex]
-
ISORC
Conference
C
Escaping the Bonds of the Legacy: Step-Wise Migration to a Type-Safe Language in Safety-Critical Embedded Systems -
Proceedings of the 14th IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC '11)IEEE Computer Society Press2011.
PDF 10.1109/ISORC.2011.29 [BibTex]
-
AOSD
Conference
A
Aspect-Aware Operating-System Development -
Proceedings of the 10th International Conference on Aspect-Oriented Software Development (AOSD '11)ACM Press2011.
PDF 10.1145/1960275.1960285 [BibTex]
2010
-
GPCE
Conference
B
Efficient Extraction and Analysis of Preprocessor-Based Variability -
Proceedings of the 9th International Conference on Generative Programming and Component Engineering (GPCE '10)ACM Press2010.
PDF 10.1145/1868294.1868300 [BibTex]
-
SoMeT
Conference
B
Multi-Level Product Line Customization -
Proceedings of the 2010 Conference on New Trends in Software Methodologies, Tools and Techniques (SoMeT '10)IOS Press2010.
PDF 10.3233/978-1-60750-629-4-37 [BibTex]
-
AOSD
Conference
A
The aspect-oriented design of the PUMA C/C++ parser framework -
Proceedings of the 9th International Conference on Aspect-Oriented Software Development (AOSD '10)ACM Press2010.
PDF 10.1145/1739230.1739256 [BibTex]
2009
-
RTSS
Conference
A*
Sloth: Threads as Interrupts -
Proceedings of the 30th IEEE International Symposium on Real-Time Systems (RTSS '09)IEEE Computer Society Press2009.
PDF 10.1109/RTSS.2009.18 [BibTex]
-
USENIX
Conference
A
CiAO: An Aspect-Oriented Operating-System Family for Resource-Constrained Embedded Systems -
Proceedings of the 2009 USENIX Annual Technical Conference USENIX Association2009.
PDF [BibTex]
-
SoMeT
Conference
B
Dynamic AspectC++: Generic Advice at Any Time -
Proceedings of the 2009 Conference on New Trends in Software Methodologies, Tools and Techniques (SoMeT '09)IOS Press2009.
PDF 10.3233/978-1-60750-049-0-165 [BibTex]
-
CASES
Conference
A
Parallel, Hardware-Supported Interrupt Handling in an Event-Triggered Real-Time Operating System -
Proceedings of the 2009 International Conference on Compilers, Architectures, and Synthesis for Embedded Systems (CASES '09)ACM Press2009.
PDF 10.1145/1629395.1629419 [BibTex]
2007
-
HICSS
Conference
A
Modular Integration through Aspects: Making Cents of Legacy Systems -
Proceedings of the 40th Hawaii International Conference on System Sciences (HICSS '07) - Clinical Process and Data Integration and EvolutionIEEE Computer Society Press2007.
PDF 10.1109/HICSS.2007.390 [BibTex]
-
SC
Conference
Unification of Static and Dynamic AOP for Evolution in Embedded Software Systems -
Proceedings of the Sixth International Symposium on Software CompositionSpringer-Verlag2007.
10.1007/978-3-540-77351-1 [BibTex]
2006
-
EuroSys
Conference
A
A Quantitative Analysis of Aspects in the eCos Kernel -
Proceedings of the ACM SIGOPS/EuroSys European Conference on Computer Systems 2006 (EuroSys '06)ACM Press2006.
PDF 10.1145/1218063.1217954 [BibTex]
-
HICSS
Conference
A
Static and Dynamic Weaving in System Software with AspectC++ -
Proceedings of the 39th Hawaii International Conference on System Sciences (HICSS '06) - Track 9IEEE Computer Society Press2006.
PDF 10.1109/HICSS.2006.437 [BibTex]
2005
-
SoMeT
Conference
B
Advances in AOP with AspectC++ -
New Trends in Software Methodologies, Tools and Techniques (SoMeT '05)IOS Press2005.
PDF [BibTex]
-
SC
Conference
On Typesafe Aspect Implementations in C++ -
Proceedings of Software Composition 2005 (SC '05)Springer-Verlag2005.
PDF 10.1007/11550679 [BibTex]
2004
-
GPCE
Conference
B
Generic Advice: On the Combination of AOP with Generative Programming in AspectC++ -
Proceedings of the 3rd International Conference on Generative Programming and Component Engineering (GPCE '04)Springer-Verlag2004.
PDF 10.1007/978-3-540-30175-2_4 [BibTex]