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, pp. 2692 - 2700 (Ed. Krais, S.). Twenty-Eighth International Joint Conference on Artificial Intelligence, Macao, August 10, 2019 - August 16, 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, March 25, 2019 - March 28, 2019. ACM, New York, NY (2019)

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

Kokologiannakis, M.; Raad, A.; Vafeiadis, V.: Effective Lock Handling in Stateless Model Checking. ACM OOPSLA Conference, Athens, Greece, October 20, 2019 - October 25, 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, pp. 96 - 110 (Eds. McKinlez, K. S.; Fisher, K.). 40th ACM SIGPLAN Conference on Programming Language Design and Implementation, Phoenix, AZ, USA , June 22, 2019 - June 26, 2019. ACM, New York, NY (2019)

Künnemann, R.; Garg, D.; Backes, M.: Causality & Control Flow. 4th Workshop on Formal Reasoning about Causation, Responsibility, and Explanations in Science and Technology, Prague, Czech Republic, April 06, 2019 - April 11, 2019. Electronic Proceedings in Theoretical Computer Science 308, pp. 32 - 46 (2019)

Kuske, D.; Zetzsche, G.: Languages Ordered by the Subword Order. In: Foundationsof Software Science and Computation Structures, pp. 348 - 364 (Eds. Bojańczyk, M.; Simpson, A.). 22nd International Conference on Foundations of Software Science and Computation Structures, Prague, Czech Republic, April 06, 2020 - April 11, 2020. Springer, Berlin (2019)

Lahoti, P.; Gummadi, K.; Weikum, G.: iFair: Learning Individually Fair Data Representations for Algorithmic Decision Making. In: ICDE 2019, pp. 1334 - 1345. 35th IEEE International Conference on Data Engineering, Macau, China, April 08, 2019 - April 12, 2019. IEEE, Piscataway, NJ (2019)

Las-Casas, P. H. B.; Papakerashvili, G.; Anand, V.; Mace, J.: Sifter: Scalable Sampling for Distributed Traces, without Feature Engineering. In: SoCC'19, pp. 312 - 324. ACM Symposium on Cloud Computing, Santa Cruz, CA, USA, November 20, 2019 - November 23, 2019. ACM, New York, NY (2019)

Litton, J.; Garg, D.; Druschel, P.; Bhattacharjee, B.: Composing Abstractions using the null-Kernel. In: HotOS"19, pp. 1 - 6. Workshop on Hot Topics in Operating Systems, Bertinoro, Italy, May 12, 2019 - May 15, 2019. ACM, New York, NY (2019)

Lohar, D.; Prokop, M.; Darulova, E.: Sound Probabilistic Numerical Error Analysis. In: Integrated Formal Methods, pp. 322 - 340 (Eds. Ahrendt, W.; Tapia Tarifa, S. L.). 15th International Conference on Integrated Formal Methods, Bergen, Norway, December 02, 2019 - December 06, 2019. Springer, Berlin (2019)

Majumdar, R.; Pirron, M.; Yoshida,, N.; Zufferey, D.: Motion Session Types for Robotic Interactions (Brave New Idea Paper). In: 33rd European Conference on Object-Oriented Programming, 28 (Ed. Donaldson, A. F.). 33rd European Conference on Object-Oriented Programming, London, UK, July 15, 2019 - July 19, 2019. Schloss Dagstuhl, Wadern (2019)

Majumdar, R.; Piterman, N.; Schmuck, A.-K.: Environmentally-Friendly GR(1) Synthesis. In: Tools and Algorithms for the Construction and Analysis of Systems, pp. 229 - 246 (Eds. Vojnar, T.; Zhang, L.). 25th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, Prague, Czech Republic, April 06, 2019 - April 11, 2019. Springer, New York, NY (2019)

Mansouri, F.; Chen, Y.; Vartanian, A.; Zhu, X.; Singla, A.: Preference-Based Batch and Sequential Teaching: Towards a Unified View of Models. In: Advances in Neural Information Processing Systems 32, pp. 9199 - 9209 (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)

Melo, P.; Messias, J.; Resende, G.; Garimella, K.; Almeida, J.; Benevenuto, F.: WhatsApp Monitor: A Fact-Checking System for WhatsApp. In: Proceedings of the Thirteenth International Conference on Web and Social Media, pp. 676 - 677. 13th International Conference on Web and Social Media, Munich, Germany, June 11, 2019 - June 14, 2019. AAAI (2019)

Mullick, A.; Ghosh, S.; Dutt, R.; Ghosh, A.; Chakraborty, A.: Public Sphere 2.0: Targeted Commenting in Online News Media. In: Advances in Information Retrieval, pp. 180 - 187 (Eds. Azzopardi, L.; Stein, B.; Fuhr, N.; Mayr, P.; Hauff, C. et al.). 41st European Conference on IR Research, Cologne, Germany, April 14, 2019 - April 18, 2019. Springer, Berlin (2019)

Nasri, M.; Nelissen, G.; Brandenburg, B.: Response-Time Analysis of Limited-Preemptive Parallel DAG Tasks Under Global Scheduling. In: 31st Euromicro Conference on Real-Time Systems, 21, pp. 1 - 23 (Ed. Quinton, S.). 31st Euromicro Conference on Real-Time Systems, Stuttgart, Germany, July 09, 2019 - July 12, 2019. Schloss Dagstuhl, Wadern (2019)

Neider, D.; Markgraf, O.: Learning-Based Synthesis of Safety Controllers. In: 2019 Formal Methods in Computer Aided Design. 2019 Formal Methods in Computer Aided Design, San Jose, CA, USA, USA, October 22, 2019 - October 25, 2019. IEEE, Piscataway, NJ (2019)

Neider, D.; Saha, S.; Garg, P.; Madhusudan, P.: SORCAR: Property-Driven Algorithms for Learning Conjunctive Invariants. In: Static Analysis, pp. 323 - 346 (Ed. Chang, B.-Y. E.). 26th International Static Analysis Symposium, Porto, Portugal, October 08, 2019 - October 11, 2019. Springer, Berlin (2019)

Özkan, B. K.; Majumdar, R.; Niksic, F.: Checking Linearizability Using Hitting Families. In: PPoPP'19, pp. 366 - 377. 24th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, Washington, DC, USA, February 16, 2019 - February 20, 2019. ACM, New York, NY (2019)