PRTODAY / NewswireToday Free press release distribution service network

More news: Software
Written by / Agency / Source: Page One Public Relations, Inc.

Check Ads Availability|e-mail Article


Are you the owner of this article?, Turn it PREMIUM with your LOGO instead - and make it 3rd party Ads-Free! within the next hour!

Open Kernel Labs Paper on Formal Verification Wins Top Prize At Prestigious SOSP Conference - Open Kernel Labs, Inc. (OK Labs) today announced that CTO Dr. Gernot Heiser won the top prize at the twenty-second ACM Symposium on Operating Systems Principles (SOSP)
Open Kernel Labs Paper on Formal Verification Wins Top Prize At Prestigious SOSP Conference

 

NewswireToday - /newswire/ - London, United Kingdom, 2009/11/17 - Open Kernel Labs, Inc. (OK Labs) today announced that CTO Dr. Gernot Heiser won the top prize at the twenty-second ACM Symposium on Operating Systems Principles (SOSP).

   
 
Your Banner Ad Here instead - Showing along with ALL Articles covering Software Announcements

Replace these Affiliate Programs at ANYTIME! Your banner here within the next hour. Learn How!


 

Open Kernel Labs, Inc. (OK Labs), the leading global provider of embedded virtualization software for mobile phones and broadband Internet devices, today announced that CTO Dr. Gernot Heiser won the top prize at the twenty-second ACM Symposium on Operating Systems Principles (SOSP). A coveted Best Paper award went to Heiser and his colleagues at NICTA and the University of New South Wales-Australia (UNSW) for their technical paper and presentation, "seL4: Formal Verification of an OS Kernel."

The biennial SOSP conference is the world’s premier forum for researchers, developers, programmers, vendors, and teachers of operating system technology, and is one of the most prestigious publication venues in all of computer science. Academic and industrial participants present research papers that cover the full range of theory and practice. SOSP 2009 took place in October of this year in Big Sky, Montana.

The winning paper, authored by Heiser, and his NICTA colleagues, Gerwin Klein, Kevin Elphinstone and team, describes ground-breaking proof of functional correctness of the seL4 microkernel, based on technology built and deployed by NICTA and OK Labs. The success of the project was publicly announced in August 2009, and centered on the need to assure extremely high levels of reliability and security. By mathematically proving the correctness of underlying kernel functioning, NICTA and OK Labs paved the way for validating and deploying mobile virtualization under certification and security regimes like Common Criteria for business-critical and national-security applications in mobile telephony, business intelligence, and mobile financial transactions.

The formal verification involved NICTA, OK Labs staff, researchers from UNSW, and other research institutions. Moreover, as commercialization partner for NICTA, OK Labs will bring the results of the project to market in future generations of mobile virtualization products.

“It is an enormous honor to receive a Best Paper Award from such a competitive conference,” said Gernot Heiser, CTO, OK Labs. “It indicates recognition by the OS community that our formal verification technology presents a landmark in operating systems research, and an anticipation of massive real-world impact.”

“I'm delighted that our work has been recognized by such a selective and critical audience,” said Dr Gerwin Klein, NICTA Principal Researcher. “This world-first verification of the seL4 microkernel took twelve people four years of research. We hope that the result will help to significantly reduce the effort to bring formal verification to the marketplace in the future and make the strong assurance of formal proof more commonplace.”

Heiser also co-authored another paper presented at SOSP, “Automatic device driver synthesis with Termite,” which describes a revolutionary approach to device-driver generation that ensures driver correctness by construction, with the potential to completely remove the dominant source of bugs from operating systems.

About SOSP
The ACM Symposium on Operating Systems Principles (SOSP) is a conference that brings together developers and researchers from academia and industry to advance the science and technology in operating systems. The conference is sponsored by the ACM Special Interest Group on Operating Systems (SIGOPS). It has been held once every two years since 1967, when the first SOSP conference took place in Gatlinburg, Tennessee (sigops.org).

About Open Kernel Labs
Open Kernel Labs (ok-labs.com) is the global leader in open source virtualization software for mobile devices, consumer electronics, and embedded systems. Backed by the largest, independent team of microkernel developers, the OKL4 Microvisor is deployed on more than 500 million mobile phones worldwide. Semiconductor suppliers, handset OEMs, and mobile network operators depend on OK Labs to deliver high performance solutions that decrease BOM cost, reduce complexity, and speed time-to-market.

About NICTA
National ICT Australia Ltd (NICTA), Australia’s Information and Communications Technology (ICT) Research Centre of Excellence, develops technologies to meet the current and future needs of the community in fields leading to economic, social, and environmental benefits for Australia. Founded in 2002, NICTA has five laboratories around the country, and has created four new companies, developed a substantial technology portfolio, and continues to supply new talent to the ICT industry through PhD programs.

