Hrushovski, E.; Ouaknine, J.; Pouly, A.; Worrell, J.: On Strongest Algebraic Program Invariants. Journal of the ACM 70 (5), 29, pp. 1 - 22 (2023)

Khmelnitsky, I.; Neider, D.; Roy, R.; Xie, X.; Barbot, B.; Bollig, B.; Finkel, A.; Haddad, S.; Leucker, M.; Ye, L.: Analysis of Recurrent Neural Networks via Property-Directed Verification of Surrogate Models. International Journal on Software Tools for Technology Transfer 25, pp. 341 - 354 (2023)

Kokologiannakis, M.; Lahav, O.; Vafeiadis, V.: Kater: Automating Weak Memory Model Metatheory and Consistency Checking. Proceedings of the ACM on Programming Languages 7 (POPL), 19, pp. 544 - 572 (2023)

Lohar, D.; Jeangoudoux, C.; Volkova, A.; Darulova, E.: Sound Mixed Fixed-Point Quantization of Neural Networks. ACM Transactions on Embedded Computing Systems 22 (5s), 136, pp. 1 - 26 (2023)

Majumdar, R.; Schmuck, A.-K.: Supervisory Controller Synthesis for Nonterminating Processes Is an Obliging Game. IEEE Transactions on Automatic Control 68 (1), pp. 385 - 392 (2023)

Menz, J.; Hirsch, A. K.; Li, P.; Garg, D.: Compositional Security Definitions for Higher-Order Where Declassification. Proceedings of the ACM on Programming Languages 7 (OOPSLA1), 89, pp. 406 - 433 (2023)

Redmiles, E. M.; Bennett, M. M.; Kohno, T.: Power in Computer Security and Privacy: A Critical Lens. IEEE Security & Privacy 21 (2), pp. 48 - 52 (2023)

Sammler, M.; Spies, S.; Song, Y.; D'Osualdo, E.; Krebbers, R.; Garg, D.; Dreyer, D.: DimSum: A Decentralized Approach to Multi-language Semantics and Verification. Proceedings of the ACM on Programming Languages 7 (POPL), 27, pp. 775 - 805 (2023)

Song, Y.; Cho, M.; Lee, D.; Hur, C.-K.; Sammler, M.; Dreyer, D.: Conditional Contextual Refinement. Proceedings of the ACM on Programming Languages 7 (POPL), 39, pp. 1121 - 1151 (2023)

Tzannetos, G.; Gomes Ribeiro, B.; Kamalaruban, P.; Singla, A.: Proximal Curriculum for Reinforcement Learning Agents. Transactions on Machine Learning Research 2023 (5), pp. 1 - 21 (2023)

Zilberstein, N.; Dreyer, D.; Silva, A.: Outcome Logic: A Unifying Foundation for Correctness and Incorrectness Reasoning. Proceedings of the ACM on Programming Languages 7 (OOPSLA1), 93, pp. 522 - 550 (2023)

Alaghi, A.; Darulova, E.; Gerstlauer, A.; Stanley-Marbell, P.: Introduction to the Special Issue on Approximate Systems. ACM Transactions on Design Automation of Electronic Systems 27 (2), 10, pp. 1 - 2 (2022)

Almagor, S.; Chistikov, D.; Ouaknine, J.; Worrell, J.: O-Minimal Invariants for Discrete-Time Dynamical Systems. ACM Transactions on Computational Logic 23 (2), 9, pp. 1 - 20 (2022)

Anevlavis, T.; Philippe, M.; Neider, D.; Tabuada, P.: Being Correct Is Not Enough: Efficient Verification Using Robust Linear Temporal Logic. ACM Transactions on Computational Logic 23 (2), 8, pp. 1 - 39 (2022)

Babaei, M.; Chakraborty, A.; Kulshrestha, J.; Redmiles, E. M.; Cha, M.; Gummadi, K.: Analyzing Biases in Perception of Truth in News Stories and Their Implications for Fact Checking. IEEE Transactions on Computational Social Systems 9 (3), pp. 839 - 850 (2022)

Balazadeh Meresht, V.; De, A.; Singla, A.; Gomez Rodriguez, M.: Learning to Switch Among Agents in a Team. Transactions on Machine Learning Research 2022 (7), pp. 1 - 30 (2022)

Banerjee, T.; Majumdar, R.; Mallik, K.; Schmuck, A.-K.; Soudjani, S.: Fast Symbolic Algorithms for Omega-Regular Games under Strong Transition Fairness. TheoretiCS 2, 4, pp. 1 - 83 (2022)

Baumann, P.; Majumdar, R.; Thinniyam, R. S.; Zetzsche, G.: Context-bounded Verification of Thread Pools. Proceedings of the ACM on Programming Languages 6, POPL, 17, pp. 1 - 28 (2022)

Bhalerao, R.; McDonald, N.; Barakat, H.; Hamilton, V.; McCoy, D.; Redmiles, E. M.: Ethics and Efficacy of Unsolicited Anti-Trafficking SMS Outreach. Proceedings of the ACM on Human-Computer Interaction 6 (CSCW2), 358, pp. 1 - 39 (2022)

Biswas, A.; Patro, G. K.; Ganguly, N.; Gummadi, K.; Chakraborty, A.: Toward Fair Recommendation in Two-sided Platforms. ACM Transactions on the Web 16 (2), 8, pp. 1 - 34 (2022)