Majumdar, R.; Mallik, K.; Salamati, M.; Soudjani, S.; Zareian, M.: Symbolic Reach-Avoid Control of Multi-Agent Systems. In: ICCPS '21, pp. 209 - 220. ACM/IEEE 12th International Conference on Cyber-Physical Systems, Neshville, TN, USA, May 19, 2021 - May 21, 2021. ACM, New York, NY (2021)

Majumdar, R.; Mathur, A. S.; Pirron, M.; Stegner, L.; Zufferey, D.: Paracosm: A Test Framework for Autonomous Driving Simulations. In: Fundamental Approaches to Software Engineering, pp. 172 - 195 (Eds. Guerra, E.; Stoelinga, M.). 24th International Conference on Fundamental Approaches to Software Engineering, Luxembourg City, Luxembourg, March 27, 2021 - April 01, 2021. Springer, Berlin (2021)

Majumdar, R.; Mukund, M.; Stutz, F.; Zufferey, D.: Generalising Projection in Asynchronous Multiparty Session Types. In: 32nd International Conference on Concurrency Theory, 35, pp. 1 - 24 (Eds. Haddad, S.; Varacca, D.). 32nd International Conference on Concurrency Theory, Virtual Conference, August 24, 2021 - August 27, 2021. Schloss Dagstuhl, Wadern (2021)

Majumdar, R.; Soudjani, S.: The Computability of LQR and LQG Control. In: HSCC2021, 5, pp. 1 - 7. 24th International Conference on Hybrid Systems: Computation and Control, Neshville, TN, USA, May 19, 2021 - May 21, 2021. ACM, New York, NY (2021)

Majumdar, R.; Thinniyam Srinivasan, R.; Zetzsche, G.: General Decidability Results for Asynchronous Shared-Memory Programs: Higher-Order and Beyond. In: Tools and Algorithms for the Construction and Analysis of Systems, pp. 449 - 467 (Eds. Groote, J. F.; Guldstrand Larsen, K.). 27th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, Luxembourg City, Luxembourg, March 27, 2021 - April 01, 2021. Springer, Berlin (2021)

Mansur, M. N.; Christakis, M.; Wüstholz, V.: Metamorphic Testing of Datalog Engines. In: ESEC/FSE '21, pp. 639 - 650 (Eds. Spinellis, D.; Gousios, G.; Chechik, M.; Di Penta, M.). 29th ACM Joint Meeting European Software Engineering Conference and Symposium on the Foundations of Software Engineering, Athens, Greece, August 23, 2021 - August 28, 2021. ACM, New York, NY (2021)

Mansur, M. N.; Mariano, B.; Christakis, M.; Navas, J. A.; Wüstholz, V.: Automatically Tailoring Abstract Interpretation to Custom Usage Scenarios. In: Computer Aided Verification, pp. 777 - 800 (Ed. Silva, A.). 33rd International Conference on Computer-Aided Verification, Virtual Event, July 20, 2021 - July 23, 2021. Springer, Berlin (2021)

Mathur, A. S.; Zufferey, D.: Constraint Synthesis for Parametric CAD. In: Pacific Graphics Short Papers, Posters, and Work-in-Progress Papers (Eds. Lee, S.-H.; Zollmann, S.; Okabe, M.; Wünsche, B.). Pacific Graphics, Onlne Event, October 18, 2021 - October 21, 2021. The Eurographics Association, Eindhoven (2021)

McDonald, A.; Barwulor, C.; Mazurek, M. L.; Schaub, F.; Redmiles, E. M.: "It's stressful having all these phones": Investigating Sex Workers' Safety Goals, Risks, and Practices Online. In: 30th USENIX Security Symposium, pp. 375 - 392. 30th USENIX Security Symposium, Virtual Event, August 11, 2021 - August 13, 2021. USENIX (2021)

Messias, J.; Alzayat, M. W. M.; Chandrasekaran, B.; Gummadi, K.; Loiseau, P.; Mislove, A.: Selfish & Opaque Transaction Ordering in the Bitcoin Blockchain: The Case for Chain Neutrality. In: IMC '21, pp. 320 - 335. ACM Internet Measurement Conference, Virtual Event, USA, November 02, 2021 - November 04, 2021. ACM, New York, NY (2021)

