Journal Article (210)

21.
Journal Article
Khmelnitsky, I.; Haddad, S.; Ye, L.; Barbot, B.; Bollig, B.; Leucker, M.; Neider, D.; Roy, R.: Analyzing Robustness of Angluin's L* Algorithm in Presence of Noise. Electronic Proceedings in Theoretical Computer Science 370, pp. 81 - 96 (2022)
22.
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)
23.
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)
24.
Journal Article
Lahoti, P.; Gummadi, K.; Weikum, G.: Responsible Model Deployment via Model-agnostic Uncertainty Learning. Machine Learning (2022)
25.
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)
26.
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)
27.
Journal Article
Neider, D.; Weinert, A.; Zimmermann, M.: Robust, expressive, and quantitative linear temporal logics: Pick any two for free. Information and Computation 285 (B), 104810 (2022)
28.
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)
29.
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)
30.
Journal Article
Samadi, M. E.; Kiefer, S.; Fritsch, S. J.; Bickenbach, J.; Schuppert, A.: A Training Strategy for Hybrid Models to Break the Curse of Dimensionality. PLoS One 17 (9), e0274569 (2022)
31.
Journal Article
Spies, S.; Gäher, L.; Tassarotti, J.; Jung, R.; Krebbers, R.; Birkedal, L.; Dreyer, D.: Later Credits: Resourceful Reasoning for the Later Modality. Proceedings of the ACM on Programming Languages 6, ICFP, 100, pp. 1 - 29 (2022)
32.
Journal Article
Stutz, F.; Zufferey, D.: Comparing Channel Restrictions of Communicating State Machines, High-level Message Sequence Charts, and Multiparty Session Types. Electronic Proceedings in Theoretical Computer Science 370, pp. 194 - 212 (2022)
33.
Journal Article
Tsirtsis, S.; De, A.; Lorch, L.; Gomez Rodriguez, M.: Pooled Testing of Traced Contacts under Superspreading Dynamics. PLoS Computational Biology 18 (3), e1010008, pp. 1 - 17 (2022)
34.
Journal Article
Zhu, F.; Sammler, M.; Lepigre, R.; Dreyer, D.; Garg, D.: BFF: Foundational and Automated Verification of Bitfield-manipulating Programs. Proceedings of the ACM on Programming Languages 6 (OOPSLA2), 182, pp. 1613 - 1638 (2022)
35.
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)
36.
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)
37.
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)
38.
Journal Article
Almagor, S.; Ouaknine, J.; Worrell, J.: First-Order Orbit Queries. Theory of Computing Systems 65, pp. 638 - 661 (2021)
39.
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)
40.
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)
Go to Editor View