Follow
Peng Wang
Peng Wang
MIT CSAIL
Verified email at csail.mit.edu - Homepage
Title
Cited by
Cited by
Year
Verified low-level programming embedded in F
J Protzenko, JK Zinzindohoué, A Rastogi, T Ramananandro, P Wang, ...
Proceedings of the ACM on Programming Languages 1 (ICFP), 1-29, 2017
1352017
Everest: Towards a verified, drop-in replacement of HTTPS
K Bhargavan, B Bond, A Delignat-Lavaud, C Fournet, C Hawblitzel, ...
2nd Summit on Advances in Programming Languages, 2017
902017
TiML: a functional language for practical complexity analysis with invariants
P Wang, D Wang, A Chlipala
Proceedings of the ACM on Programming Languages 1 (OOPSLA), 1-26, 2017
642017
Compiler verification meets cross-language linking via data abstraction
P Wang, S Cuellar, A Chlipala
ACM SIGPLAN Notices 49 (10), 675-690, 2014
432014
Imaging of structure at and near the core mantle boundary using a generalized radon transform: 1. Construction of image gathers
P Wang, MV De Hoop, RD Van der Hilst, P Ma, L Tenorio
Journal of Geophysical Research: Solid Earth 111 (B12), 2006
282006
Extensible extraction of efficient imperative programs with foreign functions, manually managed memory, and proofs
C Pit-Claudel, P Wang, B Delaware, J Gross, A Chlipala
Automated Reasoning: 10th International Joint Conference, IJCAR 2020, Paris …, 2020
262020
The end of history? Using a proof assistant to replace language design with library design
A Chlipala, B Delaware, S Duchovni, J Gross, C Pit-Claudel, S Suriyakarn, ...
2nd Summit on Advances in Programming Languages (SNAPL 2017), 2017
242017
Verified low-level programming embedded in F*
K Bhargavan, A Delignat-Lavaud, C Fournet, C Hritcu, J Protzenko, ...
arXiv preprint arXiv:1703.00053, 2017
122017
Verified Low-Level Programming Embedded in F*. PACMPL 1, ICFP (Sept. 2017), 17: 1–17: 29
J Protzenko, JK Zinzindohoué, A Rastogi, T Ramananandro, P Wang, ...
92017
Type system for resource bounds with type-preserving compilation
P Wang
Massachusetts Institute of Technology, 2019
82019
A real world detection system
P Wang, J Li, B Zhang
VISAPP, 675-678, 2012
12012
Verified Low-Level Programming Embedded in F
P WANG
arXiv preprint arXiv:1703.00053, 2017
2017
TiML: a functional language for practical complexity analysis with invariants
A Chlipala, P Wang, D Want
Association for Computing Machinery (ACM), 2017
2017
Extracting from F* to C: a progress report
P Wang, K Bhargavan, JK Zinzindohoué, A Anand, C Fournet, B Parno, ...
The system can't perform the operation now. Try again later.
Articles 1–14