Wissenschaftliche Publikationen

Dang, H.-H.; Jourdan, J.-H.; Kaiser, J.-O.; Dreyer, D.: RustBelt Meets Relaxed Memory. Proceedings of the ACM on Programming Languages 4 (POPL), 34 (2020)

Drăgoi, C.; Enea, C.; Özkan, B. K.; Majumdar, R.; Niksic, F.: Testing Consensus Implementations Using Communication Closure. Proceedings of the ACM on Programming Languages 4 (OOPSLA), 210, S. 1 - 29 (2020)

Dragoi, C.; Widder, J.; Zufferey, D.: Programming at the Edge of Synchrony. Proceedings of the ACM on Programming Languages 4 (OOPSLA), 213, S. 1 - 30 (2020)

Gavran, I.; Darulova, E.; Majumdar, R.: Interactive Synthesis of Temporal Specifications from Examples and Natural Language. Proceedings of the ACM on Programming Languages 4 (OOPSLA), 201, S. 1 - 26 (2020)

Jung, R.; Dang, H.-H.; Kang, J.; Dreyer, D.: Stacked Borrows: An Aliasing Model for Rust. Proceedings of the ACM on Programming Languages 4 (POPL), 41 (2020)

Jung, R.; Lepigre, R.; Parthasarathy, G.; Rapoport, M.; Timany, A.; Dreyer, D.; Jacobs, B.: The Future is Ours: Prophecy Variables in Separation Logic. Proceedings of the ACM on Programming Languages 4 (POPL), 45 (2020)

Mace, J.; Roelke, R.; Fonseca, R.: Pivot Tracing: Dynamic Causal Monitoring for Distributed Systems. Communications of the ACM 63 (3), S. 94 - 102 (2020)

Majumdar, R.; Mallik, K.; Schmuck, A.-K.; Zufferey, D.: Assume–Guarantee Distributed Synthesis. IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, S. 3215 - 3226 (2020)

Majumdar, R.; Yoshida, N.; Zufferey, D.: Multiparty Motion Coordination: From Choreographies to Robotics Programs. Proceedings of the ACM on Programming Languages 4 (OOPSLA), 134, S. 1 - 30 (2020)

Mathur, A. S.; Pirron, M.; Zufferey, D.: Interactive Programming for Parametric CAD. Computer Graphics Forum 39 (6), S. 408 - 425 (2020)

Neider, D.; Madhusudan, P.; Saha, S.; Garg, P.; Park, D.: A Learning-Based Approach to Synthesizing Invariants for Incomplete Verification Engines. Journal of Automated Reasoning 64, S. 1523 - 1552 (2020)

Neider, D.; Weinert, A.; Zimmermann, M.: Synthesizing Optimally Resilient Controllers. Acta Informatica 57, S. 195 - 221 (2020)

Pirron, M.; Zufferey, D.; Stanley-Marbell, P.: Automated Controller and Sensor Configuration Synthesis Using Dimensional Analysis. IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems 30 (11), S. 3227 - 3238 (2020)

Raad, A.; Lahav, O.; Vafeiadis, V.: Persistent Owicki-Gries Reasoning: A Program Logic for Reasoning about Persistent Programs on Intel-x86. Proceedings of the ACM on Programming Languages 4 (OOPSLA), 151, S. 1 - 28 (2020)

Raad, A.; Wickerson, J.; Neiger, G.; Vafeiadis, V.: Persistency Semantics of the Intel-x86 Architecture. Proceedings of the ACM on Programming Languages 4 (POPL), 11 (2020)

Salamati, M.; Soudjani, S.; Majumdar, R.: A Lyapunov Approach for Time-Bounded Reachability of CTMCs and CTMDPs. ACM Transactions on Modeling and Performance Evaluation of Computing Systems 5 (1), 2 (2020)

Sammler, M.; Garg, D.; Dreyer, D.; Litak, T.: The High-level Benefits of Low-level Sandboxing. Proceedings of the ACM on Programming Languages 4 (POPL), 32 (2020)

Schmuck, A.-K.; Moor, T.; Majumdar, R.: On the Relation Between Reactive Synthesis and Supervisory Control of Non-terminating Processes. Discrete Event Dynamic Systems 30, S. 81 - 124 (2020)

Stanley-Marbell, P.; Alaghi, A.; Carbin, M.; Darulova, E.; Dolecek, L.; Gerstlauer, A.; Gillani, G.; Jevdjic, D.; Moreau, T.; Cacciotti, M. et al.; Daglis, A.; Jerger, N. E.; Falsafi, B.; Misailovic, S.; Sampson, A.; Zufferey, D.: Exploiting Errors for Efficiency: A Survey from Circuits to Applications. ACM Computing Surveys 53 (3), 51, S. 1 - 39 (2020)

Urban, C.; Christakis, M.; Wüstholz, V.; Zhang, F.: Perfectly Parallel Fairness Certification of Neural Networks. Proceedings of the ACM on Programming Languages 4 (OOPSLA), 185, S. 1 - 30 (2020)