Darek Mihocka

Person

Mercer Island, WA, US

People

Patents Grantslast 30 patents

Information Patent Grant
Hybrid binaries supporting code stream folding
- Patent number 11,720,335
- Issue date Aug 8, 2023
- Microsoft Technology Licensing, LLC
- Pedro Miguel Sequeira De Justo Teixeira
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Widening memory access to an aligned address for unaligned memory o...
- Patent number 11,593,113
- Issue date Feb 28, 2023
- Microsoft Technology Licensing, LLC
- Darek Mihocka
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Dual architecture function pointers having consistent reference add...
- Patent number 11,403,100
- Issue date Aug 2, 2022
- Microsoft Technology Licensing, LLC
- Darek Josip Mihocka
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Dual architecture function pointers having consistent reference add...
- Patent number 11,366,666
- Issue date Jun 21, 2022
- Microsoft Technology Licensing, LLC
- Darek Josip Mihocka
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Native emulation compatible application binary interface for suppor...
- Patent number 11,231,918
- Issue date Jan 25, 2022
- MICROSOFT TECHNOLOGLY LICENSING, LLC
- Pedro Miguel Sequeira De Justo Teixeira
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Widening memory access to an aligned address for unaligned memory o...
- Patent number 11,163,575
- Issue date Nov 2, 2021
- Microsoft Technology Licensing, LLC
- Darek Mihocka
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Hybrid binaries supporting code stream folding
- Patent number 11,042,422
- Issue date Jun 22, 2021
- Microsoft Technology Licensing, LLC
- Pavlo Lebedynskiy
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Partial process recording
- Patent number 10,481,999
- Issue date Nov 19, 2019
- Microsoft Technology Licensing, LLC
- Jordi Mola
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Arithmetic lazy flags representation for emulation
- Patent number 10,261,785
- Issue date Apr 16, 2019
- Microsoft Technology Licensing, LLC
- Darek Josip Mihocka
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Parallel replay of executable code
- Patent number 10,198,341
- Issue date Feb 5, 2019
- Microsoft Technology Licensing, LLC
- Jordi Mola
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Indexing a trace by insertion of reverse lookup data structures
- Patent number 9,934,126
- Issue date Apr 3, 2018
- Microsoft Technology Licensing, LLC
- Jordi Mola
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
CPU sharing techniques
- Patent number 9,104,485
- Issue date Aug 11, 2015
- Amazon Technologies, Inc.
- Pradeep Vincent
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Leveraging transactional memory hardware to accelerate virtualizati...
- Patent number 9,043,553
- Issue date May 26, 2015
- Microsoft Technology Licensing, LLC
- Martin Taillefer
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
CPU sharing techniques
- Patent number 8,935,699
- Issue date Jan 13, 2015
- Amazon Technologies, Inc.
- Pradeep Vincent
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Debugging mechanisms in a cache-based memory isolation system
- Patent number 8,473,921
- Issue date Jun 25, 2013
- Microsoft Corporation
- Martin Taillefer
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Minimizing code duplication in an unbounded transactional memory sy...
- Patent number 8,356,166
- Issue date Jan 15, 2013
- Microsoft Corporation
- Ali-Reza Adl-Tabatabai
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Leveraging transactional memory hardware to accelerate virtualizati...
- Patent number 8,266,387
- Issue date Sep 11, 2012
- Microsoft Corporation
- Martin Taillefer
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Leveraging transactional memory hardware to accelerate virtualizati...
- Patent number 8,176,253
- Issue date May 8, 2012
- Microsoft Corporation
- Martin Taillefer
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Signed/unsigned integer guest compare instructions using unsigned h...
- Patent number 7,752,028
- Issue date Jul 6, 2010
- Microsoft Corporation
- Darek Mihocka
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Compressed program recording
- Patent number 7,620,938
- Issue date Nov 17, 2009
- Microsoft Corporation
- Andrew James Edwards
- G06 - COMPUTING CALCULATING COUNTING

Patents Applicationslast 30 patents

