Shaping the future of technology
Oracle Labs is a research and development organization within Oracle. Our research is focused on real-world outcomes: our researchers aim to develop technologies that will play a significant role in the evolution of technology and society.
Towards Formal Verification of HotStuff-based Byzantine Fault Tolerant Consensus in Agda
Authors: Mark Moir
Runtime Prevention of Deserialization Attacks
Authors: Francois Gauthier, Sora Bae
An approach to translating Haskell programs to Agda and reasoning about them
Authors: Harold Carr, Christopher Jenkins, Mark Moir, Victor Miraldo, Lisandra Silva
KeyBridge is a multi-disciplinary project using expertise from systems-programming, data visualization and machine learning in order to understand massive streams of data.
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.
Parallel, efficient, in-memory, single-machine and distributed graph processing
Exploration of new secure language concepts and secure abstractions that can be applied in future languages to prevent vulnerabilities in code written in those languages.
HeatWave is a cloud native service which is exclusively available in Oracle cloud Infrastructure and provides compelling performance and cost for analytic workloads. Organizations using MySQL database for managing their enterprise data can now run analytic queries with HeatWave with significantly better performance, lower cost, not requiring ETL and support for real- time analytics in contrast to other database services like RDS, Google Big Query, Snowflake, Aurora and Redshift.
The service can be deployed in a cloud only or in a hybrid environment, and it simplifies management for both transactional and analytic applications.Learn More
Oracle Database Multilingual Engine
The Multilingual Engine team at Oracle Labs works on further developing this platform to provide innovative features for database apps.