Mota, N.; Mohammadi, N.; Dey, P.; Gummadi, K.; Chakraborty, A.: Fair Partitioning of Public Resources: Redrawing District Boundary to Minimize Spatial Inequality in School Funding. In: The Web Conference 2021, pp. 646 - 657 (Eds. Leskovec, J.; Grobelnik, M.; Najork, M.; Tang, J.; Zia, L.). 30th The Web Conference, Ljubljana, Slovenia, April 19, 2021 - April 23, 2021. ACM, New York, NY (2021)

Nayak, S. P.; Neider, D.; Zimmermann., M.: Adaptive Strategies for rLTL Games. In: HSCC2021, 32, pp. 1 - 2. 24th International Conference on Hybrid Systems: Computation and Control, Neshville, TN, USA, May 19, 2021 - May 21, 2021. ACM, New York, NY (2021)

Neider, D.; Gaglione, J.-R.; Gavran, I.; Topcu, U.; Wu, B.; Xu, Z.: Advice-Guided Reinforcement Learning in a non-Markovian Environment. In: AAAI Technical Track on Machine Learning III, pp. 9073 - 9080. Thirty-Fifth AAAI Conference on Artificial Intelligence, Virtual Conference, February 02, 2021 - February 09, 2021. AAAI, Palo Alto, CA (2021)

Neumann, E.; Ouaknine, J.; Worrell, J.: Decision Problems for Second-Order Holonomic Recurrences. In: 48th International Colloquium on Automata, Languages, and Programming, 99, pp. 1 - 20 (Eds. Bansal, N.; Merelli, E.; Worrell, J.). 48th International Colloquium on Automata, Languages, and Programming, Glasgow, UK (Virtual Conference), July 12, 2021 - July 16, 2020. Schloss Dagstuhl, Wadern (2021)

Oberhauser, J.; Lima de Chehab, R. L.; Behrens, D.; Fu, M.; Paolillo, A.; Oberhauser, L.; Bhat, K.; Wen, Y.; Chen, H.; Kim, J. et al.; Vafeiadis, V.: VSync: Push-Button Verification and Optimization for Synchronization Primitives on Weak Memory Models. In: Twenty-Sixth International Conference on Architectural Support for Programming Languages and Operating Systems, pp. 530 - 545. Twenty-Sixth International Conference on Architectural Support for Programming Languages and Operating Systems , Online, April 19, 2021 - April 23, 2021. ACM, New York, NY (2021)

Oberhauser, J.; Oberhauser, L.; Paolillo, A.; Behrens, D.; Fu, M.; Vafeiadis, V.: Verifying and Optimizing the HMCS Lock for Arm Servers. In: Networked Systems, pp. 240 - 260 (Eds. Echihabi, K.; Meyer, R.). 9th International Conference on Networked Systems, Virutal Event, May 19, 2021 - May 21, 2021. Springer, Berlin (2021)

Okati, N.; De, A.; Gomez Rodriguez, M.: Differentiable Learning Under Triage. In: Advances in Neural Information Processing Systems 34, pp. 9140 - 9151 (Eds. Ranzato, M.; Beygelzimer, A.; Liang, P. S.; Vaughan, J. W.; Dauphin, Y.). 35th Conference on Neural Information Processing Systems, Virtual, December 07, 2021. Curran Associates, Inc. (2021)

Rastegarpanah, B.; Gummadi, K.; Crovella, M.: Auditing Black-Box Prediction Models for Data Minimization Compliance. In: Advances in Neural Information Processing Systems 34, pp. 20621 - 20632 (Eds. Ranzato, M.; Beygelzimer, A.; Liang, P. S.; Vaughan, J. W.; Dauphin, Y.). 35th Conference on Neural Information Processing Systems, Virtual, December 07, 2021. Curran Associates, Inc. (2021)

Sammler, M.; Lepigre, R.; Krebbers, R.; Memarian, K.; Dreyer, D.; Garg, D.: RefinedC: Automating the Foundational Verification of C Code with Refined Ownership Types. In: PLDI '21, pp. 158 - 174 (Eds. Freund, S. N.; Yahav, E.). 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation, Virtual, Canada, June 20, 2021 - June 25, 2021. ACM, New York, NY (2021)

Sherman, I. N.; Stokes, J. W.; Redmiles, E. M.: Designing Media Provenance Indicators to Combat Fake Media. In: Proceedings of 24th International Symposium on Research in Attacks, Intrusions and Defenses, pp. 324 - 339. 24th International Symposium on Research in Attacks, Intrusions and Defenses, Donostia, Spain, October 06, 2021 - October 08, 2021. ACM, New York, NY (2021)