Fischer, J. M.; Majumdar, R.: Programming Event Processors with Thingflow. In: ICCPS'19, S. 67 - 76. ACM/IEEE International Conference on Cyber-Physical Systems, Montreal, Canada, 16. April 2019 - 18. April 2019. ACM, New York, NY (2019)

Grgić-Hlača, N.; Engel, C.; Gummadi, K.: Human Decision Making with Machine Assistance: An Experiment on Bailing and Jailing. 22nd ACM Conference on Computer-Supported Cooperative Work and Social Computing, Austin, TX, USA, 09. November 2019 - 13. November 2019. Proceedings of the ACM Human-Computer Interaction 3, CSCW, 178, (2019)

Gujarati, A.; Appel, M.; Brandenburg, B.: Achal: Building Highly Reliable Networked Control Systems. In: Proceedings of the International Conference on Embedded Software Companion, 9. International Conference on Embedded Software, New York, NY, USA, 13. Oktober 2019 - 18. Oktober 2019. ACM, New York, NY (2019)

Gujarati, A.; Nasri, M.; Majumdar, R.; Brandenburg, B.: From Iteration to System Failure: Characterizing the FITness of Periodic Weakly-Hard Systems. In: 31st Euromicro Conference on Real-Time Systems, 9, S. 1 - 23 (Hg. Quinton, S.). 31st Euromicro Conference on Real-Time Systems, Stuttgart, Germany, 09. Juli 2019 - 12. Juli 2019. Schloss Dagstuhl, Wadern (2019)

Gummadi, K.; Heidari, H.: Economic Theories of Distributive Justice for Fair Machine Learning. In: Proceedings of The World Wide Web Conference, S. 1301 - 1302. The Web Conference, San Francisco, CA, USA, 13. Mai 2019 - 17. Mai 2019. ACM, New York, NY (2019)

Haase, C.; Zetzsche, G.: Presburger Arithmetic with Stars, Rational Subsets of Graph Groups, and Nested Zero Tests. In: 34th Annual ACM/IEEE Symposium on Logic in Computer Science, S. 1 - 14. 34th Annual ACM/IEEE Symposium on Logic in Computer Science, Vancouver, Canada, 24. Juni 2019 - 27. Juni 2019. IEEE, Piscataway, NJ (2019)

Heidari, H.; Loi, M.; Gummadi, K.; Krause, A.: A Moral Framework for Understanding Fair ML through Economic Models of Equality of Opportunity. In: Proceedings of the 2019 Conference on Fairness, Accountability, and Transparency, S. 181 - 190. Conference on Fairness, Accountability, and Transparency, Atlanta, GA, USA, 29. Januar 2019 - 31. Januar 2019. ACM, New York, NY (2019)

Heidari, H.; Nanda, V.; Gummadi, K.: On the Long-term Impact of Algorithmic Decision Policies: Effort Unfairness and Feature Segregation through Social Learning. In: Proceedings of the 36th International Conference on Machine Learning, S. 2692 - 2701 (Hg. Chaudhuri, K.; Salakhutdinov, R.). 36th International Conference on Machine Learning, Long Beach, CA, USA, 09. Juni 2019 - 15. Juni 2019. (2019)

Hong, C.-D.; Lin, A. W.; Majumdar, R.; Rümmer, P.: Probabilistic Bisimulation for Parameterized Systems (with Applications to Verifying Anonymous Protocols). In: Computer Aided Verification, S. 455 - 474 (Hg. Dillig, I.; Tasiran, S.). 31st International Conference on Computer-Aided Verification, New York, NY, USA, 15. Juli 2019 - 18. Juli 2019. Springer, Berlin (2019)

Hosseini, M.; Ouaknine, J.; Worrell, J.: Termination of Linear Loops over the Integers. In: 46th International Colloquium on Automata, Languages, and Programming, 118 (Hg. Baier, C.; Chaztigiannakis, I.; Flocchini, P.; Leonardi, S.). 46th International Colloquium on Automata, Languages, and Programming, Patras, Greece, 09. Juli 2019 - 12. Juli 2019. Schloss Dagstuhl, Wadern (2019)

