Research Interest

• Differential Privacy
• Programming Language and Type Systems
• Formal Verifications

I am now working on two topics:
1. A programming language for adaptive data analysis based on probabilistic programs, In this language the type information is used to guarantee a confidence interval on the output based on the rounds of adaptivity of the program. Github
2. An automatic formal verification tool for the differentially private algorithms implemented in floating point computation. Github
The previous topics I was working on:
1. An improved mechanism for Bayesian inference, by calibrating noise to the sensitivity of a metric over distributions. Github

Academic Activity

Publications

Drafts

• Program Analysis for Adaptive Data Analysis Nov., 2022
• Program Analysis for Adaptive Data Analysis - Appendix Nov., 2022
• Program Analysis for Adaptive Data Analysis July., 2022
• Program Analysis for Adaptive Data Analysis - Appendix July., 2022
• Verifying Differential Privacy in Floating-Point Computation Nov., 2020
• Tailoring Differentially Private Bayesian Inference to Distance Between Distributions Oct., 2018

Talks/Posters

• Short talk -- Type System in Adaptive Data Analysis -- EGLPLS 2019 (in Cornell University in Ithaca, NY, USA)[PDF]
• Poster session -- Tailoring Differentially Private Bayesian Inference to Distance Between Distributions -- TPDP of CCS 2018 (in Toronto, Canada)[PDF]

Events

• POPL Jan. 15-21, 2023 (in Boston, Massachusetts, United States)
• New England Programming Languages and Systems Symposium (NEPLS) Sep. 29, 2022 (in Harvard, Boston, Massachusetts, United States)
• POPL Jan. 17-23, 2022 (in Philadelphia, Pennsylvania, United States)
• PLWM@POPL Jan.18, 2021 (in Philadelphia, Pennsylvania, United States)
• POPL Jan. 16-21, 2021 (online)
• New England Systems Verification Day Oct.18, 2019 (in MIT, MA, USA)
• POPL Jan. 13-19, 2019 (in Cascais, Portugal)
• PLWM@POPL Jan.14, 2019 (in Cascais, Portugal)
• OPLSS-- Foundations of Probabilistic Programming and Security -- Jun 17 - 29, 2019 (in University of Oregon, OR, USA)

Teaching

• Teaching Assistant for CS 320, Concepts of Programming Languages, 2019 Fall - Boston Univeristy course page
• Teaching Assistant for CSE 305, Introduction to Programming Languages, 2019 Spring - Univeristy at Buffalo course page
• Teaching Assistant for CSE 305, Introduction to Programming Languages, 2018 Fall - Univeristy at Buffalo course page
• Teaching Assistant for CSE 305, Introduction to Programming Languages, 2018 Spring - Univeristy at Buffalo course page
• Teaching Assistant for CSE 542, Software Engineer Concept, 2017 Fall - Univeristy at Buffalo course page

Curriculum Vitae

• September, 2019 - present, Ph.D. candidate in Department of Computer Science, Boston University, advised by Marco Gaboardi
• September, 2017 - May, 2019, Ph.D. student in Department of Computer Science and Engineering, University at Buffalo, SUNY, advised by Marco Gaboardi
• September, 2016 - June, 2017, intern in Institute of Information Engineering. Chinese Academy of Science
• September, 2013 - June, 2017, B.A. in Department of Information Science, Central University of Economics and Finance.
• September 07, 1997 Born in China.

Links

• Github
• previous site at Boston University
• previous site at University at Buffalo, SUNY
• CSE, University at Buffalo, SUNY

Contacts

• jiawenl [at] bu.edu