Search Results - HALLEM, Seth

  • Showing 1 - 13 results of 13
Refine Results
  1. 1
    Bugs as deviant behavior : A general approach to inferring errors in systems code

    Bugs as deviant behavior : A general approach to inferring errors in systems code by ENGLER, Dawson, YU CHEN, David, HALLEM, Seth, CHOU, Andy, CHELF, Benjamin

    Get full text
    Items that this one cites
    Conference Proceeding
    Save to List
    Saved in:
  2. 2
    An empirical study of operating systems errors

    An empirical study of operating systems errors by CHOU, Andy, JUNFENG YANG, CHELF, Benjamin, HALLEM, Seth, ENGLER, Dawson

    Get full text
    Items that this one cites
    Items that cite this one
    Conference Proceeding
    Save to List
    Saved in:
  3. 3
    Uprooting Software Defects at the Source

    Uprooting Software Defects at the Source by Hallem, Seth, Park, David, Engler, Dawson

    Published in ACM queue
    Get full text
    Items that cite this one
    Article
    Save to List
    Saved in:
  4. 4
    Bugs as deviant behavior

    Bugs as deviant behavior by Engler, Dawson, Chen, David Yu, Hallem, Seth, Chou, Andy, Chelf, Benjamin

    Get full text
    Items that cite this one
    Article
    Save to List
    Saved in:
  5. 5
    Bugs as deviant behavior:a general approach to inferring errors in systems code

    Bugs as deviant behavior:a general approach to inferring errors in systems code by Engler, Dawson, Chen, David Yu, Hallem, Seth, Chou, Andy, Chelf, Benjamin

    Get full text
    Conference Proceeding
    Save to List
    Saved in:
  6. 6
    How to write system-specific, static checkers in metal

    How to write system-specific, static checkers in metal by Chelf, Benjamin, Engler, Dawson, Hallem, Seth

    Get full text
    Items that this one cites
    Article
    Save to List
    Saved in:
  7. 7
    A system and language for building system-specific, static analyses

    A system and language for building system-specific, static analyses by HALLEM, Seth, CHELF, Beniamin, YICHEN XIE, ENGLER, Dawson

    Get full text
    Conference Proceeding
    Save to List
    Saved in:
  8. 8
    A System and Language for Building System-Specific, Static Analyses

    A System and Language for Building System-Specific, Static Analyses by Hallem, Seth, Chelf, Benjamin, Xle, Yichen, Engler, Dawson

    Request full text
    Report
    Save to List
    Saved in:
  9. 9
    Checking System Rules Using System-Specific, Programmer-Written Compiler Extensions

    Checking System Rules Using System-Specific, Programmer-Written Compiler Extensions by Engler, Dawson, Chelf, Benjamin, Chou, Andy, Hallem, Seth

    Request full text
    Report
    Save to List
    Saved in:
  10. 10
    An Empirical Study of Operating Systems Errors

    An Empirical Study of Operating Systems Errors by Chou, Andy, Yang, Junfeng, Chelf, Benjamin, Hallem, Seth, Engler, Dawson

    Request full text
    Report
    Save to List
    Saved in:
  11. 11
    Uprooting Software Defects at the Source: Source code analysis is an emerging technology in the software industry that allows critical source code defects to be detected before a program runs

    Uprooting Software Defects at the Source: Source code analysis is an emerging technology in the software industry that allows critical source code defects to be detected before a p... by Hallem, Seth, Park, David, Engler, Dawson

    Published in ACM queue
    Get full text
    Items that this one cites
    Magazinearticle
    Save to List
    Saved in:
  12. 12
    Bugs as Deviant Behavior: A General Approach to Inferring Errors in Systems Code

    Bugs as Deviant Behavior: A General Approach to Inferring Errors in Systems Code by Engler, Dawson, Chen, David Y, Hallem, Seth, Chou, Andy, Chelf, Benjamin

    Request full text
    Report
    Save to List
    Saved in:
  13. 13
    A Few Billion Lines of Code Later Using Static Analysis to Find Bugs in the Real World

    A Few Billion Lines of Code Later Using Static Analysis to Find Bugs in the Real World by BESSEY, A. L, BLOCK, Ken, CHELF, Ben, CHOU, Andy, FULTON, Bryan, HALLEM, Seth, HENRI-GROS, Charles, KAMSKY, Asya, MCPEAK, Scott, ENGLER, Dawson

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

Search Tools: