Scientific Publications

Journal Article (184)

1.
Journal Article
Baumann, P.; Majumdar, R.; Thinniyam, R. S.; Zetzsche, G.: Context-bounded Verification of Thread Pools. Proceedings of the ACM on Programming Languages 6, POPL, 17, pp. 1 - 28 (2022)
2.
Journal Article
Chistikov, D.; Majumdar, R.; Schepper, P.: Subcubic Certificates for CFL Reachability. Proceedings of the ACM on Programming Languages 6, POPL, 41, pp. 1 - 29 (2022)
3.
Journal Article
Dreyer, D.; Pierce, B. C.: On being a PhD student of Robert Harper. Journal of Functional Programming 32, e3 (2022)
4.
Journal Article
Emilianov, V.; Gast, N.; Gummadi, K.; Loiseau, P.: On Fair Selection in the Presence of Implicit and Differential Variance. Artificial Intelligence 302, 103609 (2022)
5.
Journal Article
Gäher, L.; Sammler, M.; Spies, S.; Jung, R.; Dang, H.-H.; Krebbers, R.; Kang, J.; Dreyer, D.: Simuliris: A Separation Logic Framework for Verifying Concurrent Program Optimizations. Proceedings of the ACM on Programming Languages 6, POPL, 28, pp. 1 - 31 (2022)
6.
Journal Article
Hirsch, A. K.; Garg, D.: Pirouette: Higher-Order Typed Functional Choreographies. Proceedings of the ACM on Programming Languages 6, POPL, 23, pp. 1 - 27 (2022)
7.
Journal Article
Karimov, T.; Lefaucheux, E.; Ouaknine, J.; Purser, D.; Varonka, A.; Whiteland, M.; Worrell, J.: What’s Decidable about Linear Loops? Proceedings of the ACM on Programming Languages, 65, pp. 1 - 25 (2022)
8.
Journal Article
Kokologiannakis, M.; Marmanis, I.; Gladstein, V.; Vafeiadis, V.: Truly Stateless, Optimal Dynamic Partial Order Reduction. Proceedings of the ACM on Programming Languages 6, POPL, 49, pp. 1 - 28 (2022)
9.
Journal Article
Kolosick, M.; Narayan, S.; Johnson, E.; Watt, C.; LeMay, M.; Garg, D.; Jhala, R.; Stefan, D.: Isolation Without Taxation: Near Zero Cost Transitions for SFI. Proceedings of the ACM on Programming Languages 6, POPL, 27, pp. 1 - 30 (2022)
10.
Journal Article
Lepigre, R.; Sammler, M.; Memarian, K.; Krebbers, R.; Dreyer, D.; Sewell, P.: VIP: Verifying Real-World C Idioms with Integer-Pointer Casts. Proceedings of the ACM on Programming Languages 6, POPL, 20, pp. 1 - 32 (2022)
11.
Journal Article
Raad, A.; Berdine, J.; Dreyer, D.; O'Hearn, P. W.: Concurrent Incorrectness Separation Logic. Proceedings of the ACM on Programming Languages 6, POPL, 34, pp. 1 - 29 (2022)
12.
Journal Article
Raad, A.; Maranget, L.; Vafeiadis, V.: Extending Intel-X86 Consistency and Persistency: Formalising the Semantics of Intel-X86 Memory Types and Non-Temporal Stores. Proceedings of the ACM on Programming Languages 6, POPL, 22, pp. 1 - 31 (2022)
13.
Journal Article
Abate, C.; Blanco, R.; Ciobâcă, Ş.; Durier, A.; Garg, D.; Hriţcu, C.; Patrignani, M.; Tanter, É.; Thibault, J.: An Extended Account of Trace-relating Compiler Correctness and Secure Compilation. ACM Transactions on Programming Languages and Systems 43 (4), 14, pp. 1 - 48 (2021)
14.
Journal Article
Aguirre, A.; Barthe, G.; Gaboardi, M.; Garg, D.; Katsumata, S.-y.; Sato, T.: Higher-Order Probabilistic Adversarial Computations: Categorical Semantics and Program Logics. Proceedings of the ACM on Programming Languages 5, ICFP, 93, pp. 1 - 30 (2021)
15.
Journal Article
Almagor, S.; Karimov, T.; Kelmendi, E.; Ouaknine, J.; Worrell, J.: Deciding ω-Regular Properties on Linear Recurrence Sequences. Proceedings of the ACM on Programming Languages 5, POPL, 48, pp. 1 - 24 (2021)
16.
Journal Article
Almagor, S.; Ouaknine, J.; Worrell, J.: First-Order Orbit Queries. Theory of Computing Systems 65, pp. 638 - 661 (2021)
17.
Journal Article
Baumann, P.; Majumdar, R.; Thinniyam, R. S.; Zetzsche, G.: Context-bounded Verification of Liveness Properties for Multithreaded Shared-memory Programs. Proceedings of the ACM on Programming Languages 5, POPL, 44, pp. 1 - 31 (2021)
18.
Journal Article
Bernstein, A.; de Vreese, C.; Helberger, N.; Schulz, W.; Zweig, K.; Baden, C.; Beam, M. A.; Hauer, M. P.; Heitz, L.; Jürgens, P. et al.; Katzenbach, C.; Kille, B.; Klimkiewicz, B.; Loosen, W.; Moeller, J.; Radanovic, G.; Shani, G.; Tintarev, N.; Tolmeijer, S.; van Atteveldt, W.; Vrijenhoek, S.; Zueger, T.: Diversity in News Recommendation. Dagstuhl Manifestos 9 (1), pp. 43 - 61 (2021)
19.
Journal Article
Bichhawat, A.; Rajani, V.; Garg, D.; Hammer, C.: Permissive Runtime Information Flow Control in the Presence of Exceptions. Journal of Computer Security 49 (4), pp. 361 - 401 (2021)
20.
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)
Go to Editor View