Hsu, K.; Majumdar, R.; Mallik, K.; Schmuck, A.-K.: Lazy Abstraction-Based Controller Synthesis. In: Automated Technology for Verification and Analysis, S. 2 - 47 (Hg. Fang, Y.; Cheng, C.-H.; Esparza, J.). 17th International Symposium on Automated Technology for Verification and Analysis, Taipei, Taiwan, 28. Oktober 2019 - 31. Oktober 2019. Springer, Berlin (2019)

Huang, C.; Kong, S.; Gao, S.; Zufferey, D.: Evaluating Branching Heuristics in Interval Constraint Propagation for Satisfiability. In: Numerical Software Verification, S. 85 - 100 (Hg. Zamani, M.; Zufferey, D.). 12th International Workshop on Numerical Software Verification, New York, NY, USA, 13. Juli 2019 - 14. Juli 2019. Springer, Berlin (2019)

Hunziker, A.; Chen, Y.; Aodha, O. M.; Gomez Rodriguez, M.; Krause, A.; Perona, P.; Yue, Y.; Singla, A.: Teaching Multiple Concepts to a Forgetful Learner. In: Advances in Neural Information Processing Systems 32, S. 4048 - 4058 (Hg. Wallach, H.; Larochelle, H.; Beygelzimer, A.; d'Alché-Buc, F.; Fox, E. et al.). 33rd Conference on Neural Information Processing Systems, Vancouver, Canada, 08. Dezember 2019 - 14. Dezember 2019. Curran Associates, Inc. (2019)

Izycheva, A.; Darulova, E.; Seidl, H.: Synthesizing Efficient Low-Precision Kernels. In: Automated Technology for Verification and Analysis, S. 294 - 313 (Hg. Fang, Y.; Cheng, C.-H.; Esparza, J.). 17th International Symposium on Automated Technology for Verification and Analysis, Taipei, Taiwan, 28. Oktober 2019 - 31. Oktober 2019. Springer, Berlin (2019)

Jagadish, H. V.; Bonchi, F.; Eliassi-Rad, T.; Getoor, L.; Gummadi, K.; Stoyanovich., J.: The Responsibility Challenge for Data. In: SIGMOD'19, S. 412 - 414 (Hg. Boncz, P.; Manegold, S.). International Conference onManagement of Data, Amsterdam, The Netherland, 30. Juni 2019 - 05. Juli 2020. ACM, New York, NY (2019)

Kamalaruban, P.; Devidze, R.; Cevher, V.; Singla, A.: Interactive Teaching Algorithms for Inverse Reinforcement Learning. In: Proceedings of the Twenty-Eighth International Joint Conference on Artificial Intelligence, S. 2692 - 2700 (Hg. Krais, S.). Twenty-Eighth International Joint Conference on Artificial Intelligence, Macao, 10. August 2019 - 16. August 2019. IJCAI (2019)

Kaufmann, A.; Stamler, T.; Peter, S.; Sharma, N. K.; Krishnamurthy, A.; Anderson, T. E.: TAS: TCP Acceleration as an OS Service. In: Proceedings of the Fourteenth EuroSys Conference 2019, 424. Fourteenth EuroSys Conference, Dresden, Germany, 25. März 2019 - 28. März 2019. ACM, New York, NY (2019)

Klinger, C.; Christakis, M.; Wüstholz, V.: Differentially Testing Soundness and Precision of Program Analyzers. In: ISSTA'19, S. 239 - 250 (Hg. Zhang, D.; Møller, A.). 28th ACM SIGSOFT International Symposium on Software Testing and Analysis, Beijing, China, 15. Juli 2019 - 19. Juli 2019. ACM, New York, NY (2019)

Kokologiannakis, M.; Raad, A.; Vafeiadis, V.: Effective Lock Handling in Stateless Model Checking. ACM OOPSLA Conference, Athens, Greece, 20. Oktober 2019 - 25. Oktober 2019. Proceedings of the ACM on Programming Languages 3, OOPSLA, 173, (2019)

Kokologiannakis, M.; Raad, A.; Vafeiadis, V.: Model Checking for Weakly Consistent Libraries. In: PLDI'19, S. 96 - 110 (Hg. McKinlez, K. S.; Fisher, K.). 40th ACM SIGPLAN Conference on Programming Language Design and Implementation, Phoenix, AZ, USA , 22. Juni 2019 - 26. Juni 2019. ACM, New York, NY (2019)