Peng Wang

Viittaukset

	Kaikki	2020 lähtien
Sitaatit	506	321
h-indeksi	9	7
i10-indeksi	8	6

20072008200920102011201220132014201520162017201820192020202120222023202420253 4 5 3 1 2 10 8 17 52 77 59 76 67 57 58 4

Yleisessä käytössä

Näytä kaikki

5 artikkelia

0 artikkelia

käytettävissä

ei käytettävissä

Perustuu rahoitusehtoihin

Muut kirjoittajat

Santiago Zanella-BéguelinMicrosoft ResearchVahvistettu sähköpostiosoite verkkotunnuksessa microsoft.com
Aseem RastogiResearcher, Microsoft ResearchVahvistettu sähköpostiosoite verkkotunnuksessa microsoft.com
Karthikeyan BhargavanINRIAVahvistettu sähköpostiosoite verkkotunnuksessa inria.fr
Jean Karim ZinzindohouéPhD Student at INRIA RocquencourtVahvistettu sähköpostiosoite verkkotunnuksessa inria.fr
Cédric FournetMicrosoft ResearchVahvistettu sähköpostiosoite verkkotunnuksessa microsoft.com
Jonathan ProtzenkoMicrosoft Azure ResearchVahvistettu sähköpostiosoite verkkotunnuksessa ens-lyon.org
Nikhil SwamyMicrosoft ResearchVahvistettu sähköpostiosoite verkkotunnuksessa microsoft.com
Adam ChlipalaMIT CSAILVahvistettu sähköpostiosoite verkkotunnuksessa csail.mit.edu
Antoine Delignat-LavaudMicrosoft ResearchVahvistettu sähköpostiosoite verkkotunnuksessa microsoft.com
Cătălin HrițcuTenured Faculty at MPI-SPVahvistettu sähköpostiosoite verkkotunnuksessa mpi-sp.org
Tahina RamananandroMicrosoft ResearchVahvistettu sähköpostiosoite verkkotunnuksessa ramananandro.org
Bryan ParnoCarnegie Mellon UniversityVahvistettu sähköpostiosoite verkkotunnuksessa cmu.edu
Jason GrossGraduate, Massachusetts Institute of TechnologyVahvistettu sähköpostiosoite verkkotunnuksessa mit.edu
Benjamin DelawareAssistant Professor, Purdue UniversityVahvistettu sähköpostiosoite verkkotunnuksessa purdue.edu
Samin IshtiaqRiverlaneVahvistettu sähköpostiosoite verkkotunnuksessa riverlane.com
Ashay RaneGraduate Research Assistant, The University of Texas at AustinVahvistettu sähköpostiosoite verkkotunnuksessa utexas.edu
Markulf KohlweissUniveristy of EdinburghVahvistettu sähköpostiosoite verkkotunnuksessa ed.ac.uk
Laure ThompsonPrinceton UniversityVahvistettu sähköpostiosoite verkkotunnuksessa princeton.edu
santiago cuellarPhD, Princeton UniversityVahvistettu sähköpostiosoite verkkotunnuksessa princeton.edu
Kai YeCarnegie Mellon UniversityVahvistettu sähköpostiosoite verkkotunnuksessa cs.cmu.edu

Seuraa

Peng Wang

MIT CSAIL

Vahvistettu sähköpostiosoite verkkotunnuksessa csail.mit.edu - Kotisivu

Programming Languages


Nimike Lajittele sitaattien mukaan Lajittele vuoden mukaan Lajittele otsikon mukaan	Viittaukset Viittaukset	Vuosi
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	166	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	99	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	68	2017
Compiler verification meets cross-language linking via data abstraction P Wang, S Cuellar, A Chlipala ACM SIGPLAN Notices 49 (10), 675-690, 2014	47	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	29	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	26	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, ...

Järjestelmä ei voi suorittaa toimenpidettä nyt. Yritä myöhemmin uudelleen.

Artikkelit 1–16

Sitaatteja vuodessa

Päällekkäiset lähteet

Yhdistetyt sitaatit

Lisää muut kirjoittajatMuut kirjoittajat

Seuraa

Viittaukset

Muut kirjoittajat