Mehta, A.; Alzayat, M.; De Viti, R.; Brandenburg, B.; Druschel, P.; Garg, D.: Pacer: Comprehensive Network Side-Channel Mitigation in the Cloud. In: 31st USENIX Security Symposium, pp. 2819 - 2838. 31st USENIX Security Symposium, Boston, MA, USA, August 10, 2022 - August 12, 2022. USENIX Association (2022)

Morris, C.; Rattan, G.; Kiefer, S.; Ravanbakhsh, S.: SpeqNets: Sparsity-aware Permutation-equivariant Graph Networks. In: Proceedings of the 39th International Conference on Machine Learning, pp. 16017 - 16042 (Eds. Chaudhuri, K.; Jegelka, S.; Le, S.; Csaba, S.; Gang, N. et al.). 39th International Conference on Machine Learning, Baltimore, MA, USA, July 17, 2022 - July 23, 2022. (2022)

Nanda, V.; Speicher, T.; Kolling, C.; Dickerson, J. P.; Gummadi, K.; Weller, A.: Measuring Representational Robustness of Neural Networks Through Shared Invariances. In: Proceedings of the 39th International Conference on Machine Learning, pp. 16368 - 16382 (Eds. Chaudhuri, K.; Jegelka, S.; Song, L.; Szepesvari, C.; Niu, G. et al.). 39th International Conference on Machine Learning, Baltimore, MA, USA, July 17, 2022 - July 23, 2022. (2022)

Nayak, S. P.; Neider, D.; Roy, R.; Zimmermann, M.: Robust Computation Tree Logic. In: NASA Formal Methods, pp. 538 - 556 (Eds. Deshmukh, J. V.; Havelund, K.; Perez, I.). 14th NASA Formal Methods Symposium, Pasadena, CA, USA, May 24, 2022 - May 27, 2022. Springer, Berlin (2022)

Nayak, S. P.; Neider, D.; Zimmermann, M.: Robustness-by-Construction Synthesis: Adapting to the Environment at Runtime. In: Leveraging Applications of Formal Methods, Verification and Validation, pp. 149 - 173 (Eds. Margaria, T.; Steffen, B.). 11th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, Rhodes, Greece, October 22, 2022 - October 30, 2022. Springer, Berlin (2022)

Neider, D.; Roy, R.: Expanding the Horizon of Linear Temporal Logic Inference for Explainability. In: REW 2022, pp. 103 - 107 (Eds. Knauss, E.; Mussbacher, G.; Arora, C.; Bano, M.; Schneider, J.-G.). 30th International Requirements Engineering Conference Workshops, Online Event, August 15, 2022 - August 19, 2022. IEEE Computer Society, Los Alamitos, CA (2022)

Noorbakhsh, K.; Gomez Rodriguez, M.: Counterfactual Temporal Point Processes. In: Advances in Neural Information Processing Systems 35, pp. 24810 - 24823 (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)

Patro, G. K.; Jana, P.; Chakraborty, A.; Gummadi, K.; Ganguly, N.: Scheduling Virtual Conferences Fairly: Achieving Equitable Participant and Speaker Satisfaction. In: WWW '22, pp. 2646 - 2656 (Eds. Laforest, F.; Troncy, R.; Simperl, E.; Agarwal, D.; Gionis, A. et al.). 31st ACM Web Conference , Lyon, France (Virtual Event), April 25, 2022 - April 29, 2022. ACM, New York, NY (2022)

Perronet, M.; Maida, M.; Courtaud, C.; Brandenburg, B.: Work in Progress: Automatic Response-Time Analysis for Arbitrary Real-Time Linux Workloads. In: 28th IEEE Real-Time and Embedded Technology and Applications Symposium, pp. 317 - 320. 28th IEEE Real-Time and Embedded Technology and Applications Symposium, Milan, Italy, May 04, 2022 - May 06, 2022. IEEE, Piscataway, NJ (2022)

Raha, R.; Roy, R.; Fijalkow, N.; Neider, D.: Scalable Anytime Algorithms for Learning Fragments. In: Tools and Algorithms for the Construction and Analysis of Systems, pp. 263 - 280 (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)

