Checking the hardware-software interface in Spec#

Proceedings of the 4th Workshop on Programming Languages and Operating Systems, PLOS 2007

Volumn , Issue , 2007, Pages

  Bierhoff, Kevin ^a   Hawblitzel, Chris ^b  

^a CARNEGIE MELLON UNIVERSITY   (United States)

^b MICROSOFT RESEARCH   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

NETWORK INTERFACES; OPERATING SYSTEMS; SOFTWARE INTERFACES; STATIC AND DYNAMICS; TIME BEHAVIORS;

COMPUTER OPERATING SYSTEMS; COMPUTER PROGRAMMING LANGUAGES; COMPUTER SOFTWARE; COMPUTERS; FLOW INTERACTIONS; LINGUISTICS; QUERY LANGUAGES; TECHNICAL PRESENTATIONS;

HIGH LEVEL LANGUAGES;

EID: 57349150197     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1376789.1376802     Document Type: Conference Paper

References (14)

1. Thomas Ball, Ella Bounimova, Byron Cook, Vladimir Levin, Jakob Lichtenberg, Con McGarvey, Bohus Ondrusek, Sriram K. Rajamani and Abdullah Ustuner. Thorough Static Analysis of Device Drivers. EuroSys, 2006.
2. Mike Barnett, K. Rustan M. Leino, and Wolfram Schulte. The Spec#programming system: An overview. CASSIS, 2004
3. Brian Bershad, Stefan Savage, Przemyslaw Pardyak, Emin Gun Sirer, David Becker, Marc Fiuczynski, Craig Chambers, Susan Eggers. Extensibility, Safety and Performance in the SPIN Operating System. Symposium on Operating System Principles (SOSP), 1995.
4. Edoardo Biagioni. A structured TCP in standard ML. SIGCOMM, 1994.
5. Luca Cardelli. Type systems. The Computer Science and Engineering Handbook. CRC Press, 2004. Chapter 97.
6. Christopher L. Conway and Stephen A. Edwards. NDL: A Domain-Specific Language for Device Drivers. Languages, Compilers, and Tools for Embedded Systems (LCTES), 2004.
7. Digital Equipment Corporation. DIGITAL Semiconductor 21140A PCI Fast Ethernet LAN Controller Hardware Reference Manual. http://www.intel.eom/ design/network/manuals/21140ahm.pdf
8. Dawson Engler, David Yu Chen, Seth Hallem, Andy Chou, and Benjamin Chelf. Bugs as Deviant Behavior: A General Approach to Inferring Errors in Systems Code. Symposium on Operating Systems Principles (SOSP), 2001.
9. Manuel Fähndrich, Mark Aiken, Chris Hawblitzel, Orion Hodson, Galen C. Hunt, James R. Larus, and Steven Levi. Language Support for Fast and Reliable Message-based Communication in Singularity OS. EuroSys, 2006.
10. Michael Golm, Meik Felser Christian Wawersich, and Jürgen Kleinöder. The JX Operating System. USENIX Annual Technical Conference, 2002.
11. Thomas Hallgren, Mark P. Jones, Rebekah Leslie, Andrew Tolmach. A Principled Approach to Operating System Construction in Haskell. International Conference on Functional Programming (ICFP), 2005.
12. F. Mérillon, L. Réveillère, C. Consel, R. Marlet, and G. Muller. Devil: An IDL for Hardware programming. Operating Systems Design and Implementation (OSDI), 2000.
13. Jun Sun, Wanghong Yuan, Mahesh Kallahalla, Nayeem Islam. HAIL: a language for easy and correct device access. EMSOFT, 2005.
14. LeaWittie. Type-Safe Operating System Abstractions. Ph.D. Thesis, 2004. Dartmouth Technical Report TR2004-526.