Wissenschaftliche Publikationen

Zeitschriftenartikel (169)

1.
Zeitschriftenartikel
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, S. 1 - 30 (2021)
2.
Zeitschriftenartikel
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, S. 1 - 24 (2021)
3.
Zeitschriftenartikel
Almagor, S.; Ouaknine, J.; Worrell, J.: First-Order Orbit Queries. Theory of Computing Systems 65, S. 638 - 661 (2021)
4.
Zeitschriftenartikel
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, S. 1 - 31 (2021)
5.
Zeitschriftenartikel
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), S. 43 - 61 (2021)
6.
Zeitschriftenartikel
Bichhawat, A.; Rajani, V.; Garg, D.; Hammer, C.: Permissive Runtime Information Flow Control in the Presence of Exceptions. Journal of Computer Security 49 (4), S. 361 - 401 (2021)
7.
Zeitschriftenartikel
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)
8.
Zeitschriftenartikel
Ddamulira, M.: Padovan Numbers that are Concatenations of Two Distinct Repdigits. Mathematica Slovaca 71 (2), S. 275 - 284 (2021)
9.
Zeitschriftenartikel
Jung, R.; Jourdan, J.-H.; Krebbers, R.; Dreyer, D.: Safe systems programming in Rust. Communications of the ACM 64 (4), S. 144 - 152 (2021)
10.
Zeitschriftenartikel
Kokologiannakis, M.; Kaysin, I.; Raad, A.; Vafeiadis, V.: PerSeVerE: Persistency Semantics for Verification under Ext4. Proceedings of the ACM on Programming Languages 5, POPL, 43, S. 1 - 29 (2021)
11.
Zeitschriftenartikel
Lahav, O.; Namakonov, E.; Oberhauser, J.; Podkopaev, A.; Vafeiadis, V.: Making Weak Memory Models Fair. Proceedings of the ACM on Programming Languages 5, OOPSLA, 98, S. 1 - 27 (2021)
12.
Zeitschriftenartikel
Majumdar, R.; Mallik, K.; Schmuck, A.-K.; Soudjani, S.: Symbolic Qualitative Control for Stochastic Systems via Finite Parity Games. IFAC-PapersOnLine 54 (5), S. 127 - 132 (2021)
13.
Zeitschriftenartikel
Patrignani, M.; Garg, D.: Robustly Safe Compilation, an Efficient Form of Secure Compilation. ACM Transactions on Programming Languages and Systems 43 (1), S. 1 - 41 (2021)
14.
Zeitschriftenartikel
Rajani, V.; Gaboardi, M.; Garg, D.; Hoffmann, J.: A Unifying Type-Theory for Higher-Order (Amortized) Cost Analysis. Proceedings of the ACM on Programming Languages 5, POPL, 27, S. 1 - 28 (2021)
15.
Zeitschriftenartikel
Spies, S.; Krishnaswami, N.; Dreyer, D.: Transfinite Step-indexing for Termination. Proceedings of the ACM on Programming Languages 5, POPL, 13, S. 1 - 29 (2021)
16.
Zeitschriftenartikel
Urabe, N.; Majumdar, R.: Verifying Asymptotic Temporal Properties of Continuous-State Probabilistic Systems. IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems 40 (9), S. 1934 - 1946 (2021)
17.
Zeitschriftenartikel
Yanovski, J.; Dang, H.-H.; Jung, R.; Dreyer, D.: GhostCell: Separating Permissions from Data in Rust. Proceedings of the ACM on Programming Languages 5, ICFP, 92, S. 1 - 30 (2021)
18.
Zeitschriftenartikel
Zetzsche, G.: The Emptiness Problem for Valence Automata over Graph Monoids. Information and Computation, 104583, S. 1 - 18 (2021)
19.
Zeitschriftenartikel
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)
20.
Zeitschriftenartikel
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)
Zur Redakteursansicht