El-Korashy, A.; Tsampas, S.; Patrignani, M.; Devriese, D.; Garg, D.; Piessens, F.: CapablePtrs: Securely Compiling Partial Programs Using the Pointers-as-Capabilities Principle. In: IEEE 34th Computer Security Foundations Symposium, pp. 1 - 16. 34th Computer Security Foundations Symposium, Dubrovnik, Croatia, June 21, 2021 - June 25, 2021. IEEE, Piscataway, NJ (2021)

England, P.; Malvar, H. S.; Horvitz, E.; Stokes, J. W.; Fournet, C.; Burke-Aguero, R.; Chamayou, A.; Clebsch, S.; Costa, M.; Deutscher, J. et al.; Erfani, S.; Gaylor, M.; Jenks, A.; Kane, K.; Redmiles, E. M.; Shamis, A.; Sharma, I.; Simmons, J. C.; Wenker, S.; Zaman, A.: AMP: Authentication of Media via Provenance. In: MMSys '21, pp. 108 - 121. 12th ACM Multimedia Systems Conference, Istanbul, Turkey, September 28, 2021 - October 01, 2021. ACM, New York, NY (2021)

Fickert, M.; Gavran, I.; Fedotov., I.; Hoffmann, J.; Majumdar, R.; Ruml, W.: Choosing the Initial State for Online Replanning. In: AAAI Technical Track on Search and Optimization, pp. 12311 - 12319. Thirty-Fifth AAAI Conference on Artificial Intelligence, Virtual Conference, February 02, 2021 - February 09, 2021. AAAI, Palo Alto, CA (2021)

Gaglione, J.-R.; Neider, D.; Roy, R.; Topcu, U.; Xu, Z.: Learning Linear Temporal Properties from Noisy Data: A MaxSAT-Based Approach. In: Automated Technology for Verification and Analysis, pp. 74 - 90 (Eds. Hou, Z.; Ganesh, V.). 19th International Symposium on Automated Technology for Verification and Analysis, Gold Coast, Australia, October 18, 2021 - October 22, 2021. Springer, Berlin (2021)

Golla, M.; Ho, G.; Lohmus, M.; Pulluri, M.; Redmiles, E. M.: Driving 2FA Adoption at Scale: Optimizing Two-Factor Authentication Notification Design Patterns. In: 30th USENIX Security Symposium, pp. 109 - 126. 30th USENIX Security Symposium, Virtual Event, August 11, 2021 - August 13, 2021. USENIX (2021)

He-Yueya, J.; Singla, A.: Quizzing Policy Using Reinforcement Learning for Inferring the Student Knowledge State. In: Proceedings of the 14th International Conference on Educational Data Mining, pp. 533 - 539 (Eds. Hsiao, I.-H.; Sahebi, S.; Bouchet, F.; Vie, J.-J.). 14th International Conference on Educational Data Mining, Paris, France (Online), June 29, 2021 - July 02, 2021. educationaldatamining.org (2021)

Jeangoudoux, C.; Darulova, E.; Lauter, C. Q.: Interval Constraint-Based Mutation Testing of Numerical Specifications. In: ISSTA '21, pp. 388 - 399 (Eds. Cadar, C.; Zhang, X.). 30th ACM SIGSOFT International Symposium on Software Testing and Analysis, Virtual, Denmark, July 11, 2021 - July 17, 2021. ACM, New York, NY (2021)

Kenison, G.; Klurman, O.; Lefaucheux, E.; Luca, F.; Moree, P.; Ouaknine, J.; Whiteland, M. A.; Worrell, J.: On Positivity and Minimality for Second-Order Holonomic Sequences. In: 46th International Symposium on Mathematical Foundations of Computer Science (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)

Khmelnitsky, I.; Neider, D.; Roy, R.; Xie, X.; Barbot, B.; Bollig, B.; Finkel, A.; Haddad, S.; Leucker, M.; Ye, L.: Property-Directed Verification and Robustness Certification of Recurrent Neural Networks. In: Automated Technology for Verification and Analysis, pp. 364 - 380 (Eds. Hou, Z.; Ganesh, V.). 19th International Symposium on Automated Technology for Verification and Analysis, Gold Coast, Australia, October 18, 2021 - October 22, 2021. Springer, Berlin (2021)

Kokologiannakis, M.; Ren, X.; Vafeiadis, V.: Dynamic Partial Order Reductions for Spinloops. In: Formal Methods in Computer Aided Design, pp. 163 - 172. 21st International Conference on Formal Methods in Computer Aided Design, New Haven, CT, USA, October 20, 2021 - October 22, 2021. IEEE, Piscataway, NJ (2021)

Kokologiannakis, M.; Vafeiadis, V.: GenMC: A Model Checker for Weak Memory Models. In: Computer Aided Verification, pp. 427 - 440 (Eds. Silva, A.; Leino, R. M.). 33rd International Conference on Computer-Aided Verification, Virtual Event, July 20, 2021 - July 23, 2021. Springer, Berlin (2021)

Kokologiannakis, M.; Vafeiadis, V.: BAM: Efficient Model Checking for Barriers. In: Networked Systems, pp. 223 - 239 (Eds. Echihabi, K.; Meyer, R.). 9th International Conference on Networked Systems, Virutal Event, May 19, 2021 - May 21, 2021. Springer, Berlin (2021)

Kumar, A.; Chen, Y.; Singla, A.: Teaching via Best-Case Counterexamples in the Learning-with-Equivalence-Queries Paradigm. In: Advances in Neural Information Processing Systems 34, pp. 26897 - 26910 (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)

Kumar, A.; Zhang, H.; Singla, A.; Chen, Y.: The Teaching Dimension of Kernel Perceptron. In: Proceedings of the 24th International Conference on Artificial Intelligence and Statistics, pp. 2071 - 2079 (Eds. Banerjee, A.; Fukumizu, K.). 24th International Conference on Artificial Intelligence and Statistics, Virtual Conference, April 13, 2021 - April 15, 2021. PMLR (2021)

Künnemann, R.; Garg, D.; Backes, M.: Accountability in the Decentralised-Adversary Setting. In: IEEE 34th Computer Security Foundations Symposium, pp. 1 - 16. 34th Computer Security Foundations Symposium, Dubrovnik, Croatia, June 21, 2021 - June 25, 2021. IEEE, Piscataway, NJ (2021)

Lefaucheux, E.: Accurate Approximate Diagnosis of (Controllable) Stochastic Systems. In: Quantitative Evaluation of Systems, pp. 413 - 434 (Eds. Abate, A.; Marin, A.). 18th International Conference on Quantitative Evaluation of SysTems, Paris, France, August 23, 2021 - August 27, 2021. Springer, Berlin (2021)

Lefaucheux, E.; Ouaknine, J.; Purser, D.; Worrell, J.: Porous Invariants. In: Computer Aided Verification, pp. 172 - 194 (Eds. Silva, A.; Leino, R. M.). 33rd International Conference on Computer-Aided Verification, Virtual Event, July 20, 2021 - July 23, 2021. Springer, Berlin (2021)

Lohar, D.; Jeangoudoux, C.; Sobel, J.; Darulova, E.; Christakis, M.: A Two-Phase Approach for Conditional Floating-Point Verification. In: Tools and Algorithms for the Construction and Analysis of Systems, pp. 43 - 63 (Eds. Groote, J. F.; Guldstrand Larsen, K.). 27th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, Luxembourg City, Luxembourg, March 27, 2021 - April 01, 2021. Springer, Berlin (2021)

Luca, F.; Ouaknine, J.; Worrell, J.: Universal Skolem Sets. In: 36th Annual ACM/IEEE Symposium on Logic in Computer Science, pp. 1 - 6. 36th Annual ACM/IEEE Symposium on Logic in Computer Science, Rome, Italy (Virtual), June 29, 2021 - July 02, 2021. ACM, New York, NY (2021)

Maida, M.; Bozhko, S.; Brandenburg, B.: Work-in-Progress: Automatically Generated Response-Time Proofs as Evidence of Timeliness. In: IEEE 42nd Real-Time Systems Symposium, pp. 512 - 515. IEEE 42nd Real-Time Systems Symposium , Dortmund, Germany (Virtual Conference), December 07, 2021 - December 10, 2021. IEEE, Piscataway, NJ (2021)