VLDB 2026 Research / reviewers in the wild / expert
Min-Hsien Weng
dblp:126/3471
· DBLP profile ↗
2ranked-venue papers
1as first author
1since 2021 · last 2021
0000-0003-2334-1863ORCID · verified
Domains — the database's venue-derived domains; a paper can count in several
Systems, architecture and hardware · 1Theory of computation · 1 · 1 first-author · 1 since 2021
| Year | Publication | Venue | Position |
|---|---|---|---|
| 2021 | Automatic proofs of memory deallocation for a Whiley-to-C Compiler
Min-Hsien Weng, Robi Malik, Mark Utting |
Formal Methods Syst. Des. | 1 |
| 2014 | The JStar language philosophy
Mark Utting, Min-Hsien Weng, John G. Cleary |
Parallel Comput. | 2 |