![](https://dblp.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
default search action
Xinyu Feng 0001
Person information
- unicode name: 冯新宇
- affiliation: Nanjing University, Department of Computer Science and Technology, China
- affiliation (former): University of Science and Technology of China (USTC), Hefei, China
- affiliation (former): Toyota Technological Institute at Chicago, IL, USA
- affiliation (former, PhD 2007): Yale University, Department of Computer Science, New Haven, CT, USA
Other persons with the same name
- Xinyu Feng (aka: Xin-Yu Feng) — disambiguation page
- Xinyu Feng 0002 — Peking University, School of Software and Microelectronics, Beijing, China
Refine list
![note](https://dblp.uni-trier.de/img/note-mark.dark.12x12.png)
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
Journal Articles
- 2024
- [j16]Zhao-Hui Li, Xin-Yu Feng:
A program logic for obstruction-freedom. Frontiers Comput. Sci. 18(6): 186208 (2024) - 2021
- [j15]Zhao-Hui Li, Xin-Yu Feng:
Verifying Contextual Refinement with Ownership Transfer. J. Comput. Sci. Technol. 36(6): 1342-1366 (2021) - [j14]Jiawei Wang, Cheng Li, Kai Ma
, Jingze Huo, Feng Yan, Xinyu Feng, Yinlong Xu:
AutoGR: Automated Geo-Replication with Fast System Performance and Preserved Application Semantics. Proc. VLDB Endow. 14(9): 1517-1530 (2021) - 2020
- [j13]Hongjin Liang, Xinyu Feng:
Progress of Concurrent Objects. Found. Trends Program. Lang. 5(4): 282-414 (2020) - [j12]Junpeng Zha, Xin-Yu Feng, Lei Qiao:
Modular Verification of SPARCv8 Code. J. Comput. Sci. Technol. 35(6): 1382-1405 (2020) - [j11]Jiawei Wang, Ming Fu, Lei Qiao, Xinyu Feng:
Formalizing SPARCv8 instruction set architecture in Coq. Sci. Comput. Program. 187: 102371 (2020) - 2019
- [j10]Zipeng Zhang, Ming Fu, Xin-Yu Feng:
A Lightweight Dynamic Enforcement of Privacy Protection for Android. J. Comput. Sci. Technol. 34(4): 901-923 (2019) - 2018
- [j9]Hongjin Liang, Xinyu Feng:
Progress of concurrent objects with partial methods. Proc. ACM Program. Lang. 2(POPL): 20:1-20:31 (2018) - 2016
- [j8]Yang Zhang, Xinyu Feng:
An operational happens-before memory model. Frontiers Comput. Sci. 10(1): 54-81 (2016) - 2014
- [j7]Xiaoxiao Yang, Yu Zhang, Ming Fu, Xinyu Feng:
A temporal programming model with atomic blocks based on projection temporal logic. Frontiers Comput. Sci. 8(6): 958-976 (2014) - [j6]Hongjin Liang, Xinyu Feng, Ming Fu:
Rely-Guarantee-Based Simulation for Compositional Verification of Concurrent Program Transformations. ACM Trans. Program. Lang. Syst. 36(1): 3:1-3:55 (2014) - 2011
- [j5]Gang Tan
, Zhong Shao
, Xinyu Feng, Hongxu Cai:
Weak Updates and Separation Logic. New Gener. Comput. 29(1): 3-29 (2011) - 2009
- [j4]Xinyu Feng, Zhong Shao
, Yu Guo, Yuan Dong:
Certifying Low-Level Programs with Hardware Interrupts and Preemptive Threads. J. Autom. Reason. 42(2-4): 301-347 (2009) - 2004
- [j3]Jiannong Cao, Liang Zhang, Xinyu Feng, Sajal K. Das:
Path Pruning in Mailbox-based Mobile Agent Communications. J. Inf. Sci. Eng. 20(3): 405-424 (2004) - [j2]Jiannong Cao
, Xinyu Feng, Jian Lu, Henry C. B. Chan
, Sajal K. Das
:
Reliable message delivery for mobile agents: push or pull? IEEE Trans. Syst. Man Cybern. Part A 34(5): 577-587 (2004) - 2002
- [j1]Jiannong Cao
, Xinyu Feng, Jian Lu, Sajal K. Das
:
Mailbox-Based Scheme for Designing Mobile Agent Communication Protocols. Computer 35(9): 54-60 (2002)
Conference and Workshop Papers
- 2022
- [c37]Junpeng Zha, Hongjin Liang, Xinyu Feng:
Verifying optimizations of concurrent programs in the promising semantics. PLDI 2022: 903-917 - 2021
- [c36]Hongjin Liang, Xinyu Feng:
Abstraction for conflict-free replicated data types. PLDI 2021: 636-650 - 2019
- [c35]Hanru Jiang
, Hongjin Liang, Siyang Xiao, Junpeng Zha, Xinyu Feng:
Towards certified separate compilation for concurrent programs. PLDI 2019: 111-125 - 2018
- [c34]Junpeng Zha, Xinyu Feng, Lei Qiao:
Modular Verification of SPARCv8 Code. APLAS 2018: 245-263 - [c33]Siyang Xiao, Hanru Jiang
, Hongjin Liang, Xinyu Feng:
Non-preemptive Semantics for Data-Race-Free Programs. ICTAC 2018: 513-531 - [c32]Chunhui He, Xinyu Feng:
POMP: Protocol Oblivious SDN Programming with Automatic Multi-Table Pipelining. INFOCOM 2018: 998-1006 - 2017
- [c31]Xinyu Feng:
Mechanized verification of preemptive OS kernels (invited talk). CPP 2017: 2 - [c30]Zipeng Zhang, Xinyu Feng:
AndroidLeaker: A Hybrid Checker for Collusive Leak in Android Applications. SETTA 2017: 164-180 - [c29]Jiawei Wang, Ming Fu, Lei Qiao, Xinyu Feng:
Formalizing SPARCv8 Instruction Set Architecture in Coq. SETTA 2017: 300-316 - 2016
- [c28]Fengwei Xu, Ming Fu, Xinyu Feng, Xiaoran Zhang, Hui Zhang, Zhaohui Li:
A Practical Verification Framework for Preemptive OS Kernels. CAV (2) 2016: 59-79 - [c27]Hongjin Liang, Xinyu Feng:
A program logic for concurrent objects under fair scheduling. POPL 2016: 385-399 - 2015
- [c26]Jingyuan Cao, Ming Fu, Xinyu Feng:
Practical Tactics for Verifying C Programs in Coq. CPP 2015: 97-108 - [c25]Ximeng Li, Flemming Nielson
, Hanne Riis Nielson
, Xinyu Feng:
Disjunctive Information Flow for Communicating Processes. TGC 2015: 95-111 - 2014
- [c24]Hongjin Liang, Xinyu Feng, Zhong Shao
:
Compositional verification of termination-preserving refinement of concurrent programs. CSL-LICS 2014: 65:1-65:10 - 2013
- [c23]Hongjin Liang, Jan Hoffmann, Xinyu Feng, Zhong Shao
:
Characterizing Progress Properties of Concurrent Objects via Contextual Refinements. CONCUR 2013: 227-241 - [c22]Hongjin Liang, Xinyu Feng:
Modular verification of linearizability with non-fixed linearization points. PLDI 2013: 459-470 - [c21]Yang Zhang, Xinyu Feng:
An Operational Approach to Happens-Before Memory Model. TASE 2013: 121-128 - 2012
- [c20]Yu Guo, Xinyu Feng, Zhong Shao
, Peizhi Shi
:
Modular Verification of Concurrent Thread Management. APLAS 2012: 315-331 - [c19]Xiaoxiao Yang, Yu Zhang, Ming Fu, Xinyu Feng:
A Concurrent Temporal Programming Model with Atomic Blocks. ICFEM 2012: 22-37 - [c18]Hongjin Liang, Xinyu Feng, Ming Fu:
A rely-guarantee-based simulation for verifying concurrent program transformations. POPL 2012: 455-468 - [c17]Zipeng Zhang, Xinyu Feng, Ming Fu, Zhong Shao
, Yong Li:
A Structural Approach to Prophecy Variables. TAMC 2012: 61-71 - 2010
- [c16]Ming Fu, Yong Li, Xinyu Feng, Zhong Shao
, Yu Zhang:
Reasoning about Optimistic Concurrency Using a Program Logic for History. CONCUR 2010: 388-402 - [c15]Rodrigo Ferreira, Xinyu Feng, Zhong Shao
:
Parameterized Memory Models and Concurrent Separation Logic. ESOP 2010: 267-286 - 2009
- [c14]Gang Tan
, Zhong Shao
, Xinyu Feng, Hongxu Cai:
Weak updates and separation logic. APLAS 2009: 178-193 - [c13]Mike Dodds, Xinyu Feng, Matthew J. Parkinson, Viktor Vafeiadis
:
Deny-Guarantee Reasoning. ESOP 2009: 363-377 - [c12]Xinyu Feng:
Local rely-guarantee reasoning. POPL 2009: 315-327 - 2008
- [c11]Xinyu Feng, Zhong Shao
, Yuan Dong, Yu Guo:
Certifying low-level programs with hardware interrupts and preemptive threads. PLDI 2008: 170-182 - [c10]Xinyu Feng, Zhong Shao
, Yu Guo, Yuan Dong:
Combining Domain-Specific and Foundational Logics to Verify Complete Software Systems. VSTTE 2008: 54-69 - 2007
- [c9]Xinyu Feng, Rodrigo Ferreira, Zhong Shao
:
On the Relationship Between Concurrent Separation Logic and Assume-Guarantee Reasoning. ESOP 2007: 173-188 - [c8]Xinyu Feng, Zhaozhong Ni, Zhong Shao
, Yu Guo:
An open framework for foundational proof-carrying code. TLDI 2007: 67-78 - 2006
- [c7]Xinyu Feng, Zhong Shao
, Alexander Vaynberg, Sen Xiang, Zhaozhong Ni:
Modular verification of assembly code with stack-based control abstractions. PLDI 2006: 401-414 - 2005
- [c6]Xinyu Feng, Zhong Shao
:
Modular verification of concurrent assembly code with dynamic thread creation and termination. ICFP 2005: 254-267 - 2003
- [c5]Jiannong Cao, Liang Zhang, Xinyu Feng, Sajal K. Das:
Adaptive and reliable message delivery for mobile objects. GLOBECOM 2003: 3196-3200 - [c4]Jiannong Cao
, Liang Zhang, Xinyu Feng, Sajal K. Das
:
Path Compression in Forwarding-Based Reliable Mobile Agent Communications. ICPP 2003: 313-320 - 2002
- [c3]Jiannong Cao, Xinyu Feng, Jian Lu, Sajal K. Das:
Design of Adaptive and Reliable Mobile Agent Communication Protocols. ICDCS 2002: 471-472 - [c2]Jiannong Cao
, Xinyu Feng, Jian Lu, Henry C. B. Chan
, Sajal K. Das
:
Reliable Message Delivery for Mobile Agents: Push or Pull. ICPADS 2002: 314-320 - 2001
- [c1]Xinyu Feng, Jiannong Cao, Jian Lü, Henry C. B. Chan:
An Efficient Mailbox-Based Algorithm for Message Delivery in Mobile Agent Systems. Mobile Agents 2001: 135-151
Parts in Books or Collections
- 2012
- [p1]Jian Lu, Xinyu Feng:
Mobile Agent Communications. Mobile Agents in Networking and Distributed Computing 2012: 17-40
Editorship
- 2018
- [e2]Xinyu Feng, Markus Müller-Olm, Zijiang Yang:
Dependable Software Engineering. Theories, Tools, and Applications - 4th International Symposium, SETTA 2018, Beijing, China, September 4-6, 2018, Proceedings. Lecture Notes in Computer Science 10998, Springer 2018, ISBN 978-3-319-99932-6 [contents] - 2015
- [e1]Xinyu Feng, Sungwoo Park:
Programming Languages and Systems - 13th Asian Symposium, APLAS 2015, Pohang, South Korea, November 30 - December 2, 2015, Proceedings. Lecture Notes in Computer Science 9458, Springer 2015, ISBN 978-3-319-26528-5 [contents]
Coauthor Index
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)
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-06-10 23:53 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint