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