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)

Patro, G. K.; Biswas, A.; Ganguly, N.; Gummadi, K. P.; Chakraborty, A.: FairRec: Two-Sided Fairness for Personalized Recommendations in Two-Sided Platforms. In: Proceedings of The World Wide Web Conference, pp. 1194 - 1204 (Eds. Huang, Y.; King, I.; Liu, T.-Y.; van Steen, M.). The World Wide Web Conference, Taipei, Taiwan, April 20, 2020 - April 24, 2020. ACM, New York, NY (2020)

Patro, G. K.; Chakraborty, A.; Ganguly, N.; Gummadi, K. P.: Incremental Fairness in Two-Sided Market Platforms: On Smoothly Updating Recommendations. In: AAAI Technical Track: AI and the Web, pp. 181 - 188. Thirty-Fourth AAAI Conference on Artificial Intelligence, New York, NY, USA, February 07, 2020 - February 12, 2020. AAAI, Palo Alto, CA (2020)

Raad, A.; Berdine, J.; Dang, H.-H.; Dreyer, D.; O’Hearn, P.; Villard, J.: Local Reasoning About the Presence of Bugs: Incorrectness Separation Logic. In: Computer Aided Verification, pp. 225 - 252 (Eds. Lahiri, S. K.; Wang, C.). 32nd International Conference on Computer-Aided Verification, Los Angeles, CA, USA (Online), July 21, 2020 - July 24, 2020. Springer, Berlin (2020)

Rakhsha, A.; Radanovic, G.; Devidze, R.; Zhu, X.; Singla, A.: Policy Teaching via Environment Poisoning: Training-time Adversarial Attacks against Reinforcement Learning. In: Proceedings of the 37th International Conference on Machine Learning, pp. 7974 - 7984 (Eds. Daumé, H.; Singh, A.). 37th International Conference on Machine Learning, Virtual Conference, July 13, 2020 - July 18, 2020. MLResearchPress (2020)

Rastegarpanah, B.; Crovella, M.; Gummadi, K. P.: Fair Inputs and Fair Outputs: The Incompatibility of Fairness in Privacy and Accuracy. In: UMAP '20 Adjunct, pp. 260 - 267 (Eds. Kuflik, T.; Torre, I.; Burke, R.; Gena, C.). 28th ACM Conference on User Modeling, Adaptation and Personalization, Genoa, Italy, July 14, 2020 - July 17, 2020. ACM, New York, NY (2020)