Di Wang
Di Wang
Home
Publications
Talks
Posts
Contact
English
中文 (简体)
Posts
Bayesian Synthesis in OCaml
This post aims at reproducing some results from Saad et al.’s paper on Bayesian synthesis1 in OCaml, an industrial strength functional programming language. A complete notebook for the code in this post can be found here.
Di Wang
Nov 30, 2022
7 min read
A Casual Introduction to Bayesian Probabilistic Programming (In Chinese)
人们近年来在人工智能领域取得的进展，除了层出不穷的新算法，也
Di Wang
Oct 30, 2022
4 min read
A Casual Introduction to Algebraic Program Analysis (In Chinese)
本文参考了 Zachary Kincaid 和 Thomas Reps 在 CAV 2021 上的关于代数程序分析（Algebr
Di Wang
Oct 2, 2022
5 min read
A Casual Introduction to Static Resource Analysis (In Chinese)
简单地说，程序的资源分析（Resource Analysis）
Di Wang
Sep 10, 2022
5 min read
Easy Syntax Highlighting for LaTeX
Tool link: Emacs Syntax Highlighting for LaTeX (ESH). The tool does not really require understanding Emacs: one just needs a working installation! The tool seems well tested on GNU/Linux; however, I am mainly using macOS, so I find out an easy workflow that works for me.
Di Wang
Jul 12, 2022
2 min read
Termination Analysis of Random Walks
In this post, we consider one-dimensional random walks: assume that $S_n = \sum_{i=1}^n X_i$ is a random walk on the integers with initial value $S_0 = 0$, where $X_i, i \in \mathbb{N}$ are independent and identically distributed random variables.
Di Wang
Last updated on Sep 14, 2021
7 min read
Using FFT to Speed Up DP
Problem link: Counting Road Networks | HackerRank. You are supposed to count the number of connected undirected labeled graphs with $n$ vertices. Algorithms with $O(n \log^2 n)$ time complexity are preferable.
Di Wang
Nov 3, 2018
3 min read
Nondeterministic Interpretation
Suppose you have a toy specification with built-in nondeterminism, and you want to generate answers with respect to the specification: type exp = EInt of int | EPair of exp * exp | ENdet of exp * exp type ans = VInt of int | VPair of ans * ans For example, from the following specification
Di Wang
Feb 8, 2018
3 min read
Cite
×