@inbook{54802,
  abstract     = {{Motivated by the prospect of nano-robots that assist human physiological functions at the nanoscale, we investigate the coating problem in the three-dimensional model for hybrid programmable matter. In this model, a single agent with strictly limited viewing range and the computational capability of a deterministic finite automaton can act on passive tiles by picking up a tile, moving, and placing it at some spot. The goal of the coating problem is to fill each node of some surface graph of size n with a tile. We first solve the problem on a restricted class of graphs with a single tile type, and then use constantly many tile types to encode this graph in certain surface graphs capturing the surface of 3D objects. Our algorithm requires O(n^2) steps, which is worst-case optimal compared to an agent with global knowledge and no memory restrictions.}},
  author       = {{Kostitsyna, Irina and Liedtke, David Jan and Scheideler, Christian}},
  booktitle    = {{Structural Information and Communication Complexity}},
  editor       = {{Emek, Yuval}},
  isbn         = {{9783031606021}},
  issn         = {{0302-9743}},
  keywords     = {{Programmable Matter, Coating, Finite Automaton, 3D}},
  publisher    = {{Springer Nature Switzerland}},
  title        = {{{Universal Coating by 3D Hybrid Programmable Matter}}},
  doi          = {{10.1007/978-3-031-60603-8_21}},
  year         = {{2024}},
}

@inproceedings{50807,
  author       = {{Hu, Haichuan and Liu, Fangming and Pei, Qiangyu and Yuan, Yongjie and Xu, Zichen and Wang, Lin}},
  booktitle    = {{Proceedings of the ACM Web Conference (WWW)}},
  location     = {{Singapore}},
  publisher    = {{ACM}},
  title        = {{{𝜆Grapher: A Resource-Efficient Serverless System for GNN Serving through Graph Sharing}}},
  doi          = {{10.1145/3589334.3645383}},
  year         = {{2024}},
}

@article{53531,
  author       = {{Ghafouri, Saeid and Razavi, Kamran and Salmani, Mehran and Sanaee, Alireza and Lorido Botran, Tania  and Wang, Lin and Doyle, Joseph and Jamshidi, Pooyan}},
  journal      = {{Journal of Systems Research (JSys)}},
  title        = {{{IPA: Inference Pipeline Adaptation to Achieve High Accuracy and Cost-Efficiency}}},
  year         = {{2024}},
}

@inproceedings{55388,
  author       = {{Adler, Enno and Böttcher, Stefan and Hartel, Rita}},
  booktitle    = {{2024 Data Compression Conference (DCC)}},
  publisher    = {{IEEE}},
  title        = {{{ITR: Grammar-based graph compression supporting fast triple queries}}},
  doi          = {{10.1109/dcc58796.2024.00062}},
  year         = {{2024}},
}

@inproceedings{55338,
  abstract     = {{Metaphorical language is a pivotal element inthe realm of political framing. Existing workfrom linguistics and the social sciences providescompelling evidence regarding the distinctivenessof conceptual framing for politicalideology perspectives. However, the nature andutilization of metaphors and the effect on audiencesof different political ideologies withinpolitical discourses are hardly explored. Toenable research in this direction, in this workwe create a dataset, originally based on newseditorials and labeled with their persuasive effectson liberals and conservatives and extend itwith annotations pertaining to metaphorical usageof language. To that end, first, we identifyall single metaphors and composite metaphors.Secondly, we provide annotations of the sourceand target domains for each metaphor. As aresult, our corpus consists of 300 news editorialsannotated with spans of texts containingmetaphors and the corresponding domains ofwhich these metaphors draw from. Our analysisshows that liberal readers are affected bymetaphors, whereas conservatives are resistantto them. Both ideologies are affected differentlybased on the metaphor source and targetcategory. For example, liberals are affected bymetaphors in the Darkness {&} Light (e.g., death)source domains, where as the source domain ofNature affects conservatives more significantly.}},
  author       = {{Sengupta, Meghdut and El Baff, Roxanne and Alshomary, Milad and Wachsmuth, Henning}},
  booktitle    = {{Proceedings of the 2024 Conference of the North American Chapter of the Association for Computational Linguistics: Human Language Technologies (Volume 1: Long Papers)}},
  editor       = {{Duh, Kevin and Gomez, Helena and Bethard, Steven}},
  pages        = {{3621–3631}},
  publisher    = {{Association for Computational Linguistics}},
  title        = {{{Analyzing the Use of Metaphors in News Editorials for Political Framing}}},
  year         = {{2024}},
}

