Inventor

CIMADAMORE MAURIZIO

IE44 patents

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

CIMADAMORE MAURIZIO

ORACLE INT CORP

Quality checking inferred types in a set of code

Synchronizing a set of code branches

Generation of specialized methods based on generic methods and type parameterizations

System and method for supporting compatibility checking for lambda expression

Type inference optimization

Execution of parameterized classes on legacy virtual machines to generate instantiation metadata

Structural representation of generic type variable in a nominally typed virtual machine

System and method for supporting compatibility checking for lambda expression

System and method for testing compiler implementation using dynamic combinatorial test generation

Target typing of overloaded method and constructor arguments

Modeling foreign functions using executable references

System and method for compiling lambda expression in a programming language environment

Implementing optional specialization when compiling code

Implementing optional specialization when executing code

Extending a virtual machine instruction set architecture

Type inference optimization

Extending a virtual machine instruction set architecture

Transitioning between thread-confined memory segment views and shared memory segment views

Transitioning between thread-confined memory segment views and shared memory segment views

Transitioning between thread-confined memory segment views and shared memory segment views

Transitioning between thread-confined memory segment views and shared memory segment views

Producing an internal representation of a type based on the type&#39;s source representation

Compiling non-native constants

Modeling foreign functions using executable references

Methods for reducing unsafe memory access when interacting with native libraries

Managing lifecycles of sets of foreign resources

Extending a virtual machine instruction set architecture

Synchronizing a set of code branches

System and method for supporting compatibility checking for lambda expression

Type inference optimization

Type inference optimization

Techniques for accessing off-heap memory

Optimizing execution of foreign method handles on a virtual machine

System and method for inferring immutability of program variables

Managing temporal dependencies between sets of foreign resources

Single-source-base compilation for multiple target environments

Target typing-dependent combinatorial code analysis

Redundant instance variable initialization elision

GOETZ BRIAN

Type inference of partially-specified parameterized types

Systems and methods for feedback driven regression testing

Systems and methods for testing a compiler through compile-time decision feedback

DARCY JOSEPH D

Efficient and expansive conversions between reference and primitive

CIMADAMORE MAURIZIO

Encapsulating and managing diagnostic information

AMAZON TECH INC

Adaptive path trace

Producing an internal representation of a type based on the type's source representation