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, ...
Proc. ACM program. lang. 1 (ICFP), 17:1-17:29, 2017
1122017
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 (SNAPL 2017), 2017
792017
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
562017
Compiler verification meets cross-language linking via data abstraction
P Wang, S Cuellar, A Chlipala
ACM SIGPLAN Notices 49 (10), 675-690, 2014
402014
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
232017
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
International Joint Conference on Automated Reasoning, 119-137, 2020
182020
Verified low-level programming embedded in F*. PACMPL 1, ICFP (2017), 17: 1–17: 29
J Protzenko, JK Zinzindohoué, A Rastogi, T Ramananandro, P Wang, ...
122017
Verified low-level programming embedded in F*
K Bhargavan, A Delignat-Lavaud, C Fournet, C Hritcu, J Protzenko, ...
arXiv preprint arXiv:1703.00053, 2017
82017
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, ...
72017
Type system for resource bounds with type-preserving compilation
P Wang
Massachusetts Institute of Technology, 2019
52019
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