Introduce self-optimization capabilities into Oracle's computer systems and processes based on adaptive learning methods
The Callisto project investigates how systems software can evolve to better support parallel and distributed runtime systems on tightly-coupled clusters and on large NUMA systems.
Performance analysis of computer system architectures exploiting new technology trends using advanced workload characterization and modeling techniques.
CAD system with schematic capture and layout features.
The project aims to develop FPGA offload engine to accelerate existing software in various high value applications including ingestion of data into engineered systems and Big Data applications.
FastR is an open-source high-speed implementation of the R programming language for statistics atop Truffle and Graal.
Tooling to support developers with code comprehension tasks in multimillion-line codebases.
A high-performance multi-language VM with a focus on Java, JavaScript, Ruby, and R.
Implementing an ECMAScript 2015 compliant JavaScript engine based on Graal and Truffle.
The Information Retrieval and Machine Learning group develops core Information Retrieval, Natural Language Processing, and Machine Learning technologies to help solve complex business problems.
Detect Java vulnerabilities in the Java platform using static, dynamic or hybrid program analysis techniques
The KeyBridge project investigates opportunities for moving application logic to the network.
The Memory Systems Research team identifies and develops technologies that improve memory system performance for targeted applications
Parallel, Efficient, In-Memory Graph Processing supported by a high level domain-specific language
Research project exploring potential effects of emerging byte-addressable persistent memory technologies on software and systems design.
Programming language design, semantics, algorithms, and implementation with an emphasis on convenient use of parallelism using multicores and GPUs.
Enhancing the Query Power of the Database
Project RAPID is a hardware-software co-design project targeting large-scale data management and analysis.
Exploration of hardware and software techniques for making it easier to develop scalable and correct concurrent programs
Soufflé designs and implements novel compilation techniques for the efficient translation of Datalog programs to C++ programs.
Titan implements a peer-to-peer overlay network message routing service.
Implementing the Ruby programming language using Graal and Truffle.
Develops high-speed circuit technologies and design methods that enable novel architectures.
Web-based Vulnerability Detection

Static program analysis techniques focusing on developing precise and scalable analyses for finding bugs in large-scale C and C++ source code.