Journal Article (248)
101.
Journal Article
4 (OOPSLA), 201, pp. 1 - 26 (2020)
Interactive Synthesis of Temporal Specifications from Examples and Natural Language. Proceedings of the ACM on Programming Languages 102.
Journal Article
4 (POPL), 41 (2020)
Stacked Borrows: An Aliasing Model for Rust. Proceedings of the ACM on Programming Languages 103.
Journal Article
4 (POPL), 45 (2020)
The Future is Ours: Prophecy Variables in Separation Logic. Proceedings of the ACM on Programming Languages 104.
Journal Article
63 (3), pp. 94 - 102 (2020)
Pivot Tracing: Dynamic Causal Monitoring for Distributed Systems. Communications of the ACM 105.
Journal Article
Assume–Guarantee Distributed Synthesis. IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, pp. 3215 - 3226 (2020)
106.
Journal Article
4 (OOPSLA), 134, pp. 1 - 30 (2020)
Multiparty Motion Coordination: From Choreographies to Robotics Programs. Proceedings of the ACM on Programming Languages 107.
Journal Article
39 (6), pp. 408 - 425 (2020)
Interactive Programming for Parametric CAD. Computer Graphics Forum 108.
Journal Article
4 (CSCW2), 126 (2020)
On the Desiderata for Online Altruism: Nudging for Equitable Donations. Proceedings of the ACM Human-Computer Interacation 109.
Journal Article
64, pp. 1523 - 1552 (2020)
A Learning-Based Approach to Synthesizing Invariants for Incomplete Verification Engines. Journal of Automated Reasoning 110.
Journal Article
57, pp. 195 - 221 (2020)
Synthesizing Optimally Resilient Controllers. Acta Informatica 111.
Journal Article
30 (11), pp. 3227 - 3238 (2020)
Automated Controller and Sensor Configuration Synthesis Using Dimensional Analysis. IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems 112.
Journal Article
4 (OOPSLA), 151, pp. 1 - 28 (2020)
Persistent Owicki-Gries Reasoning: A Program Logic for Reasoning about Persistent Programs on Intel-x86. Proceedings of the ACM on Programming Languages 113.
Journal Article
4 (POPL), 11 (2020)
Persistency Semantics of the Intel-x86 Architecture. Proceedings of the ACM on Programming Languages 114.
Journal Article
28 (1), pp. 129 - 156 (2020)
On the Expressiveness and Semantics of Information Flow Types. Journal of Computer Security 115.
Journal Article
16 (3), e1007707 (2020)
Tracking progress towards malaria elimination in China: Individual-level estimates of transmission and its spatiotemporal variation using a diffusion network approach. PLoS Computational Biology 116.
Journal Article
5 (1), 2 (2020)
A Lyapunov Approach for Time-Bounded Reachability of CTMCs and CTMDPs. ACM Transactions on Modeling and Performance Evaluation of Computing Systems 117.
Journal Article
4 (POPL), 32 (2020)
The High-level Benefits of Low-level Sandboxing. Proceedings of the ACM on Programming Languages 118.
Journal Article
283, 103238 (2020)
How Do Fairness Definitions Fare? Testing Public Attitudes towards Three Algorithmic Definitions of Fairness in Loan Allocations. Artificial Intelligence 119.
Journal Article
30, pp. 81 - 124 (2020)
On the Relation Between Reactive Synthesis and Supervisory Control of Non-terminating Processes. Discrete Event Dynamic Systems 120.
Journal Article
53 (3), 51, pp. 1 - 39 (2020)
Exploiting Errors for Efficiency: A Survey from Circuits to Applications. ACM Computing Surveys