Scientific Publications

Journal Article (18)

1.
Journal Article
Alaghi, A.; Darulova, E.; Gerstlauer, A.; Stanley-Marbell, P.: Introduction to the Special Issue on Approximate Systems. ACM Transactions on Design Automation of Electronic Systems 27 (2), 10, pp. 1 - 2 (2022)
2.
Journal Article
Almagor, S.; Chistikov, D.; Ouaknine, J.; Worrell, J.: O-Minimal Invariants for Discrete-Time Dynamical Systems. ACM Transactions on Computational Logic 23 (2), 9, pp. 1 - 20 (2022)
3.
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)
4.
Journal Article
Biswas, A.; Patro, G. K.; Ganguly, N.; Gummadi, K.; Chakraborty, A.: Toward Fair Recommendation in Two-sided Platforms. ACM Transactions on the Web 16 (2), 8, pp. 1 - 34 (2022)
5.
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)
6.
Journal Article
Ddamulira, M.; Luca, F.; Tichy, R.: On the Shorey–Tijdeman Diophantine Equation Involving Terms of Lucas Sequences. Indagationes Mathematicae 33 (2), pp. 314 - 321 (2022)
7.
Journal Article
Dreyer, D.; Pierce, B. C.: On being a PhD student of Robert Harper. Journal of Functional Programming 32, e3 (2022)
8.
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)
9.
Journal Article
Fried, D.; Legay, A.; Ouaknine, J.; Vardi, M. Y.: Sequential Relational Decomposition. Logical Mehods in Computer Science 18 (1), 37, pp. 1 - 29 (2022)
10.
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)
11.
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)
12.
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)
13.
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)
14.
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 WebAssembly and SFI. Proceedings of the ACM on Programming Languages 6, POPL, 27, pp. 1 - 30 (2022)
15.
Journal Article
Le, Q. L.; Raad, A.; Villard, J.; Berdine, J.; Dreyer, D.; O'Hearn, P. W.: Finding Real Bugs in Big Programs with Incorrectness Logic. Proceedings of the ACM on Programming Languages 6 (OOPSLA1), 81, pp. 1 - 27 (2022)
16.
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)
17.
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)
18.
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)

Proceedings (1)

19.
Proceedings
Chisnall, D.; Garg, D.; Hriţcu, C.; Payer, M. (Eds.): Secure Compilation (Dagstuhl Reports, 11). Dagstuhl Seminar 21481 "Secure Compilation", Dagstuhl, Germany, November 28, 2021 - December 03, 2021. Schloss Dagstuhl, Wadern (2022)

Conference Paper (9)

20.
Conference Paper
Banerjee, T.; Majumdar, R.; Mallik, K.; Schmuck, A.-K.; Soudjani, S.: A Direct Symbolic Algorithm for Solving Stochastic Rabin Games. In: Tools and Algorithms for the Construction and Analysis of Systems, pp. 81 - 98 (Eds. Fisman, D.; Rosu, G.). 28th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, Munich, Germany, April 02, 2022 - April 07, 2022. Springer, Berlin (2022)
Go to Editor View