@inbook{55426,
  author       = {{Gabriel, Stefan  and Falkowski, Tommy  and Graunke, Jannis  and Dumitrescu, Roman and Murrenhoff, Anike  and Kretzschmer, Veronika  and ten Hompel, Michael }},
  booktitle    = {{Expertise des Forschungsbeirats Industrie 4.0}},
  title        = {{{Künstliche Intelligenz  und industrielle Arbeit – Perspektiven und Gestaltungsoptionen}}},
  year         = {{2024}},
}

@inbook{55422,
  author       = {{Humpert, Lynn  and Disselkamp, Jan-Philipp and Schierbaum, Anja  and Zagatta, Kristin  and Dumitrescu, Roman}},
  booktitle    = {{Expertise des Forschungsbeirats Industrie 4.0}},
  title        = {{{Engineering  autonom wandelbarer Industrie 4.0-Systeme}}},
  year         = {{2024}},
}

@inproceedings{55436,
  author       = {{Stöhr, Bernd and Koldewey, Christian and Acar, Yasemin and Dumitrescu, Roman}},
  booktitle    = {{Proceedings of DRS}},
  issn         = {{2398-3132}},
  publisher    = {{Design Research Society}},
  title        = {{{Challenges for design and designers in interdisciplinary product development: A qualitative interview study in industry}}},
  doi          = {{10.21606/drs.2024.1001}},
  year         = {{2024}},
}

@inproceedings{53959,
  abstract     = {{In light of the growing interest in type inference research for Python, both researchers and practitioners require a standardized process to assess the performance of various type inference techniques. This paper introduces TypeEvalPy, a comprehensive micro-benchmarking framework for evaluating type inference tools. TypeEvalPy contains 154 code snippets with 845 type annotations across 18 categories that target various Python features. The framework manages the execution of containerized tools, transforms inferred types into a standardized format, and produces meaningful metrics for assessment. Through our analysis, we compare the performance of six type inference tools, highlighting their strengths and limitations. Our findings provide a foundation for further research and optimization in the domain of Python type inference.}},
  author       = {{Shivarpatna Venkatesh, Ashwin Prasad and Sabu, Samkutty and Wang, Jiawei and Mir, Amir M. and Li, Li and Bodden, Eric}},
  booktitle    = {{Proceedings of the 2024 IEEE/ACM 46th International Conference on Software Engineering: Companion Proceedings}},
  isbn         = {{9798400705021}},
  location     = {{Lisbon, Portugal}},
  pages        = {{49--53}},
  publisher    = {{Association for Computing Machinery}},
  title        = {{{TypeEvalPy: A Micro-benchmarking Framework for Python Type Inference  Tools}}},
  doi          = {{10.1145/3639478.3640033}},
  year         = {{2024}},
}

@inproceedings{55516,
  author       = {{Shivarpatna Venkatesh, Ashwin Prasad and Sabu, Samkutty and Mir, Amir M. and Reis, Sofia and Bodden, Eric}},
  booktitle    = {{Proceedings of the 2024 IEEE/ACM First International Conference on AI Foundation Models and Software Engineering}},
  publisher    = {{ACM}},
  title        = {{{The Emergence of Large Language Models in Static Analysis: A First Look through Micro-Benchmarks}}},
  doi          = {{10.1145/3650105.3652288}},
  year         = {{2024}},
}

@inproceedings{55633,
  author       = {{Höltervennhoff, Sandra and Wöhler, Noah and Möhle, Arne and Oltrogge, Marten and Acar, Yasemin and Wiese, Oliver and Fahl, Sascha}},
  booktitle    = {{33rd USENIX Security Symposium, USENIX Security 2024, Philadelphia, PA, USA, August 14-16, 2024}},
  editor       = {{Balzarotti, Davide and Xu, Wenyuan}},
  publisher    = {{USENIX Association}},
  title        = {{{A Mixed-Methods Study on User Experiences and Challenges of Recovery Codes for an End-to-End Encrypted Service}}},
  year         = {{2024}},
}

@inproceedings{55632,
  author       = {{Fischer, Konstantin and Trummová, Ivana and Gajland, Phillip and Acar, Yasemin and Fahl, Sascha and Sasse, M. Angela}},
  booktitle    = {{33rd USENIX Security Symposium, USENIX Security 2024, Philadelphia, PA, USA, August 14-16, 2024}},
  editor       = {{Balzarotti, Davide and Xu, Wenyuan}},
  publisher    = {{USENIX Association}},
  title        = {{{The Challenges of Bringing Cryptography from Research Papers to Products: Results from an Interview Study with Experts}}},
  year         = {{2024}},
}

@inproceedings{55634,
  author       = {{Fourné, Marcel and Braga, Daniel De Almeida and Jancar, Jan and Sabt, Mohamed and Schwabe, Peter and Barthe, Gilles and Fouque, Pierre-Alain and Acar, Yasemin}},
  booktitle    = {{33rd USENIX Security Symposium, USENIX Security 2024, Philadelphia, PA, USA, August 14-16, 2024}},
  editor       = {{Balzarotti, Davide and Xu, Wenyuan}},
  publisher    = {{USENIX Association}},
  title        = {{{"These results must be false": A usability evaluation of constant-time analysis tools}}},
  year         = {{2024}},
}

@inproceedings{55636,
  author       = {{Huaman, Nicolas and Suray, Jacques and Klemmer, Jan H. and Fourné, Marcel and Amft, Sabrina and Trummová, Ivana and Acar, Yasemin and Fahl, Sascha}},
  booktitle    = {{33rd USENIX Security Symposium, USENIX Security 2024, Philadelphia, PA, USA, August 14-16, 2024}},
  editor       = {{Balzarotti, Davide and Xu, Wenyuan}},
  publisher    = {{USENIX Association}},
  title        = {{{"You have to read 50 different RFCs that contradict each other": An Interview Study on the Experiences of Implementing Cryptographic Standards}}},
  year         = {{2024}},
}

@inproceedings{55641,
  author       = {{Panahi, Kabir and Robertson, Shawn and Acar, Yasemin and Bardas, Alexandru G. and Kohno, Tadayoshi and Simko, Lucy}},
  booktitle    = {{33rd USENIX Security Symposium, USENIX Security 2024, Philadelphia, PA, USA, August 14-16, 2024}},
  editor       = {{Balzarotti, Davide and Xu, Wenyuan}},
  publisher    = {{USENIX Association}},
  title        = {{{"But they have overlooked a few things in Afghanistan: " An Analysis of the Integration of Biometric Voter Verification in the 2019 Afghan Presidential Elections}}},
  year         = {{2024}},
}

@inproceedings{55642,
  author       = {{Ramulu, Harshini Sri and Schmitt, Helen and Wermke, Dominik and Acar, Yasemin}},
  booktitle    = {{33rd USENIX Security Symposium, USENIX Security 2024, Philadelphia, PA, USA, August 14-16, 2024}},
  editor       = {{Balzarotti, Davide and Xu, Wenyuan}},
  publisher    = {{USENIX Association}},
  title        = {{{Security and Privacy Software Creators’ Perspectives on Unintended Consequences}}},
  year         = {{2024}},
}

@inproceedings{55365,
  author       = {{Razavi, Kamran and Davari Fard, Shayan and Karlos, George and Nigade, Vinod and Mühlhäuser, Max and Wang, Lin}},
  booktitle    = {{Proceedings of the IEEE International Symposium on Computers and Communications (ISCC)}},
  location     = {{Paris, France}},
  title        = {{{NetNN: Neural Intrusion Detection System in Programmable Networks (Second Best Paper Award)}}},
  year         = {{2024}},
}

@inproceedings{53095,
  author       = {{Razavi, Kamran and Ghafouri, Saeid and Mühlhäuser, Max and Jamshidi, Pooyan and Wang, Lin}},
  booktitle    = {{Proceedings of the 4th Workshop on Machine Learning and Systems (EuroMLSys), colocated with EuroSys 2024}},
  location     = {{Athens, Greece}},
  publisher    = {{ACM}},
  title        = {{{Sponge: Inference Serving with Dynamic SLOs Using In-Place Vertical Scaling}}},
  doi          = {{10.1145/3642970.365583}},
  year         = {{2024}},
}

@inproceedings{50066,
  author       = {{Dou, Feng and Wang, Lin and Chen, Shutong and Liu, Fangming}},
  booktitle    = {{Proceedings of the IEEE International Conference on Computer Communications (INFOCOM)}},
  location     = {{Vancouver, Canada}},
  publisher    = {{IEEE}},
  title        = {{{X-Stream: A Flexible, Adaptive Video Transformer for Privacy-Preserving Video Stream Analytics}}},
  doi          = {{10.1109/INFOCOM52122.2024.10621341}},
  year         = {{2024}},
}

@inproceedings{53807,
  author       = {{Liu, Gaosheng and Nigade, Vinod and Bal, Henri and Wang, Lin}},
  booktitle    = {{Proceedings of the 8th ACM Asia Pacific Workshop on Networking (APNET)}},
  location     = {{Sydney, Austrialia}},
  title        = {{{A Little Certainty is All We Need: Discovery and Synchronization Acceleration in Battery-Free IoT}}},
  doi          = {{10.1145/3663408.3663414}},
  year         = {{2024}},
}