Working Paper (120)

1281.
Working Paper
Nanayakkara, P.; Smart, M. A.; Cummings, R.; Kaptchuk, G.; Redmiles, E. M.: What Are the Chances? Explaining the Epsilon Parameter in Differential Privacy. (2023), 24 pp.
MPG.PuRe
pre-print
1282.
Working Paper
Nayak, S. P.; Egidio, L. N.; Della Rossa, M.; Schmuck, A.-K.; Jungers, R.: Context-triggered Abstraction-based Control Design. (2023), 25 pp.
MPG.PuRe
pre-print
1283.
Working Paper
Okati, N.; Tsirtsis, S.; Gomez Rodriguez, M.: On the Within-Group Discrimination of Screening Classifiers. (2023), 25 pp.
MPG.PuRe
pre-print
1284.
Working Paper
Phung, T.; Cambronero, J.; Gulwani, S.; Kohn, T.; Majumdar, R.; Singla, A.; Soares, G.: Generating High-Precision Feedback for Programming Syntax Errors using Large Language Models. (2023), 8 pp.
MPG.PuRe
pre-print
1285.
Working Paper
Rawal, R.; Toneva, M.: Perturbed Examples Reveal Invariances Shared by Language Models. (2023), 21 pp.
MPG.PuRe
pre-print
1286.
Working Paper
Straitouri, E.; Gomez Rodriguez, M.: Designing Decision Support Systems Using Counterfactual Prediction Sets. (2023), 26 pp.
MPG.PuRe
pre-print
1287.
Working Paper
Tercan, A.; Ghosh, A.; Eniser, H. F.; Christakis, M.; Singla, A.: Synthesizing a Progression of Subtasks for Block-Based Visual Programming Tasks. (2023), 24 pp.
MPG.PuRe
pre-print
1288.
Working Paper
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 pp.
MPG.PuRe
pre-print
1289.
Working Paper
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 pp.
MPG.PuRe
pre-print
1290.
Working Paper
Banihashem, K.; Singla, A.; Gan, J.; Radanovic, G.: Admissible Policy Teaching through Reward Design. (2022), 32 pp.
MPG.PuRe
pre-print
1291.
Working Paper
Becker, H.; Tekriwal, M.; Darulova, E.; Volkova, A.; Jeannin, J.-B.: Dandelion: Certified Approximations of Elementary Functions. (2022), 19 pp.
MPG.PuRe
pre-print
1292.
Working Paper
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 pp.
MPG.PuRe
pre-print
1293.
Working Paper
Grannan, Z.; Vazou, N.; Darulova, E.; Summers, A. J.: REST: Integrating Term Rewriting with Program Verification (Extended Version). (2022), 43 pp.
MPG.PuRe
pre-print
1294.
Working Paper
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 pp.
MPG.PuRe
pre-print
1295.
Working Paper
Karimov, T.; Kelmendi, E.; Ouaknine, J.; Worrell, J.: What's Decidable about Discrete Linear Dynamical Systems? (2022), 13 pp.
MPG.PuRe
pre-print
1296.
Working Paper
Kazemi, M.; Majumdar, R.; Salamati, M.; Soudjani, S.; Wooding, B.: Data-Driven Abstraction-Based Control Synthesis. (2022), 14 pp.
MPG.PuRe
pre-print
1297.
Working Paper
Lutz, S.; Neider, D.; Roy, R.: Specification sketching for Linear Temporal Logic. (2022), 25 pp.
MPG.PuRe
pre-print
1298.
Working Paper
Ramasubramanian, K.; Raina, A.; Mace, J.; Alvaro, P.: ACT now: Aggregate Comparison of Traces for Incident Localization. (2022), 14 pp.
MPG.PuRe
pre-print
1299.
Working Paper
Roy, R.; Gaglione, J.-R.; Baharisangari, N.; Neider, D.; Xu, Z.; Topcu, U.: Learning Interpretable Temporal Properties from Positive Examples Only. (2022), 22 pp.
MPG.PuRe
pre-print
1300.
Working Paper
Singla, A.; Theodoropoulos, N.: From Solution Synthesis to Student Attempt Synthesis for Block-Based Visual Programming Tasks. (2022), 13 pp.
MPG.PuRe
pre-print
Web-View
Print Page
Open in new window
Estimated DIN-A4 page-width
Go to Editor View