Geeng, C.; Harris, M.; Redmiles, E. M.; Roesner, F.: "Like Lesbians Walking the Perimeter": Experiences of U.S. LGBTQ+ Folks With Online Security, Safety, and Privacy Advice. In: 31st USENIX Security Symposium, pp. 305 - 322. 31st USENIX Security Symposium, Boston, MA, USA, August 10, 2022 - August 12, 2022. USENIX Association (2022)

Ghosh, A.; Tschiatschek, S.; Devlin, S.; Singla, A.: Adaptive Scaffolding in Block-Based Programming via Synthesizing New Tasks as Pop Quizzes. In: Artificial Intelligence in Education, pp. 28 - 40 (Eds. Rodrigo, M. M.; Matsuda, N.; Cristea, A. I.; Dimitroa, V.). 23rd International Conference on Artificial Intelligence in Education, Durham, UK, July 27, 2022 - July 31, 2022. Springer, Berlin (2022)

Grannan, Z.; Vazou, N.; Darulova, E.; Summers, A. J.: REST: Integrating Term Rewriting with Program Verification. In: 36th European Conference on Object-Oriented Programming, 13, pp. 1 - 29 (Eds. Ali, K.; Vitek, J.). 36th European Conference on Object-Oriented Programming, Berlin, Germany, June 06, 2022 - June 10, 2022. Schloss Dagstuhl, Wadern (2022)

Grgić-Hlača, N.; Castelluccia, C.; Gummadi, K.: Taking Advice from (Dis)Similar Machines: The Impact of Human-Machine Similarity on Machine-Assisted Decision-Making. In: Proceedings of the Tenth AAAI Conference on Human Computation and Crowdsourcing, pp. 74 - 88 (Eds. Hsu, J.; Yin, M.). Tenth AAAI Conference on Human Computation and Crowdsourcing, Virtual Conference, November 06, 2022 - June 10, 2022. AAAI, Palo Alto, CA (2022)

Grgić-Hlača, N.; Lima, G.; Weller, A.; Redmiles, E. M.: Dimensions of Diversity in Human Perceptions of Algorithmic Fairness. In: Proceedings of 2022 ACM Conference on Equity and Access in Algorithms, Mechanisms, and Optimization, 21, pp. 1 - 12. ACM Conference on Equity and Access in Algorithms, Mechanisms, and Optimization, Arlington VA, USA, October 06, 2022 - October 09, 2022. ACM, New York, NY (2022)

Gujarati, A.; Yang, N.; Brandenburg, B.: In-ConcReTeS: Interactive Consistency meets Distributed Real-Time Systems, Again! In: RTSS 2022, pp. 211 - 224. 43rd IEEE Real-Time Systems Symposium, Houston, TX, USA , December 05, 2022 - December 08, 2022. IEEE, Piscataway, NJ (2022)

Huang, Y.; Obada-Obieh, B.; Redmiles, E. M.; Lokam, S.; Beznosov, K.: COVID-19 Information-Tracking Solutions: A Qualitative Investigation of the Factors Influencing People's Adoption Intention. In: CHIIR '22, pp. 12 - 24 (Eds. Elsweiler, D.; Kruschwitz, U.; Ludwig, B.). ACM SIGIR Conference on Human Information Interaction and Retrieval, Regensburg, Germany, March 14, 2022 - March 18, 2022. ACM, New York, NY (2022)

Khajehnejad, A.; Khajehnejad, M.; Babaei, M.; Gummadi, K.; Weller, A.; Mirzasoleiman, B.: CrossWalk: Fairness-enhanced Node Representation Learning. In: Proceedings of the 36th AAAI Conference on Artificial Intelligence, pp. 11963 - 11970. 36th AAAI Conference on Artificial Intelligence, Virtual Conference, February 22, 2022 - March 01, 2022. AAAI, Palo Alto, CA (2022)

Kiefer, S.; Neuen, D.: A Study of Weisfeiler–Leman Colorings on Planar Graphs. In: 49th EATCS International Conference on Automata, Languages, and Programming, 81, pp. 1 - 20 (Eds. Bojańczyk, M.; Merelli, E.; Woodruff, D. P.). 49th International Colloquium on Automata, Languages, and Programming, Paris, France, July 04, 2022 - July 08, 2022. Schloss Dagstuhl, Wadern (2022)

Krämer, J.; Blatter, L.; Darulova, E.; Ulbrich, M.: Inferring Interval-Valued Floating-Point Preconditions. In: Tools and Algorithms for the Construction and Analysis of Systems, pp. 303 - 321 (Eds. Fisman, D.; Rosu, G.). 28th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, Munich, Germany, April 02, 2022 - April 07, 2022. Springer, Berlin (2022)

