EXE: Automatically Generating Inputs of Death von Cadar, Cristian, Ganesh, Vijay, Pawlowski, Peter M., Dill, David L., Engler, Dawson R.

Volltext

C and tcc: a language and compiler for dynamic code generation von Poletto, Massimiliano, Hsieh, Wilson C., Engler, Dawson R., Kaashoek, M. Frans

Volltext

Fast and flexible application-level networking on exokernel systems von GANGER, Gregory R, ENGLER, Dawson R, KAASHOEK, M. Frans, BRICENO, Héctor M, HUNT, Russell, PINCKNEY, Thomas

Volltext

Interface compilation: steps toward compiling program interfaces as languages von Engler, D.R.

Volltext

Practical, Low-Effort Equivalence Verification of Real Code von Ramos, David A., Engler, Dawson R.

Volltext

CMC: a pragmatic approach to model checking real code von Musuvathi, Madanlal, Park, David Y. W., Chou, Andy, Engler, Dawson R., Dill, David L.

Volltext

ASHs: application-specific handlers for high-performance messaging von Wallach, D.A., Engler, D.R., Kaashoek, M.F.

Volltext

The operating system Kernel as a secure programmable machine von ENGLER, D. R, KAASHOEK, M. F, O'TOOLE, J. W

Volltext

Application performance and flexibility on exokernel systems von KAASHOEK, M. F, ENGLER, D. R, GANGER, G. R, BRICENO, H. M, HUNT, R, MAZIERES, D, PINCKNEY, T, GRIMM, R, JANNOTTI, J, MACKENZIE, K

Volltext

ASHs:Application-specific handlers for high-performance messaging von Wallach, Deborah A, Engler, Dawson R, Kaashoek, M Frans

Volltext

VCODE:a retargetable, extensible, very fast dynamic code generation system von Engler, Dawson R

Volltext

Derive:a tool that automatically reverse-engineers instruction encodings von Engler, Dawson R, Hsieh, Wilson C

Volltext

tcc:a system for fast, flexible, and high-level dynamic code generation von Poletto, Massimiliano, Engler, Dawson R, Kaashoek, M Frans

Volltext

C and tcc von Poletto, Massimiliano, Hsieh, Wilson C, Engler, Dawson R, Kaashoek, M Frans

Volltext

DCG: an efficient, retargetable dynamic code generation system von ENGLER, D. R, PROEBSTING, T. A

Volltext

VCODE von Engler, Dawson R

Volltext

VCODE: a retargetable, extensible, very fast dynamic code generation system von Engler, Dawson R.

Volltext

Derive: a tool that automatically reverse-engineers instruction encodings von Engler, Dawson R., Hsieh, Wilson C.

Volltext

DCG: an efficient, retargetable dynamic code generation system von Engler, Dawson R., Proebsting, Todd A.

Volltext

tcc von Poletto, Massimiliano, Engler, Dawson R, Kaashoek, M Frans

Volltext