|
|
 |
The Mission of Oracle Labs is straightforward: Identify, explore, and
transfer new technologies that have the potential to substantially improve
Oracle's business.
Oracle's commitment to R&D is a driving factor in the development of
technologies that have kept Oracle at the forefront of the computer industry.
Although many of Oracle's leading-edge technologies
originate in its product development organizations, Oracle Labs is the sole
organization at Oracle that is devoted exclusively to research.
The acquisition of Sun Microsystems, along with dozens of other acquired
companies, brought a wide array of technologies to Oracle's portfolio. Oracle
executives recognized that in Sun Microsystems Laboratories, Sun brought the combined
company the benefits of an independent research organization - now renamed
Oracle Labs.
|
|
|
 |
|
|
|
- Formal Machine-Checked Verification of a Real Transactional Memory Algorithm
Victor Luchangco (Nov 8, 2011) - Architecture of the JInterval library
Sergei Zhilin, Dmitry Nadezhin and Egor Tepikin (Oct 17, 2011) - Towards Formally Specifying and Verifying Transactional Memory
Simon Doherty, Lindsay Groves, Victor Luchangco and Mark Moir (Sep 28, 2011) - ESEC-FSE11 presentation: Boosting the performance of flow-sensitive points-to analysis using value flow
Lian Li, Cristina Cifuentes and Nathan Keynes (Sep 1, 2011) - ESEC-FSE11 tool demo: Static Deep Error Checking in Large System Applications using Parfait
Cristina Cifuentes, Nathan Keynes, Lian Li, Nathan Hawes, Manuel Valdiviezo Basauri, Andrew Robert Browne, Jacob Zimmermann, Andrew Craik, Douglas Teoh and Christian Hoermann (Sep 1, 2011)
|
|
|
|
|
|
|
|
- Method and system for discovery of a root file system
Olaf Manczak, Anand Gupta and Christopher Vick (Feb 7, 2012)
- Proximity active connector and cable
Ashok Krishnamoorthy, Arthur Zingher, Danny Cohen and Robert Drost (Jan 31, 2012)
- Symbolic links in a distributed system
Germano Caronni, Raphael Rom and Glenn Carter Scott (Jan 31, 2012)
- Controlling the power utilization of a computer system by adjusting a
cooling fan speed
Stephen Ho, Kenny Gross, Kalyanaraman Vaidyanathan and Aleksey Urmanov (Jan 31, 2012)
- Method and apparatus for monitoring and recording computer system
performance parameters
Kenny Gross and Larry Votta (Jan 31, 2012)
- Equalization in proximity communication
Ronald Ho, Robert Hopkins, William Coates and Robert Drost (Jan 24, 2012)
|
|
|
|
|
|
|
|
Communities
Oracle Labs
