Journal Article (252)
21.
Journal Article
7 (POPL), 26, pp. 748 - 774 (2023)
The Path to Durable Linearizability. Proceedings of the ACM on Programming Languages 22.
Journal Article
10 (3), pp. 1301 - 1313 (2023)
FaiRIR: Mitigating Exposure Bias From Related Item Recommendations in Two-Sided Platforms. IEEE Transactions on Computational Social Systems 23.
Journal Article
33 (3), pp. 617 - 639 (2023)
Knapsack and the Power Word Problem in Solvable Baumslag-Solitar Groups. Algebra and Computation 24.
Journal Article
7 (OOPSLA2), 247, pp. 716 - 744 (2023)
Melocoton: A Program Logic for Verified Interoperability Between OCaml and C. Proceedings of the ACM on Programming Languages 25.
Journal Article
70 (5), 29, pp. 1 - 22 (2023)
On Strongest Algebraic Program Invariants. Journal of the ACM 26.
Journal Article
25, pp. 341 - 354 (2023)
Analysis of Recurrent Neural Networks via Property-Directed Verification of Surrogate Models. International Journal on Software Tools for Technology Transfer 27.
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 28.
Journal Article
22 (5s), 136, pp. 1 - 26 (2023)
Sound Mixed Fixed-Point Quantization of Neural Networks. ACM Transactions on Embedded Computing Systems 29.
Journal Article
68 (1), pp. 385 - 392 (2023)
Supervisory Controller Synthesis for Nonterminating Processes Is an Obliging Game. IEEE Transactions on Automatic Control 30.
Journal Article
7 (OOPSLA1), 89, pp. 406 - 433 (2023)
Compositional Security Definitions for Higher-Order Where Declassification. Proceedings of the ACM on Programming Languages 31.
Journal Article
21 (2), pp. 48 - 52 (2023)
Power in Computer Security and Privacy: A Critical Lens. IEEE Security & Privacy 32.
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 33.
Journal Article
7 (POPL), 39, pp. 1121 - 1151 (2023)
Conditional Contextual Refinement. Proceedings of the ACM on Programming Languages 34.
Journal Article
2023 (5), pp. 1 - 21 (2023)
Proximal Curriculum for Reinforcement Learning Agents. Transactions on Machine Learning Research 35.
Journal Article
7 (OOPSLA1), 93, pp. 522 - 550 (2023)
Outcome Logic: A Unifying Foundation for Correctness and Incorrectness Reasoning. Proceedings of the ACM on Programming Languages 36.
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 37.
Journal Article
23 (2), 9, pp. 1 - 20 (2022)
O-Minimal Invariants for Discrete-Time Dynamical Systems. ACM Transactions on Computational Logic 38.
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 39.
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 40.
Journal Article
2022 (7), pp. 1 - 30 (2022)
Learning to Switch Among Agents in a Team. Transactions on Machine Learning Research