loadpatents
Patent applications and USPTO patent grants for Liu; Xuezheng.The latest application filed is for "automatic program partition for targeted replay".
Patent | Date |
---|---|
System and method for non-deterministically providing denominated virtual currencies in a virtual space Grant 10,203,846 - Geng , et al. Feb | 2019-02-12 |
Automatic Program Partition For Targeted Replay App 20120131559 - Wu; Ming ;   et al. | 2012-05-24 |
Analysis and detection of soft hang responsiveness program errors Grant 8,166,464 - Lin , et al. April 24, 2 | 2012-04-24 |
Predicate checking for distributed systems Grant 8,121,824 - Liu , et al. February 21, 2 | 2012-02-21 |
Collection-based object replication Grant 8,117,155 - Chen , et al. February 14, 2 | 2012-02-14 |
Predicate Checking for Distributed Systems App 20110178788 - Liu; Xuezheng ;   et al. | 2011-07-21 |
Distributed system checker Grant 7,984,332 - Yang , et al. July 19, 2 | 2011-07-19 |
Predicate checking for distributed systems Grant 7,933,759 - Liu , et al. April 26, 2 | 2011-04-26 |
Replaying distributed systems Grant 7,925,487 - Lin , et al. April 12, 2 | 2011-04-12 |
Online predicate checking for distributed systems Grant 7,747,742 - Liu , et al. June 29, 2 | 2010-06-29 |
Distributed System Checker App 20100125758 - Yang; Junfeng ;   et al. | 2010-05-20 |
Strong routing consistency protocol in structured peer-to-peer overlays Grant 7,673,069 - Chen , et al. March 2, 2 | 2010-03-02 |
Online Predicate Checking For Distributed Systems App 20090327458 - Liu; Xuezheng ;   et al. | 2009-12-31 |
Annotation-aided Code Generation In Library-based Replay App 20090327995 - Guo; Zhenyu ;   et al. | 2009-12-31 |
Analysis and Detection of Responsiveness Bugs App 20090328002 - Lin; Haoxiang ;   et al. | 2009-12-31 |
Space Separation For A Library Based Record And Replay Tool App 20090328079 - Guo; Zhenyu ;   et al. | 2009-12-31 |
Predicate Checking for Distributed Systems App 20090248381 - Liu; Xuezheng ;   et al. | 2009-10-01 |
Replaying Distributed Systems App 20090006064 - Lin; Wei ;   et al. | 2009-01-01 |
Collection-Based Object Replication App 20080005199 - Chen; Wei ;   et al. | 2008-01-03 |
Strong routing consistency protocol in structured peer-to-peer overlays App 20070204061 - Chen; Wei ;   et al. | 2007-08-30 |
uspto.report is an independent third-party trademark research tool that is not affiliated, endorsed, or sponsored by the United States Patent and Trademark Office (USPTO) or any other governmental organization. The information provided by uspto.report is based on publicly available data at the time of writing and is intended for informational purposes only.
While we strive to provide accurate and up-to-date information, we do not guarantee the accuracy, completeness, reliability, or suitability of the information displayed on this site. The use of this site is at your own risk. Any reliance you place on such information is therefore strictly at your own risk.
All official trademark data, including owner information, should be verified by visiting the official USPTO website at www.uspto.gov. This site is not intended to replace professional legal advice and should not be used as a substitute for consulting with a legal professional who is knowledgeable about trademark law.