Raad, A.; Berdine, J.; Dreyer, D.; O'Hearn, P. W.: Concurrent Incorrectness Separation Logic. Proceedings of the ACM on Programming Languages 6, POPL, 34, pp. 1 - 29 (2022)

Raad, A.; Maranget, L.; Vafeiadis, V.: Extending Intel-X86 Consistency and Persistency: Formalising the Semantics of Intel-X86 Memory Types and Non-Temporal Stores. Proceedings of the ACM on Programming Languages 6, POPL, 22, pp. 1 - 31 (2022)

Chisnall, D.; Garg, D.; Hriţcu, C.; Payer, M. (Eds.): Secure Compilation (Dagstuhl Reports, 11). Dagstuhl Seminar 21481 "Secure Compilation", Dagstuhl, Germany, November 28, 2021 - December 03, 2021. Schloss Dagstuhl, Wadern (2022)

Banerjee, T.; Majumdar, R.; Mallik, K.; Schmuck, A.-K.; Soudjani, S.: A Direct Symbolic Algorithm for Solving Stochastic Rabin Games. In: Tools and Algorithms for the Construction and Analysis of Systems, pp. 81 - 98 (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)

Baumann, P.; Ganardi, M.; Thinniyam Srinivasan, R.; Zetzsche, G.: Existential Definability over the Subword Ordering. In: 39th International Symposium on Theoretical Aspects of Computer Science, 7, pp. 1 - 15 (Eds. Berenbrink, P.; Monmege, B.). 39th International Symposium on Theoretical Aspects of Computer Science, Marseille, France (Virtual Conference), March 15, 2022 - March 18, 2022. Schloss Dagstuhl, Wadern (2022)

Breen, C.; Herley, C.; Redmiles, E. M.: A Large-Scale Measurement of Cybercrime Against Individuals. In: CHI '22, 122, pp. 1 - 41 (Eds. Barbosa, S.; Lampe, C.; Appert, C.; Shamma, D. A.; Drucker, S. et al.). CHI Conference on Human Factors in Computing Systems, New Orleans, LA, USA, April 30, 2022 - May 05, 2022. ACM, New York, NY (2022)

Dash, A.; Chakraborty, A.; Ghosh, S.; Mukherjee, A.; Gummadi, K.: Alexa, in you, I trust! Fairness and Interpretability Issues in E-commerce Search through Smart Speakers. In: WWW '22, pp. 3695 - 3705 (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)

Dooley, S.; Turjeman, D.; Dickerson, J. P.; Redmiles, E. M.: Field Evidence of the Effects of Privacy, Data Transparency, and Pro-social Appeals on COVID-19 App Attractiveness. In: CHI '22, 622, pp. 1 - 21 (Eds. Barbosa, S.; Lampe, C.; Appert, C.; Shamma, D. A.; Drucker, S. et al.). CHI Conference on Human Factors in Computing Systems, New Orleans, LA, USA, April 30, 2022 - May 05, 2022. ACM, New York, NY (2022)

Finkbeiner, B.; Mallik, K.; Passing, N.; Schledjewski, M.; Schmuck, A.-K.: BOCoSy: Small but Powerful Symbolic Output-Feedback Control. In: HSCC 2022, 24 (Eds. Bartocci, E.; Putot, S.). 25th ACM International Conference on Hybrid Systems: Computation and Control, Milan, Italy (Virtual Event), May 04, 2022 - May 06, 2022. ACM, New York, NY (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)

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)

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)

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)

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)

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)

Wesley, S.; Christakis, M.; Navas, J. A.; Trefler, R.; Wüstholz, V.; Gurfinkel, A.: Verifying Solidity Smart Contracts via Communication Abstraction in SmartACE. In: Verification, Model Checking, and Abstract Interpretation, pp. 425 - 449 (Eds. Finkbeiner, B.; Wies, T.). 23rd International Conference on Verification, Model Checking, and Abstract Interpretation, Philadelphia, PA, USA, January 16, 2022 - January 18, 2022. Springer, Berlin (2022)

Banerjee, T.; Majumdar, R.; Mallik, K.; Schmuck, A.-K.; Soudjani, S.: Fast Symbolic Algorithms for Omega-Regular Games under Strong Transition Fairness. (2022), 68 pp.

Banihashem, K.; Singla, A.; Gan, J.; Radanovic, G.: Admissible Policy Teaching through Reward Design. (2022), 32 pp.

Becker, H.; Tekriwal, M.; Darulova, E.; Volkova, A.; Jeannin, J.-B.: Dandelion: Certified Approximations of Elementary Functions. (2022), 19 pp.