Conference Paper (89)
101.
Conference Paper
Two-Sided Fairness for Repeated Matchings in Two-Sided Markets: A Case Study of a Ride-Hailing Platform. In: KDD'19, pp. 3082 - 3092. 25th ACM SIGKDD International Conference on Knowledge Discovery & Data Mining, Anchorage, AK, USA, August 04, 2019 - August 08, 2019. ACM, New York, NY (2019)
102.
Conference Paper
Regular Separability and Intersection Emptiness Are Independent Problems. In: 39th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, 51 (Eds. Chattopadhyay, A.; Gastin, P.). 39th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, Bombay, India, December 11, 2019 - December 13, 2019. Schloss Dagstuhl, Wadern (2019)
103.
Conference Paper
enClosure: Group Communication via Encounter Closures. In: Proceedings of the 17th Annual International Conference on Mobile Systems, Applications, and Services, pp. 353 - 365. 17th Annual International Conference on Mobile Systems, Applications, and Services, Seoul, South Korea, June 17, 2019 - June 21, 2019. ACM, New York, NY (2019)
104.
Conference Paper
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)
105.
Conference Paper
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)
106.
Conference Paper
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)
107.
Conference Paper
3, POPL, 76, (2019)
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 108.
Conference Paper
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)
109.
Conference Paper
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)
110.
Conference Paper
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)
111.
Conference Paper
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)
112.
Conference Paper
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)
Thesis - PhD (5)
113.
Thesis - PhD
Correct Compilation of Relaxed Memory Concurrency. Dissertation, 141 pp., Technische Universität Kaiserslautern, Kaiserslautern (2019)
114.
Thesis - PhD
Non-reformist reform for Haskell Modularity. Dissertation, 248 pp., Universität des Saarlandes, Saarbrücken (2019)
115.
Thesis - PhD
Towards Usability in Private Data Analytics. Dissertation, XXII, 146 pp., Technische Universität Kaiserslautern, Kaiserslautern (2019)
116.
Thesis - PhD
Combinatorial Constructions for Effective Testing. Dissertation, 125 pp., Technische Universität Kaiserslautern, Kaiserslautern (2019)
117.
Thesis - PhD
Discrimination in Algorithmic Decision Making: From Principles to Measures and Mechanisms. Dissertation, 111 pp., Universität des Saarlandes, Saarbrücken (2019)
Working Paper (2)
118.
Working Paper
Balancing the Tradeoff between Profit and Fairness in Rideshare Platforms During High-Demand Hours. (2019), 8 pp.
119.
Working Paper
No DNN Left Behind: Improving Inference in the Cloud with Multi-Tenancy. (2019), 5 pp.