Kilbertus, N.; Gomez Rodriguez, M.; Schölkopf, B.; Muandet, K.; Valera, I.: Fair Decisions Despite Imperfect Predictions. In: Proceedings of the Twenty Third International Conference on Artificial Intelligence and Statistics, pp. 277 - 287 (Eds. Chiappa, S.; Calandra, R.). 23rd International Conference on Artificial Intelligence and Statistics, Virtual Conference, August 26, 2020 - August 28, 2020. PMLR (2020)

Kokologiannakis, M.; Vafeiadis, V.: HMC: Model Checking for Hardware Memory Models. In: ASPLOS XXV, pp. 1157 - 1171. Twenty-Fifth International Conference on Architectural Support for Programming Languages and Operating Systems, Lausanne, Switzerland (Virtual Conference), March 16, 2020 - March 20, 2020. ACM, New York, NY (2020)

Kumar, G.; Dukkipati, N.; Jang, K.; Wassel, H. M. G.; Wu, X.; Montazeri, B.; Wang, Y.; Springborn, K.; Alfeld, C.; Ryan, M. et al.; Wetherall, D.; Vahdat, A.: Swift: Delay is Simple and Effective for Congestion Control in the Datacenter. In: SIGCOMM '20, pp. 514 - 528. Annual Conference of the ACM Special Interest Group on Data Communication on the Applications, Technologies, Architectures, and Protocols for Computer Communication, Virtual Event, NY, USA, August 10, 2020 - August 14, 2020. ACM, New York, NY (2020)

Lee, S.-H.; Cho, M.; Podkopaev, A.; Chakraborty, S.; Hur, C.-K.; Lahav, O.; Vafeiadis, V.: Promising 2.0: Global Optimizations in Relaxed Memory Concurrency. In: PLDI '20, pp. 362 - 376 (Eds. Donaldson, A. F.; Torlak, E.). 41st ACM SIGPLAN Conference on Programming Language Design and Implementation, London, UK (Virtual Event), June 15, 2020 - June 20, 2020. ACM, New York, NY (2020)

