Real-Time Systems Reading Group

This is a weekly reading group. We plan to discuss papers from recent conferences and state-of-the-art papers. The papers will be chosen by group members in a round-robin fashion.

We meet on Mondays at 4:00 PM in room 207 (Kaiserslautern). If there are attendees from Saarbrücken, we meet in the video conference meeting rooms 517 (Kaiserslautern) and 522 (Saarbrücken).

Fall 2017

Date Paper
08 Jan Moritz Lipp, Michael Schwarz, Daniel Gruss, Thomas Prescher, Werner Haas, Stefan Mangard, Paul Kocher and Daniel Genkin, Yuval Yarom and Mike Hamburg. Meltdown. 2018.
27 Nov Phani Kishore Gadepalli, Robert Gifford, Lucas Baier, Michael Kelly, and Gabriel Parmer. Temporal Capabilities: Access Control for Time. RTSS 2017.
13 Nov Filipe Manco, Costin Lupu, Florian Schmidt, Jose Mendes, Simon Kuenzer, Sumit Sati, Kenichi Yasukata, Costin Raiciu, and Felipe Huici. My VM is Lighter (and Safer) than your Container. SOSP 2017.
30 Oct Simon Schuster, Peter Ulbrich, Isabella Stilkerich, Christian Dietrich, and Wolfgang SchröDer-Preikschat. Demystifying Soft-Error Mitigation by Control-Flow Checking -- A New Perspective on its Effectiveness. EMSOFT 2017.
23 Oct Amit Levy, Bradford Campbell, Branden Ghena, Daniel B. Giffin, Pat Pannuto, Prabal Dutta, and Philip Levis. Multiprogramming a 64 kB Computer Safely and Efficiently. SOSP 2017.
25 Sep Tanya Amert, Nathan Otterness, Ming Yang, James H. Anderson, and F. Donelson Smith. GPU Scheduling on the NVIDIA TX2: Hidden Details Revealed. RTSS 2017.
18 Sep Baptiste Lepers, Willy Zwaenepoel, Jean-Pierre Lozi, Nicolas Palix, Redha Gouicem, Julien Sopena, Julia Lawall, and Gilles Muller. Towards Proving Optimistic Multicore Schedulers. HotOS 2017.
Abhiram Balasubramanian, Marek S. Baranowski, Anton Burtsev, Aurojit Panda, Zvonimir Rakamarić, and Leonid Ryzhyk. System Programming in Rust: Beyond Safety. HotOS 2017.

Summer 2017 (Focus: recently published papers)

Date Paper
04 Sep Kyong-Tak Cho and Kang G. Shin. Fingerprinting Electronic Control Units for Vehicle Intrusion Detection. USENIX Security 2016.
27 Aug Youngjin Kwon, Hangchen Yu, Simon Peter, Christopher J. Rossbach, and Emmett Witchel. Coordinated and Efficient Huge Page Management with Ingens. OSDI 2016.
31 Jul Rachid Guerraoui, David Kozhaya, and Yvonne-Anne Pignolet. Right on Time Distributed Shared Memory. RTSS 2016.
24 Jul Arne Hamann, Dakshina Dasari, Simon Kramer, Michael Pressler, and Falk Wurst. Communication Centric Design in Complex Automotive Embedded Systems. ECRTS 2017.
11 Jul Cancelled (RTNS deadline)
04 Jul Pulkit A. Misra, Jeffrey S. Chase, Johannes Gehrke, and Alvin R. Lebeck. Enabling Lightweight Transactions with Precision Time. ASPLOS 2017.
20 Jun Guilherme Cox, and Abhishek Bhattacharjee. Efficient Address Translation for Architectures with Multiple Page Sizes. ASPLOS 2017.
13 Jun Dmitrii Kuvaiskii, Oleksii Oleksenko, Sergei Arnautov, Bohdan Trach, Pramod Bhatotia, Pascal Felber, and Christof Fetzer. SGXBOUNDS: Memory Safety for Shielded Execution. EuroSys 2017.
06 Jun Christina Delimitrou and Christos Kozyrakis. Bolt: I Know What You Did Last Summer... In the Cloud. ASPLOS 2017.
30 May Bobby Powers, John Vilk, and Emery D. Berger. Browsix: Bridging the Gap Between Unix and the Browser. ASPLOS 2017.

Suggested Papers

