NDL: A domain-specific language for device drivers

ACM SIGPLAN Notices

Volumn 39, Issue 7, 2004, Pages 30-36

  Conway, Christopher L ^a   Edwards, Stephen A ^a  

^a Columbia University ^*  (United States)

Author keywords

Device drivers; Domain specific languages; Systems programming

Indexed keywords

CODES (SYMBOLS); COMPUTER HARDWARE; COMPUTER OPERATING SYSTEMS; COMPUTER PROGRAMMING LANGUAGES; PROGRAM COMPILERS; SOFTWARE ENGINEERING;

CODING TOOLS; DEVICE DRIVERS; DOMAIN SPECIFIC LANGUAGES;

COMPUTER SYSTEMS PROGRAMMING;

EID: 4544270317     PISSN: 03621340     EISSN: None     Source Type: Journal    
DOI: 10.1145/998300.997169     Document Type: Conference Paper

References (9)

1. T. Ball and S. K. Rajamani. The SLAM project: Debugging system software via static analysis. In Symposium on Principles of Programming Languages (POPL), pages 1-3, Portland, Oregon, January 2002.
2. A. Chou, J. Yang, B. Chelf, S. Hallem, and D. R. Engler. An empirical study of operating system errors. In Proceedings of the 18th ACM Symposium on Operating Systems Principles (SOSP), volume 35 of Operating System Review, pages 73-88, Banff, Alberta, Canada, October 2001.
3. K. Crary and G. Morrisett. Type structure for low-level programming languages. In International Colloquium on Automata, Languages, and Programming (ICALP) 1999, volume 1644 of Lecture Notes in Computer Science, pages 40-54, Prague, Czech Republic, July 1999. Springer Verlag.
4. R. DeLine and M. Fähndrich. Enforcing high-level protocols in low-level software. In Proceedings of the ACM Conference on Programming Language Design and Implementation (PLDI), pages 59-69, Snowbird, Utah, June 2001.
5. G. J. Holzmann. Software analysis and model checking. In Computer Aided Verification, 14th International Conference (CAV), volume 2404 of Lecture Notes on Computer Science, pages 1-16, Copenhagen, Denmark, July 2002. Springer Verlag.
6. F. Mérillon, L. Réveillère, C. Consel, R. Marlet, and G. Muller. Devil: An IDL for hardware programming. In Proceedings of the 4th USENIX Symposium on Operating System Design and Implementation (OSDI), pages 17-30, San Diego, California, October 2000.
7. M. O'Nils and A. Jantsch. Operating system sensitive device driver synthesis from implementation independent protocol specification. In Proceedings of Design Automation and Test in Europe (DATE), pages 562-567, Munich, Germany, March 1999.
8. S. Thibault, R. Marlet, and C. Consel. Domain-specific languages: from design to implementation - application to video device drivers generation. IEEE Transactions on Software Engineering, 25(3):363-377, May-June 1999.
9. S. Wang and S. Malik. Synthesizing operating system based device drivers in embedded systems. In Proceedings of the First International Conference on Hardware/Software Codesign and System Synthesis (CODES+ISSS), Newport Beach, CA, October 2003.