Search

Jakob F Lichtenberg

from Redmond, WA
Age ~52
Get Report
Also known as:
Jakob F Lichtemberg
Related to:
Virginia G Cole, 89Kevin Charlotte, 60William Leadens, 100Jason Anderson, 55Dorothy Anderson, 85Darylene Anderson, 81Marilyn Leadens, 89
Connected to:
Alan D Lichtenthal, 75Ana C Lichtenstein, 74Andres J Lichtenberger, 60Anne W Lichtenberger, 95April J Lichtenberg, 44Ariel S Lichtenstein, 46Ben Lichtenwald, 73Betty L Lichtenberg, 88Beverley J Lichtenberger, 99Bob G Lichtenberg, 73

Jakob Lichtenberg Phones & Addresses

  • Redmond, WA
  • Kirkland, WA
  • 14106 Evanston Ave, Seattle, WA 98133
  • Minneapolis, MN
  • 6504 130Th Ave NE APT L103, Kirkland, WA 98033

Resumes

Resumes

Jakob Lichtenberg Photo 1

Jakob Lichtenberg

View page

Publications

Us Patents

Per Group Verification

View page
US Patent:
20100186003, Jul 22, 2010
Filed:
Jan 22, 2009
Appl. No.:
12/357583
Inventors:
Adam Shapiro - Redmond WA, US
Conal McGarvey - Seattle WA, US
Vladimir A. Levin - Redmond WA, US
Jakob F. Lichtenberg - Seattle WA, US
Assignee:
Microsoft Corporation - Redmond WA
International Classification:
G06F 9/44
G06N 5/02
US Classification:
717126, 706 47
Abstract:
Various embodiments provide per group verification techniques in which code may be verified against one or more rules on a group by group basis. In one or more embodiments relationships between portions of a module to be verified can be defined. By being aware of relationships between various code portions, various embodiments can divide a module into related groups and perform verification on the basis of the groups. Multiple groups can be derived based at least in part upon the relationships. Each group can then be verified separately for compliance with one or more rules. Verification results can be output for each of the groups.

Segmentation For Static Analysis

View page
US Patent:
20100275186, Oct 28, 2010
Filed:
Apr 28, 2009
Appl. No.:
12/431187
Inventors:
Conal McGarvey - Seattle WA, US
Vladimir A. Levin - Redmond WA, US
Jakob F. Lichtenberg - Seattle WA, US
Assignee:
MICROSOFT CORPORATION - Redmond WA
International Classification:
G06F 9/44
US Classification:
717132, 717131
Abstract:
Various embodiments provide techniques to segment program code that may be the subject of static analysis. In one or more embodiments, an algorithm is applied to an abstract representation of the program code to derive segments for the program code. In at least some embodiments, multiple segments can be derived based at least in part upon of one or more “boxed” portions of the program code that are designated to remain intact within the segments. Each segment can then be subjected individually to static analysis to verify compliance with one or more prescribed behaviors. Verification results can be output for each individual segment and the individual results can be combined to obtain results for the program code overall.

Precondition Rules For Static Verification Of Code

View page
US Patent:
20090319997, Dec 24, 2009
Filed:
Jun 20, 2008
Appl. No.:
12/142775
Inventors:
Jakob Frederik Lichtenberg - Seattle WA, US
Conal McGarvey - Seattle WA, US
Eleonora O. Bounimova - Redmond WA, US
Vladimir A. Levin - Redmond WA, US
Assignee:
Microsoft Corporation - Redmond WA
International Classification:
G06F 9/44
US Classification:
717126
Abstract:
A verification engine for verifying compliance of a module of computer-executable instructions to various specifications or guidelines can utilize precondition rules to obtain information about the module so as to select appropriate rules with which the module will be verified. The precondition rules can inform an evaluation tool, which can obtain the specified information about the module. A preprocessor can then evaluate conditional statements and select one or more rules or environment modules based on the results of the evaluation of the precondition rules. Multiple levels of dependent precondition rules can be evaluated with a drill-down approach, where each dependency chain is evaluated until a terminal level, or with a layered approach, where all terminal level precondition rules are evaluated followed by precondition rules of increasingly higher levels.

Advanced Memory Tracking For Kernel Mode Drivers