Lohrey, M.; Zetzsche, G.: Knapsack and the Power Word Problem in Solvable Baumslag-Solitar Groups. In: 45th International Symposium on Mathematical Foundations of Computer Science, 67, pp. 1 - 15 (Eds. Esparza, J.; Kràl', D.). 45th International Symposium on Mathematical Foundations of Computer Science, Prague, Czech Republic (Virtual Event), August 25, 2020 - August 26, 2020. Schloss Dagstuhl, Wadern (2020)

Majumdar, R.; Mallik, K.; Soudjani, S.: Symbolic Controller Synthesis for Büchi Specifications on Stochastic Systems. In: HSCC2020, 14, pp. 1 - 11. 23rd International Conference on Hybrid Systems: Computation and Control , Sydney, Australia & Virtual, April 21, 2020 - April 24, 2020. ACM, New York, NY (2020)

Majumdar, R.; Ouaknine, J.; Pouly, A.; Worrell, J.: Algebraic Invariants for Linear Hybrid Automata. In: 31st International Conference on Concurrency Theory, 32, pp. 1 - 17 (Eds. Konnov, I.; Kovács, L.). 31st International Conference on Concurrency Theory, Vienna, Austria (Virtual Conference), September 01, 2020 - September 04, 2020. Schloss Dagstuhl, Wadern (2020)

Majumdar, R.; Ozay, N.; Schmuck, A.-K.: On Abstraction-Based Controller Design With Output Feedback. In: HSCC2020, 15, pp. 1 - 11. 23rd International Conference on Hybrid Systems: Computation and Control , Sydney, Australia & Virtual, April 21, 2020 - April 24, 2020. ACM, New York, NY (2020)

Majumdar, R.; Salamati, M.; Soudjani, S.: On Decidability of Time-Bounded Reachability in CTMDPs. In: 47th International Colloquium on Automata, Languages, and Programming, 133, pp. 1 - 19 (Eds. Czumaj, A.; Dawar, A.; Merelli, E.). 47th International Colloquium on Automata, Languages, and Programming, Saarbrücken, Germany (Virtual Conference), July 08, 2020 - July 11, 2020. Schloss Dagstuhl, Wadern (2020)

Mansur, M. N.; Christakis, M.; Wüstholz, V.; Zhang, F.: Detecting Critical Bugs in SMT Solvers Using Blackbox Mutational Fuzzing. In: ESEC/FSE '20, pp. 701 - 712 (Eds. Devanbu, P.; Cohen, M.; Zimmermann, T.). 28th ACM Joint Meeting European Software Engineering Conference and Symposium on the Foundations of Software Engineering, Virtual Event, USA, November 08, 2020 - November 13, 2020. ACM, New York, NY (2020)

Markgraf, O.; Hong, C.-D.; Lin, A. W.; Najib, M.; Neider, D.: Parameterized Synthesis with Safety Properties. In: Programming Languages and Systems, pp. 273 - 292 (Ed. Oliveira, B. C. d. S.). 18th Asian Symposium on Programming Languages and Systems , Fukuoka, Japan (Online Event), November 30, 2020 - December 02, 2020. Springer, Berlin (2020)

Mascle, C.; Neider, D.; Schwenger, M.; Tabuada, P.; Weinert, A.; Zimmermann, M.: From LTL to rLTL Monitoring: Improved Monitorability through Robust Semantics. In: HSCC2020, 7, pp. 1 - 12. 23rd International Conference on Hybrid Systems: Computation and Control , Sydney, Australia & Virtual, April 21, 2020 - April 24, 2020. ACM, New York, NY (2020)

McFarlane, D.; Redmiles, E. M.: Get Paid to Program: Evaluating an Employment-Aware After-School Program for High School Women of Color. In: ITiCSE '20, pp. 212 - 218 (Eds. Giannakos, M.; Sindre, G.; Luxton-Reilly, A.; Divitini,, M.). ACM Conference on Innovation and Technology in Computer Science Educationn, Trondheim, Norway, June 15, 2020 - June 19, 2020. ACM, New York, NY (2020)

Moiseenko, E.; Podkopaev, A.; Lahav, O.; Melkonian, O.; Vafeiadis, V.: Reconciling Event Structures with Modern Multiprocessors. In: 34th European Conference onObject-Oriented Programming, 5, pp. 1 - 26 (Eds. Hirschfeld, R.; Pape, T.). 34th European Conference on Object-Oriented Programming, Berlin, Germany (Virtual Event), November 15, 2020 - November 17, 2020. Schloss Dagstuhl, Wadern (2020)

Nandi, C.; Willsey, M.; Anderson, A.; Wilcox, J. R.; Darulova, E.; Grossman, D.; Tatlock, Z.: Synthesizing Structured CAD Models with Equality Saturation and Inverse Transformations. In: PLDI '20, pp. 31 - 44 (Eds. Donaldson, A. F.; Torlak, E.). 41st ACM SIGPLAN Conference on Programming Language Design and Implementation, London, UK (Virtual Event), June 15, 2020 - June 20, 2020. ACM, New York, NY (2020)

Natarajan, S.; Nasri, M.; Broman, D.; Brandenburg, B. B.; Nelissen, G.: From Code to Weakly Hard Constraints: A Pragmatic End-to-End Toolchain for Timed C. In: IEEE 40th Real-Time Systems Symposium, pp. 167 - 180. IEEE 40th Real-Time Systems Symposium, Hong Kong, China, December 03, 2019 - December 06, 2019. IEEE, Piscataway, NJ (2020)

Neider, D.; Totzke, P.; Zimmermann, M.: Optimally Resilient Strategies in Pushdown Safety Games. In: 45th International Symposium on Mathematical Foundations of Computer Science, 74, pp. 1 - 15 (Eds. Esparza, J.; Kràl', D.). 45th International Symposium on Mathematical Foundations of Computer Science, Prague, Czech Republic (Virtual Event), August 25, 2020 - August 26, 2020. Schloss Dagstuhl, Wadern (2020)

Neumann, E.; Ouaknine, J.; Worrell, J.: On Ranking Function Synthesis and Termination for Polynomial Programs. In: 31st International Conference on Concurrency Theory, 15, pp. 1 - 15 (Eds. Konnov, I.; Kovács, L.). 31st International Conference on Concurrency Theory, Vienna, Austria (Virtual Conference), September 01, 2020 - September 04, 2020. Schloss Dagstuhl, Wadern (2020)

Nogd, S.; Nelissen, G.; Nasri, M.; Brandenburg, B. B.: Response-Time Analysis for Non-Preemptive Global Scheduling with FIFO Spin Locks. In: IEEE 41st Real-Time Systems Symposium, pp. 115 - 127. IEEE 41st Real-Time Systems Symposium , Houston, TX, USA (Virtual Conference), December 01, 2020 - December 04, 2020. IEEE, Piscataway, NJ (2020)

Ouaknine, J.: Holonomic Techniques, Periods, and Decision Problems (Invited Talk). In: 40th IARCS Annual Conferenceon Foundations of SoftwareTechnology and TheoreticalComputer Science, 4, pp. 1 - 3 (Eds. Saxena, N.; Simon, S.). 40th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, Goa, India (Virtual Conference), December 14, 2020 - December 18, 2020. Schloss Dagstuhl, Wadern (2020)