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
Research project to explore distributed computing problems relevant to Big Data Analytics, Cloud Infrastructures and modern networking and storage technologies.
KeyBridge is a multi-disciplinary project using expertise from systems-programming, data visualization and machine learning in order to understand massive streams of data.
Parallel, efficient, in-memory, single-machine and distributed graph processing
Programming language design, semantics, algorithms, and implementation with an emphasis on convenient use of parallelism using multicores and GPUs.
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.