Konferenzbeitrag (76)
61.
Konferenzbeitrag
Input Splitting for Cloud-Based Static Application Security Testing Platforms. In: ESEC/FSE '22, S. 1367 - 1378 (Hg. Roychoudhury, A.; Cadar, C.; Kim, M.). 30th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, Singapore, Singapore, 14. November 2022 - 18. November 2022. ACM, New York, NY (2022)
62.
Konferenzbeitrag
Reinforcement Learning with Stochastic Reward Machines. In: Proceedings of the 36th AAAI Conference on Artificial Intelligence, S. 6429 - 6436. 36th AAAI Conference on Artificial Intelligence, Virtual Conference, 22. Februar 2022 - 01. März 2022. AAAI, Palo Alto, CA (2022)
63.
Konferenzbeitrag
Counterfactual Inference of Second Opinions. In: Proceedings of the Thirty-Eighth Conference on Uncertainty in Artificial Intelligence, S. 453 - 463 (Hg. Cussens, J.; Zhang, K.). Thirty-Eighth Conference on Uncertainty in Artificial Intelligence, Eindhoven, The Netherlands, 01. August 2022 - 05. August 2022. PMLR (2022)
64.
Konferenzbeitrag
The Pseudo-Reachability Problem for Diagonalisable Linear Dynamical Systems. In: 47th International Symposium on Mathematical Foundations of Computer Science, 40, S. 1 - 13 (Hg. Szeider, S.; Ganian, R.; Silva, A.). 47th International Symposium on Mathematical Foundations of Computer Science, Vienna, Austria, 22. August 2022 - 26. August 2022. Schloss Dagstuhl, Wadern (2022)
65.
Konferenzbeitrag
Bounding the Escape Time of a Linear Dynamical System over a Compact Semialgebraic Set. In: 47th International Symposium on Mathematical Foundations of Computer Science, 39, S. 1 - 14 (Hg. Szeider, S.; Ganian, R.; Silva, A.). 47th International Symposium on Mathematical Foundations of Computer Science, Vienna, Austria, 22. August 2022 - 26. August 2022. Schloss Dagstuhl, Wadern (2022)
66.
Konferenzbeitrag
Compass: Strong and Compositional Library Specifications in Relaxed Memory Separation Logic. In: PLDI '22, S. 792 - 808 (Hg. Jhala, R.). 43rd ACM SIGPLAN International Conference on Programming Language Design and Implementation, San Diego, CA, USA, 13. Juni 2022 - 17. Juni 2022. ACM, New York, NY (2022)
67.
Konferenzbeitrag
Alexa, in you, I trust! Fairness and Interpretability Issues in E-commerce Search through Smart Speakers. In: WWW '22, S. 3695 - 3705 (Hg. Laforest, F.; Troncy, R.; Simperl, E.; Agarwal, D.; Gionis, A. et al.). 31st ACM Web Conference , Lyon, France (Virtual Event), 25. April 2022 - 29. April 2022. ACM, New York, NY (2022)
68.
Konferenzbeitrag
See It to Believe It? The Role of Visualisation in Systems Research. In: SoCC '22, S. 419 - 428. 13th Symposium on Cloud Computing, San Francisco, CA, USA, 07. November 2022 - 11. November 2022. ACM, New York, NY (2022)
69.
Konferenzbeitrag
Exploration-Guided Reward Shaping for Reinforcement Learning under Sparse Rewards. In: Advances in Neural Information Processing Systems 35, S. 5829 - 5842 (Hg. Koyejo, S.; Mohamed, S.; Agarwal, A.; Belgrave, D.; Cho, K. et al.). 36th Conference on Neural Information Processing Systems, New Orleans, LA, USA, 28. November 2022 - 09. Dezember 2022. Curran Associates, Inc. (2022)
70.
Konferenzbeitrag
Field Evidence of the Effects of Privacy, Data Transparency, and Pro-social Appeals on COVID-19 App Attractiveness. In: CHI '22, 622, S. 1 - 21 (Hg. Barbosa, S.; Lampe, C.; Appert, C.; Shamma, D. A.; Drucker, S. et al.). CHI Conference on Human Factors in Computing Systems, New Orleans, LA, USA, 30. April 2022 - 05. Mai 2022. ACM, New York, NY (2022)
71.
Konferenzbeitrag
Treelike Decompositions for Transductions of Sparse Graphs. In: Proceedings of the 37th Annual ACM/IEEE Symposium on Logic in Computer Science, 31, S. 1 - 14 (Hg. Baier, C.; Fisman, D.). 37th Annual ACM/IEEE Symposium on Logic in Computer Science, Haifa, Israel, 02. August 2022 - 05. August 2022. ACM, New York, NY (2022)
72.
Konferenzbeitrag
SecurePtrs: Proving Secure Compilation with Data-Flow Back-Translation and Turn-Taking Simulation. In: 2022 IEEE 35th Computer Security Foundations Symposium, S. 64 - 79. IEEE 35th Computer Security Foundations Symposium, Haifa, Israel, 07. August 2022 - 10. August 2022. IEEE, Piscataway, NJ (2022)
73.
Konferenzbeitrag
Metamorphic Relations via Relaxations: An Approach to Obtain Oracles for Action-Policy Testing. In: ISSTA '22, S. 52 - 63 (Hg. Ryu, S.; Smaragdakis, Y.). 31st ACM SIGSOFT International Symposium on Software Testing and Analysis, Virtual, South Korea, 18. Juli 2022 - 22. Juli 2022. ACM, New York, NY (2022)
74.
Konferenzbeitrag
BOCoSy: Small but Powerful Symbolic Output-Feedback Control. In: HSCC 2022, 24 (Hg. Bartocci, E.; Putot, S.). 25th ACM International Conference on Hybrid Systems: Computation and Control, Milan, Italy (Virtual Event), 04. Mai 2022 - 06. Mai 2022. ACM, New York, NY (2022)
75.
Konferenzbeitrag
A Note on the Misinterpretation of the US Census Re-identification Attack. In: Privacy in Statistical Databases, S. 299 - 311. Privacy in Statistical Databases, Paris, France, 21. September 2022 - 23. September 2022. Springer, Berlin (2022)
76.
Konferenzbeitrag
Bayesian Persuasion in Sequential Decision-Making. In: Proceedings of the 36th AAAI Conference on Artificial Intelligence, S. 5025 - 5033. 36th AAAI Conference on Artificial Intelligence, Virtual Conference, 22. Februar 2022 - 01. März 2022. AAAI, Palo Alto, CA (2022)
77.
Konferenzbeitrag
Sequential Decision Making With Information Asymmetry. In: 33rd International Conference on Concurrency Theory, 4, S. 1 - 18 (Hg. Klin, B.; Lasota, S.; Muscholl, A.). 33rd International Conference on Concurrency Theory, Warsaw, Poland, 12. September 2022 - 16. September 2022. Schloss Dagstuhl, Wadern (2022)
78.
Konferenzbeitrag
Envy-free Policy Teaching to Multiple Agents. In: Advances in Neural Information Processing Systems 35, S. 13290 - 13302 (Hg. Koyejo, S.; Mohamed, S.; Agarwal, A.; Belgrave, D.; Cho, K. et al.). 36th Conference on Neural Information Processing Systems, New Orleans, LA, USA, 28. November 2022 - 09. Dezember 2022. Curran Associates, Inc. (2022)
79.
Konferenzbeitrag
Reachability in Bidirected Pushdown VASS. In: 49th EATCS International Conference on Automata, Languages, and Programming, 124, S. 1 - 20 (Hg. Bojańczyk, M.; Merelli, E.; Woodruff, D. P.). 49th International Colloquium on Automata, Languages, and Programming, Paris, France, 04. Juli 2022 - 08. Juli 2022. Schloss Dagstuhl, Wadern (2022)
80.
Konferenzbeitrag
The Complexity of Bidirected Reachability in Valence Systems. In: Proceedings of the 37th Annual ACM/IEEE Symposium on Logic in Computer Science, 26, S. 1 - 15 (Hg. Baier, C.; Fisman, D.). 37th Annual ACM/IEEE Symposium on Logic in Computer Science, Haifa, Israel, 02. August 2022 - 05. August 2022. ACM, New York, NY (2022)