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
The MSO group in Oracle Labs builds general tools to solve both classic and emerging optimization problems and provides consulting to develop specific optimizations solutions for Oracle customers
Parallel, efficient, in-memory, single-machine and distributed graph processing
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.