Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDPeng Wang 0048
Person information
- affiliation (PhD 2019): Massachusetts Institute of Technology, Cambridge, MA, USA
- affiliation (2006 - 2012): Tsinghua University, Department of Computer Science and Technology, Beijing, China
Other persons with the same name
- Peng Wang — disambiguation page
- Peng Wang 0001
![[0000-0002-1265-0233]](https://dblp.uni-trier.de/img/orcid-mark.12x12.png "0000-0002-1265-0233")
— ByteDance Research, Mountain View, CA, USA (and 3 more) - Peng Wang 0002 — Swinburne University of Technology, Australian Graduate School of Entrepreneurship, Hawthorn, VIC, Australia (and 1 more)
- Peng Wang 0003 — Tsinghua University, Department of Computer Science and Technology, Beijing, China
- Peng Wang 0004 — Southeast University, School of Computer Science and Engineering, Nanjing, China
- Peng Wang 0005 — Google Research, Mountain View, CA, USA (and 3 more)
- Peng Wang 0006 — INSA de Lyon, France (and 1 more)
- Peng Wang 0007 — Queen's University, Kingston, Ontario, Canada
- Peng Wang 0008 — Huawei Technologies, Kista, Sweden (and 2 more)
- Peng Wang 0009 — Chinese Academy of Sciences, Institute of Information Engineering, State Key Laboratory of Information Security, Beijing, China (and 2 more)
- Peng Wang 0010 — Dartmouth College, Thayer School of Engineering, Hanover, NH, USA
- Peng Wang 0011 — University of Newcastle, NSW, Australia
- Peng Wang 0012 — Tsinghua University, Department of Computer Science and Technology, National Laboratory for Information Science and Technology, Beijing, China (and 2 more)
- Peng Wang 0013 — Norwegian University of Science and Technology (NTNU), Trondheim, Norway
- Peng Wang 0014 — Shanghai Advanced Research Institute (and 1 more)
- Peng Wang 0015 — Northwestern Polytechnical University, School of Computer Science, Xi'an, China (and 2 more)
- Peng Wang 0016 — University of Delaware, USA
- Peng Wang 0017 — Nanyang Technological University, School of Electrical and Electronic Engineering, Singapore (and 1 more)
- Peng Wang 0018 — Air Force Engineering University, Xi'an, China (and 1 more)
- Peng Wang 0019 — University of Kentucky, Institute for Sustainable Manufacturing, USA (and 1 more)
- Peng Wang 0020 — University of Science and Technology Beijing, School of Computer and Communication Engineering, China
- Peng Wang 0021 — Northwestern Polytechnical University, School of Marine Science and Technology, Xi'an, China
- Peng Wang 0022 — Beihang University, Department of Mathematics and System Sciences, Beijing, China (and 2 more)
- Peng Wang 0023 — University of Electronic Science and Technology of China, China (and 4 more)
- Peng Wang 0024 — Chinese Academy of Sciences, Institute of Automation, Research Center of Precision Sensing and Control, Beijing, China
- Peng Wang 0025 — Huawei Beijing Research Lab (and 1 more)
- Peng Wang 0026 — Shanghai Jiao Tong University, China
- Peng Wang 0027 — Fudan University, School of Computer Science, Shanghai, China
- Peng Wang 0028 — Alibaba Group, Hangzhou, China (and 1 more)
- Peng Wang 0029 — Pacific Northwest National Laboratory, Richland, WA, USA (and 1 more)
- Peng Wang 0030 — Nanjing University of Aeronautics and Astronautics, College of Electronic and Information Engineering, China (and 1 more)
- Peng Wang 0031 — Xi'an Jiaotong University, School of Electrical Engineering, State Key Laboratory of Electrical Insulation and Power Equipment, China
- Peng Wang 0033 — Southwest University for Nationalities, College of Computer Science and Technology, Chengdu, China (and 3 more)
- Peng Wang 0034 — National University of Defense Technology, College of Information System and Management, Changsha, China
- Peng Wang 0035 — Hunan University, College of Information Science and Engineering, Changsha, China
- Peng Wang 0036 — Leiden University, Leiden Institute of Advanced Computer Science, The Netherlands
- Peng Wang 0037 — City University of Hong Kong, Department of Computer Science, NetX Lab, Hong Kong
- Peng Wang 0038 — Tianjin University, School of Mechanical Engineering, China
- Peng Wang 0039 — Nanjing University of Science and Technology, School of Energy and Power Engineering, China
- Peng Wang 0040 — Dalian University of Technology, Faculty of Management and Economics, China
- Peng Wang 0041 — University of Strathclyde, Department of Mechanical and Aerospace Engineering, James Weir Fluids Laboratory, Glasgow, UK (and 1 more)
- Peng Wang 0042 — MediaTek, Inc., Hsinchu, Taiwan
- Peng Wang 0043 — China Agricultural University, College of Information and Electrical Engineering, Beijing, China
- Peng Wang 0044 — Xidian University, State Key Laboratory of Integrated Services Networks, Xi'an, China
- Peng Wang 0045 — Shandong University of Finance and Economics, School of Management Science and Engineering, Jinan, China
- Peng Wang 0046 — Northeastern University, College of Information Science and Engineering / State Key Laboratory of Synthetical Automation for Process Industries, Shenyang, China
- Peng Wang 0047 — North China Electric Power University, State Key Laboratory of Alternate Electrical Power System With Renewable Energy Sources, Beijing, China
- Peng Wang 0049 — Nanjing Audit University, Institute of Economics and Finance, China
- Peng Wang 0050 — Beijing Jiaotong University, School of Mechanical, Electronic and Control Engineering, State Key Laboratory of Rail Traffic Control and Safety, China
- Peng Wang 0051 — North University of China, Department of Mathematics, Taiyuan, China
- Peng Wang 0052 — Chinese University of Hong Kong, Department of Surgery, Hong Kong
- Peng Wang 0053 — University of Electronic Science and Technology of China, School of Electronic Science and Engineering, Chengdu, China
- Peng Wang 0054 — Chongqing University of Technology, College of Computer Science and Technology, China
- Peng Wang 0055 — Tsinghua University, State Key Laboratory of Power Systems, Beijing, China (and 1 more)
- Peng Wang 0056 — Nanjing Institute of Technology, Institute of Art and Design, China
- Peng Wang 0057 — Civil Aviation University of China, Tianjin Key Laboratory for Advanced Signal Processing, China
- Peng Wang 0058 — Nanjing University, Medical School, Drum Tower Hospital, China
- Peng Wang 0059 — Suzhou University of Science and Technology, School of Environmental Science and Engineering, China (and 1 more)
- Peng Wang 0060 — Harbin University of Science and Technology, School of Mechanical and Power Engineering, China
- Peng Wang 0061 — East China Jiaotong University, Nanchang, China
- Peng Wang 0062 — Beijing University of Posts and Telecommunications, School of Information and Communication Engineering, MOE Key Laboratory of Universal Wireless Communication, China
- Peng Wang 0063 — Shaanxi Normal University, College of Food Engineering and Nutritional Science, Xi'an, China (and 1 more)
- Peng Wang 0064 — Fudan University, Department of Macromolecular Science, Collaborative Innovation Center of Polymers and Polymer Composites, Shanghai, China
- Peng Wang 0065 — Beihang University, School of Automation Science and Electrical Engineering, Beijing, China
- Peng Wang 0066 — Chang Guang Satellite Technology Company Ltd., Changchun, China
- Peng Wang 0067 — Hebei University of Technology, State Key Laboratory of Reliability and Intelligence of Electrical Equipment, Tianjin, China
- Peng Wang 0068 — Beijing University of Posts and Telecommunications, State Key Laboratory of Information Photonics and Optical Communications, China
- Peng Wang 0069 — Xidian University, School of Electronic Engineering, Xi'an, China
- Peng Wang 0070 — Huawei Technologies, Theory Lab, 2012 Labs, Hong Kong
- Peng Wang 0071 — Beijing University of Posts and Telecommunications, Institute of Network Technology, State Key Laboratory of Networking and Switching Technology, Beijing, China
- Peng Wang 0072 — China University of Petroleum, School of Petroleum Engineering, Qingdao, China
- Peng Wang 0073 — Huazhong University of Science and Technology, School of Mechanical Science and Engineering, State Key Laboratory of Digital Manufacturing Equipment and Technology, Wuhan, China
- Peng Wang 0074 — Army Engineering University of PLA, Shijiazhuang, China
- Peng Wang 0075 — Nanjing Universtiy of Information Science and Technology, China
- Peng Wang 0076 — Manchester Metropolitan University, Department of Computing and Mathematics, United Kingdom (and 2 more)
- Peng Wang 0077 — Beijing Institute of Petrochemical Technology, School of Mechanical Engineering, Beijing Key Laboratory of Pipeline Critical Technology and Equipment for Deepwater Oil & Gas Development, Beijing, China (and 1 more)
- Peng Wang 0078 — Nanyang Technological University, Singapore (and 2 more)
- Peng Wang 0079 — Chinese Academy of Sciences, Institute of Automation, Beijing, China
- Peng Wang 0080 — Shandong Normal University, School of Psychology, Jinan, China
- Peng Wang 0081 — US Army Research Laboratory, Aberdeen Proving Ground, MD, USA
- Peng Wang 0082 — Harbin Medical University, College of Bioinformatics Science and Technology, Harbin, China
- Peng Wang 0083 — Northwestern Polytechnical University, Cyber-Physical Interaction Laboratory, Key Laboratory of Contemporary Designing and Integrated Manufacturing Technology, Xi'an, China
- Peng Wang 0084 — Beihang University, Image Processing Center, Beijing, China
- Peng Wang 0085 — University of California, Department of Computer Science and Engineering, Riverside, CA, USA
- Peng Wang 0086 — Tianjin University, State Key Laboratory of Precision Measuring Technology and Instruments, Tianjin, China (and 1 more)
- Peng Wang 0087 — KTH Royal Institute of Technology, School of Electrical Engineering and Computer Science, Stockholm, Sweden (and 1 more)
- Peng Wang 0088 — Indiana University, Bloomington, IN, USA
- Peng Wang 0089 — Northeast Agricultural University, Harbin, China (and 1 more)
- Peng Wang 0090 — Chinese Academy of Sciences, Shenyang Institute of Automation, Key Laboratory of Networked Control Systems, Shenyang, China (and 1 more)
- Peng Wang 0091 — ARM, Cambridge, UK (and 1 more)
- Peng Wang 0092 — Fudan University, State Key Laboratory of ASICs and Systems, Shanghai, China (and 1 more)
- Peng Wang 0093 — Georgia Institute of Technology, School of Electrical and Computer Engineering, Atlanta, GA, USA
- Peng Wang 0094 — Changshu Institute of Technology, School of Physical and Electronic Engineering, Changshu, China (and 1 more)
- Peng Wang 0095 — Lenovo Research, AI Lab, Beijing, China
- Peng Wang 0096 — Tsinghua University, Department of Electronic Engineering, Tsinghua National Laboratory for Information Science and Technology, State Key Laboratory on Microwave and Digital Communications, Beijing, China
- Peng Wang 0097 — RWTH Aachen University, Institute for Theoretical Information Technology, Aachen, Germany
- Peng Wang 0098 — Chinese University of Hong Kong, Department of Systems Engineering and Engineering Management, Hong Kong
- Peng Wang 0099 — University of Hong Kong, Department of Computer Science, Hong Kong
- Peng Wang 0100 — Zhejiang University, College of Computer Science, Hangzhou, China
- Peng Wang 0101 — Chinese Academy of Sciences, Institute of Computing Technology, Beijing, China (and 1 more)
- Peng Wang 0102 — Victoria University of Wellington, School of Engineering and Computer Science, New Zealand (and 1 more)
- Peng Wang 0103 — Alibaba Group, DAMO Academy, Beijing, China
- Peng Wang 0104 — Zhejiang University, Hangzhou, China
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2020
[c4]Clément Pit-Claudel, Peng Wang, Benjamin Delaware, Jason Gross, Adam Chlipala:
Extensible Extraction of Efficient Imperative Programs with Foreign Functions, Manually Managed Memory, and Proofs. IJCAR (2) 2020: 119-137
2010 – 2019
- 2019
- [b1]Peng Wang:
Type system for resource bounds with type-preserving compilation. Massachusetts Institute of Technology, Cambridge, USA, 2019 - 2017
- [j2]Jonathan Protzenko, Jean Karim Zinzindohoué, Aseem Rastogi, Tahina Ramananandro, Peng Wang, Santiago Zanella Béguelin, Antoine Delignat-Lavaud, Catalin Hritcu, Karthikeyan Bhargavan, Cédric Fournet, Nikhil Swamy:
Verified low-level programming embedded in F. Proc. ACM Program. Lang. 1(ICFP): 17:1-17:29 (2017) - [j1]Peng Wang, Di Wang, Adam Chlipala:
TiML: a functional language for practical complexity analysis with invariants. Proc. ACM Program. Lang. 1(OOPSLA): 79:1-79:26 (2017) - [c3]Karthikeyan Bhargavan, Barry Bond, Antoine Delignat-Lavaud, Cédric Fournet, Chris Hawblitzel, Catalin Hritcu, Samin Ishtiaq, Markulf Kohlweiss, K. Rustan M. Leino, Jay R. Lorch, Kenji Maillard, Jianyang Pan, Bryan Parno, Jonathan Protzenko, Tahina Ramananandro, Ashay Rane, Aseem Rastogi, Nikhil Swamy, Laure Thompson, Peng Wang, Santiago Zanella Béguelin, Jean Karim Zinzindohoue:
Everest: Towards a Verified, Drop-in Replacement of HTTPS. SNAPL 2017: 1:1-1:12 - [c2]Adam Chlipala, Benjamin Delaware, Samuel Duchovni, Jason Gross, Clément Pit-Claudel, Sorawit Suriyakarn, Peng Wang, Katherine Ye:
The End of History? Using a Proof Assistant to Replace Language Design with Library Design. SNAPL 2017: 3:1-3:15 - [i1]Jonathan Protzenko, Jean Karim Zinzindohoué, Aseem Rastogi, Tahina Ramananandro, Peng Wang, Santiago Zanella Béguelin, Antoine Delignat-Lavaud, Catalin Hritcu, Karthikeyan Bhargavan, Cédric Fournet, Nikhil Swamy:
Verified Low-Level Programming Embedded in F*. CoRR abs/1703.00053 (2017) - 2014
- [c1]Peng Wang, Santiago Cuellar, Adam Chlipala:
Compiler verification meets cross-language linking via data abstraction. OOPSLA 2014: 675-690
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-04-22 22:41 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
