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