Zeitschriftenartikel (40)

21.
Zeitschriftenartikel
Hamilton, V.; Barakat, H.; Redmiles, E. M.: Risk, Resilience and Reward: Impacts of Shifting to Digital Sex Work. Proceedings of the ACM on Human-Computer Interaction 6 (CSCW2), 537, S. 1 - 37 (2022)
22.
Zeitschriftenartikel
Hirsch, A. K.; Garg, D.: Pirouette: Higher-Order Typed Functional Choreographies. Proceedings of the ACM on Programming Languages 6, POPL, 23, S. 1 - 27 (2022)
23.
Zeitschriftenartikel
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, S. 1 - 25 (2022)
24.
Zeitschriftenartikel
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, S. 81 - 96 (2022)
25.
Zeitschriftenartikel
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, S. 1 - 28 (2022)
26.
Zeitschriftenartikel
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, S. 1 - 30 (2022)
27.
Zeitschriftenartikel
Lahoti, P.; Gummadi, K.; Weikum, G.: Responsible Model Deployment via Model-agnostic Uncertainty Learning. Machine Learning 112, S. 939 - 970 (2022)
28.
Zeitschriftenartikel
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, S. 1 - 27 (2022)
29.
Zeitschriftenartikel
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, S. 1 - 32 (2022)
30.
Zeitschriftenartikel
Lorch, L.; Kremer, H.; Trouleau, W.; Tsirtsis, S.; Szanto, A.; Schölkopf, B.; Gomez Rodriguez, M.: Quantifying the Effects of Contact Tracing, Testing, and Containment Measures in the Presence of Infection Hotspots. ACM Transactions on Spatial Algorithms and Systems 8 (4), 25, S. 1 - 28 (2022)
31.
Zeitschriftenartikel
Majumdar, R.; Thinniyam Srinivasan, R.; Zetzsche, G.: General Decidability Results for Asynchronous Shared-Memory Programs: Higher-Order and Beyond. Logical Methods in Computer Science 18 (4), 1, S. 1 - 38 (2022)
32.
Zeitschriftenartikel
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)
33.
Zeitschriftenartikel
Raad, A.; Berdine, J.; Dreyer, D.; O'Hearn, P. W.: Concurrent Incorrectness Separation Logic. Proceedings of the ACM on Programming Languages 6, POPL, 34, S. 1 - 29 (2022)
34.
Zeitschriftenartikel
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, S. 1 - 31 (2022)
35.
Zeitschriftenartikel
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)
36.
Zeitschriftenartikel
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, S. 1 - 29 (2022)
37.
Zeitschriftenartikel
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, S. 194 - 212 (2022)
38.
Zeitschriftenartikel
Toneva, M.; Mitchell, T. M.; Wehbe, L.: Combining Computational Controls with Natural Text Reveals Aspects of Meaning Composition. Nature Computational Science, S. 745 - 757 (2022)
39.
Zeitschriftenartikel
Tsirtsis, S.; De, A.; Lorch, L.; Gomez Rodriguez, M.: Pooled Testing of Traced Contacts under Superspreading Dynamics. PLoS Computational Biology 18 (3), e1010008, S. 1 - 17 (2022)
40.
Zeitschriftenartikel
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, S. 1613 - 1638 (2022)
Zur Redakteursansicht