Date Paper
Tao Qian, Frank Mueller, and Yufeng Xin. A Linux Real-Time Packet Scheduler for Reliable Static SDN Routing. ECRTS 2017.
Tobias Blaß, Sebastian Hahn, and Jan Reineke. Write-Back Caches in WCET Analysis. ECRTS 2017.
Sandro Pinto, Jorge Pereira, Tiago Gomes, Adriano Tavares, and Jorge Cabral. LTZVisor: TrustZone is the Key. ECRTS 2017.
Davide Quarta, Marcello Pogliani, Mario Polino, Federico Maggi, Andrea Maria Zanchettin, and Stefano Zanero. An Experimental Security Analysis of an Industrial Robot Controller. S&P 2017.
Date Paper
Ruozhou Yu, Guoliang Xue, Xiang Zhang, and Jian Tang. Non-Preemptive Coflow Scheduling and Routing. GLOBECOM 2016.
Ziyang Li, Yiming Zhang, Dongsheng Li, Kai Chen, and Yuxing Peng. OPTAS: Decentralized Flow Monitoring and Scheduling for Tiny Tasks. INFOCOM 2016.
Ahmed M. Abdelmoniem, and Brahim Bensaou. Reconciling Mice and Elephants in Data Center Networks. CloudNet 2015.
Mosharaf Chowdhury, Yuan Zhong, and Ion Stoica. Efficient Coflow Scheduling with Varys. SIGCOMM 2014.
Yangming Zhao, Kai Chen, Wei Bai, Minlan Yu, Chen Tian, Yanhui Geng, Yiming Zhang, Dan Li, and Sheng Wang. Rapier: Integrating routing and scheduling for coflow-aware data center networks. INFOCOM 2015.
Mosharaf Chowdhury, and Ion Stoica. Efficient Coflow Scheduling Without Prior Knowledge. SIGCOMM 2015.

Spring 2017 (Focus: cache isolation techniques)

Date Paper
11 Apr Namhoon Kim, Micaiah Chisholm, Nathan Otterness, James H. Anderson, and F. Donelson Smith. Allowing Shared Libraries while Supporting Hardware Isolation in Multicore Real-Time Systems. RTAS 2017.
04 Apr Bryan C. Ward, Jonathan L. Herman, Christopher J. Kenna, and James H. Anderson. Making shared caches more predictable on multicore platforms. ECRTS 2013.
29 Mar Meng Xu, Linh Thi Xuan Phan, Hyon-Young Choi, and Insup Lee. vCAT: Dynamic Cache Management Using CAT Virtualization. RTAS 2017.
23 Mar Gracioli, Giovani, Ahmed Alhammad, Renato Mancuso, Antônio Augusto Fröhlich, and Rodolfo Pellizzoni. A Survey on Cache Management Mechanisms for Real-Time Embedded Systems. CSUR Volume 48 Issue 2 2015.
14 Mar Alberto Scolari, Davide Basilio Bartolini, and Marco Domenico Santambrogio. A Software Cache Partitioning System for Hash-Based Caches. TACO Volume 13 Issue 4 2016.
23 Feb Andrew Herdrich, Edwin Verplanke, Priya Autee, Ramesh Illikkal, Chris Gianos, Ronak Singhal, and Ravi Iyer. Cache QoS: From concept to reality in the Intel® Xeon® processor E5-2600 v3 product family. HPCA 2016.
14 Feb Renato Mancuso, Roman Dudko, Emiliano Betti, Marco Cesati, Marco Caccamo, and Rodolfo Pellizzoni. Real-Time Cache Management Framework for Multi-Core Architectures. RTAS 2013.
07 Feb Hyoseung Kim, Arvind Kandhalu, and Ragunathan Rajkumar. A Coordinated Approach for Practical OS-Level Cache Management in Multi-Core Real-Time Systems. ECRTS 2013.
31 Jan Cancelled (ECRTS deadline)
24 Jan Cancelled (ECRTS deadline)
17 Jan Richard E. Kessler and Mark D. Hill. Page Placement Algorithms for Large Real-Indexed Caches. TOCS Volume 10 Issue 4 1992.

Suggested Papers

Date Paper
Hyoseung Kim and Ragunathan Rajkumar. Real-Time Cache Management for Multi-Core Virtualization. EMSOFT 2016.
Prathap Kumar Valsan, Heechul Yun, and Farzad Farshchi. Taming Non-Blocking Caches to Improve Isolation in Multicore Real-Time Systems. RTAS 2016.
Micaiah Chisholm, Bryan C. Ward, Namhoon Kim, and James H. Anderson. Cache Sharing and Isolation Tradeoffs in Multicore Mixed-Criticality Systems. RTSS 2015.
Heechul Yun, Renato, Zheng-Pei Wu, Rodolfo Pellizzoni. PALLOC: DRAM Bank-Aware Memory Allocator for Performance Isolation on Multicore Platforms. RTAS 2014.
Heechu Yun, Gang Yao, Rodolfo Pellizzoni, Marco Caccamo, and Lui Sha. Memguard: Memory Bandwidth Reservation System for Efficient Performance Isolation in Multi-Core Platforms. RTAS 2013.
Xiao Zhang, Sandhya Dwarkadas, and Kai Shen. Towards Practical Page Coloring-Based Multicore Cache Management. EuroSys 2009.