Patch (1) considered harmful

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

Volumn , Issue , 2005, Pages

  Fiuczynski, Marc E ^a   Grimm, Robert ^b   Coady, Yvonne ^c   Walker, David ^a  

^a PRINCETON UNIVERSITY   (United States)

^b NEW YORK UNIVERSITY   (United States)

^c UNIVERSITY OF VICTORIA   (Canada)

Author keywords

[No Author keywords available]

Indexed keywords

SEMANTICS; SUPERCOMPUTERS;

ABSTRACT SYNTAX; CROSS-CUTTING CONCERNS; EMBEDDED DEVICE; ERROR PRONES; PROGRAM MODULE; SEMANTIC LEVELS; SOURCE FILES;

LINUX;

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

References (34)

1. Advanced Linux Sound Architecture. www.alsa-project.org.
2. Aspect Oriented Software Development. www.aosd.net.
3. L. Bauer, J. Ligatti, and D. Walker. Types and effects for non-interfering program monitors. In International Symposium on Software Security, pages 154-171, Tokyo, Japan, Nov. 2002.
4. Class-Based Kernel Resource Management. ckrm.sf.net.
5. C. Clifton and G. T. Leavens. Assistants and observers: A proposal for modular aspect-oriented reasoning. In Foundations of Aspect Languages, Apr. 2002.
6. Y. Coady and G. Kiczales. Back to the future: A retroactive study of aspect evolution in operating system code. In International Conference on Aspect-Oriented Software Development (AOSD), 2003.
7. Y. Coady, G. Kiczales, A.Warfield, and M. Feeley. Brittle systems will break not bend: Can AOP help? In 10th ACM SIGOPS European Workshop on Operating Systems, 2002.
8. Y. Coady, G. Kiczales, M. Feeley, and G. Smolyn. Using AspectC to improve the modularity of path-specific customization in operating system code. In Joint European Software Engineering Conference (ESEC) and 9th ACM SIGSOFT International Symposium on the Foundations of Software Engineering (FSE-9), 2001.
9. CPUSETS for Linux. www.bullopensource.org/cpuset.
10. D. S. Dantas and D. Walker. Harmless advice. In Workshop on Foundations of Object-oriented Languages, Jan. 2005.
11. R. Douence, O. Motelet, and M. Südholt. A formal definition of crosscuts. In Third International Conference on Metalevel architectures and separation of crosscutting concerns, volume 2192 of Lecture Notes in Computer Science, pages 170-186, Berlin, Sept. 2001. Springer Verlag.
12. R. Douence, O. Motelet, and M. Südholt. Composition, reuse and interaction analysis of stateful aspects. In Conference on Aspect-Oriented Software Development, pages 141-150, Mar. 2004.
13. R. Eberg, J. Lawall, M. Sudholt, G. Muller, and A.F. L. Meur. On the automatic evolution of an os kernel using temporal logic and aop. In Automated Software Engineering 2003 (ASE 2003), Oct. 2003.
14. R. Grimm. Practical packrat parsing. Technical Report TR2004-854, New York University, Mar. 2004.
15. R. Grimm. Systems need languages need systems! In Proceedings of the 2nd ECOOP Workshop on Programming Languages and Operating Systems, Glasgow, United Kingdom, July 2005.
16. R. Jagadeesan, A. Jeffrey, and J. Riely. A calculus of untyped aspect-oriented programs. In European Conference on Object-Oriented Programming, Darmstadt, Germany, July 2003.
17. Kernel Probes. www-124.ibm.com/linux/projects/kprobes.
18. G. Kiczales. The more the merrier. Software Development Magazine www.sdmagazine.com/documents/s=8993/sdm0410g, 2004.
19. J. L. Lawall, G. Muller, and R. Urunuela. Tarantula: Killing driver bugs before they hatch. In Fourth AOSD Workshop on Aspects, Components, and Patterns for Infrastructure Software (ACP4IS), March 2005.
20. Linux Security Modules. lsm.immunix.org.
21. Linux-Tiny. www.selenic.com/ tiny-about.
22. Linux Trace Toolkit. www.opersys.com/LTT.
23. Linux VServer Project. linux-vserver.org.
24. Low Latency Audio. www.linuxdj.com/audio/lad/resourceslatency.php.
25. D. Mahrenholz, O. Spinczyk, A. Gal, and W. Schröder-Preikschat. An aspect-oriented implementation of interrupt synchronization in the Pure operating system family. In Proceedings of the 5th ECOOP Workshop on Object Orientation and Operating Systems, Malaga, Spain, June 2002.
26. H. Masuhara, G. Kiczales, and C. Dutchyn. Compilation semantics of aspect-oriented programs. In G. T. Leavens and R. Cytron, editors, Foundations of Aspect-Oriented Languages Workshop, pages 17-25, Apr. 2002.
27. G. Muller, J. Lawall, J.-M. Menaud, and M. Sudholt. Constructing component-based extension interfaces in legacy systems code. In 11th ACM SIGOPS European Workshop, Sept. 2004.
28. G. C. Murphy, R. J. Walker, and E. L. A. Baniassad. Evaluating emerging software development technologies: Lessons learned from assessing aspect-oriented programming. IEEE Transactions on Software Engineering, 25(4), 1999.
29. M. Rinard, A. Salcianu, and S. Bugrara. A classification system and analysis for aspect-oriented programs. In Twelfth International Symposium on the Foundations of Software Engineering, Nov. 2004.
30. M. Swift. Nooks: Improving the reliability of commodity operating systems. nooks.cs. washington.edu.
31. TheServerSide at AOSD 2004: Part Two. www.theserverside.com/articles/article.tss?l=AOSD2004-2, 2004.
32. uCLinux. www.uclinux.org.
33. D. Walker, S. Zdancewic, and J. Ligatti. A theory of aspects. In ACM SIGPLAN International Conference on Functional Programming Languages, Uppsala, Sweden, Aug. 2003.
34. M. Wand, G. Kiczales, and C. Dutchyn. A semantics for advice and dynamic join points in aspect-oriented programming. In G. T. Leavens and R. Cytron, editors, Foundations of Aspect-Oriented Languages Workshop, pages 17-25, Apr. 2002. Iowa State University University technical report 02-06.