View page
US Patent:
20220283864, Sep 8, 2022
Filed:
Mar 4, 2021
Appl. No.:
17/192546
Inventors:
- Redmond WA, US
Sandeep REPAKA - Issaquah WA, US
Andrew M. KLUEMKE - Seattle WA, US
Jakob F. LICHTENBERG - Redmond WA, US
Sebastian LERNER - Seattle WA, US
Matthew John WOOLMAN - Seattle WA, US
Swati KANCHAN - Redmond WA, US
International Classification:
G06F 9/50
G06F 11/30
G06F 11/34
Abstract:
Described are examples for tracking memory usage of a driver. A memory allocation request related to the driver to allocate a portion of memory for the driver can be traced in a kernel mode of an operating system. One or more associated allocation parameters can be recorded, and an allocation history of the driver over a period of time can be reported during execution of the driver and based on the one or more allocation parameters indicated by the memory allocation request.

Extensible Device Driver Verification

View page
US Patent:
20200264967, Aug 20, 2020
Filed:
Feb 14, 2019
Appl. No.:
16/275844
Inventors:
- Redmond WA, US
Jakob Frederik LICHTENBERG - Redmond WA, US
Vladimir A. LEVIN - Redmond WA, US
Andrew Meyer KLUEMKE - Seattle WA, US
Sebastian LERNER - Seattle WA, US
International Classification:
G06F 11/36
G06F 11/34
G06F 11/30
Abstract:
Interaction between operating system components and device drivers via device driver function call addresses is monitored. Each device driver is configured to interface with at least one hardware component of a computing system. One or more verification functions of an extended device driver verification component are registered for at least one of the device driver function call addresses, each defining a predetermined verification condition. A device driver function call to one of the device driver function call addresses is intercepted and evaluated against the predetermined verification condition of the verification function registered for the device driver function call address of the intercepted device driver function. A result of executing the intercepted device driver function, responsive to satisfaction of the predetermined verification condition or terminated, responsive failure to satisfy the predetermined verification condition of the verification function registered for the device driver function call address of the intercepted device driver function.

Software Component Verification Using Random Selection On Pooled Devices

View page
US Patent:
20200250072, Aug 6, 2020
Filed:
Jan 31, 2019
Appl. No.:
16/263993
Inventors:
- Redmond WA, US
Vladimir A. LEVIN - Redmond WA, US
Jakob Frederik LICHTENBERG - Redmond WA, US
Andrew M. KLUEMKE - Seattle WA, US
Vikas PABREJA - Sammamish WA, US
Sebastian LERNER - Seattle WA, US
International Classification:
G06F 11/36
G06F 11/00
G06F 8/77
Abstract:
A system for providing ongoing verification of released software components utilizes feedback from a pool of devices that each locally execute a verification component. The verification component randomly selects one or more locally-executing software components, captures information associated with the randomly-selected software components responsive to detection of events satisfying one or more capture conditions, and communicates the captured information to a software component verification and analysis service. The total number of the randomly-selected software components within the verification pool is set to statistically guarantee that each one of the software components available for random selection is randomly selected on at least one of the plurality of processing devices within the verification pool.

Configurable System Wide Tests

View page
US Patent:
20180225165, Aug 9, 2018
Filed:
Jun 30, 2017
Appl. No.:
15/640272
Inventors:
- Redmond WA, US
Jakob F. Lichtenberg - Redmond WA, US
Andrew D. Mikesell - Kirkland WA, US
Remy L. De Weduwe - Seattle WA, US
International Classification:
G06F 11/07
Abstract:
Systems and methods to conduct data-driven, system wide tests are disclosed. Instructions for testing an operating system are associated with one or more modules associated with the computing system. When a failed test is identified, a second set of instructions that accounts for the failed test is generated and executed, in order to efficiently identify and target specific issues. Results from these fully configurable testing methods can be communicated and utilized in further applications.

Device Driver Verification

View page
US Patent:
20180165141, Jun 14, 2018
Filed:
Dec 9, 2016
Appl. No.:
15/374830
Inventors:
- Redmond WA, US
Jakob F. Lichtenberg - Redmond WA, US
Vladimir A. Levin - Redmond WA, US
Remy L. De Weduwe - Seattle WA, US
Hyuk Joon Kwon - Redmond WA, US
Nathan L. Deisinger - Redmond WA, US
Vikas Pabreja - Sammamish WA, US
Juncao Li - Bellevue WA, US
International Classification:
G06F 11/07
Abstract:
Systems and methods are described for verifying functionality of a computing device. A set of rules are sent to a computing device identifying a device driver. Data is received from the one device that is indicative of collected driver data of the computing device. The data is collected by a driver verifier function executing on the computing device. The driver verifier function is configured to capture information associated with the identified device driver identified by the set of rules. The received data is parsed to categorize the data with previously collected driver data of other computing devices. The data is categorized based on attributes of the collected driver data. The categorized data is provided for analysis of the driver health on the computing device.
Control profile
Jakob F Lichtenberg from Redmond, WA, age ~52 Get Report