• case-insensitive prefix search: default
  e.g., sig matches "SIGIR" as well as "signal"
• exact word search: append dollar sign ($) to word
  e.g., graph$ matches "graph", but not "graphics"
• boolean and: separate words by space
  e.g., codd model
• boolean or: connect words by pipe symbol (|)
  e.g., graph|network

Update May 7, 2017: Please note that we had to disable the phrase search operator (.) and the boolean not operator (-) due to technical problems. For the time being, phrase search queries will yield regular prefix search result, and search terms preceded by a minus will be interpreted as regular (positive) search terms.

found 153 matches

• 2024
• 
  Mark Bun, Marco Gaboardi, Marcel Neunhoeffer, Wanrong Zhang:
  Continual Release of Differentially Private Synthetic Data from Longitudinal Data Collections. Proc. ACM Manag. Data 2(2): 94 (2024)
• 
  Jiawen Liu, Weihao Qu, Marco Gaboardi, Deepak Garg, Jonathan R. Ullman:
  Program Analysis for Adaptive Data Analysis. Proc. ACM Program. Lang. 8(PLDI): 914-938 (2024)
• 
  Elisabet Lobo Vesga, Alejandro Russo, Marco Gaboardi, Carlos Tomé Cortiñas:
  Sensitivity by Parametricity. Proc. ACM Program. Lang. 8(OOPSLA2): 415-441 (2024)
• 
  Cheng Zhang, Arthur Azevedo de Amorim, Marco Gaboardi:
  Domain Reasoning in TopKAT. ICALP 2024: 157:1-157:18
• 
  Marco Gaboardi, Michael Hay, Salil P. Vadhan:
  Programming Frameworks for Differential Privacy. CoRR abs/2403.11088 (2024)
• 
  Cheng Zhang, Arthur Azevedo de Amorim, Marco Gaboardi:
  Domain Reasoning in TopKAT. CoRR abs/2404.18417 (2024)
• 2023
• 
  Di Wang, Lijie Hu, Huanyu Zhang, Marco Gaboardi, Jinhui Xu:
  Generalized Linear Models in Non-interactive Local Differential Privacy with Public Data. J. Mach. Learn. Res. 24: 132:1-132:57 (2023)
• 
  Marco Gaboardi, Igor Walukiewicz:
  Report on Logic in Computer Science (LICS'23). ACM SIGLOG News 10(4): 44-45 (2023)
• 
  june wunder, Arthur Azevedo de Amorim, Patrick Baillot, Marco Gaboardi:
  Bunched Fuzz: Sensitivity for Vector Metrics. ESOP 2023: 451-478
• 
  Frédéric Tuong, Mohammad Omidvar Tehrani, Marco Gaboardi, Steven Y. Ko:
  SymRustC: A Hybrid Fuzzer for Rust. ISSTA 2023: 1515-1518
• 
  Mark Bun, Marco Gaboardi, Max Hopkins, Russell Impagliazzo, Rex Lei, Toniann Pitassi, Satchit Sivakumar, Jessica Sorrell:
  Stability Is Stable: Connections between Replicability, Privacy, and Adaptive Generalization. STOC 2023: 520-527
• 
  Marco Gaboardi, Femke van Raamsdonk:
  8th International Conference on Formal Structures for Computation and Deduction, FSCD 2023, July 3-6, 2023, Rome, Italy. LIPIcs 260, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2023, ISBN 978-3-95977-277-8 [contents]
• 
  Shurong Lin, Mark Bun, Marco Gaboardi, Eric D. Kolaczyk, Adam Smith:
  Differentially Private Confidence Intervals for Proportions under Stratified Random Sampling. CoRR abs/2301.08324 (2023)
• 
  Mark Bun, Marco Gaboardi, Max Hopkins, Russell Impagliazzo, Rex Lei, Toniann Pitassi, Satchit Sivakumar, Jessica Sorrell:
  Stability is Stable: Connections between Replicability, Privacy, and Adaptive Generalization. CoRR abs/2303.12921 (2023)
• 
  Amy Rathore, Marina Blanton, Marco Gaboardi, Lukasz Ziarek:
  A Formal Model for Secure Multiparty Computation. CoRR abs/2306.00308 (2023)
• 
  Mark Bun, Marco Gaboardi, Marcel Neunhoeffer, Wanrong Zhang:
  Continual Release of Differentially Private Synthetic Data. CoRR abs/2306.07884 (2023)
• 
  Mark Bun, Marco Gaboardi, Ludmila Glinskih:
  The Complexity of Verifying Boolean Programs as Differentially Private. CoRR abs/2309.04642 (2023)
• 2022
• 
  Jialu Bao, Marco Gaboardi, Justin Hsu, Joseph Tassarotti:
  A separation logic for negative dependence. Proc. ACM Program. Lang. 6(POPL): 1-29 (2022)
• 
  Cheng Zhang, Arthur Azevedo de Amorim, Marco Gaboardi:
  On incorrectness logic and Kleene algebra with top and tests. Proc. ACM Program. Lang. 6(POPL): 1-30 (2022)
• 
  Vincent Cohen-Addad, Yunus Esencayi, Chenglin Fan, Marco Gaboardi, Shi Li, Di Wang:
  On Facility Location Problem in the Local Differential Privacy Model. AISTATS 2022: 3914-3929
• 
  Mark Bun, Marco Gaboardi, Ludmila Glinskih:
  The Complexity of Verifying Boolean Programs as Differentially Private. CSF 2022: 396-411
• 
  Mark Bun, Jörg Drechsler, Marco Gaboardi, Audra McMillan, Jayshree Sarathy:
  Controlling Privacy Loss in Sampling Schemes: An Analysis of Stratified and Cluster Sampling. FORC 2022: 1:1-1:24
• 
  Alley Stoughton, Carol Chen, Marco Gaboardi, Weihao Qu:
  Formalizing Algorithmic Bounds in the Query Model in EasyCrypt. ITP 2022: 30:1-30:21
• 
  june wunder, Arthur Azevedo de Amorim, Patrick Baillot, Marco Gaboardi:
  Bunched Fuzz: Sensitivity for Vector Metrics. CoRR abs/2202.01901 (2022)
• 2021
• 
  Weihao Qu, Marco Gaboardi, Deepak Garg:
  Relational cost analysis in a functional-imperative setting. J. Funct. Program. 31: e27 (2021)
• 
  Alejandro Aguirre, Gilles Barthe, Marco Gaboardi, Deepak Garg, Shin-ya Katsumata, Tetsuya Sato:
  Higher-order probabilistic adversarial computations: categorical semantics and program logics. Proc. ACM Program. Lang. 5(ICFP): 1-30 (2021)
• 
  Vineet Rajani, Marco Gaboardi, Deepak Garg, Jan Hoffmann:
  A unifying type-theory for higher-order (amortized) cost analysis. Proc. ACM Program. Lang. 5(POPL): 1-28 (2021)
• 
  Elisabet Lobo Vesga, Alejandro Russo, Marco Gaboardi:
  A Programming Language for Data Privacy with Accuracy Estimations. ACM Trans. Program. Lang. Syst. 43(2): 6:1-6:42 (2021)
• 
  Di Wang, Huangyu Zhang, Marco Gaboardi, Jinhui Xu:
  Estimating Smooth GLM in Non-interactive Local Differential Privacy Model with Public Unlabeled Data. ALT 2021: 1207-1213
• 
  Gian Pietro Farina, Stephen Chong, Marco Gaboardi:
  Coupled Relational Symbolic Execution for Differential Privacy. ESOP 2021: 207-233

skipping 123 more matches