default search action
Di Wang 0017
Person information
- unicode name: 王迪
- affiliation: Peking University, Beijing, China
- affiliation (former, PhD 2022): Carnegie Mellon University, Computer Science Department, Pittsburgh, PA, USA
Other persons with the same name
- Di Wang — disambiguation page
- Di Wang 0001 — Khalifa University, EBTIC, Abu Dhabi, UAE (and 2 more)
- Di Wang 0002 — Florida Atlantic University, Department of Computer and Electrical Engineering and Computer Science, Boca Raton, FL, USA
- Di Wang 0003
— Microsoft Research, Redmond, WA, USA (and 1 more)
- Di Wang 0004
- Di Wang 0005
- Di Wang 0006
- Di Wang 0007
- Di Wang 0008
- Di Wang 0009
- Di Wang 0010
- Di Wang 0011
- Di Wang 0012
- Di Wang 0013
- Di Wang 0014
- Di Wang 0015
- Di Wang 0016
- Di Wang 0018
- Di Wang 0019
- Di Wang 0020
- Di Wang 0021
- Di Wang 0022 — Chinese Academy of Agricultural Sciences, Institute of Agricultural Resources and Regional Planning, Beijing, China
- Di Wang 0023
- Di Wang 0024
- Di Wang 0025
- Di Wang 0026
- Di Wang 0027
- Di Wang 0028 — Plus Inc., Suzhou, China (and 1 more)
- Di Wang 0029
- Di Wang 0030 — Microsoft Research, Redmond, WA, USA (and 1 more)
- Di Wang 0031 — Facebook, Seattle, WA, USA (and 1 more)
- Di Wang 0032
- Di Wang 0033
- Di Wang 0034
- Di Wang 0035 — Chongqing Jiaotong University, School of Information Science and Engineering, China (and 2 more)
- Di Wang 0036 — Northeast Forestry University, College of Information and Computer Engineering, Harbin, China (and 1 more)
- Di Wang 0037
- Di Wang 0038
- Di Wang 0039 — Northwest Minzu University, Key Laboratory of China's Ethnic Languages and Information Technology of Ministry of Education, Lanzhou, Gansu, China (and 1 more)
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
- [j10]Ke Sun, Di Wang, Sheng Chen, Meng Wang, Dan Hao:
Formalizing, Mechanizing, and Verifying Class-Based Refinement Types (Artifact). Dagstuhl Artifacts Ser. 10(2): 22:1-22:3 (2024) - [j9]Di Wang
Newtonian Program Analysis of Probabilistic Programs. Proc. ACM Program. Lang. 8(OOPSLA1): 305-333 (2024) - [j8]Long Pham
Programmable MCMC with Soundly Composed Guide Programs. Proc. ACM Program. Lang. 8(OOPSLA2): 1051-1080 (2024) - [j7]Zhichao Guan
Semantics Lifting for Syntactic Sugar. Proc. ACM Program. Lang. 8(OOPSLA2): 1336-1361 (2024) - [j6]Ruyi Ji
Decomposition-based Synthesis for Applying Divide-and-Conquer-like Algorithmic Paradigms. ACM Trans. Program. Lang. Syst. 46(2): 8 (2024) - [c7]Ke Sun, Di Wang, Sheng Chen
Formalizing, Mechanizing, and Verifying Class-Based Refinement Types. ECOOP 2024: 39:1-39:30 - 2023
- [j5]Ankush Das
Probabilistic Resource-Aware Session Types. Proc. ACM Program. Lang. 7(POPL): 1925-1956 (2023) - [i8]Di Wang, Thomas W. Reps:
Newtonian Program Analysis of Probabilistic Programs. CoRR abs/2307.09064 (2023) - 2021
- [c6]Di Wang
Central moment analysis for cost accumulators in probabilistic programs. PLDI 2021: 559-573 - [c5]Di Wang
Sound probabilistic inference via guide types. PLDI 2021: 788-803 - [i7]Di Wang, Jan Hoffmann, Thomas W. Reps:
Expected-Cost Analysis for Probabilistic Programs and Semantics-Level Adaption of Optional Stopping Theorems. CoRR abs/2103.16105 (2021) - [i6]Di Wang, Jan Hoffmann, Thomas W. Reps:
Sound Probabilistic Inference via Guide Types. CoRR abs/2104.03598 (2021) - 2020
- [j4]Tristan Knoth, Di Wang
Liquid resource types. Proc. ACM Program. Lang. 4(ICFP): 106:1-106:29 (2020) - [j3]Di Wang
Raising expectations: automating expected cost analysis with types. Proc. ACM Program. Lang. 4(ICFP): 110:1-110:31 (2020) - [i5]Di Wang, Jan Hoffmann, Thomas W. Reps:
Tail Bound Analysis for Probabilistic Programs via Central Moments. CoRR abs/2001.10150 (2020) - [i4]Di Wang, David M. Kahn, Jan Hoffmann:
Raising Expectations: Automating Expected Cost Analysis with Types. CoRR abs/2006.14010 (2020) - [i3]Tristan Knoth, Di Wang, Adam Reynolds, Jan Hoffmann, Nadia Polikarpova:
Liquid Resource Types. CoRR abs/2006.16233 (2020) - [i2]Ankush Das, Di Wang, Jan Hoffmann:
Probabilistic Resource-Aware Session Types. CoRR abs/2011.09037 (2020)
2010 – 2019
- 2019
- [j2]Di Wang
Type-guided worst-case input generation. Proc. ACM Program. Lang. 3(POPL): 13:1-13:30 (2019) - [c4]Tristan Knoth, Di Wang
Resource-guided program synthesis. PLDI 2019: 253-268 - [c3]Di Wang
A Denotational Semantics for Low-Level Probabilistic Programs with Nondeterminism. MFPS 2019: 303-324 - [i1]Tristan Knoth, Di Wang, Nadia Polikarpova, Jan Hoffmann:
Resource-Guided Program Synthesis. CoRR abs/1904.07415 (2019) - 2018
- [c2]Di Wang
PMAF: an algebraic framework for static analysis of probabilistic programs. PLDI 2018: 513-528 - 2017
- [j1]Peng Wang, Di Wang
TiML: a functional language for practical complexity analysis with invariants. Proc. ACM Program. Lang. 1(OOPSLA): 79:1-79:26 (2017) - [c1]Hao Tang, Di Wang
Conditional Dyck-CFL Reachability Analysis for Complete and Efficient Library Summarization. ESOP 2017: 880-908
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-12-19 22:13 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: