Saxena, N. A.; Huang, K.; DeFilippis, E.; Radanovic, G.; Parkes, D. C.; Liu, Y.: How Do Fairness Definitions Fare? Testing Public Attitudes towards Three Algorithmic Definitions of Fairness in Loan Allocations. Artificial Intelligence 283, 103238 (2020)

Schmuck, A.-K.; Moor, T.; Majumdar, R.: On the Relation Between Reactive Synthesis and Supervisory Control of Non-terminating Processes. Discrete Event Dynamic Systems 30, pp. 81 - 124 (2020)

Stanley-Marbell, P.; Alaghi, A.; Carbin, M.; Darulova, E.; Dolecek, L.; Gerstlauer, A.; Gillani, G.; Jevdjic, D.; Moreau, T.; Cacciotti, M. et al.; Daglis, A.; Jerger, N. E.; Falsafi, B.; Misailovic, S.; Sampson, A.; Zufferey, D.: Exploiting Errors for Efficiency: A Survey from Circuits to Applications. ACM Computing Surveys 53 (3), 51, pp. 1 - 39 (2020)

Urban, C.; Christakis, M.; Wüstholz, V.; Zhang, F.: Perfectly Parallel Fairness Certification of Neural Networks. Proceedings of the ACM on Programming Languages 4 (OOPSLA), 185, pp. 1 - 30 (2020)

Xu, Z.; Gavran, I.; Ahmad, Y.; Majumdar, R.; Neider, D.; Topcu, U.; Wu, B.: Joint Inference of Reward Machines and Policies for Reinforcement Learning. Proceedings of the International Conference on Automated Planning and Scheduling 30 (1), pp. 590 - 598 (2020)

Christakis, M.; Polikarpova, N.; Duggirala, P. S.; Schrammel, P. (Eds.): Software Verification (Lecture Notes in Computer Science, 12549). 12th Working Conference on Verified Software: Theories, Tools, and Experiments , Virtual, July 20, 2020 - July 21, 2020. Springer, Berlin (2020), XXVI, 239 pp.

Beyer, D.; Zufferey, D. (Eds.): Verification, Model Checking, and Abstract Interpretation (Lecture Notes in Computer Science, 11990). 21st International Conference on Verification, Model Checking, and Abstract Interpretation, New Orleans, LA, USA, January 16, 2020 - January 21, 2020. Springer, Berlin (2020), XIV, 470 pp.

Abate, C.; Blanco, R.; Ciobâcă, Ş.; Durier, A.; Garg, D.; Hriţcu, C.; Patrignani, M.; Tanter, É.; Thibault, J.: Trace-Relating Compiler Correctness and Secure Compilation. In: Programming Languages and Systems, pp. 1 - 28 (Ed. Müller, P.). 29th European Symposium on Programming, Dublin, Ireland (Online Event), April 25, 2020 - April 30, 2020. Springer, Berlin (2020)

Ahmed, U. Z.; Christakis, M.; Efremov, A.; Fernandez, N.; Ghosh, A.; Roychoudhury, A.; Singla, A.: Synthesizing Tasks for Block-based Programming. In: Advances in Neural Information Processing Systems 33, pp. 22349 - 22360 (Eds. Larochelle, H.; Ranzato, M.; Hadsell, R.; Balcan, M. F.; Lin, H.). 34th Conference on Neural Information Processing Systems, Virtual Event, December 06, 2020 - December 12, 2020. Curran Associates, Inc. (2020)

Almagor, S.; Kelmendi, E.; Ouaknine, J.; Worrell, J.: Invariants for Continuous Linear Dynamical Systems. In: 47th International Colloquium on Automata, Languages, and Programming, 107, pp. 1 - 15 (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)

Arun, V.; Kate, A.; Garg, D.; Druschel, P.; Bhattacharjee, B.: Finding Safety in Numbers with Secure Allegation Escrows. In: Network and Distributed System Security Symposium. The Network and Distributed System Security Symposium , San Diego, CA, USA, February 23, 2020 - February 26, 2020. Internet Society, Reston, VA (2020)

Baier, C.; Funke, F.; Jantsch, S.; Karimov, T.; Lefaucheux, E.; Ouaknine, J.; Pouly, A.; Purser, D.; Whiteland, M.: Reachability in Dynamical Systems with Rounding. In: 40th IARCS Annual Conferenceon Foundations of SoftwareTechnology and TheoreticalComputer Science, 36, pp. 1 - 17 (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)

Bakker, M. A.; Riverón Valdés, H.; Tu, D. P.; Gummadi, K. P.; Varshney, K. R.; Weller, A.; Pentland, A.: Fair Enough: Improving Fairness in Budget-Constrained Decision Making Using Confidence Thresholds. In: Proceedings of the Workshop on Artificial Intelligence Safety co-located with 34th AAAI Conference on Artificial Intelligence, pp. 41 - 53 (Eds. Espinoza, H.; Hernández-Orallo, J.; Chen, X. C.; ÓhÉigeartaigh, S. S.; Huang, X. et al.). Artificial Intelligence Safety, New York, NY, USA, February 07, 2020. CEUR-WS.org (2020)

Baumann, P.; Majumdar, R.; Thinniyam, R. S.; Zetzsche, G.: The Complexity of Bounded Context Switching with Dynamic Thread Creation. In: 47th International Colloquium on Automata, Languages, and Programming, 111, pp. 1 - 16 (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)

Bilbeisi, G.; Ahmed, S.; Majumdar, R.: DeepEquaL: Deep Learning Based Mathematical Equation to Latex Generation. In: Neural Information Processing, pp. 324 - 332 (Eds. Yang, H.; Pasupa, K.; Leung, A. C.-S.; Kwok, J. T.; Chan, J. H. et al.). 27th International Conference on Neural Information Processing, Bangkok, Thailand (Virtual), November 18, 2020 - November 22, 2020. Springer, Berlin (2020)

Bojańczyk, M.; Kelmendi, E.; Stefański, R.; Zetzsche, G.: Extensions of ω-Regular Languages. In: Proceedings of the 35th Annual ACM/IEEE Symposium on Logic in Computer Science, pp. 266 - 272. 35th Annual ACM/IEEE Symposium on Logic in Computer Science, Saarbrücken, Germany (Online), July 08, 2020 - July 11, 2020. ACM, New York, NY (2020)

Bozhko, S.; Brandenburg, B. B.: Abstract Response-Time Analysis: A Formal Foundation for the Busy-Window Principle. In: 32nd Euromicro Conference on Real-Time Systems, 22, pp. 1 - 24 (Ed. Völp, M.). 32nd Euromicro Conference on Real-Time Systems, Virtual Conference, July 07, 2020 - July 10, 2020. Schloss Dagstuhl, Wadern (2020)

Cadilhac, M.; Chistikov, D.; Zetzsche, G.: Rational Subsets of Baumslag-Solitar Groups. In: 47th International Colloquium on Automata, Languages, and Programming, 116, pp. 1 - 16 (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)

Chakraborty, A.; Gummadi, K. P.: Fairness in Algorithmic Decision Making. In: Proceedings of the 7th ACM IKDD CoDS and 25th COMAD, pp. 367 - 368 (Eds. Bhattacharya, A.; Natarajan, S.; Saha Roy, R.). ACM India Joint International Conferenceon Data Science and Management of Data , Hyderabad, India, January 05, 2020 - January 07, 2020. ACM, New York, NY (2020)

Czerwiński, W.; Zetzsche, G.: An Approach to Regular Separability in Vector Addition Systems. In: Proceedings of the 35th Annual ACM/IEEE Symposium on Logic in Computer Science, pp. 341 - 354. 35th Annual ACM/IEEE Symposium on Logic in Computer Science, Saarbrücken, Germany (Online), July 08, 2020 - July 11, 2020. ACM, New York, NY (2020)