Lahoti, P.; Gummadi, K.; Weikum, G.: Detecting and Mitigating Test-time Failure Risks via Model-agnostic Uncertainty Learning. In: 21st IEEE International Conference on Data Mining, pp. 1174 - 1179 (Eds. Bailey, J.; Miettinen, P.; Koh, Y. S.; Tao, D.; Wu, X.). 21st IEEE International Conference on Data Mining , Auckland, New Zealand (Virtual Conference), December 07, 2021 - December 10, 2021. IEEE, Piscataway, NJ (2022)

Li, H.; Li, J.; Kaufmann, A.: SimBricks: End-to-End Network System Evaluation with Modular Simulation. In: SIGCOMM '22, pp. 380 - 396 (Eds. Kuipers, F.; Orda, A.). ACM SIGCOMM Conference, Amsterdam, Netherlands, August 22, 2022 - August 26, 2022. ACM, New York, NY (2022)

Lipton, R.; Luca, F.; Nieuwveld, J.; Ouaknine, J.; Purser, D.; Worrell, J.: On the Skolem Problem and the Skolem Conjecture. In: Proceedings of the 37th Annual ACM/IEEE Symposium on Logic in Computer Science, 5, pp. 1 - 9 (Eds. Baier, C.; Fisman, D.). 37th Annual ACM/IEEE Symposium on Logic in Computer Science, Haifa, Israel, August 02, 2022 - August 05, 2022. ACM, New York, NY (2022)

Lohrey, M.; Rosowski, A.; Zetzsche, G.: Membership Problems in Finite Groups. In: 47th International Symposium on Mathematical Foundations of Computer Science, 71, pp. 1 - 16 (Eds. Szeider, S.; Ganian, R.; Silva, A.). 47th International Symposium on Mathematical Foundations of Computer Science , Vienna, Austria, August 22, 2022 - August 26, 2022. Schloss Dagstuhl, Wadern (2022)

Luca, F.; Ouaknine, J.; Worrell, J.: Algebraic Model Checking for Discrete Linear Dynamical Systems. In: Formal Modeling and Analysis of Timed Systems, pp. 3 - 15 (Eds. Bogomolov, S.; Parker, D.). 20th International Conference on Formal Modeling and Analysis of Timed Systems, Warsaw, Poland, September 13, 2022 - September 15, 2022. Springer, Berlin (2022)

Luca, F.; Ouaknine, J.; Worrell, J.: A Universal Skolem Set of Positive Lower Density. In: 47th International Symposium on Mathematical Foundations of Computer Science, 73, pp. 1 - 12 (Eds. Szeider, S.; Ganian, R.; Silva, A.). 47th International Symposium on Mathematical Foundations of Computer Science, Vienna, Austria, August 22, 2022 - August 26, 2022. Schloss Dagstuhl, Wadern (2022)

Maida, M.; Bozhko, S.; Brandenburg, B.: Foundational Response-Time Analysis as Explainable Evidence of Timeliness. In: 34th Euromicro Conference on Real-Time Systems, 19, pp. 1 - 25 (Ed. Maggio, M.). 34th Euromicro Conference on Real-Time Systems, Modena, Italy, July 05, 2022 - July 08, 2022. Schloss Dagstuhl, Wadern (2022)

Mansouri, F.; Simon, H. U.; Singla, A.; Zilles, S.: On Batch Teaching with Sample Complexity Bounded by VCD. In: Advances in Neural Information Processing Systems 35, pp. 15732 - 15742 (Eds. Koyejo, S.; Mohamed, S.; Agarwal, A.; Belgrave, D.; Cho, K. et al.). 36th Conference on Neural Information Processing Systems, New Orleans, LA, USA, November 28, 2022 - December 09, 2022. Curran Associates, Inc (2022)

Marmanis, I.; Vafeiadis, V.: SMT-Based Verification of Persistency Invariants of Px86 Programs. In: Software Verification, pp. 92 - 110 (Eds. Lal, A.; Tonetta, S.). 14th Working Conference on Verified Software: Theories, Tools, and Experiment, Trento, Italy, October 17, 2022 - October 18, 2022. Springer, Berlin (2022)

Matsushita, Y.; Denis, X.; Jourdan, J.-H.; Dreyer, D.: RustHornBelt: A Semantic Foundation for Functional Verification of Rust Programs with Unsafe Code. In: PLDI '22, pp. 841 - 856 (Ed. Jhala, R.). 43rd ACM SIGPLAN International Conference on Programming Language Design and Implementation, San Diego, CA, USA, June 13, 2022 - June 17, 2022. ACM, New York, NY (2022)