Conference Paper (938)
381.
Conference Paper
From Intuition to Coq: A Case Study in Verified Response-Time Analysis 1 of FIFO Scheduling. In: RTSS 2022, pp. 197 - 210. 43rd IEEE Real-Time Systems Symposium, Houston, TX, USA , December 05, 2022 - December 08, 2022. IEEE, Piscataway, NJ (2022)
382.
Conference Paper
Ramsey Quantifiers over Automatic Structures: Complexity and Applications to Verification. In: Proceedings of the 37th Annual ACM/IEEE Symposium on Logic in Computer Science, 28, pp. 1 - 14 (Eds. Baier, C.; Fisman, D.). 37th Annual ACM/IEEE Symposium on Logic in Computer Science, Haifa, Israel, August 02, 2022 - August 05, 2022. ACM, New York, NY (2022)
383.
Conference Paper
Ethical Practices for Security Research with At-Risk Populations. In: 7th IEEE European Symposium on Security and Privacy Workshops, pp. 546 - 553. 7th IEEE European Symposium on Security and Privacy Workshops, Genoa, Italy, June 06, 2022 - June 10, 2022. IEEE, Piscataway, NJ (2022)
384.
Conference Paper
Provable Defense against Backdoor Policies in Reinforcement Learning. In: Advances in Neural Information Processing Systems 35, pp. 14704 - 14714 (Eds. Koyejo, S.; Mohamed, S.; Agarwal, A.; Belgrave, D.; Cho, K. et al.). 36th Conference on Neural Information Processing Systems, New Orleans, LA, USA, November 28, 2022 - December 09, 2022. Curran Associates, Inc. (2022)
385.
Conference Paper
Skolem Meets Schanuel. In: 47th International Symposium on Mathematical Foundations of Computer Science, 20, pp. 1 - 15 (Eds. Szeider, S.; Ganian, R.; Silva, A.). 47th International Symposium on Mathematical Foundations of Computer Science, Vienna, Austria, August 22, 2022 - August 26, 2022. Schloss Dagstuhl, Wadern (2022)
386.
Conference Paper
A Large-Scale Measurement of Cybercrime Against Individuals. In: CHI '22, 122, pp. 1 - 41 (Eds. 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, April 30, 2022 - May 05, 2022. ACM, New York, NY (2022)
387.
Conference Paper
Fair Clustering Using Antidote Data. In: Proceedings of The Algorithmic Fairness through the Lens of Causality and Robustness, pp. 19 - 39 (Eds. Schrouf, J.; Dieng, A.; Rateike, M.; Kwegyir-Aggrey, K.; Farnadi, G.). Algorithmic Fairness through the Lens of Causality and Robustness Workshop, Virtual, December 13, 2021. PMLR (2022)
388.
Conference Paper
Input Splitting for Cloud-Based Static Application Security Testing Platforms. In: ESEC/FSE '22, pp. 1367 - 1378 (Eds. Roychoudhury, A.; Cadar, C.; Kim, M.). 30th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, Singapore, Singapore, November 14, 2022 - November 18, 2022. ACM, New York, NY (2022)
389.
Conference Paper
Reinforcement Learning with Stochastic Reward Machines. In: Proceedings of the 36th AAAI Conference on Artificial Intelligence, pp. 6429 - 6436. 36th AAAI Conference on Artificial Intelligence, Virtual Conference, February 22, 2022 - March 01, 2022. AAAI, Palo Alto, CA (2022)
390.
Conference Paper
Counterfactual Inference of Second Opinions. In: Proceedings of the Thirty-Eighth Conference on Uncertainty in Artificial Intelligence, pp. 453 - 463 (Eds. Cussens, J.; Zhang, K.). Thirty-Eighth Conference on Uncertainty in Artificial Intelligence, Eindhoven, The Netherlands, August 01, 2022 - August 05, 2022. PMLR (2022)
391.
Conference Paper
The Pseudo-Reachability Problem for Diagonalisable Linear Dynamical Systems. In: 47th International Symposium on Mathematical Foundations of Computer Science, 40, pp. 1 - 13 (Eds. Szeider, S.; Ganian, R.; Silva, A.). 47th International Symposium on Mathematical Foundations of Computer Science, Vienna, Austria, August 22, 2022 - August 26, 2022. Schloss Dagstuhl, Wadern (2022)
392.
Conference Paper
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, pp. 1 - 14 (Eds. Szeider, S.; Ganian, R.; Silva, A.). 47th International Symposium on Mathematical Foundations of Computer Science, Vienna, Austria, August 22, 2022 - August 26, 2022. Schloss Dagstuhl, Wadern (2022)
393.
Conference Paper
Compass: Strong and Compositional Library Specifications in Relaxed Memory Separation Logic. In: PLDI '22, pp. 792 - 808 (Ed. Jhala, R.). 43rd ACM SIGPLAN International Conference on Programming Language Design and Implementation, San Diego, CA, USA, June 13, 2022 - June 17, 2022. ACM, New York, NY (2022)
394.
Conference Paper
Alexa, in you, I trust! Fairness and Interpretability Issues in E-commerce Search through Smart Speakers. In: WWW '22, pp. 3695 - 3705 (Eds. Laforest, F.; Troncy, R.; Simperl, E.; Agarwal, D.; Gionis, A. et al.). 31st ACM Web Conference , Lyon, France (Virtual Event), April 25, 2022 - April 29, 2022. ACM, New York, NY (2022)
395.
Conference Paper
See It to Believe It? The Role of Visualisation in Systems Research. In: SoCC '22, pp. 419 - 428. 13th Symposium on Cloud Computing, San Francisco, CA, USA, November 07, 2022 - November 11, 2022. ACM, New York, NY (2022)
396.
Conference Paper
Exploration-Guided Reward Shaping for Reinforcement Learning under Sparse Rewards. In: Advances in Neural Information Processing Systems 35, pp. 5829 - 5842 (Eds. Koyejo, S.; Mohamed, S.; Agarwal, A.; Belgrave, D.; Cho, K. et al.). 36th Conference on Neural Information Processing Systems, New Orleans, LA, USA, November 28, 2022 - December 09, 2022. Curran Associates, Inc. (2022)
397.
Conference Paper
Field Evidence of the Effects of Privacy, Data Transparency, and Pro-social Appeals on COVID-19 App Attractiveness. In: CHI '22, 622, pp. 1 - 21 (Eds. 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, April 30, 2022 - May 05, 2022. ACM, New York, NY (2022)
398.
Conference Paper
Treelike Decompositions for Transductions of Sparse Graphs. In: Proceedings of the 37th Annual ACM/IEEE Symposium on Logic in Computer Science, 31, pp. 1 - 14 (Eds. Baier, C.; Fisman, D.). 37th Annual ACM/IEEE Symposium on Logic in Computer Science, Haifa, Israel, August 02, 2022 - August 05, 2022. ACM, New York, NY (2022)
399.
Conference Paper
SecurePtrs: Proving Secure Compilation with Data-Flow Back-Translation and Turn-Taking Simulation. In: 2022 IEEE 35th Computer Security Foundations Symposium, pp. 64 - 79. IEEE 35th Computer Security Foundations Symposium, Haifa, Israel, August 07, 2022 - August 10, 2022. IEEE, Piscataway, NJ (2022)
400.
Conference Paper
Metamorphic Relations via Relaxations: An Approach to Obtain Oracles for Action-Policy Testing. In: ISSTA '22, pp. 52 - 63 (Eds. Ryu, S.; Smaragdakis, Y.). 31st ACM SIGSOFT International Symposium on Software Testing and Analysis, Virtual, South Korea, July 18, 2022 - July 22, 2022. ACM, New York, NY (2022)