Peng Wang 个人学术档案 - 学术资源搜索

引用次数

	总计	2019 年至今
引用	465	359
h 指数	9	7
i10 指数	8	6

2007200820092010201120122013201420152016201720182019202020212022202320243 4 5 3 1 2 10 8 17 52 77 59 76 67 57 23

开放获取的出版物数量

查看全部

5 篇文章

0 篇文章

可查看的文章

无法查看的文章

根据资助方的强制性开放获取政策

合著作者

Santiago Zanella-BéguelinMicrosoft Research在 microsoft.com 的电子邮件经过验证
Aseem RastogiResearcher, Microsoft Research在 microsoft.com 的电子邮件经过验证
Karthikeyan BhargavanINRIA在 inria.fr 的电子邮件经过验证
Jean Karim ZinzindohouéPhD Student at INRIA Rocquencourt在 inria.fr 的电子邮件经过验证
Cédric FournetMicrosoft Research在 microsoft.com 的电子邮件经过验证
Jonathan ProtzenkoMicrosoft Research在 ens-lyon.org 的电子邮件经过验证
Nikhil SwamyMicrosoft Research在 microsoft.com 的电子邮件经过验证
Adam ChlipalaMIT CSAIL在 csail.mit.edu 的电子邮件经过验证
Antoine Delignat-LavaudMicrosoft Research在 microsoft.com 的电子邮件经过验证
Cătălin HrițcuTenured Faculty at MPI-SP在 mpi-sp.org 的电子邮件经过验证
Tahina RamananandroMicrosoft Research在 ramananandro.org 的电子邮件经过验证
Bryan ParnoCarnegie Mellon University在 cmu.edu 的电子邮件经过验证
Jason GrossGraduate, Massachusetts Institute of Technology在 mit.edu 的电子邮件经过验证
Benjamin DelawareAssistant Professor, Purdue University在 purdue.edu 的电子邮件经过验证
Samin IshtiaqRiverlane在 riverlane.com 的电子邮件经过验证
Ashay RaneGraduate Research Assistant, The University of Texas at Austin在 utexas.edu 的电子邮件经过验证
Markulf KohlweissUniveristy of Edinburgh在 ed.ac.uk 的电子邮件经过验证
Laure ThompsonPrinceton University在 princeton.edu 的电子邮件经过验证
santiago cuellarPhD, Princeton University在 princeton.edu 的电子邮件经过验证
Kai YeCarnegie Mellon University在 cs.cmu.edu 的电子邮件经过验证

关注

Peng Wang

MIT CSAIL

在 csail.mit.edu 的电子邮件经过验证 - 首页

Programming Languages


标题按引用次数排序按年份排序按标题排序	引用次数引用次数	年份
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	142	2017
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	93	2017
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	64	2017
Compiler verification meets cross-language linking via data abstraction P Wang, S Cuellar, A Chlipala ACM SIGPLAN Notices 49 (10), 675-690, 2014	43	2014
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	29	2020
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	28	2006
The end of history? Using a proof assistant to replace language design with library design A Chlipala, B Delaware, S Duchovni, JS Gross, CF Pit-Claudel, ... Dagstuhl Research, 2017	24	2017
Verified low-level programming embedded in F* K Bhargavan, A Delignat-Lavaud, C Fournet, C Hritcu, J Protzenko, ... arXiv preprint arXiv:1703.00053, 2017	12	2017
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, ...	9	2017
Type system for resource bounds with type-preserving compilation P Wang Massachusetts Institute of Technology, 2019	8	2019
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, ...	7	2017
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, ...	5	2017
A real world detection system P Wang, J Li, B Zhang VISAPP, 675-678, 2012	1	2012
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, ...

系统目前无法执行此操作，请稍后再试。

文章 1–16

每年引用数

重复的引用

合并的引用

添加合著者合著作者

上传 PDF

关注此作者

引用次数

合著作者

引用