BitC

Jonathan Shapiro (The EROS Group, LLC)
Event
Location: F150_El Camp
This session is part of Emerging Languages Camp.
Average rating: ***..
(3.75, 4 ratings)

BitC is a new systems programming language combining the safety, flexibility, and richness of Haskell with the low-level expressivenes of C or C++. Programs in BitC are type- and memory-safe, but are able to deal efficiently with low-level data structures. Early measurements suggest a performance penalty of between 1.5% and 3% relative to C. While bytecode implementations are possible, BitC is designed to be statically compiled.

The EROS Group is a provider of high-confidence software and systems, which are expensive to build and more expensive to maintain. BitC is part of an emerging tool chain that exploits modern, advanced type systems and static checking techniques for maintainably high-confidence systems. Our company is about to start converting the most sensitive parts of our secure operating system to BitC, which will reduce risk of penetration while allowing us to rigorously check and maintain our application-level requirements and invariants.

The talk will focus on those elements of BitC that were driven by our experience building the Coyotos operating system, and how we plan to use the language to keep our systems robust. I also look forward to talking with people and answering questions during the group sessions.

People planning to attend this session also want to see:

Photo of Jonathan Shapiro

Jonathan Shapiro

The EROS Group, LLC

Dr. Shapiro is most recently known for his work on the EROS secure and reliable operating system, and it’s commercial successor, Coyotos (www.coyotos.org). His work on the BitC programming language grew out of a need to make systems programs and major applications more defensible in general. Dr. Shapiro has worked in settings ranging from small startups to Fortune-25 corporations. In one life he spent nearly ten years on the faculty at Johns Hopkins University. In another, he has acted as founder or co-founder of four startup companies.

Dr. Shapiro was the author of A C++ Toolkit, the first book on reusable programming in C++. In addition to his work on operating systems and programming languages, he has also taken leading architectural roles in debugging and performance analysis tools.

  • Intel
  • Microsoft
  • Google
  • Facebook
  • Rackspace Hosting
  • (mt) Media Temple, Inc.
  • ActiveState
  • CommonPlaces
  • DB Relay
  • FireHost
  • GoDaddy
  • HP
  • HTSQL by Prometheus Research
  • Impetus Technologies Inc.
  • Infobright, Inc
  • JasperSoft
  • Kaltura
  • Marvell
  • Mashery
  • NorthScale, Inc.
  • Open Invention Network
  • OpSource
  • Oracle
  • Parallels
  • PayPal
  • Percona
  • Qualcomm Innovation Center, Inc.
  • Rhomobile
  • Schooner Information Technology
  • Silicon Mechanics
  • SourceGear
  • Symbian
  • VoltDB
  • WSO2
  • Linux Pro Magazine

Sponsorship Opportunities

For information on exhibition and sponsorship opportunities at the conference, contact Sharon Cordesse at scordesse@oreilly.com

Download the OSCON Sponsor/Exhibitor Prospectus

Media Partner Opportunities

Download the Media & Promotional Partner Brochure (PDF) for information on trade opportunities with O'Reilly conferences or contact mediapartners@ oreilly.com

Press and Media

For media-related inquiries, contact Maureen Jennings at maureen@oreilly.com

OSCON Newsletter

To stay abreast of conference news and to receive email notification when registration opens, please sign up for the OSCON Newsletter (login required)

OSCON 2.0 Ideas

Have an idea for OSCON to share? oscon-idea@oreilly.com

Contact Us

View a complete list of OSCON contacts