Projects

Introduce self-optimization capabilities into Oracle's computer systems and processes based on adaptive learning methods
Building security analyses for JavaScript applications running on Node.js.
Performance analysis of computer system architectures exploiting new technology trends using advanced workload characterization and modeling techniques.
Research project to explore distributed computing problems relevant to Big Data Analytics, Cloud Infrastructures and modern networking and storage technologies.
A high-performance polyglot VM supporting Java, JavaScript, Ruby, R, Python, C/C++, and more languages. It can run standalone or embedded in OpenJDK, Node.js, MySQL, and Oracle Database.
The KeyBridge project investigates opportunities for moving application logic to the network.
The mission of the Machine Learning Research Group is to scale Machine Learning across Oracle by researching and developing ML-based solutions that improve Oracle's products and services.
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
Praline aims to enable static analysis of programs containing PL/SQL code.
We are passionate about improving the quality of software and the productivity of developers.
Programming language design, semantics, algorithms, and implementation with an emphasis on convenient use of parallelism using multicores and GPUs.
Project RAPID is a hardware-software co-design project targeting large-scale data management and analysis.
Randomized Decomposition is a mathematical programming technique for solving hard, non-convex mathematical programming problems.
Principles and techniques for developing concurrent programs that are scalable, efficient, and correct.
Exploration of techniques beyond the Program Analysis domain to find bugs and vulnerabilities, or to prevent such bugs and vulnerabilities.
Develops high-speed circuit technologies and design methods that enable novel architectures.
Wafer: Web Application Framework for Exploring, Exposing & Eliminating Risks, using static program-analysis techniques to detect security flaws, e.g. SQL injection & cross-site scripting in web apps.
Leveraging modern compiler technology and programming languages within data processing engines.

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.
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.
A tool that lets you query a graph of extracted code dependencies to find symbols, show references, follow chains and determine the impact of changes to your multimillion-line codebase.
Finding security vulnerabilities in the Java Platform (i.e., the Java Development Kit) using static program analysis techniques.
Static program analysis techniques focusing on developing precise and scalable analyses for finding bugs in large-scale C and C++ source code.
Research project exploring potential effects of emerging byte-addressable persistent memory technologies on software and systems design.
Soufflé: a Datalog compiler optimised for static program analysis, e.g. points-to and taint. It translates Datalog programs to efficient and parallel C++ programs and enables rapid prototyping.
Titan implements a peer-to-peer overlay network message routing service.