Yu Yang

US Patent:

8185875, May 22, 2012

Filed:

Dec 12, 2007

Appl. No.:

11/954869

Inventors:

Vineet Kahlon - Princeton NJ, US
Yu Yang - Salt Lake City UT, US
Sriram Sankaranarayanan - Plainsboro NJ, US
Aarti Gupta - Princeton NJ, US

Assignee:

NEC Laboratories America, Inc. - Princeton NJ

International Classification:

G06F 9/44

US Classification:

717126

Abstract:

A system and method for race warning generation for computer program verification includes determining shared variables and determining context-sensitive points-to sets for lock pointers by focusing on pointers that may affect aliases of lock pointers, and by leveraging function summarization. Locksets are determined at locations where shared variables are accessed using the points-to sets for lock pointers. Warnings are based on disjointness of locksets.

US Patent:

8299123, Oct 30, 2012

Filed:

Oct 14, 2008

Appl. No.:

12/738087

Inventors:

Kaka Dey - Latham NY, US
Donghong Amy Gao - Hopewell Junction NY, US
Daniel R. Goldberg - Redding CT, US
John Edward Mangette - Clifton Park NY, US
Ingo Andreas Mugge - New Haven CT, US
Roger John Snow - Danbury CT, US
Alan David Swinamer - Southbury CT, US
Jiang-Ping Wu - Danbury CT, US
Zhaoming Xiong - Brookfield CT, US
Yu Yang - Danbury CT, US

Assignee:

Boehringer Ingelheim International GmbH - Ingelheim am Rhein

International Classification:

A61K 31/195
C07C 229/00

US Classification:

514563, 562451, 562435

Abstract:

The invention relates to a compound of formula (I):.

US Patent:

8359578, Jan 22, 2013

Filed:

Oct 1, 2009

Appl. No.:

12/571476

Inventors:

Chao Wang - Plainsboro NJ, US
Aarti Gupta - Princeton NJ, US
Swarat Chaudhuri - Unversity Park PA, US
Yu Yang - Salt Lake City UT, US

Assignee:

NEC Laboratories America, Inc. - Princeton NJ

International Classification:

G06F 9/44

US Classification:

717126, 717128

Abstract:

A computer implemented method for the verification of concurrent software programs wherein the concurrent software program is partitioned into subsets named concurrent trace programs (CTPs) and each of the CTPs is evaluated using a satisfiability-based (SAT) symbolic analysis. By applying the SAT analysis to individual CTPs in isolation the symbolic analysis is advantageously more scalable and efficient.

US Patent:

20110275612, Nov 10, 2011

Filed:

May 14, 2009

Appl. No.:

12/992766

Inventors:

Derek Cogan - Sandy Hook CT, US
Wang Mao - Milford CT, US
Craig Andrew Miller - Norwalk CT, US
Philip Dean Ramsden - Woodbury CT, US
Lana Louise Smith Keenan - Poughquag NY, US
Roger John Snow - Danbury CT, US
Jiang-Ping Wu - Danbury CT, US
Yu Yang - Clark NJ, US

Assignee:

BOEHRINGER INGELHEIM INTERNATIONAL GMBH - Ingelheim am Rhein

International Classification:

A61K 31/445
C07D 217/18
C07D 401/06
C07D 403/06
C07D 513/04
C07D 405/06
C07C 311/19
C07D 413/06
C07D 487/04
C07D 417/06
A61K 31/472
A61K 31/4545
A61K 31/454
A61K 31/4525
A61K 31/18
C07D 217/24
A61K 31/55
A61K 31/553
A61K 31/5513
A61K 31/4985
A61P 17/06
A61P 17/00
A61P 19/04
A61P 11/06
C07D 211/32

US Classification:

51421115, 546245, 546146, 546193, 546201, 546210, 546199, 546214, 564 91, 540602, 540544, 540575, 544350, 546194, 514330, 514307, 514318, 514323, 514326, 514322, 514320, 514604, 514309, 546142, 51421708, 514218, 514249

Abstract:

Disclosed is a compound of formula (I). Wherein R, RAr and Cy are as defined herein, or a pharmaceutically acceptable salt thereof. Also disclosed are pharmaceutical compositions of the compound of formula (I), methods of making the compounds of formula I, and methods of using the compounds of formula (I) to treat a disorder associated with activation of CCR10.