Thirty years is long enough: Getting beyond c

Proceedings of HotOS 2005 - 10th Workshop on Hot Topics in Operating Systems

Volumn , Issue , 2005, Pages

  Brewer, Eric ^a   Condit, Jeremy ^a   McCloskey, Bill ^a   Zhou, Feng ^a  

^a UNIVERSITY OF CALIFORNIA   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

CODES (SYMBOLS);

C CODES; EVOLUTIONARY PATH; LARGE SYSTEM; MEMORY SAFETY; MODERN LANGUAGES; REFACTORINGS; SECURITY AND RELIABILITIES; SYSTEMS SOFTWARE;

STATIC ANALYSIS;

EID: 85080775231     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (14)

1. T. Ball and S. K. Rajamani. Automatically validating temporal safety properties of interfaces. Lecture Notes in Computer Science, 2057:103-122, 2001.
2. H.-J. Boehm. Threads cannot be implemented as a library. Technical Report HPL-2004-209, Hewlett Packard, 2004.
3. J. Condit, M. Harren, S. McPeak, G. C. Necula, and W. Weimer. CCured in the real world. In PLDI'03: Proceedings of the ACM SIGPLAN 2003 Conference on Programming Language Design and Implementation, 2003.
4. M. Das, S. Lerner, and M. Seigle. Esp: Path-sensitive program verification in polynomial time. In PLDI'02: Proceedings of the ACM SIGPLAN 2002 Conference on Programming Language Design and Implementation, 2002.
5. D. Engler and K. Ashcraft. RacerX: effective, static detection of race conditions and deadlocks. In SOSP'03: Proceedings of the Nineteenth ACM Symposium on Operating Systems Principles, pages 237-252. ACM Press, 2003.
6. C. Flanagan and S. Qadeer. A type and effect system for atomicity. In PLDI'03: Proceedings of the ACM SIGPLAN 2003 Conference on Programming Language Design and Implementation, pages 338-349. ACM Press, 2003.
7. J. S. Foster, M. Fähndrich, and A. Aiken. A theory of type qualifiers. In PLDI'99: Proceedings of the ACM SIGPLAN 1999 Conference on Programming Language Design and Implementation, pages 192-203, Atlanta, Georgia, May 1-4, 1999.
8. S. N. Freund and S. Qadeer. Checking concise specifications for multi-threaded software. Journal of Object Technology, 3(6):81-101, 2004.
9. S. Hallem, B. Chelf, Y. Xie, and D. Engler. A system and language for building system-specific, static analyses. In PLDI'02: Proceedings of the ACM SIGPLAN 2002 Conference on Programming Language Design and Implementation, pages 69-82, 2002.
10. T. Jim, G. Morrisett, D. Grossman, M. Hicks, J. Cheney, and Y. Wang. Cyclone: A safe dialect of C. In USENIX Annual Technical Conference, June 2002.
11. G. C. Necula, S. McPeak, and W. Weimer. CCured: type-safe retrofitting of legacy code. In POPL'02: Proceedings of Symposium on Principles of Programming Languages, pages 128-139, 2002.
12. D. Searls. Linus & the Lunatics, Part I. Linux Journal, November 2004. http://www.linuxjournal.com/article/7272.
13. J. Shapiro, S. Sridhar, S. Doerrie, M. Miller, and E. Northup. The BitC language specification. http://www.coyotos.org/docs/bitc-spec/bitc-spec.html.
14. H. Xi and F. Pfenning. Dependent types in practical programming. In ACM, editor, POPL'99: Proceedings of the 26th ACM SIGPLAN-SIGACT on Principles of Programming Languages, January 20-22, 1999, San Antonio, TX, ACM SIGPLAN Notices, pages 214-227, New York, NY, USA, 1999. ACM Press.