Search results for "Xinyu Feng"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
1	Zipeng Zhang, Xinyu Feng, Ming Fu, Zhong Shao, Yong Li	A Structural Approach to Prophecy Variables.	TAMC	2012	DBLP DOI BibTeX RDF
1	Hongjin Liang, Xinyu Feng, Ming Fu	A rely-guarantee-based simulation for verifying concurrent program transformations.	POPL	2012	DBLP DOI BibTeX RDF
1	Gang Tan, Zhong Shao, Xinyu Feng, Hongxu Cai	Weak Updates and Separation Logic.	New Generation Comput.	2011	DBLP DOI BibTeX RDF
1	Ming Fu, Yong Li, Xinyu Feng, Zhong Shao, Yu Zhang	Reasoning about Optimistic Concurrency Using a Program Logic for History.	CONCUR	2010	DBLP DOI BibTeX RDF
1	Rodrigo Ferreira, Xinyu Feng, Zhong Shao	Parameterized Memory Models and Concurrent Separation Logic.	ESOP	2010	DBLP DOI BibTeX RDF
1	Xinyu Feng, Zhong Shao, Yu Guo, Yuan Dong	Certifying Low-Level Programs with Hardware Interrupts and Preemptive Threads.	J. Autom. Reasoning	2009	DBLP DOI BibTeX RDF	Operating system verification, Hardware interrupts, Preemptive threads, Thread libraries, Modularity, Separation logic, Synchronization primitives
1	Xinyu Feng	Local rely-guarantee reasoning.	POPL	2009	DBLP DOI BibTeX RDF	rely-guarantee reasoning, concurrency, information hiding, separation logic, local reasoning
1	Gang Tan, Zhong Shao, Xinyu Feng, Hongxu Cai	Weak updates and separation logic.	APLAS	2009	DBLP DOI BibTeX RDF
1	Mike Dodds, Xinyu Feng, Matthew J. Parkinson, Viktor Vafeiadis	Deny-Guarantee Reasoning.	ESOP	2009	DBLP DOI BibTeX RDF
1	Xinyu Feng, Zhong Shao, Yuan Dong, Yu Guo	Certifying low-level programs with hardware interrupts and preemptive threads.	PLDI	2008	DBLP DOI BibTeX RDF	certified system software, hardware interrupts, preemptive threads, concurrency, separation logic
1	Xinyu Feng, Zhong Shao, Yu Guo, Yuan Dong	Combining Domain-Specific and Foundational Logics to Verify Complete Software Systems.	VSTTE	2008	DBLP DOI BibTeX RDF
1	Xinyu Feng, Zhaozhong Ni, Zhong Shao, Yu Guo	An open framework for foundational proof-carrying code.	TLDI	2007	DBLP DOI BibTeX RDF	foundational proof-carrying code, open framework, interoperability, modularity, program verification
1	Xinyu Feng, Rodrigo Ferreira, Zhong Shao	On the Relationship Between Concurrent Separation Logic and Assume-Guarantee Reasoning.	ESOP	2007	DBLP DOI BibTeX RDF
1	Xinyu Feng, Zhong Shao, Alexander Vaynberg, Sen Xiang, Zhaozhong Ni	Modular verification of assembly code with stack-based control abstractions.	PLDI	2006	DBLP DOI BibTeX RDF	assembly code verification, control abstractions, stack-based, modularity, proof-carrying code
1	Xinyu Feng, Zhong Shao	Modular verification of concurrent assembly code with dynamic thread creation and termination.	ICFP	2005	DBLP DOI BibTeX RDF	concurrency verification, dynamic thread creation, proof-carrying code, rely-guarantee
1	Jiannong Cao, Xinyu Feng, Jian Lu, Henry C. B. Chan, Sajal K. Das	Reliable message delivery for mobile agents: push or pull?	IEEE Transactions on Systems, Man, and Cybernetics, Part A	2004	DBLP DOI BibTeX RDF
1	Jiannong Cao, Liang Zhang, Xinyu Feng, Sajal K. Das	Path Pruning in Mailbox-based Mobile Agent Communications.	J. Inf. Sci. Eng.	2004	DBLP BibTeX RDF
1	Jiannong Cao, Liang Zhang, Xinyu Feng, Sajal K. Das	Path Compression in Forwarding-Based Reliable Mobile Agent Communications.	ICPP	2003	DBLP DOI BibTeX RDF
1	Jiannong Cao, Xinyu Feng, Jian Lu, Sajal K. Das	Mailbox-Based Scheme for Designing Mobile Agent Communication Protocols.	IEEE Computer	2002	DBLP DOI BibTeX RDF
1	Jiannong Cao, Xinyu Feng, Jian Lü, Henry C. B. Chan, Sajal K. Das	Reliable Message Delivery for Mobile Agents: Push or Pull.	ICPADS	2002	DBLP DOI BibTeX RDF
1	Jiannong Cao, Xinyu Feng, Jian Lü, Sajal K. Das	Design of Adaptive and Reliable Mobile Agent Communication Protocols. (PDF / PS)	ICDCS	2002	DBLP DOI BibTeX RDF
1	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	DBLP DOI BibTeX RDF

Publications of "Xinyu Feng" ( http://dblp.L3S.de/Authors/Xinyu_Feng )