Scientific Publications

Journal Article (154)

1.
Journal Article
Chalebgwa, T. P.; Ddamulira, M.: Padovan Numbers which are Palindromic Concatenations of two Distinct Repdigits. Revista de la Real Academia de Ciencias Exactas, Físicas y Naturales / Serie A, Matemáticas 115, 108 (2021)
2.
Journal Article
Ddamulira, M.: Padovan Numbers that are Concatenations of Two Distinct Repdigits. Mathematica Slovaca 71 (2), pp. 275 - 284 (2021)
3.
Journal Article
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)
4.
Journal Article
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, pp. 1 - 29 (2020)
5.
Journal Article
Dragoi, C.; Widder, J.; Zufferey, D.: Programming at the Edge of Synchrony. Proceedings of the ACM on Programming Languages 4 (OOPSLA), 213, pp. 1 - 30 (2020)
6.
Journal Article
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, pp. 1 - 26 (2020)
7.
Journal Article
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)
8.
Journal Article
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)
9.
Journal Article
Mace, J.; Roelke, R.; Fonseca, R.: Pivot Tracing: Dynamic Causal Monitoring for Distributed Systems. Communications of the ACM 63 (3), pp. 94 - 102 (2020)
10.
Journal Article
Majumdar, R.; Mallik, K.; Schmuck, A.-K.; Zufferey, D.: Assume–Guarantee Distributed Synthesis. IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, pp. 3215 - 3226 (2020)
11.
Journal Article
Majumdar, R.; Yoshida, N.; Zufferey, D.: Multiparty Motion Coordination: From Choreographies to Robotics Programs. Proceedings of the ACM on Programming Languages 4 (OOPSLA), 134, pp. 1 - 30 (2020)
12.
Journal Article
Mathur, A. S.; Pirron, M.; Zufferey, D.: Interactive Programming for Parametric CAD. Computer Graphics Forum 39 (6), pp. 408 - 425 (2020)
13.
Journal Article
Mota, N.; Chakraborty, A.; Biega, A. J.; Gummadi, K. P.; Heidari, H.: On the Desiderata for Online Altruism: Nudging for Equitable Donations. Proceedings of the ACM Human-Computer Interacation 4 (CSCW2), 126 (2020)
14.
Journal Article
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, pp. 1523 - 1552 (2020)
15.
Journal Article
Neider, D.; Weinert, A.; Zimmermann, M.: Synthesizing Optimally Resilient Controllers. Acta Informatica 57, pp. 195 - 221 (2020)
16.
Journal Article
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), pp. 3227 - 3238 (2020)
17.
Journal Article
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, pp. 1 - 28 (2020)
18.
Journal Article
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)
19.
Journal Article
Rajani, V.; Garg, D.: On the Expressiveness and Semantics of Information Flow Types. Journal of Computer Security 28 (1), pp. 129 - 156 (2020)
20.
Journal Article
Routledge, I.; Lai, S.; Battle, K. E.; Ghani, A. C.; Gomez Rodriguez, M.; Gustafson, K.; Mishra, S.; Unwin, J.; Proctor, J. L.; Tatem, A. J. et al.; Li, Z.; Bhatt, S.: Tracking progress towards malaria elimination in China: Individual-level estimates of transmission and its spatiotemporal variation using a diffusion network approach. PLoS Computational Biology 16 (3), e1007707 (2020)
Go to Editor View