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

Chistikov, D.; Majumdar, R.; Schepper, P.: Subcubic Certificates for CFL Reachability. Proceedings of the ACM on Programming Languages 6, POPL, 41, pp. 1 - 29 (2022)

D'Osualdo, E.; Farzan, A.; Dreyer, D.: Proving Hypersafety Compositionally. Proceedings of the ACM on Programming Languages 6 (OOPSLA2), 135, pp. 289 - 314 (2022)

Ddamulira, M.; Luca, F.; Tichy, R.: On the Shorey–Tijdeman Diophantine Equation Involving Terms of Lucas Sequences. Indagationes Mathematicae 33 (2), pp. 314 - 321 (2022)

Dreyer, D.; Pierce, B. C.: On being a PhD student of Robert Harper. Journal of Functional Programming 32, e3 (2022)

Emilianov, V.; Gast, N.; Gummadi, K.; Loiseau, P.: On Fair Selection in the Presence of Implicit and Differential Variance. Artificial Intelligence 302, 103609 (2022)

Fried, D.; Legay, A.; Ouaknine, J.; Vardi, M. Y.: Sequential Relational Decomposition. Logical Mehods in Computer Science 18 (1), 37, pp. 1 - 29 (2022)

Gaglione, J.-R.; Neider, D.; Roy, R.; Topcu, U.; Xu, Z.: MaxSAT-based Temporal Logic Inference from Noisy Data. Innovations in Systems and Software Engineering 18 (3), pp. 427 - 442 (2022)

Gäher, L.; Sammler, M.; Spies, S.; Jung, R.; Dang, H.-H.; Krebbers, R.; Kang, J.; Dreyer, D.: Simuliris: A Separation Logic Framework for Verifying Concurrent Program Optimizations. Proceedings of the ACM on Programming Languages 6, POPL, 28, pp. 1 - 31 (2022)

Gatmiry, K.; Gomez Rodriguez, M.: The Network Visibility Problem. ACM Transactions on Information Systems 40 (2), 22, pp. 1 - 42 (2022)

Goetzen, A.; Dooley, S.; Redmiles, E. M.: Ctrl-Shift: How Privacy Sentiment Changed from 2019 to 2021. Proceedings on Privacy Enhancing Technologies 2022 (4), pp. 457 - 485 (2022)

Hamilton, V.; Barakat, H.; Redmiles, E. M.: Risk, Resilience and Reward: Impacts of Shifting to Digital Sex Work. Proceedings of the ACM on Human-Computer Interaction 6 (CSCW2), 537, pp. 1 - 37 (2022)

Hirsch, A. K.; Garg, D.: Pirouette: Higher-Order Typed Functional Choreographies. Proceedings of the ACM on Programming Languages 6, POPL, 23, pp. 1 - 27 (2022)

Karimov, T.; Lefaucheux, E.; Ouaknine, J.; Purser, D.; Varonka, A.; Whiteland, M.; Worrell, J.: What's Decidable about Linear Loops? Proceedings of the ACM on Programming Languages, 65, pp. 1 - 25 (2022)

Khmelnitsky, I.; Haddad, S.; Ye, L.; Barbot, B.; Bollig, B.; Leucker, M.; Neider, D.; Roy, R.: Analyzing Robustness of Angluin's L* Algorithm in Presence of Noise. Electronic Proceedings in Theoretical Computer Science 370, pp. 81 - 96 (2022)

Kokologiannakis, M.; Marmanis, I.; Gladstein, V.; Vafeiadis, V.: Truly Stateless, Optimal Dynamic Partial Order Reduction. Proceedings of the ACM on Programming Languages 6, POPL, 49, pp. 1 - 28 (2022)

Kolosick, M.; Narayan, S.; Johnson, E.; Watt, C.; LeMay, M.; Garg, D.; Jhala, R.; Stefan, D.: Isolation Without Taxation: Near-Zero-Cost Transitions for WebAssembly and SFI. Proceedings of the ACM on Programming Languages 6, POPL, 27, pp. 1 - 30 (2022)

Lahoti, P.; Gummadi, K.; Weikum, G.: Responsible Model Deployment via Model-agnostic Uncertainty Learning. Machine Learning 112, pp. 939 - 970 (2022)

Le, Q. L.; Raad, A.; Villard, J.; Berdine, J.; Dreyer, D.; O'Hearn, P. W.: Finding Real Bugs in Big Programs with Incorrectness Logic. Proceedings of the ACM on Programming Languages 6 (OOPSLA1), 81, pp. 1 - 27 (2022)

Lepigre, R.; Sammler, M.; Memarian, K.; Krebbers, R.; Dreyer, D.; Sewell, P.: VIP: Verifying Real-World C Idioms with Integer-Pointer Casts. Proceedings of the ACM on Programming Languages 6, POPL, 20, pp. 1 - 32 (2022)