Inventor

SCHAEFER MAX

GB25 patents

⚠️ This page may combine multiple inventors who share the name “SCHAEFER MAX”. Patents are grouped by organization below to help distinguish them — per-person disambiguation is on the roadmap.

SCHAEFER MAX

SEMMLE LTD

Distributed analysis and attribution of source code

Source code element signatures

Source code violation matching and attribution

Source code violation matching and attribution

Source code violation matching and attribution

Source code violation matching and attribution

Source code element signatures

Type inference for datalog with complex type hierarchies

Generating identifiers for tuples of recursively defined relations

Algebraic data types for database query languages

Generating identifiers for tuples of recursively defined relations

Algebraic data types for database query languages

MICROSOFT TECHNOLOGY LICENSING LLC

Code synthesis model evaluation harnessing real-world code repositories

Type inference for datalog with complex type hierarchies

Conversational unit test generation using large language model

Elidable text for prompt crafting

Generic feature extraction for identifying malicious packages

Fixing usages of deprecated APIs using large language models

Automated detection of malicious packages in a software repository

DOLBY JULIAN

Refactoring programs for flexible locking

Correct refactoring of concurrent software

SCHAEFER MAX

Type inference for datalog with complex type hierarchies

MOOR OEGE DE

Approximating query results by relations over types for error detection and optimization

ZANGS AG MASCHF

Embroidery machine

BERGER ROLF

Shuttle embroidery machine