Journal Article (252)
41.
Journal Article
2, 4, pp. 1 - 83 (2022)
Fast Symbolic Algorithms for Omega-Regular Games under Strong Transition Fairness. TheoretiCS 42.
Journal Article
6, POPL, 17, pp. 1 - 28 (2022)
Context-bounded Verification of Thread Pools. Proceedings of the ACM on Programming Languages 43.
Journal Article
6 (CSCW2), 358, pp. 1 - 39 (2022)
Ethics and Efficacy of Unsolicited Anti-Trafficking SMS Outreach. Proceedings of the ACM on Human-Computer Interaction 44.
Journal Article
16 (2), 8, pp. 1 - 34 (2022)
Toward Fair Recommendation in Two-sided Platforms. ACM Transactions on the Web 45.
Journal Article
15 (2), 8, pp. 1 - 34 (2022)
Towards Fair Recommendation in Two-Sided Platforms. ACM Transactions on the Web 46.
Journal Article
6, POPL, 41, pp. 1 - 29 (2022)
Subcubic Certificates for CFL Reachability. Proceedings of the ACM on Programming Languages 47.
Journal Article
6 (OOPSLA2), 135, pp. 289 - 314 (2022)
Proving Hypersafety Compositionally. Proceedings of the ACM on Programming Languages 48.
Journal Article
33 (2), pp. 314 - 321 (2022)
On the Shorey–Tijdeman Diophantine Equation Involving Terms of Lucas Sequences. Indagationes Mathematicae 49.
Journal Article
32, e3 (2022)
On being a PhD student of Robert Harper. Journal of Functional Programming 50.
Journal Article
302, 103609 (2022)
On Fair Selection in the Presence of Implicit and Differential Variance. Artificial Intelligence 51.
Journal Article
18 (1), 37, pp. 1 - 29 (2022)
Sequential Relational Decomposition. Logical Mehods in Computer Science 52.
Journal Article
18 (3), pp. 427 - 442 (2022)
MaxSAT-based Temporal Logic Inference from Noisy Data. Innovations in Systems and Software Engineering 53.
Journal Article
6, POPL, 28, pp. 1 - 31 (2022)
Simuliris: A Separation Logic Framework for Verifying Concurrent Program Optimizations. Proceedings of the ACM on Programming Languages 54.
Journal Article
40 (2), 22, pp. 1 - 42 (2022)
The Network Visibility Problem. ACM Transactions on Information Systems 55.
Journal Article
2022 (4), pp. 457 - 485 (2022)
Ctrl-Shift: How Privacy Sentiment Changed from 2019 to 2021. Proceedings on Privacy Enhancing Technologies 56.
Journal Article
6 (CSCW2), 537, pp. 1 - 37 (2022)
Risk, Resilience and Reward: Impacts of Shifting to Digital Sex Work. Proceedings of the ACM on Human-Computer Interaction 57.
Journal Article
6, POPL, 23, pp. 1 - 27 (2022)
Pirouette: Higher-Order Typed Functional Choreographies. Proceedings of the ACM on Programming Languages 58.
Journal Article
What's Decidable about Linear Loops? Proceedings of the ACM on Programming Languages, 65, pp. 1 - 25 (2022)
59.
Journal Article
370, pp. 81 - 96 (2022)
Analyzing Robustness of Angluin's L* Algorithm in Presence of Noise. Electronic Proceedings in Theoretical Computer Science 60.
Journal Article
6, POPL, 49, pp. 1 - 28 (2022)
Truly Stateless, Optimal Dynamic Partial Order Reduction. Proceedings of the ACM on Programming Languages