Guodong Li from Helendale, CA, age 69

Us Patents

Intensified Neutral Loss Tags And Use Thereof In Mass Spectrometry
view source
US Patent:

7947511, May 24, 2011
Filed:

Jun 5, 2009
Appl. No.:

12/479283
Inventors:

Poguang Wang - Westborough MA, US
Guodong Li - Malden MA, US
Jianxin Gao - Dorchester MA, US
Roger W. Giese - Quincy MA, US
Xin Zhang - Brookline MA, US
Assignee:

Northeastern University - Boston MA
International Classification:

C07D 207/40
G01N 33/48
B01D 59/44
US Classification:

436173, 548545, 436 86, 436 87, 436 94, 436 96
Abstract:

Ultrasensitive detection of a chemical substance (analyte) by mass spectrometry is achieved by employing a molecular tag that yields an intense parent ion and then an intense daughter ion in a multi-stage mass spectrometer.

Non-Signal Imidazole Reagents For Mass Spectrometry Analysis Of Phosphomonoesters
view source
US Patent:

8003395, Aug 23, 2011
Filed:

Jun 21, 2006
Appl. No.:

11/922732
Inventors:

Poguang Wang - Westborough MA, US
Guodong Li - Malden MA, US
Roger W. Giese - Quincy MA, US
Assignee:

Trace Bio Analytics, LLC - Boston MA
International Classification:

G01N 33/00
US Classification:

436 86, 435 6, 436518
Abstract:

Analytical chemical reagents termed non-signal imidazoles and a method for their use that provide a host of advantages for analysis of phosphomonoesters are described. The method and compounds of the invention provide a host of advantages for the analysis of phosphomonoester-containing compounds, namely characteristic, multi-analyte detection with high sensitivity and specificity of known and unknown phosphomonoester-compounds simultaneously.

Symbolic Execution And Test Generation For Gpu Programs
view source
US Patent:

8595701, Nov 26, 2013
Filed:

Feb 4, 2011
Appl. No.:

13/021604
Inventors:

Guodong Li - San Jose CA, US
Sreeranga P. Rajan - Sunnyvale CA, US
Indradeep Ghosh - Cupertino CA, US
Assignee:

Fujitsu Limited - Kawasaki-shi
International Classification:

G06F 9/44
US Classification:

717124, 717118, 717126, 717127
Abstract:

In particular embodiments, a method includes accessing bytecode generated by a compiler from a software program for execution by a particular processing unit; accessing configuration information describing one or more aspects of the particular processing unit; symbolically executing the bytecode with the configuration information; and, based on the symbolic execution, generating one or more results conveying a functional correctness of the software program with respect to the particular processing unit for communication to a user and generating one or more test cases for the software program for communication to a user.

Lossless Path Reduction For Efficient Symbolic Execution And Automatic Test Generation
view source
US Patent:

8645924, Feb 4, 2014
Filed:

Jun 6, 2011
Appl. No.:

13/154274
Inventors:

Guodong Li - San Jose CA, US
Sreeranga P. Rajan - Sunnyvale CA, US
Indradeep Ghosh - Cupertino CA, US
Assignee:

Fujitsu Limited - Kawasaki-shi
International Classification:

G06F 9/44
US Classification:

717132, 717124, 717131, 717133, 717151, 717154, 717155, 717156
Abstract:

In one embodiment, symbolically executing a software module having a number of execution paths; and losslessly reducing the number of execution paths during the symbolic execution of the software module.

Intensified Neutral Loss Tags And Use Thereof In Mass Spectrometry
view source
US Patent:

20040157344, Aug 12, 2004
Filed:

Dec 19, 2003
Appl. No.:

10/741585
Inventors:

Poguang Wang - Westborough MA, US
Guodong Li - Malden MA, US
Jianxin Gao - Dorchester MA, US
Roger Giese - Quincy MA, US
International Classification:

G01N033/543
C07K014/47
C07F007/04
C07F009/02
US Classification:

436/518000, 530/409000, 556/404000, 556/415000, 564/282000, 530/352000, 568/009000
Abstract:

Ultrasensitive detection of a chemical substance (analyte) by mass spectrometry is achieved by employing a molecular tag that yields an intense parent ion and then an intense daughter ion in a multi-stage mass spectrometer.

Non-Signal Imidazole Reagents For Mass Spectrometry Analysis Of Phosphomonoesters
view source
US Patent:

20110269968, Nov 3, 2011
Filed:

Jul 15, 2011
Appl. No.:

13/184012
Inventors:

Poguang Wang - Westborough MA, US
Guodong Li - Malden MA, US
Roger W. Geise - Quincy MA, US
Assignee:

Trace Bio Analytics, Inc. - Boston MA
International Classification:

C07F 9/6506
C07D 233/61
US Classification:

548111, 5483381
Abstract:

Analytical chemical reagents termed non-signal imidazoles and a method for their use that provide a host of advantages for analysis of phosphomonoesters are described. The method and compounds of the invention provide a host of advantages for the analysis of phosphomonoester-containing compounds, namely characteristic, multi-analyte detection with high sensitivity and specificity of known and unknown phosphomonoester-containing compounds simultaneously.

Software Architecture For Validating C++ Programs Using Symbolic Execution
view source
US Patent:

20120192150, Jul 26, 2012
Filed:

Jan 20, 2011
Appl. No.:

13/010714
Inventors:

Guodong LI - San Jose CA, US
Sreeranga P. RAJAN - Sunnyvale CA, US
Indradeep GHOSH - Cupertino CA, US
Assignee:

FUJITSU LIMITED - Kanagawa
International Classification:

G06F 9/44
US Classification:

717118
Abstract:

Particular embodiment compile a C++ program having one or more input variables to obtain bytecode of the C++ program; compile a C++ library to obtain bytecode of the C++ library; symbolically execute the bytecode of the C++ program and the bytecode of the C++ library, comprising assign a symbolic input to each input variable of the C++ program; determine one or more execution paths in the C++ program; and for each execution path, construct a symbolic expression that if satisfied, causes the C++ program to proceed down the execution path; and generate one or more test cases for the C++ program by solving the symbolic expressions.

Optimizing Handlers For Application-Specific Operations For Validating C++ Programs Using Symbolic Execution
view source
US Patent:

20120192162, Jul 26, 2012
Filed:

Jan 20, 2011
Appl. No.:

13/010736
Inventors:

Guodong Li - San Jose CA, US
Sreeranga P. Rajan - Sunnyvale CA, US
Indradeep Ghosh - Cupertino CA, US
Assignee:

FUJITSU LIMITED - Kanagawa
International Classification:

G06F 9/45
US Classification:

717141, 717146
Abstract:

Particular embodiments discover a relationship between a plurality of methods of a C++ object; define one or more rules to represent the relationship; verify the rules by symbolically executing the methods; and if the rules are verified, then use the rules when symbolically executing the methods so that bytecode of the methods is not executed.

Guodong Li

view source

Specialties:

Pain Management

Work:

Conservative Care
6815 Noble Ave STE 105, Van Nuys, CA 91405
8187816684 (phone), 8187814457 (fax)

Education:

Medical School
Qingdao Med Coll, Qingdao City, Shandong, China
Graduated: 1996

Languages:

English
Spanish

Description:

Dr. Li graduated from the Qingdao Med Coll, Qingdao City, Shandong, China in 1996. He works in Van Nuys, CA and specializes in Pain Management. Dr. Li is affiliated with Olympia Medical Center and Valley Presbyterian Hospital.