Rateike, M.; Majumdar, A.; Mineeva, O.; Gummadi, K.; Valera, I.: Don’t Throw it Away! The Utility of Unlabeled Data in Fair Decision Making. In: FAccT 2022, pp. 1421 - 1433. 5th ACM Conference on Fairness, Accountability, and Transparency, Seoul, South Korea , June 21, 2022 - June 24, 2022. ACM, New York, NY (2022)

Sammler, M.; Hammond, A.; Lepigre, R.; Campbell, B.; Pichon-Pharabod, J.; Dreyer, D.; Garg, D.; Sewell, P.: Islaris: Verification of Machine Code Against Authoritative ISA Semantics. In: PLDI '22, pp. 825 - 840 (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)

Shashidhara, R.; Stamler, T.; Kaufmann, A.; Peter, S.: FlexTOE: Flexible TCP Offload with Fine-Grained Parallelism. In: 19th USENIX Symposium on Networked Systems Design and Implementation, pp. 87 - 102. 19th USENIX Symposium on Networked Systems Design and Implementation, Renton, WA, USA, April 04, 2022 - April 06, 2022. USENIX (2022)

Singla, A.; Theodoropoulos, N.: From Solution Synthesis to Student Attempt Synthesis for Block-Based Visual Programming Tasks. In: Proceedings of the 15th International Conference on Educational Data Mining, pp. 454 - 461 (Eds. Mitrovic, A.; Bosch, N.). 15th International Conference on Educational Data Mining, Durham, UK, July 24, 2022 - July 27, 2022. International Educational Data Mining Society (2022)

Steinmetz, M.; Fiser, D.; Eniser, H. F.; Ferber, P.; Gros, T. P.; Heim, P.; Höller, D.; Schuler, X.; Wüstholz, V.; Christakis, M. et al.; Hoffmann, J.: Debugging a Policy: Automatic Action-Policy Testing in AI Planning. In: Proceedings of the Thirty-Second International Conference on Automated Planning and Scheduling, pp. 353 - 361 (Eds. Kumar, A.; Thiébaux, S.; Varakantham, P.; Yeoh, W.). Proceedings of the 32nd International Conference on Automated Planning and Scheduling , Singapore (Virtually), June 13, 2022 - June 24, 2022. AAAI Press, Palo Alto, CA (2022)

Struppek, L.; Hintersdorf, D.; Neider, D.; Kersting, K.: Learning to Break Deep Perceptual Hashing: The Use Case NeuralHash. In: FAccT 2022, pp. 58 - 69. 5th ACM Conference on Fairness, Accountability, and Transparency, Seoul, South Korea , June 21, 2022 - June 24, 2022. ACM, New York, NY (2022)

Toneva, M.; Williams, J.; Bollu, A.; Dann, C.; Wehbe, L.: Same Cause; Different Effects in the Brain. In: Proceedings of the First Conference on Causal Learning and Reasoning, pp. 787 - 825 (Eds. Schölkopf, B.; Uhler, C.; Zhang, K.). First Conference on Causal Learning and Reasoning, Eureka, CA, USA, April 11, 2022 - April 13, 2022. MLR Press (2022)

Triantafyllou, S.; Singla, A.; Radanovic, G.: Actual Causality and Responsibility Attribution in Decentralized Partially Observable Markov Decision Processes. In: AIES '22, pp. 739 - 752 (Eds. Conitzer, V.; Tasioulas, J.; Scheutz, M.; Calo, R.; Mara, M. et al.). AAAI/ACM Conference on AI, Ethics, and Society, Oxford, UK, August 01, 2022 - August 03, 2022. ACM, New York, NY (2022)

Tschiatschek, S.; Knobelsdorf, M.; Singla, A.: Equity and Fairness of Bayesian Knowledge Tracing. In: Proceedings of the 15th International Conference on Educational Data Mining, pp. 578 - 582 (Eds. Mitrovic, A.; Bosch, N.). 15th International Conference on Educational Data Mining, Durham, UK, July 24, 2022 - July 27, 2022. International Educational Data Mining Society (2022)

Wang, L.; Joachims, T.; Gomez Rodriguez, M.: Improving Screening Processes via Calibrated Subset Selection. In: Proceedings of the 39th International Conference on Machine Learning, pp. 22702 - 22726 (Eds. Chaudhuri, K.; Jegelka, S.; Le, S.; Csaba, S.; Gang, N. et al.). 39th International Conference on Machine Learning, Baltimore, MA, USA, July 17, 2022 - July 23, 2022. (2022)