Author of the publication

SmPL: A Domain-Specific Language for Specifying Collateral Evolutions in Linux Device Drivers.

, , and . Electron. Notes Theor. Comput. Sci., (2007)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Harissa: A Hybrid Approach to Java Execution., and . IEEE Software, 16 (2): 44-51 (1999)WebCaL - a domain specific language for web caching., , , , , , and . Computer Communications, 24 (2): 191-201 (2001)Devil: An IDL for Hardware Programming., , , , and . OSDI, page 17-30. USENIX Association, (2000)Fast, Optimized Sun RPC Using Automatic Program Specialization., , , , , and . ICDCS, page 240-249. IEEE Computer Society, (1998)Partial Evaluation for Software Engineering., , , , , and . ACM Comput. Surv., 30 (3es): 20 (1998)Tempo: Specializing Systems applications and Beyond., , , , , and . ACM Comput. Surv., 30 (3es): 19 (1998)Towards Safe and Efficient Customization in Distributed Systems., , , and . ACM SIGOPS European Workshop, page 57-61. ACM, (1994)How to Design Reliable Servers using Fault Tolerant Micro-Kernel Mechanisms., , , and . USENIX MACH Symposium, page 223-232. USENIX, (1991)Stable Transactional Memories and Fault Tolerant Architectures., , , , , and . Operating Systems Review, 25 (1): 68-72 (1991)Bossa Nova: Introducing Modularity into the Bossa Domain-Specific Language., , , and . GPCE, volume 3676 of Lecture Notes in Computer Science, page 78-93. Springer, (2005)