@inproceedings{66385, author = {{Schiebel, Fabian Benedikt and Bodden, Eric}}, booktitle = {{40th European Conference on Object-Oriented Programming (ECOOP 2026)}}, editor = {{Krebbers, Robbert and Silva, Alexandra}}, isbn = {{978-3-95977-423-9}}, issn = {{1868-8969}}, location = {{Brussels}}, pages = {{23:1–23:28}}, publisher = {{Schloss Dagstuhl – Leibniz-Zentrum für Informatik}}, title = {{{Scaling Bottom-Up IFDS Taint Analysis with Optimized Data-Flow Encoding}}}, doi = {{10.4230/LIPIcs.ECOOP.2026.23}}, volume = {{372}}, year = {{2026}}, } @inproceedings{66433, author = {{Schiebel, Fabian Benedikt and Bodden, Eric}}, booktitle = {{40th European Conference on Object-Oriented Programming (ECOOP 2026)}}, editor = {{Krebbers, Robbert and Silva, Alexandra}}, isbn = {{978-3-95977-423-9}}, issn = {{1868-8969}}, pages = {{23:1–23:28}}, publisher = {{Schloss Dagstuhl – Leibniz-Zentrum für Informatik}}, title = {{{Scaling Bottom-Up IFDS Taint Analysis with Optimized Data-Flow Encoding}}}, doi = {{10.4230/LIPIcs.ECOOP.2026.23}}, volume = {{372}}, year = {{2026}}, } @inproceedings{59268, author = {{Dou, Jinfeng and Götte, Thorsten and Hillebrandt, Henning and Scheideler, Christian and Werthmann, Julian}}, booktitle = {{16th Innovations in Theoretical Computer Science Conference (ITCS 2025)}}, editor = {{Meka, Raghu}}, isbn = {{978-3-95977-361-4}}, issn = {{1868-8969}}, pages = {{45:1–45:26}}, publisher = {{Schloss Dagstuhl – Leibniz-Zentrum für Informatik}}, title = {{{Distributed and Parallel Low-Diameter Decompositions for Arbitrary and Restricted Graphs}}}, doi = {{10.4230/LIPIcs.ITCS.2025.45}}, volume = {{325}}, year = {{2025}}, } @inproceedings{56298, abstract = {{In the general pattern formation (GPF) problem, a swarm of simple autonomous, disoriented robots must form a given pattern. The robots' simplicity imply a strong limitation: When the initial configuration is rotationally symmetric, only patterns with a similar symmetry can be formed [Yamashita, Suzyuki; TCS 2010]. The only known algorithm to form large patterns with limited visibility and without memory requires the robots to start in a near-gathering (a swarm of constant diameter) [Hahn et al.; SAND 2024]. However, not only do we not know any near-gathering algorithm guaranteed to preserve symmetry but most natural gathering strategies trivially increase symmetries [Castenow et al.; OPODIS 2022]. Thus, we study near-gathering without changing the swarm's rotational symmetry for disoriented, oblivious robots with limited visibility (the OBLOT-model, see [Flocchini et al.; 2019]). We introduce a technique based on the theory of dynamical systems to analyze how a given algorithm affects symmetry and provide sufficient conditions for symmetry preservation. Until now, it was unknown whether the considered OBLOT-model allows for any non-trivial algorithm that always preserves symmetry. Our first result shows that a variant of Go-to-the-Average always preserves symmetry but may sometimes lead to multiple, unconnected near-gathering clusters. Our second result is a symmetry-preserving near-gathering algorithm that works on swarms with a convex boundary (the outer boundary of the unit disc graph) and without holes (circles of diameter 1 inside the boundary without any robots).}}, author = {{Gerlach, Raphael and von der Gracht, Sören and Hahn, Christopher and Harbig, Jonas and Kling, Peter}}, booktitle = {{28th International Conference on Principles of Distributed Systems (OPODIS 2024)}}, editor = {{Bonomi, Silvia and Galletta, Letterio and Rivière, Etienne and Schiavoni, Valerio}}, isbn = {{978-3-95977-360-7}}, issn = {{1868-8969}}, keywords = {{Swarm Algorithm, Swarm Robots, Distributed Algorithm, Pattern Formation, Limited Visibility, Oblivious}}, location = {{Lucca, Italy}}, publisher = {{Schloss Dagstuhl -- Leibniz-Zentrum für Informatik}}, title = {{{Symmetry Preservation in Swarms of Oblivious Robots with Limited Visibility}}}, doi = {{10.4230/LIPIcs.OPODIS.2024.13}}, volume = {{324}}, year = {{2025}}, } @inproceedings{66263, author = {{Chen, Jian-Jia and Shi, Junjie and Günzel, Mario and von der Brüggen, Georg and Chen, Kuan-Hsun and Bella, Peter}}, booktitle = {{37th Euromicro Conference on Real-Time Systems (ECRTS 2025)}}, editor = {{Mancuso, Renato}}, isbn = {{978-3-95977-377-5}}, issn = {{1868-8969}}, pages = {{17:1–17:26}}, publisher = {{Schloss Dagstuhl – Leibniz-Zentrum für Informatik}}, title = {{{Theoretical Foundations of Utility Accrual for Real-Time Systems}}}, doi = {{10.4230/LIPIcs.ECRTS.2025.17}}, volume = {{335}}, year = {{2025}}, } @inproceedings{54807, abstract = {{This paper considers the shape formation problem within the 3D hybrid model, where a single agent with a strictly limited viewing range and the computational capacity of a deterministic finite automaton manipulates passive tiles through pick-up, movement, and placement actions. The goal is to reconfigure a set of tiles into a specific shape termed an icicle. The icicle, identified as a dense, hole-free structure, is strategically chosen to function as an intermediate shape for more intricate shape formation tasks. It is designed for easy exploration by a finite state agent, enabling the identification of tiles that can be lifted without breaking connectivity. Compared to the line shape, the icicle presents distinct advantages, including a reduced diameter and the presence of multiple removable tiles. We propose an algorithm that transforms an arbitrary initially connected tile structure into an icicle in 𝒪(n³) steps, matching the runtime of the line formation algorithm from prior work. Our theoretical contribution is accompanied by an extensive experimental analysis, indicating that our algorithm decreases the diameter of tile structures on average.}}, author = {{Hinnenthal, Kristian and Liedtke, David Jan and Scheideler, Christian}}, booktitle = {{3rd Symposium on Algorithmic Foundations of Dynamic Networks (SAND 2024)}}, editor = {{Casteigts, Arnaud and Kuhn, Fabian}}, isbn = {{978-3-95977-315-7}}, issn = {{1868-8969}}, keywords = {{Programmable Matter, Shape Formation, 3D Model, Finite Automaton}}, pages = {{15:1–15:20}}, publisher = {{Schloss Dagstuhl – Leibniz-Zentrum für Informatik}}, title = {{{Efficient Shape Formation by 3D Hybrid Programmable Matter: An Algorithm for Low Diameter Intermediate Structures}}}, doi = {{10.4230/LIPIcs.SAND.2024.15}}, volume = {{292}}, year = {{2024}}, } @inproceedings{56863, author = {{Schiebel, Fabian Benedikt and Sattler, Florian and Schubert, Philipp Dominik and Apel, Sven and Bodden, Eric}}, booktitle = {{38th European Conference on Object-Oriented Programming (ECOOP 2024)}}, editor = {{Aldrich, Jonathan and Salvaneschi, Guido}}, isbn = {{978-3-95977-341-6}}, issn = {{1868-8969}}, pages = {{36:1–36:28}}, publisher = {{Schloss Dagstuhl – Leibniz-Zentrum für Informatik}}, title = {{{Scaling Interprocedural Static Data-Flow Analysis to Large C/C++ Applications: An Experience Report}}}, doi = {{10.4230/LIPIcs.ECOOP.2024.36}}, volume = {{313}}, year = {{2024}}, } @inproceedings{34008, author = {{Castenow, Jannik and Harbig, Jonas and Jung, Daniel and Kling, Peter and Knollmann, Till and Meyer auf der Heide, Friedhelm}}, booktitle = {{Proceedings of the 26th International Conference on Principles of Distributed Systems (OPODIS) }}, editor = {{Hillel, Eshcar and Palmieri, Roberto and Riviére, Etienne}}, isbn = {{978-3-95977-265-5}}, issn = {{1868-8969}}, location = {{Brussels}}, pages = {{15:1–15:25}}, publisher = {{Schloss Dagstuhl – Leibniz Zentrum für Informatik}}, title = {{{A Unifying Approach to Efficient (Near-)Gathering of Disoriented Robots with Limited Visibility }}}, doi = {{10.4230/LIPIcs.OPODIS.2022.15}}, volume = {{253}}, year = {{2023}}, } @inproceedings{66264, author = {{Günzel, Mario and Teper, Harun and Chen, Kuan-Hsun and von der Brüggen, Georg and Chen, Jian-Jia}}, booktitle = {{35th Euromicro Conference on Real-Time Systems (ECRTS 2023)}}, editor = {{Papadopoulos, Alessandro V.}}, isbn = {{978-3-95977-280-8}}, issn = {{1868-8969}}, pages = {{10:1–10:22}}, publisher = {{Schloss Dagstuhl – Leibniz-Zentrum für Informatik}}, title = {{{On the Equivalence of Maximum Reaction Time and Maximum Data Age for Cause-Effect Chains}}}, doi = {{10.4230/LIPIcs.ECRTS.2023.10}}, volume = {{262}}, year = {{2023}}, } @inproceedings{32602, author = {{Padalkin, Andreas and Scheideler, Christian and Warner, Daniel}}, booktitle = {{28th International Conference on DNA Computing and Molecular Programming (DNA 28)}}, editor = {{Ouldridge, Thomas E. and Wickham, Shelley F. J.}}, isbn = {{978-3-95977-253-2}}, issn = {{1868-8969}}, pages = {{8:1–8:22}}, publisher = {{Schloss Dagstuhl – Leibniz-Zentrum für Informatik}}, title = {{{The Structural Power of Reconfigurable Circuits in the Amoebot Model}}}, doi = {{10.4230/LIPIcs.DNA.28.8}}, volume = {{238}}, year = {{2022}}, } @inproceedings{32603, author = {{Kostitsyna, Irina and Scheideler, Christian and Warner, Daniel}}, booktitle = {{28th International Conference on DNA Computing and Molecular Programming (DNA 28)}}, editor = {{Ouldridge, Thomas E. and Wickham, Shelley F. J.}}, isbn = {{978-3-95977-253-2}}, issn = {{1868-8969}}, pages = {{9:1–9:22}}, publisher = {{Schloss Dagstuhl – Leibniz-Zentrum für Informatik}}, title = {{{Fault-Tolerant Shape Formation in the Amoebot Model}}}, doi = {{10.4230/LIPIcs.DNA.28.9}}, volume = {{238}}, year = {{2022}}, } @inproceedings{30987, author = {{Kostitsyna, Irina and Scheideler, Christian and Warner, Daniel}}, booktitle = {{1st Symposium on Algorithmic Foundations of Dynamic Networks (SAND 2022)}}, editor = {{Aspnes, James and Michail, Othon}}, isbn = {{978-3-95977-224-2}}, issn = {{1868-8969}}, pages = {{23:1–23:3}}, publisher = {{Schloss Dagstuhl – Leibniz-Zentrum für Informatik}}, title = {{{Brief Announcement: Fault-Tolerant Shape Formation in the Amoebot Model}}}, doi = {{10.4230/LIPIcs.SAND.2022.23}}, volume = {{221}}, year = {{2022}}, } @inproceedings{66265, author = {{Chen, Kuan-Hsun and Günzel, Mario and Jablkowski, Boguslaw and Buschhoff, Markus and Chen, Jian-Jia}}, booktitle = {{34th Euromicro Conference on Real-Time Systems (ECRTS 2022)}}, editor = {{Maggio, Martina}}, isbn = {{978-3-95977-239-6}}, issn = {{1868-8969}}, pages = {{6:1–6:22}}, publisher = {{Schloss Dagstuhl – Leibniz-Zentrum für Informatik}}, title = {{{Unikernel-Based Real-Time Virtualization Under Deferrable Servers: Analysis and Realization}}}, doi = {{10.4230/LIPIcs.ECRTS.2022.6}}, volume = {{231}}, year = {{2022}}, } @inproceedings{20159, abstract = {{Let G = (V,E) be an undirected graph on n vertices with non-negative capacities on its edges. The mincut sensitivity problem for the insertion of an edge is defined as follows. Build a compact data structure for G and a given set S ⊆ V of vertices that, on receiving any edge (x,y) ∈ S×S of positive capacity as query input, can efficiently report the set of all pairs from S× S whose mincut value increases upon insertion of the edge (x,y) to G. The only result that exists for this problem is for a single pair of vertices (Picard and Queyranne, Mathematical Programming Study, 13 (1980), 8-16). We present the following results for the single source and the all-pairs versions of this problem. 1) Single source: Given any designated source vertex s, there exists a data structure of size 𝒪(|S|) that can output all those vertices from S whose mincut value to s increases upon insertion of any given edge. The time taken by the data structure to answer any query is 𝒪(|S|). 2) All-pairs: There exists an 𝒪(|S|²) size data structure that can output all those pairs of vertices from S× S whose mincut value gets increased upon insertion of any given edge. The time taken by the data structure to answer any query is 𝒪(k), where k is the number of pairs of vertices whose mincut increases. For both these versions, we also address the problem of reporting the values of the mincuts upon insertion of any given edge. To derive our results, we use interesting insights into the nearest and the farthest mincuts for a pair of vertices. In addition, a crucial result, that we establish and use in our data structures, is that there exists a directed acyclic graph of 𝒪(n) size that compactly stores the farthest mincuts from all vertices of V to a designated vertex s in the graph. We believe that this result is of independent interest, especially, because it also complements a previously existing result by Hariharan et al. (STOC 2007) that the nearest mincuts from all vertices of V to s is a laminar family, and hence, can be stored compactly in a tree of 𝒪(n) size.}}, author = {{Baswana, Surender and Gupta, Shiv and Knollmann, Till}}, booktitle = {{28th Annual European Symposium on Algorithms (ESA 2020)}}, editor = {{Grandoni, Fabrizio and Herman, Grzegorz and Sanders, Peter}}, isbn = {{978-3-95977-162-7}}, issn = {{1868-8969}}, keywords = {{Mincut, Sensitivity, Data Structure}}, pages = {{12:1--12:14}}, publisher = {{Schloss Dagstuhl -- Leibniz-Zentrum für Informatik}}, title = {{{Mincut Sensitivity Data Structures for the Insertion of an Edge}}}, doi = {{10.4230/LIPIcs.ESA.2020.12}}, volume = {{173}}, year = {{2020}}, } @inproceedings{66266, author = {{Schönberger, Lea and von der Brüggen, Georg and Chen, Kuan-Hsun and Sliwa, Benjamin and Youssef, Hazem and Ramachandran Venkatapathy, Aswin Karthik and Wietfeld, Christian and ten Hompel, Michael and Chen, Jian-Jia}}, booktitle = {{32nd Euromicro Conference on Real-Time Systems (ECRTS 2020)}}, editor = {{Völp, Marcus}}, isbn = {{978-3-95977-152-8}}, issn = {{1868-8969}}, pages = {{18:1–18:22}}, publisher = {{Schloss Dagstuhl – Leibniz-Zentrum für Informatik}}, title = {{{Offloading Safety- and Mission-Critical Tasks via Unreliable Connections}}}, doi = {{10.4230/LIPIcs.ECRTS.2020.18}}, volume = {{165}}, year = {{2020}}, } @inproceedings{2484, abstract = {{We study the classic bin packing problem in a fully-dynamic setting, where new items can arrive and old items may depart. We want algorithms with low asymptotic competitive ratio while repacking items sparingly between updates. Formally, each item i has a movement cost c_i >= 0, and we want to use alpha * OPT bins and incur a movement cost gamma * c_i, either in the worst case, or in an amortized sense, for alpha, gamma as small as possible. We call gamma the recourse of the algorithm. This is motivated by cloud storage applications, where fully-dynamic bin packing models the problem of data backup to minimize the number of disks used, as well as communication incurred in moving file backups between disks. Since the set of files changes over time, we could recompute a solution periodically from scratch, but this would give a high number of disk rewrites, incurring a high energy cost and possible wear and tear of the disks. In this work, we present optimal tradeoffs between number of bins used and number of items repacked, as well as natural extensions of the latter measure.}}, author = {{Feldkord, Björn and Feldotto, Matthias and Gupta, Anupam and Guruganesh, Guru and Kumar, Amit and Riechers, Sören and Wajc, David}}, booktitle = {{45th International Colloquium on Automata, Languages, and Programming (ICALP 2018)}}, editor = {{Chatzigiannakis, Ioannis and Kaklamanis, Christos and Marx, Dániel and Sannella, Donald}}, isbn = {{978-3-95977-076-7}}, issn = {{1868-8969}}, location = {{Prag}}, pages = {{51:1--51:24}}, publisher = {{Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik}}, title = {{{Fully-Dynamic Bin Packing with Little Repacking}}}, doi = {{10.4230/LIPIcs.ICALP.2018.51}}, volume = {{107}}, year = {{2018}}, } @inproceedings{66267, author = {{von der Brüggen, Georg and Piatkowski, Nico and Chen, Kuan-Hsun and Chen, Jian-Jia and Morik, Katharina}}, booktitle = {{30th Euromicro Conference on Real-Time Systems (ECRTS 2018)}}, editor = {{Altmeyer, Sebastian}}, isbn = {{978-3-95977-075-0}}, issn = {{1868-8969}}, pages = {{6:1–6:22}}, publisher = {{Schloss Dagstuhl – Leibniz-Zentrum für Informatik}}, title = {{{Efficiently Approximating the Probability of Deadline Misses in Real-Time Systems}}}, doi = {{10.4230/LIPIcs.ECRTS.2018.6}}, volume = {{106}}, year = {{2018}}, }