Search Results - Engler, Dawson R.

  • Showing 1 - 15 results of 15
Refine Results
  1. 1
    EXE: Automatically Generating Inputs of Death

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

    Get full text
    Items that this one cites
    Article
    Save to List
    Saved in:
  2. 2
    C and tcc: a language and compiler for dynamic code generation

    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
    Items that this one cites
    Article
    Save to List
    Saved in:
  3. 3
    Fast and flexible application-level networking on exokernel systems

    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
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  4. 4
    Interface compilation: steps toward compiling program interfaces as languages

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

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  5. 5
    CMC: a pragmatic approach to model checking real code

    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
    Items that this one cites
    Conference Proceeding
    Save to List
    Saved in:
  6. 6
    ASHs: application-specific handlers for high-performance messaging

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

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  7. 7
    The operating system Kernel as a secure programmable machine

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

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  8. 8
    Application performance and flexibility on exokernel systems

    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
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  9. 9
    ASHs:Application-specific handlers for high-performance messaging

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

    Get full text
    Conference Proceeding
    Save to List
    Saved in:
  10. 10
    C and tcc

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

    Get full text
    Article
    Save to List
    Saved in:
  11. 11
    DCG: an efficient, retargetable dynamic code generation system

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

    Get full text
    Items that this one cites
    Conference Proceeding
    Save to List
    Saved in:
  12. 12
    DERIVE : A tool that automatically reverse-engineers instruction encodings

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

    Get full text
    Conference Proceeding
    Save to List
    Saved in:
  13. 13
    Fast and Flexible Application-level Networking on Exokernel Systems

    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
    Report
    Save to List
    Saved in:
  14. 14
    DPF: fast, flexible message demultiplexing using dynamic code generation

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

    Get full text
    Items that this one cites
    Magazinearticle
    Save to List
    Saved in:
  15. 15
    ASHs: Application-specific handlers for high-performance messaging

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

    Get full text
    Items that this one cites
    Magazinearticle
    Save to List
    Saved in:

Search Tools: