Tschiatschek, S.; Ghosh, A.; Haug, L.; Devidze, R.; Singla, A.: Learner-aware Teaching: Inverse Reinforcement Learning with Preferences and Constraints. In: Advances in Neural Information Processing Systems 32, pp. 4145 - 4155 (Eds. Wallach, H.; Larochelle, H.; Beygelzimer, A.; d'Alché-Buc, F.; Fox, E. et al.). 33rd Conference on Neural Information Processing Systems, Vancouver, Canada, December 08, 2019 - December 14, 2019. Curran Associates, Inc. (2019)

Upadhyay, U.; De, A.; Pappu, A.; Gomez Rodriguez, M.: On the Complexity of Opinions and Online Discussions. In: WSDM '19, pp. 258 - 266. 12h ACM International Conference on Web Search and Data Mining, Melbourne, Australia, February 11, 2019 - February 15, 2019. ACM, New York, NY (2019)

Vahldiek-Oberwagner, A.; Elnikety, E.; Duarte, N. O.; Sammler, M.; Druschel, P.; Garg, D.: ERIM: Secure, Efficient In-process Isolation with Protection Keys (MPK). In: Proceedings of the 28th USENIX Security Symposium, pp. 1221 - 1238. 28th USENIX Security Symposium, Santa Clara, CA, USA, August 14, 2019 - August 16, 2019. USENIX (2019)

Vassena, M.; Russo, A.; Garg, D.; Rajani, V.; Stefan, D.: From Fine- to Coarse-grained Dynamic Information Flow Control and Back. 46th ACM SIGPLAN Symposium on Principles of Programming Languages, Cascais, Portugal, January 13, 2019 - January 19, 2019. Proceedings of the ACM on Programming Languages 3, POPL, 76, (2019)

Venkatadri, G.; Sapiezynski, P.; Redmiles, E. M.; Mislove, A.; Goga, O.; Mazurek, M. L.; Gummadi, K.: Auditing Offline Data Brokers via Facebook's Advertising Platform. In: Proceedings of The World Wide Web Conference, pp. 1920 - 1930. The Web Conference, San Francisco, CA, USA, May 13, 2019 - May 17, 2019. ACM, New York, NY (2019)

Yalcinkaya, B.; Nasri, M.; Brandenburg, B.: An Exact Schedulability Test for Non-Preemptive Self-Suspending Real-Time Tasks. In: Proceedings of the 2019 Design, Automation & Test in Europe, pp. 1228 - 1233. Design, Automation & Test in Europe Conference , Florence, Italy, March 25, 2019 - March 29, 2019. IEEE, Piscataway, NJ (2019)

Yeo, T.; Kamalaruban, P.; Singla, A.; Merchant, A.; Asselborn, T.; Faucon, L.; Dillenbourg, P.; Cevher, V.: Iterative Classroom Teaching. In: Proceedings of the AAAI Conference on Artificial Intelligence, pp. 5684 - 5692. Thirty-Third AAAI Conference on Artificial Intelligence, Honolulu, HI, USA, January 27, 2019 - February 01, 2019. AAAI Press, Palo Alto, CA (2019)

Zhang, C.; Su, T.; Yan, Y.; Zhang, F.; Pu, G.; Su, Z.: Finding and Understanding Bugs in Software Model Checkers. In: ESEC/FSE '19, pp. 763 - 773 (Eds. Dumas, M.; Pfahl, D.; Apel, S.; Russo, A.). 27th ACM Joint Meeting European Software Engineering Conference and Symposium on the Foundations of Software Engineering, Tallinn, Estonia, August 26, 2019 - August 30, 2019. ACM, New York, NY (2019)

Zhao, Y.; Sanán, D.; Zhang, F.; Liu, Y.: A Parametric Rely-Guarantee Reasoning Framework for Concurrent Reactive Systems. In: Formal Methods - The Next 30 Years, pp. 161 - 178 (Eds. ter Beek, M. H.; McIver, A.; Oliveira, J. N.). 23rd Symposium on Formal Method, Porto, Portugal, October 07, 2019 - October 11, 2019. Springer, Cham (2019)

Abbas, H.; Saha, I.; Shoukry, Y.; Ehlers, R.; Fainekos, G.; Gupta, R.; Majumdar, R.; Ulus, D.: Special Session: Embedded Software for Robotics: Challenges and Future Directions. In: Proceedings of the International Conference on Embedded Software. International Conference on Embedded Software, Turin, Italy, September 30, 2018 - October 05, 2018. IEEE, Piscataway, NJ (2018)

Aguirre, A.; Barthe, G.; Birkedal, L.; Bizjak, A.; Gaboardi, M.; Garg, D.: Relational Reasoning for Markov Chains in a Probabilistic Guarded Lambda Calculus. In: Programming Languages and Systems, pp. 214 - 241 (Ed. Ahmed, A.). 27th European Symposium on Programming, Thessaloniki, Greece,, April 14, 2018 - April 20, 2018. Springer, Berlin (2018)

Almagor, S.; Chapman, B.; Hosseini, M.; Ouaknine, J.; Worrell, J.: Effective Divergence Analysis for Linear Recurrence Sequences. In: 29th International Conference on Concurrency Theory, 42, pp. 1 - 15 (Eds. Schewe, S.; Zhang, L.). 29th International Conference on Concurrency Theory, Beijing, China, September 04, 2018 - September 07, 2018. Schloss Dagstuhl, Wadern (2018)

Almagor, S.; Chistikov, D.; Ouaknine, J.; Worrell, J.: O-Minimal Invariants for Linear Loops. In: 45th International Colloquium on Automata, Languages, and Programming, 114, pp. 1 - 14 (Eds. Chatzigiannakis, I.; Kaklamanis, C.; Marx, D.; Sannella, D.). 45th International Colloquium on Automata, Languages, and Programming, Prague, Czech Republic, July 09, 2018 - July 13, 2018. Schloss Dagstuhl, Wadern (2018)

Andreou, A.; Venkatadri, G.; Goga, O.; Gummadi, K. P.; Loiseau, P.; Mislove, A.: Investigating Ad Transparency Mechanisms in Social Media: A Case Study of Facebooks Explanations. In: Network and Distributed Systems Security Symposium. Network and Distributed Systems Security Symposium , San Diego, CA, UCA, February 18, 2018 - February 21, 2018. ndss-symposium.org (2018)

Anevlavis, T.; Philippe, M.; Neider, D.; Tabuada, P.: Verifying rLTL Formulas: Now Faster than Ever Before! In: IEEE Conference on Decision and Control, pp. 1556 - 1561. 57th IEEE Conference on Decision and Control, Miami Beach, FL, USA, December 17, 2018 - December 19, 2018. IEEE, Piscataway, NJ (2018)

Babaei, M.; Kulshrestha, J.; Chakraborty, A.; Benevenuto, F.; Gummadi, K. P.; Weller, A.: Purple Feed: Identifying High Consensus News Posts on Social Media. In: AIES'18, pp. 10 - 16. AAAI/ACM Conference on AI, Ethics, and Society, New Orleans, LA, USA, February 02, 2018 - February 03, 2018. ACM, New York, NY (2018)

Backenköhler, M.; Scherzinger, F.; Singla, A.; Wolf, V.: Data-Driven Approach Towards a Personalized Curriculum. In: Proceedings of the 11th International Conference on Educational Data Mining, 31, pp. 246 - 251 (Eds. Boyer, K. E.; Yudelson, M.). 11th International Conference on Educational Data Mining, Buffalo, NY, USA, July 15, 2018 - July 18, 2018. educationaldatamining.org (2018)

Becker, H.; Zyuzin, N.; Monat, R.; Darulova, E.; Myreen, M. O.; Fox, A. C. J.: A Verified Certificate Checker for Finite-Precision Error Bounds in Coq and HOL4. In: Proceedings of the 18th Conference on Formal Methods in Computer-Aided Design, pp. 1 - 10 (Eds. Bjørner, N.; Gurfinke, A.). 18th Conference on Formal Methods in Computer-Aided Design, Austin, TX, USA, October 30, 2018 - November 02, 2018. IEEE, Piscataway, NJ (2018)

Becker, H.; Panchekha, P.; Darulova, E.; Tatlock, Z.: Combining Tools for Optimization and Analysis of Floating-Point Computations. In: Formal Methods, pp. 355 - 363 (Eds. Havelund, K.; Peleska, J.; Roscoe, B.; de Vink, E.). 22nd International Symposium on Formal Methods, Oxford, UK, July 15, 2018 - July 17, 2018. Springer, Berlin (2018)

Biega, A. J.; Gummadi, K. P.; Weikum, G.: Equity of Attention: Amortizing Individual Fairness in Rankings. In: SIGIR'18, pp. 405 - 414. 41st International ACM SIGIR Conference on Research and Development in Information Retrieval, Ann Arbor, MI, USA, July 08, 2018 - July 12, 2018. ACM, New York, NY (2018)