Wissenschaftliche Publikationen

Ali, J.; Babaei, M.; Chakraborty, A.; Mirzasoleiman, B.; Gummadi, K.; Singla, A.: On the Fairness of Time-Critical Influence Maximization in Social Networks. IEEE Transactions on Knowledge and Data Engineering 35 (3), S. 2875 - 286 (2023)

Baumann, P.; Ganardi, M.; Majumdar, R.; Thinniyam Srinivasan, R.; Zetzsche, G.: Context-Bounded Verification of Context-Free Specifications. Proceedings of the ACM on Programming Languages 7 (POPL), 73, S. 2141 - 2170 (2023)

D'Osualdo, E.; Raad, A.; Vafeiadis, V.: The Path to Durable Linearizability. Proceedings of the ACM on Programming Languages 7 (POPL), 26, S. 748 - 774 (2023)

Kokologiannakis, M.; Lahav, O.; Vafeiadis, V.: Kater: Automating Weak Memory Model Metatheory and Consistency Checking. Proceedings of the ACM on Programming Languages 7 (POPL), 19, S. 544 - 572 (2023)

Redmiles, E. M.; Bennett, M. M.; Kohno, T.: Power in Computer Security and Privacy: A Critical Lens. IEEE Security & Privacy 21 (2), S. 48 - 52 (2023)

Sammler, M.; Spies, S.; Song, Y.; D'Osualdo, E.; Krebbers, R.; Garg, D.; Dreyer, D.: DimSum: A Decentralized Approach to Multi-language Semantics and Verification. Proceedings of the ACM on Programming Languages 7 (POPL), 27, S. 775 - 805 (2023)

Song, Y.; Cho, M.; Lee, D.; Hur, C.-K.; Sammler, M.; Dreyer, D.: Conditional Contextual Refinement. Proceedings of the ACM on Programming Languages 7 (POPL), 39, S. 1121 - 1151 (2023)

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, S. 1 - 2 (2022)

Almagor, S.; Chistikov, D.; Ouaknine, J.; Worrell, J.: O-Minimal Invariants for Discrete-Time Dynamical Systems. ACM Transactions on Computational Logic 23 (2), 9, S. 1 - 20 (2022)

Anevlavis, T.; Philippe, M.; Neider, D.; Tabuada, P.: Being Correct Is Not Enough: Efficient Verification Using Robust Linear Temporal Logic. ACM Transactions on Computational Logic 23 (2), 8, S. 1 - 39 (2022)

Babaei, M.; Chakraborty, A.; Kulshrestha, J.; Redmiles, E. M.; Cha, M.; Gummadi, K.: Analyzing Biases in Perception of Truth in News Stories and Their Implications for Fact Checking. IEEE Transactions on Computational Social Systems 9 (3), S. 839 - 850 (2022)

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, S. 1 - 28 (2022)

Bhalerao, R.; McDonald, N.; Barakat, H.; Hamilton, V.; McCoy, D.; Redmiles, E. M.: Ethics and Efficacy of Unsolicited Anti-Trafficking SMS Outreach. Proceedings of the ACM on Human-Computer Interaction 6 (CSCW2), 358, S. 1 - 39 (2022)

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, S. 1 - 34 (2022)

Biswas, A.; Patro, G. K.; Ganguly, N.; Gummadi, K.; Chakraborty, A.: Towards Fair Recommendation in Two-Sided Platforms. ACM Transactions on the Web 15 (2), 8, S. 1 - 34 (2022)

Chistikov, D.; Majumdar, R.; Schepper, P.: Subcubic Certificates for CFL Reachability. Proceedings of the ACM on Programming Languages 6, POPL, 41, S. 1 - 29 (2022)

D'Osualdo, E.; Farzan, A.; Dreyer, D.: Proving Hypersafety Compositionally. Proceedings of the ACM on Programming Languages 6 (OOPSLA2), 135, S. 289 - 314 (2022)

Dash, A.; Chakraborty, A.; Ghosh, S.; Mukherjee, A.; Gummadi, K.: FaiRIR: Mitigating Exposure Bias From Related Item Recommendations in Two-Sided Platforms. IEEE Transactions on Computational Social Systems (2022)

Ddamulira, M.; Luca, F.; Tichy, R.: On the Shorey–Tijdeman Diophantine Equation Involving Terms of Lucas Sequences. Indagationes Mathematicae 33 (2), S. 314 - 321 (2022)

Dreyer, D.; Pierce, B. C.: On being a PhD student of Robert Harper. Journal of Functional Programming 32, e3 (2022)