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

Get full text

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

Get full text

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

Get full text

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

Get full text

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

Get full text

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

Get full text

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

Get full text

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

Get full text

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

Get full text

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

Get full text

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

Get full text

DERIVE : A tool that automatically reverse-engineers instruction encodings by ENGLER, Dawson R, HSIEH, Wilson C

Get full text

Fast and Flexible Application-level Networking on Exokernel Systems by Ganger, Gregory R, Engler, Dawson R, Kaashoek, M F, Briceno, Hector M, Hunt, Russell

Request full text

DPF: fast, flexible message demultiplexing using dynamic code generation by Engler, Dawson R., Kaashoek, M. Frans

Get full text

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

Get full text