Conference Paper (83)
41.
Conference Paper
A Game-Theoretic Account of Responsibility Allocation. In: Proceedings of the Twenty-Ninth International Joint Conference on Artificial Intelligence, pp. 1773 - 1779 (Ed. Zhou, Z.-H.). Thirtieth International Joint Conference on Artificial Intelligence, Montreal, Canada, August 19, 2021 - August 27, 2021. IJCAI (2021)
42.
Conference Paper
Beyond Reasonable Doubt: Improving Fairness in Budget-Constrained Decision Making Using Confidence Thresholds. In: AIES '21, pp. 346 - 356 (Eds. Fourcade, M.; Kuipers, B.; Lazar, S.; Mulligan, D.). Fourth AAAI/ACM Conference on Artificial Intelligence, Ethics and Society, Virtual Conference, May 19, 2021 - May 21, 2021. ACM, New York, NY (2021)
43.
Conference Paper
Extracting Context-Free Grammars from Recurrent. In: Proceedings of the Fifteenth International Conference on Grammatical Inference, pp. 113 - 129 (Eds. Chandlee, J.; Eyraud, R.; Heinz, J.; Jardine, A.; van Zaanen, M.). Fifteenth International Conference on Grammatical Inference, Virtual Event, August 23, 2021 - August 27, 2021. MLR Press (2021)
44.
Conference Paper
"Disadvantaged in the American-Dominated Internet": Sex, Work, and Technology. In: CHI '21, 563, pp. 1 - 16 (Eds. Kitamura, Y.; Quigley, A.; Ikematsu, K.; Kosch, T.). CHI Conference on Human Factors in Computing Systems, Yokohama, Japan (Online Virtual Conference), May 08, 2021 - May 13, 2021. ACM, New York, NY (2021)
45.
Conference Paper
Lassie: HOL4 Tactics by Example. In: CPP '21, pp. 212 - 223 (Eds. Hriţcu, C.; Popescu, A.). 10th ACM SIGPLAN International Conference on Certified Programs and Proofs, Virtual, Denmark, January 17, 2021 - January 19, 2021. ACM, New York, NY (2021)
46.
Conference Paper
A Characterization of Wreath Products Where Knapsack Is Decidable. In: 38th International Symposium on Theoretical Aspects of Computer Science, 11, pp. 1 - 17 (Eds. Bläser, M.; Monmege, B.). 38th International Symposium on Theoretical Aspects of Computer Science, Saarbrücken, Germany (Virtual Conference), March 16, 2021 - March 19, 2021. Schloss Dagstuhl, Wadern (2021)
47.
Conference Paper
A ROS 2 Response-Time Analysis Exploiting Starvation Freedom and Execution-Time Variance. In: IEEE 42nd Real-Time Systems Symposium, pp. 41 - 53. IEEE 42nd Real-Time Systems Symposium , Dortmund, Germany (Virtual Conference), December 07, 2021 - December 10, 2021. IEEE, Piscataway, NJ (2021)
48.
Conference Paper
Automatic Latency Management for ROS 2: Benefits, Challenges, and Open Problems. In: IEEE 27th Real-Time and Embedded Technology and Applications Symposium, pp. 264 - 277. 27th IEEE Real-Time and Embedded Technology and Applications Symposium, Nashville, TN, USA, May 21, 2021 - May 18, 2021. IEEE, Piscataway, NJ (2021)
49.
Conference Paper
Side-Channel Attacks on Query-Based Data Anonymization. In: CCS '21, pp. 1254 - 1265 (Eds. Kim, Y.; Kim, J.; Vigna, G.; Shi, E.; Kim, H. et al.). ACM SIGSAC Conference on Computer and Communications Security, Virtual Event, Republic of Korea, November 15, 2021 - November 19, 2021. ACM, New York, NY (2021)
50.
Conference Paper
Quality Guarantees for Autoencoders via Unsupervised Adversarial Attacks. In: Machine Learning and Knowledge Discovery in Databases, pp. 206 - 222 (Eds. Hutter, F.; Kersting, K.; Lijffijt, J.; Valera, I.). European Conference on Machine Learning and Principles and
Practice of Knowledge Discovery in Databases, Ghent, Belgium (Virtual), September 14, 2020 - September 18, 2020. Springer, Berlin (2021)
51.
Conference Paper
Introducing Quality Guarantees for Autoencoders. In: Proceedings of the 3rd Workshop on Artificial Intelligence and Formal Verification, Logic, Automata, and Synthesis, pp. 103 - 107 (Eds. Della Monica, D.; Pozzato, L.; Scala, E.). 3rd Workshop on Artificial Intelligence and Formal Verification, Logic, Automata, and Synthesis, Padua, Italy, September 22, 2021. CEUR-WS.org (2021)
52.
Conference Paper
Monte Carlo Response-Time Analysis. In: IEEE 42nd Real-Time Systems Symposium, pp. 342 - 355. IEEE 42nd Real-Time Systems Symposium , Dortmund, Germany (Virtual Conference), December 07, 2021 - December 10, 2021. IEEE, Piscataway, NJ (2021)
53.
Conference Paper
GoJournal: A Verified, Concurrent, Crash-safe Journaling System. In: 15th USENIX Symposium on Operating Systems Design and Implementation, pp. 423 - 439. 15h USENIX Symposium on Operating Systems Design and Implementation, Online, July 14, 2021 - July 21, 2021. USENIX Association (2021)
54.
Conference Paper
Automated Safety Verification of Programs Invoking Neural Networks. In: Computer Aided Verification, pp. 201 - 224 (Ed. Silva, A.). 33rd International Conference on Computer-Aided Verification, Virtual Event, July 20, 2021 - July 23, 2021. Springer, Berlin (2021)
55.
Conference Paper
"I need a better description'': An Investigation Into User Expectations For Differential Privacy. In: CCS '21, pp. 3037 - 3052 (Eds. Kim, Y.; Kim, J.; Vigna, G.; Shi, E.; Kim, H. et al.). ACM SIGSAC Conference on Computer and Communications Security, Virtual Event, Republic of Korea, November 15, 2021 - November 19, 2021. ACM, New York, NY (2021)
56.
Conference Paper
The Pseudo-Skolem Problem is Decidable. In: 46th International Symposium on Mathematical Foundations of Computer Science, 34, pp. 1 - 21 (Eds. Bonchi, F.; Puglisi, S. J.). 46th International Symposium on Mathematical Foundations of Computer Science, Tallinn, Estonia, August 23, 2021 - August 27, 2021. Schloss Dagstuhl, Wadern (2021)
57.
Conference Paper
On the Complexity of the Escape Problem for Linear Dynamical Systems over Compact Semialgebraic Sets. In: 46th International Symposium on Mathematical Foundations of Computer Science, 33, pp. 1 - 21 (Eds. Bonchi, F.; Puglisi, S. J.). 46th International Symposium on Mathematical Foundations of Computer Science, Tallinn, Estonia, August 23, 2021 - August 27, 2021. Schloss Dagstuhl, Wadern (2021)
58.
Conference Paper
When the Umpire is also a Player: Bias in Private Label Product Recommendations on E-commerce Marketplaces. In: FAccT '21, pp. 873 - 884. ACM Conference on Fairness, Accountability, and Transparency, Virtual Event, Canada, March 03, 2021 - March 10, 2021. ACM, New York, NY (2021)
59.
Conference Paper
Classification Under Human Assistance. In: AAAI Technical Track on Humans and AI, pp. 5905 - 5913. Thirty-Fifth AAAI Conference on Artificial Intelligence, Virtual, February 02, 2021 - February 09, 2021. AAAI, Palo Alto, CA (2021)
60.
Conference Paper
Explicable Reward Design for Reinforcement Learning Agents. In: Advances in Neural Information Processing Systems 34, pp. 20118 - 20131 (Eds. Ranzato, M.; Beygelzimer, A.; Liang, P. S.; Vaughan, J. W.; Dauphin, Y.). 35th Conference on Neural Information Processing Systems, Virtual, December 07, 2021. Curran Associates, Inc. (2021)