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)

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)