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, 06. April 2019 - 11. April 2019. Electronic Proceedings in Theoretical Computer Science 308, S. 32 - 46 (2019)

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

Lahoti, P.; Gummadi, K.; Weikum, G.: iFair: Learning Individually Fair Data Representations for Algorithmic Decision Making. In: ICDE 2019, S. 1334 - 1345. 35th IEEE International Conference on Data Engineering, Macau, China, 08. April 2019 - 12. April 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, S. 312 - 324. ACM Symposium on Cloud Computing, Santa Cruz, CA, USA, 20. November 2019 - 23. November 2019. ACM, New York, NY (2019)

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

Lohar, D.; Prokop, M.; Darulova, E.: Sound Probabilistic Numerical Error Analysis. In: Integrated Formal Methods, S. 322 - 340 (Hg. Ahrendt, W.; Tapia Tarifa, S. L.). 15th International Conference on Integrated Formal Methods, Bergen, Norway, 02. Dezember 2019 - 06. Dezember 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 (Hg. Donaldson, A. F.). 33rd European Conference on Object-Oriented Programming, London, UK, 15. Juli 2019 - 19. Juli 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, S. 229 - 246 (Hg. Vojnar, T.; Zhang, L.). 25th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, Prague, Czech Republic, 06. April 2019 - 11. April 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, S. 9199 - 9209 (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)

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, S. 676 - 677. 13th International Conference on Web and Social Media, Munich, Germany, 11. Juni 2019 - 14. Juni 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, S. 180 - 187 (Hg. Azzopardi, L.; Stein, B.; Fuhr, N.; Mayr, P.; Hauff, C. et al.). 41st European Conference on IR Research, Cologne, Germany, 14. April 2019 - 18. April 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, 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)

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, 22. Oktober 2019 - 25. Oktober 2019. IEEE, Piscataway, NJ (2019)

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

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

Özkan, B. K.; Majumdar, R.; Oraee, S.: Trace Aware Random Testing for Distributed Systems. ACM OOPSLA Conference, Athens, Greece, 20. Oktober 2019 - 25. Oktober 2019. Proceedings of the ACM on Programming Languages 3, OOPSLA, 180, (2019)

Patrignani, M.; Garg, D.: Robustly Safe Compilation. In: Programming Languages and Systems, S. 469 - 498 (Hg. Caires, L.). 28th European Symposium on Programming, Prague, Czech Republic, 06. April 2019 - 11. April 2019. Springer, Cham (2019)

Pirron, M.; Zufferey, D.: MPERL: Hardware and Software Co-design for Robotic Manipulators. In: IEEE/RSJ International Conference on Intelligent Robots and Systems, S. 7784 - 7790. IEEE/RSJ International Conference on Intelligent Robots and Systems, Macau, China, 04. November 2019 - 08. November 2019. IEEE, Piscataway, NJ (2019)

Podkopaev, A.; Lahav, O.; Vafeiadis, V.: Bridging the Gap Between Programming Languages and Hardware Weak Memory Models. 46th ACM SIGPLAN Symposium on Principles of Programming Languages, Cascais, Portugal, 13. Januar 2019 - 19. Januar 2019. Proceedings of the ACM on Programming Languages 3, POPL, 69, (2019)

Qu, W.; Gaboardi, M.; Garg, D.: Relational Cost Analysis for Functional-Imperative Programs. 24th ACM SIGPLAN International Conference on Functional Programming, Berlin, Germany, 19. August 2019 - 21. August 2019. Proceedings of the ACM on Programming Languages 3, ICFP, 92, (2019)