Xin Li

US Patent:

20120284532, Nov 8, 2012

Filed:

May 2, 2012

Appl. No.:

13/462637

Inventors:

Xinyuan WANG - Clifton VA, US
Xin LI - Fairfax VA, US

International Classification:

G06F 21/00

US Classification:

713190

Abstract:

A computerized system and method for identifying one or more cryptographic operations from software code, comprising: performing processing associated with identifying, one or more cryptographic operations in the software code, the software code being run on a processor; and performing processing associated with identifying a boundary for each cryptographic operation in the software code.

US Patent:

20210408580, Dec 30, 2021

Filed:

Nov 26, 2019

Appl. No.:

17/297228

Inventors:

- Cambridge MA, US
William FITZHUGH - Somerville MA, US
Fan WU - Cambridge MA, US
Xin LI - Belmont MA, US

Assignee:

President and Fellows of Harvard College - Cambridge MA

International Classification:

H01M 10/0562
H01M 4/505
H01M 4/485
H01M 4/58
H01M 10/0525
H01M 10/44
H01M 4/525

Abstract:

The invention provides rechargeable batteries including a solid state electrolyte (SSE) containing an alkali metal disposed between two electrodes. The batteries are volumetrically constrained imparting increased stability under voltage cycling conditions, e.g., through microstructure mechanical constriction on the solid state electrolyte and the electrolyte-electrode interface. These batteries of the invention are advantageous as they may be all-solid-state batteries, e.g., no liquid electrolytes are necessary, and can achieve higher voltages with minimal electrolyte degradation.

US Patent:

20210004319, Jan 7, 2021

Filed:

Sep 23, 2020

Appl. No.:

17/029828

Inventors:

- Lexington MA, US
Mark Staknis - Concord MA, US
Xin Li - Nashua NH, US

International Classification:

G06F 11/36
G06F 11/32

Abstract:

A computer-implemented method for debugging an executable control flow graph that specifies control flow among a plurality of functional modules, with the control flow being represented as transitions among the plurality of functional modules, the computer-implemented method including: specifying a position in the executable control flow graph at which execution of the executable control flow graph is to be interrupted; wherein the specified position represents a transition to a given functional module, a transition to a state in which contents of the given functional module are executed or a transition from the given functional module; starting execution of the executable control flow graph in an execution environment; and at a point of execution representing the specified position, interrupting execution of the executable control flow graph; and providing data representing one or more attributes of the execution environment in which the given functional module is being executed.

US Patent:

20190303271, Oct 3, 2019

Filed:

Mar 30, 2018

Appl. No.:

15/942022

Inventors:

- Lexington MA, US
Mark Staknis - Concord MA, US
Xin Li - Nashua NH, US

International Classification:

G06F 11/36

Abstract:

A computer-implemented method for debugging an executable control flow graph that specifies control flow among a plurality of functional modules, with the control flow being represented as transitions among the plurality of functional modules, the computer-implemented method including: specifying a position in the executable control flow graph at which execution of the executable control flow graph is to be interrupted; wherein the specified position represents a transition to a given functional module, a transition to a state in which contents of the given functional module are executed or a transition from the given functional module; starting execution of the executable control flow graph in an execution environment; and at a point of execution representing the specified position, interrupting execution of the executable control flow graph; and providing data representing one or more attributes of the execution environment in which the given functional module is being executed.

US Patent:

20190286593, Sep 19, 2019

Filed:

Mar 17, 2019

Appl. No.:

16/355783

Inventors:

- Framingham MA, US
Xin Li - Wellesley MA, US

Assignee:

Bose Corporation - Framingham MA

International Classification:

G06F 13/38
H01R 13/26
H01R 13/652
H04R 1/10

Abstract:

A method, system, and cable for transferring analog audio signals from an analog audio source to an audio sink, where the audio sink has a USB-C connector. The cable is coupled to the audio source and to the USB-C connector of the audio sink. The cable is constructed and arranged to carry audio signals. The audio sink detects the coupling of the cable to the USB-C connector of the audio sink. Responsive to this detecting, the audio sink receives analog audio signals from the audio source over the cable.

US Patent:

20180053934, Feb 22, 2018

Filed:

Aug 30, 2017

Appl. No.:

15/691396

Inventors:

- Cambridge MA, US
Jinhyuk Lee - Cambridge MA, US
Alexander Urban - Somerville MA, US
Xin Li - Brookline MA, US
Sangtae Kim - Cambridge MA, US
Geoffroy Hautier - Brussells, BE

International Classification:

H01M 4/36
H01M 4/131
H01M 4/485
H01M 4/62
H01M 4/525

Abstract:

This disclosure provides a positive electrode active lithium-excess metal oxide with composition LiMO(0.6≦y≦0.85 and 0≦x+y≦2) for a lithium secondary battery with a high reversible capacity that is insensitive with respect to cation-disorder. The material exhibits a high capacity without the requirement of overcharge during the first cycles.

US Patent:

20150099671, Apr 9, 2015

Filed:

Sep 22, 2014

Appl. No.:

14/492815

Inventors:

- Boston MA, US
Erin E. Heyer - Worcester MA, US
Emiliano P. Ricci - Worcester MA, US
Hakan Ozadam - Worcester MA, US
Can Cenik - Mountain View CA, US
Xin Li - Shrewsbury MA, US

International Classification:

C12Q 1/68

US Classification:

506 26

Abstract:

This disclosure provides methods and compositions for preparing and constructing cDNA libraries.

US Patent:

20140141329, May 22, 2014

Filed:

Oct 2, 2013

Appl. No.:

14/044814

Inventors:

- Cambridge MA, US
Jinhyuk Lee - Cambridge MA, US
Sangtae Kim - Cambridge MA, US
Xin Li - Brookline MA, US

Assignee:

Massachusetts Institute of Technology - Cambridge MA

International Classification:

H01M 4/36
H01M 4/485

US Classification:

429217, 4292311, 429231, 2521821

Abstract:

The present disclosure describes, among other things, new layered molybdenum oxides for lithium ion battery cathodes from solid solutions of LiMoOand LiCrO. These materials display high energy density, good rate capability, great safety against oxygen release at charged state due mostly to their low voltage. Therefore, these materials have properties desirable for lithium ion battery cathodes.