|
|
 |
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)
|
|
|
|
|
|
|
|
- Performing an action in response to a file system event
Thuvan Hoang, Sam Idicula, Nipun Agarwal, Ravi Murthy, Asha Tarachandani, Namit Jain and Eric Sedlar (May 8, 2012)
- Modular multiplier
Hans Eberle, Nils Gura, Russell Brown, Sheueling Chang-Shantz and Vipul Gupta (May 8, 2012)
- Processor-bus-connected flash storage nodes with caching to support
concurrent DMA accesses from multiple processors
Pranay Koka, Michael Oliver McCracken, Herbert Dewitt Schwetman and Jan Lodewijk Bonebakker (May 8, 2012)
- Software transactional memory for dynamically sizable shared data
structures
Mark Moir, Victor Luchangco and Maurice Herlihy (May 8, 2012)
- Mechanism for performing function level reset in an I/O device
Rahoul Puri, Arvind Srinivasan, Louise Yeung, Marcelino Dignum and John Watkins (May 8, 2012)
- Real-time inference of power efficiency metrics for a computer system
Kalyanaraman Vaidyanathan and Kenny Gross (May 8, 2012)
|
|
|
|
|
|
|
|
Communities
Oracle Labs
