Register | Log in | FAQ      [?] 
Recent | Unread | Search | Authors | Tags | Export

srccheck's Engler [9 articles]

Recent papers posted to srccheck's library by the author Engler. You can also see everyone's Engler.
  • From Uncertainty to Belief: Inferring the Specification Within
    (2006), pp. 161-176.
    by Ted Kremenek, Paul Twohey, Godmar Back, Andrew Y Ng, Dawson R Engler
    posted to machine_learning mc source_sink by srccheck on 2008-02-28 15:37:04 as **
  • MECA: an Extensible, Expressive System and Language for Statically Checking Security Properties
    (2003)
    by Junfeng Yang, Ted Kremenek, Yichen Xie, Dawson Engler
    posted to meca static_analysis tools by srccheck on 2008-02-12 16:25:10 as ****
  • Z-Ranking: Using Statistical Analysis to Counter the Impact of Static Analysis Approximations
    Static Analysis (2003), pp. 1075-1075.
    by Ted Kremenek, Dawson Engler
    posted to machine_learning sas03 warning_ranking by srccheck on 2008-02-08 13:42:05 as ***
  • ARCHER: using symbolic, path-sensitive analysis to detect memory access errors
    (2003), pp. 327-336.
    by Yichen Xie, Andy Chou, Dawson R Engler
    posted to archer path_sensitive tools by srccheck on 2008-02-08 11:24:47 as ****
  • Using programmer-written compiler extensions to catch security holes
    (May 2002), pp. 143-159.
    by K Ashcraft, D Engler
    posted to defects defect_search mc tainted_buffer tainted_value to_close by srccheck on 2008-02-06 11:24:19 as read along with 3 people mercutio plaugg ronnix
  • Using redundancies to find errors
    SIGSOFT Softw. Eng. Notes, Vol. 27, No. 6. (2002), pp. 51-60.
    by Y Xie, D Engler
    posted to defects inconsistent_code mc by srccheck on 2008-02-06 11:08:07 as read along with 1 person bdanilov
  • Checking System Rules Using System-Specific, Programmer-Written Compiler Extensions
    (October 2000)
    by D Engler, B Chelf, A Chou, S Hallem
    posted to defects mc osdi00 tools by srccheck on 2008-02-06 10:34:50 as read along with 1 person pedagand
  • An Empirical Study of Operating System Errors
    (2001), pp. 73-88.
    by Andy Chou, Junfeng Yang, Benjamin Chelf, Seth Hallem, Dawson R Engler
    posted to mc search_report sosp04 to_close by srccheck on 2008-02-06 10:31:40 as read along with 3 people olesya fmc Gnurou
  • Bugs as Inconsistent Behavior: A General Approach to Inferring Errors in Systems Code
    (2001), pp. 57-72.
    by Dawson R Engler, David Y Chen, Andy Chou
    posted to defects defect_search inconsistent_code mc sosp01 to_close tools by srccheck on 2008-02-06 09:27:57 as read along with 3 people gameweld ronnix bdanilov
    • Note: You may cite this page as: http://www.citeulike.org/user/srccheck/author/Engler

    RIS BibTeX
    CiteULike organises scholarly (or academic) papers or literature and provides bibliographic (which means it makes bibliographies) for universities and higher education establishments. It helps undergraduates and postgraduates. People studying for PhDs or in postdoctoral (postdoc) positions. The service is similar in scope to EndNote or RefWorks or any other reference manager like BibTeX, but it is a social bookmarking service for scientists and humanities researchers.