Wissenschaftliche Publikationen

1281.

Forschungspapier

Rawal, R.; Toneva, M.: Perturbed Examples Reveal Invariances Shared by Language Models. (2023), 21 S.

1282.

Forschungspapier

Straitouri, E.; Gomez Rodriguez, M.: Designing Decision Support Systems Using Counterfactual Prediction Sets. (2023), 26 S.

MPG.PuRe

pre-print

1283.

Forschungspapier

Tercan, A.; Ghosh, A.; Eniser, H. F.; Christakis, M.; Singla, A.: Synthesizing a Progression of Subtasks for Block-Based Visual Programming Tasks. (2023), 24 S.

MPG.PuRe

pre-print

1284.

Forschungspapier

Ye, L.; Khmelnitsky, I.; Haddad, S.; Barbot, B.; Bollig, B.; Leucker, M.; Neider, D.; Roy, R.: Analyzing Robustness of Angluin's L* Algorithm in Presence of Noise. (2023), 23 S.

MPG.PuRe

pre-print

1285.

Forschungspapier

Zannettou, S.; Nemeth, O.-N.; Ayalon, O.; Goetzen, A.; Gummadi, K.; Redmiles, E. M.; Roesner, F.: Leveraging Rights of Data Subjects for Social Media Analysis: Studying TikTok via Data Donations. (2023), 11 S.

MPG.PuRe

pre-print

1286.

Forschungspapier

Banihashem, K.; Singla, A.; Gan, J.; Radanovic, G.: Admissible Policy Teaching through Reward Design. (2022), 32 S.

MPG.PuRe

pre-print

1287.

Forschungspapier

Becker, H.; Tekriwal, M.; Darulova, E.; Volkova, A.; Jeannin, J.-B.: Dandelion: Certified Approximations of Elementary Functions. (2022), 19 S.

MPG.PuRe

pre-print

1288.

Forschungspapier

De Viti, R.; Sheff, I.; Glaeser, N.; Dinis, B.; Rodrigues, R.; Katz, J.; Bhattacharjee, B.; Hithnawi, A.; Garg, D.; Druschel, P.: CoVault: A Secure Analytics Platform. (2022), 14 S.

MPG.PuRe

pre-print

1289.

Forschungspapier

Grannan, Z.; Vazou, N.; Darulova, E.; Summers, A. J.: REST: Integrating Term Rewriting with Program Verification (Extended Version). (2022), 43 S.

MPG.PuRe

pre-print

1290.

Forschungspapier

Hamilton, V.; Soneji, A.; McDonald, A.; Redmiles, E. M.: "Nudes? Shouldn't I charge for these?": Exploring What Motivates Content Creation on OnlyFans. (2022), 14 S.

MPG.PuRe

pre-print

1291.

Forschungspapier

Karimov, T.; Kelmendi, E.; Ouaknine, J.; Worrell, J.: What's Decidable about Discrete Linear Dynamical Systems? (2022), 13 S.

MPG.PuRe

pre-print

1292.

Forschungspapier

Kazemi, M.; Majumdar, R.; Salamati, M.; Soudjani, S.; Wooding, B.: Data-Driven Abstraction-Based Control Synthesis. (2022), 14 S.

MPG.PuRe

pre-print

1293.

Forschungspapier

Lutz, S.; Neider, D.; Roy, R.: Specification sketching for Linear Temporal Logic. (2022), 25 S.

MPG.PuRe

pre-print

1294.

Forschungspapier

Ramasubramanian, K.; Raina, A.; Mace, J.; Alvaro, P.: ACT now: Aggregate Comparison of Traces for Incident Localization. (2022), 14 S.

MPG.PuRe

pre-print

1295.

Forschungspapier

Roy, R.; Gaglione, J.-R.; Baharisangari, N.; Neider, D.; Xu, Z.; Topcu, U.: Learning Interpretable Temporal Properties from Positive Examples Only. (2022), 22 S.

MPG.PuRe

pre-print

1296.

Forschungspapier

Singla, A.; Theodoropoulos, N.: From Solution Synthesis to Student Attempt Synthesis for Block-Based Visual Programming Tasks. (2022), 13 S.

MPG.PuRe

pre-print

1297.

Forschungspapier

Vassena, M.; Russo, A.; Garg, D.; Rajani, V.; Stefan, D.: From Fine- to Coarse-Grained Dynamic Information Flow Control and Back, a Tutorial on Dynamic Information Flow. (2022), 122 S.

MPG.PuRe

Full

1298.

Forschungspapier

Alzayat, M. W. M.; Messias, J.; Chandrasekaran, B.; Gummadi, K.; Loiseau, P.: Modeling Coordinated vs. P2P Mining: An Analysis of Inefficiency and Inequality in Proof-of-Work Blockchains. (2021), 12 S.

MPG.PuRe

pre-print

1299.

Forschungspapier

Banihashem, K.; Singla, A.; Radanovic, G.: Defense Against Reward Poisoning Attacks in Reinforcement Learning. (2021), 36 S.

MPG.PuRe

pre-print

1300.

Forschungspapier

Eniser, H. F.; Christakis, M.; Wüstholz, V.: RAID: Randomized Adversarial-Input Detection for Neural Networks. (2021), 12 S.

MPG.PuRe

pre-print