Scientific Publications
Journal Article (215)
1.
Journal Article
7 (POPL), 73, pp. 2141 - 2170 (2023)
Context-Bounded Verification of Context-Free Specifications. Proceedings of the ACM on Programming Languages 2.
Journal Article
7 (POPL), 26, pp. 748 - 774 (2023)
The Path to Durable Linearizability. Proceedings of the ACM on Programming Languages 3.
Journal Article
7 (POPL), 19, pp. 544 - 572 (2023)
Kater: Automating Weak Memory Model Metatheory and Consistency Checking. Proceedings of the ACM on Programming Languages 4.
Journal Article
7 (POPL), 27, pp. 775 - 805 (2023)
DimSum: A Decentralized Approach to Multi-language Semantics and Verification. Proceedings of the ACM on Programming Languages 5.
Journal Article
7 (POPL), 39, pp. 1121 - 1151 (2023)
Conditional Contextual Refinement. Proceedings of the ACM on Programming Languages 6.
Journal Article
27 (2), 10, pp. 1 - 2 (2022)
Introduction to the Special Issue on Approximate Systems. ACM Transactions on Design Automation of Electronic Systems 7.
Journal Article
23 (2), 9, pp. 1 - 20 (2022)
O-Minimal Invariants for Discrete-Time Dynamical Systems. ACM Transactions on Computational Logic 8.
Journal Article
23 (2), 8, pp. 1 - 39 (2022)
Being Correct Is Not Enough: Efficient Verification Using Robust Linear Temporal Logic. ACM Transactions on Computational Logic 9.
Journal Article
9 (3), pp. 839 - 850 (2022)
Analyzing Biases in Perception of Truth in News Stories and Their Implications for Fact Checking. IEEE Transactions on Computational Social Systems 10.
Journal Article
6, POPL, 17, pp. 1 - 28 (2022)
Context-bounded Verification of Thread Pools. Proceedings of the ACM on Programming Languages 11.
Journal Article
16 (2), 8, pp. 1 - 34 (2022)
Toward Fair Recommendation in Two-sided Platforms. ACM Transactions on the Web 12.
Journal Article
15 (2), 8, pp. 1 - 34 (2022)
Towards Fair Recommendation in Two-Sided Platforms. ACM Transactions on the Web 13.
Journal Article
6, POPL, 41, pp. 1 - 29 (2022)
Subcubic Certificates for CFL Reachability. Proceedings of the ACM on Programming Languages 14.
Journal Article
6 (OOPSLA2), 135, pp. 289 - 314 (2022)
Proving Hypersafety Compositionally. Proceedings of the ACM on Programming Languages 15.
Journal Article
FaiRIR: Mitigating Exposure Bias From Related Item Recommendations in Two-Sided Platforms. IEEE Transactions on Computational Social Systems (2022)
16.
Journal Article
33 (2), pp. 314 - 321 (2022)
On the Shorey–Tijdeman Diophantine Equation Involving Terms of Lucas Sequences. Indagationes Mathematicae 17.
Journal Article
32, e3 (2022)
On being a PhD student of Robert Harper. Journal of Functional Programming 18.
Journal Article
302, 103609 (2022)
On Fair Selection in the Presence of Implicit and Differential Variance. Artificial Intelligence 19.
Journal Article
18 (1), 37, pp. 1 - 29 (2022)
Sequential Relational Decomposition. Logical Mehods in Computer Science 20.
Journal Article
18 (3), pp. 427 - 442 (2022)
MaxSAT-based Temporal Logic Inference from Noisy Data. Innovations in Systems and Software Engineering