Adam Chlipala (Impredicative LLC)
Location: F150_El Camp
This session is part of Emerging Languages Camp.
Average rating: **...
(2.60, 5 ratings)

Ur/Web is a new domain-specific language for programming Web applications, based on a new general-purpose language called Ur. Ur features new abstraction and modularity features that make serious code reuse and metaprogramming possible within a strong static type system. Adam will give the lightning-speed pitches for these two kinds of features: components with strong encapsulation of state like database tables, cookies, and subtrees of the DOM; and compile-time type-directed programming, with strong static guarantees of good behavior.

People planning to attend this session also want to see:

Photo of Adam Chlipala

Adam Chlipala

Impredicative LLC

Adam Chlipala is currently a postdoc in computer science at Harvard University. His research interests are in applications of advanced type systems, including mechanized theorem-proving and the design and implementation of functional programming languages. He finished his PhD at Berkeley in 2007, with a thesis on verifying compilers and program analysis tools in the Coq computer proof assistant. At Harvard, he is continuing work on formal verification in Coq, with a focus on low-level code and compilation. He also has a longstanding interest in tool support for web programming, and he is now developing a commercial web site using his Ur/Web language for safe metaprogramming of AJAX applications.

  • 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