Information Patent Application
NATIVE EMULATION COMPATIBLE APPLICATION BINARY INTERFACE FOR SUPPOR...
- Publication number 20230418581
- Publication date Dec 28, 2023
- Microsoft Technology Licensing, LLC
- Pedro Miguel SEQUEIRA DE JUSTO TEIXEIRA
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
NATIVE EMULATION COMPATIBLE APPLICATION BINARY INTERFACE FOR SUPPOR...
- Publication number 20220137942
- Publication date May 5, 2022
- Microsoft Technology Licensing, LLC
- Pedro Miguel SEQUEIRA DE JUSTO TEIXEIRA
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
DUAL ARCHITECTURE FUNCTION POINTERS HAVING CONSISTENT REFERENCE ADD...
- Publication number 20220066780
- Publication date Mar 3, 2022
- Microsoft Technology Licensing, LLC
- Darek Josip MIHOCKA
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
WIDENING MEMORY ACCESS TO AN ALIGNED ADDRESS FOR UNALIGNED MEMORY O...
- Publication number 20220027159
- Publication date Jan 27, 2022
- Microsoft Technology Licensing, LLC
- Darek MIHOCKA
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
WIDENING MEMORY ACCESS TO AN ALIGNED ADDRESS FOR UNALIGNED MEMORY O...
- Publication number 20200319888
- Publication date Oct 8, 2020
- Darek MIHOCKA
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Arithmetic Lazy Flags Representation for Emulation
- Publication number 20180246719
- Publication date Aug 30, 2018
- Microsoft Technology Licensing, LLC
- Darek Josip Mihocka
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
PARALLEL REPLAY OF EXECUTABLE CODE
- Publication number 20180173611
- Publication date Jun 21, 2018
- Microsoft Technology Licensing, LLC
- Jordi Mola
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Partial Process Recording
- Publication number 20180157576
- Publication date Jun 7, 2018
- Microsoft Technology Licensing, LLC
- Jordi Mola
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
DEBUGGING MECHANISMS IN A CACHE-BASED MEMORY ISOLATION SYSTEM
- Publication number 20110145798
- Publication date Jun 16, 2011
- Microsoft Corporation
- Martin Taillefer
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
MINIMIZING CODE DUPLICATION IN AN UNBOUNDED TRANSACTIONAL MEMORY SY...
- Publication number 20100332808
- Publication date Dec 30, 2010
- Microsoft Corporation
- Ali-Reza Adl-Tabatabai
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
DYNAMICALLY VARYING SIMULATION PRECISION
- Publication number 20090265156
- Publication date Oct 22, 2009
- Microsoft Corporation
- Martin Taillefer
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
SIGNED/UNSIGNED INTEGER GUEST COMPARE INSTRUCTIONS USING UNSIGNED H...
- Publication number 20090030668
- Publication date Jan 29, 2009
- Microsoft Corporation
- Darek Mihocka
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Leveraging transactional memory hardware to accelerate virtualizati...
- Publication number 20090006751
- Publication date Jan 1, 2009
- Microsoft Corporation
- Martin Taillefer
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Leveraging transactional memory hardware to accelerate virtualizati...
- Publication number 20090006750
- Publication date Jan 1, 2009
- Microsoft Corporation
- Martin Taillefer
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Leveraging transactional memory hardware to accelerate virtualizati...
- Publication number 20090007107
- Publication date Jan 1, 2009
- Microsoft Corporation
- Martin Taillefer
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Simulation of processor status flags
- Publication number 20080222388
- Publication date Sep 11, 2008
- Microsoft Corporation
- Darek Mihocka
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Compressed program recording
- Publication number 20070168989
- Publication date Jul 19, 2007
- Microsoft Corporation
- Andrew James Edwards
- G06 - COMPUTING CALCULATING COUNTING

Darek Mihocka

Person

Patents Grantslast 30 patents

Hybrid binaries supporting code stream folding

Widening memory access to an aligned address for unaligned memory o...

Dual architecture function pointers having consistent reference add...

Dual architecture function pointers having consistent reference add...

Native emulation compatible application binary interface for suppor...

Widening memory access to an aligned address for unaligned memory o...

Hybrid binaries supporting code stream folding

Partial process recording

Arithmetic lazy flags representation for emulation

Parallel replay of executable code

Indexing a trace by insertion of reverse lookup data structures

CPU sharing techniques

Leveraging transactional memory hardware to accelerate virtualizati...

CPU sharing techniques

Debugging mechanisms in a cache-based memory isolation system

Minimizing code duplication in an unbounded transactional memory sy...

Leveraging transactional memory hardware to accelerate virtualizati...

Leveraging transactional memory hardware to accelerate virtualizati...

Signed/unsigned integer guest compare instructions using unsigned h...

Compressed program recording

Patents Applicationslast 30 patents

NATIVE EMULATION COMPATIBLE APPLICATION BINARY INTERFACE FOR SUPPOR...

NATIVE EMULATION COMPATIBLE APPLICATION BINARY INTERFACE FOR SUPPOR...

DUAL ARCHITECTURE FUNCTION POINTERS HAVING CONSISTENT REFERENCE ADD...

WIDENING MEMORY ACCESS TO AN ALIGNED ADDRESS FOR UNALIGNED MEMORY O...

WIDENING MEMORY ACCESS TO AN ALIGNED ADDRESS FOR UNALIGNED MEMORY O...

Arithmetic Lazy Flags Representation for Emulation

PARALLEL REPLAY OF EXECUTABLE CODE

Partial Process Recording

DEBUGGING MECHANISMS IN A CACHE-BASED MEMORY ISOLATION SYSTEM

MINIMIZING CODE DUPLICATION IN AN UNBOUNDED TRANSACTIONAL MEMORY SY...

DYNAMICALLY VARYING SIMULATION PRECISION

SIGNED/UNSIGNED INTEGER GUEST COMPARE INSTRUCTIONS USING UNSIGNED H...

Leveraging transactional memory hardware to accelerate virtualizati...

Leveraging transactional memory hardware to accelerate virtualizati...

Leveraging transactional memory hardware to accelerate virtualizati...

Simulation of processor status flags

Compressed program recording