NICTA is funded by the Australian Government as represented by the Department of Broadband, Communications and the Digital Economy and the Australian Research Council through the ICT Centre of Excellence program. It was established and is supported by its members: The Australian Capital Territory Government; The Australian National University; NSW Department of State and Regional Development; and The University of New South Wales. NICTA’s partners include: the University of Sydney; University of Melbourne; the Victorian Government; the Queensland Government; Griffith University; Queensland University of Technology; and The University of Queensland.

Open Kernel Labs, OK Labs and Secure HyperCell™ Technology are trademarks or registered trademarks of Open Kernel Labs or its affiliates in the U.S. and other countries. Other names may be trademarks of their respective owners. All other trademarks and registered trademarks are property of their respective owners.

 
 
Your Banner Ad Here instead - Showing along with ALL Articles covering Software Announcements

Replace these Affiliate Programs at ANYTIME! Your banner here within the next hour. Learn How!


 

Written by / Agency / Source: Page One Public Relations, Inc.

 
 

Availability: All Regions (Including Int'l)

 

Traffic Booster: [/] Quick Newswire Today Visibility Checker

 

Distribution / Indexing: [+]

 
 
# # #
 
Software Warnings - IMPORTANT:
Always be aware/cautious about what you download on your computer/mobile! PURCHASE SOFTWARE related keywords / Banner Ads. Click HERE for details!
.

 
  Your Banner Ad showing on ALL
Software articles,
CATCH Visitors via Your Competitors Announcements!


Open Kernel Labs Paper on Formal Verification Wins Top Prize At Prestigious SOSP Conference

Company website links NOT available to basic submissions
It is OK to republish and/or LINK any newswire for any legitimate media purpose as long as you name Newswire Today and LINK as the source.
 
  Is this your article?
Activate ALL web links and social stream by Upgrading to Press Release PREMIUM Plan Now!

|
Publisher Contact: Martha de Monclin - PageOnePR.com 
 
Newswire Today - PRZOOM / PRTODAY disclaims any content contained in this article. If you need/wish to contact the company who published the current release, you will need to contact them - NOT us. Issuers of articles are solely responsible for the accuracy of their content. Our complete disclaimer appears here.
IMPORTANT INFORMATION: Issuance, publication or distribution of this press release in certain jurisdictions could be subject to restrictions. The recipient of this press release is responsible for using this press release and the information herein in accordance with the applicable rules and regulations in the particular jurisdiction. This press release does not constitute an offer or an offering to acquire or subscribe for any Page One Public Relations, Inc. securities in any jurisdiction including any other companies listed or named in this release.

Software via RSSAdd NewswireToday - PRZOOM Headline News to FeedBurner
Find who RetweetFollow @NewswireTODAY



Are you the owner of this article?, Turn it PREMIUM with your LOGO instead - and make it 3rd party Ads-Free! within the next hour!


Read Latest Articles From Page One Public Relations, Inc. / Company Profile


Read Software Most Recent Related Newswires:

Seven Real Estate Organizations Choose zipLogix™ as a Member Benefit Partner
Yardi Introduces RENTCafé Reach Advanced Property Marketing Services
Samsung and Mentor Expand Calibre DFM Offering for Mutual Customers
Pega Extends Cloud Choice Through Collaboration with Pivotal
IBM Platform Deployed by Sidra to Advance Qatar’s Biomedical Research Capabilities
PTC Creo Product Insight Offers the Power of the IoT for Product Design
Whelen Engineering Company Partners with Infor to Support Digital Transformation
Mentor Automotive Extends Test Platform Portfolio for Automotive Audio Bus
Hitachi to Deliver New Mainframe Based on IBM z Systems in Japan
The Oxford Partnership Decreases Storage Space by 75% with NAKIVO
3D Systems Chooses ThingWorx Platform from PTC to Enable Smart, Connected 3D Printers
AS ONE Leverages Oracle Database Cloud to Publish Inventory Data to 4,300 Dealers in Real Time
Noble Systems Focuses on Customer Service at ICMI 2017
UK Medical Device Manufacturer Transforms Business Performance and Profitability with NetSuite Cloud ERP
IBM Launches Accelerator Program to Kickstart Blockchain Adoption for Enterprises

Boost Your Social Network
& Crowdfunding Campaigns


LIFETIME SOCIAL MEDIA WALL
NewswireToday Celebrates 10 Years in Business


PREMIUM Members


Visit  Explorers Vacation Club

Visit  BizJobs.com





 
  ©2017 Newswire Today — Limelon Advertising, Co.
Home | About | Advertise/Pricing | Contact | Investors | Privacy/TOS | Sitemap | FRANCAIS
newswire, PR free press releases distribution service magazines engine news alert newsroom press room breaking news public relations articles company news alerts newswiredistribution ezine bizentrepreneur biznewstoday digital business report market search pr firms agencies reports distri-bution today investor relation successful internet entrepreneurs newswire distribution prtoday.com freenewswiredistribution asianewstoday bizwiretoday USA pr UK today - NOT affiliated with PRNewswire as we declined their partnership offer in 2013
 
PRTODAY & NewswireTODAY are NOT affiliated with USA TODAY (usatoday.com)