Thirty years is long enough: getting beyond C

Authors:
Eric Brewer;Jeremy Condit;Bill McCloskey;Feng Zhou
Affiliations:
Computer Science Division, University of California at Berkeley;Computer Science Division, University of California at Berkeley;Computer Science Division, University of California at Berkeley;Computer Science Division, University of California at Berkeley
Venue:
HOTOS'05 Proceedings of the 10th conference on Hot Topics in Operating Systems - Volume 10
Year:
2005

Citing 10
Cited 6

Dependent types in practical programming

Proceedings of the 26th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
A theory of type qualifiers

Proceedings of the ACM SIGPLAN 1999 conference on Programming language design and implementation
Automatically validating temporal safety properties of interfaces

SPIN '01 Proceedings of the 8th international SPIN workshop on Model checking of software
CCured: type-safe retrofitting of legacy code

POPL '02 Proceedings of the 29th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
ESP: path-sensitive program verification in polynomial time

PLDI '02 Proceedings of the ACM SIGPLAN 2002 Conference on Programming language design and implementation
A system and language for building system-specific, static analyses

PLDI '02 Proceedings of the ACM SIGPLAN 2002 Conference on Programming language design and implementation
Cyclone: A Safe Dialect of C

ATEC '02 Proceedings of the General Track of the annual conference on USENIX Annual Technical Conference
CCured in the real world

PLDI '03 Proceedings of the ACM SIGPLAN 2003 conference on Programming language design and implementation
A type and effect system for atomicity

PLDI '03 Proceedings of the ACM SIGPLAN 2003 conference on Programming language design and implementation
RacerX: effective, static detection of race conditions and deadlocks

SOSP '03 Proceedings of the nineteenth ACM symposium on Operating systems principles

Programming language challenges in systems codes: why systems programmers still use C, and what to do about it

Proceedings of the 3rd workshop on Programming languages and operating systems: linguistic support for modern operating systems
Melange: creating a "functional" internet

Proceedings of the 2nd ACM SIGOPS/EuroSys European Conference on Computer Systems 2007
Hype and virtue

HOTOS'07 Proceedings of the 11th USENIX workshop on Hot topics in operating systems
Multi-language synchronization

ESOP'07 Proceedings of the 16th European conference on Programming
Decaf: moving device drivers to a modern language

USENIX'09 Proceedings of the 2009 conference on USENIX Annual technical conference
A case for secure and scalable hypervisor using safe language

Proceedings of the 2012 International Workshop on Programming Models and Applications for Multicores and Manycores

Quantified Score

Hi-index	0.00

Visualization

Abstract

Thirty years after its creation, C remains one of the most widely used systems programming languages. Unfortunately, the power of C has become a liability for large systems projects, which are now focusing on security and reliability. Modern languages and static analyses provide an opportunity to improve the quality of systems software, and yet adoption of these tools has been slow. To address this problem, we propose a new language called Ivy that has an evolutionary path from C. The mechanism for this evolutionary path is a system of extensions and refactorings: extensions augment the language with new features, and refactorings assist the programmer in updating their code to use these new features. Extensions and refactorings have a wide variety of applications, from enforcing memory safety to detecting user/kernel pointer errors. We also demonstrate Macroscope, a tool we have built to enable refactoring of existing C code.