Author of the publication

A domain-specific language approach to programmable networks.

, , , and . IEEE Trans. Syst. Man Cybern. Part C, 33 (3): 370-381 (2003)

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

Semantic patch inference., , , , and . ASE, page 382-385. ACM, (2012)Proofs by Structural Induction using Partial Evaluation.. PEPM, page 155-166. ACM, (1993)Separating Stages in the Continuation-Passing Style Transformation., and . POPL, page 124-136. ACM Press, (1993)Faster Fourier Transforms via Automatic Program Specialization.. Partial Evaluation, volume 1706 of Lecture Notes in Computer Science, page 338-355. Springer, (1998)WYSIWIB: exploiting fine-grained program structure in a scriptable API-usage protocol-finding process., , , , , and . Softw. Pract. Exp., 43 (1): 67-92 (2013)on Global Dynamics of Optimal Graph Reduction., and . ICFP, page 188-195. ACM, (1997)SIGPLAN Notices 32(8), August 1997.Automatic Verification of Bossa Scheduler Properties., , , and . AVoCS, volume 185 of Electronic Notes in Theoretical Computer Science, page 17-32. Elsevier, (2006)Ahead of time static analysis for automatic generation of debugging interfaces to the Linux kernel., , , and . Autom. Softw. Eng., 23 (1): 3-41 (2016)Web cache prefetching as an aspect: towards a dynamic-weaving based solution., , , and . AOSD, page 110-119. ACM, (2003)A domain-specific language approach to programmable networks., , , and . IEEE Trans. Syst. Man Cybern. Part C, 33 (3): 370-381 (2003)