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

srccheck's Ball [2 articles]

Recent papers posted to srccheck's library by the author Ball. You can also see everyone's Ball.
  • Speeding Up Dataflow Analysis Using Flow-Insensitive Pointer Analysis
    (2002), pp. 230-246.
    by Stephen Adams, Thomas Ball, Manuvir Das, Sorin Lerner, Sriram K Rajamani, Mark Seigle, Westley Weimer
    posted to alias_analysis andersen_analysis hybrid_analysis steensgaard_analysis by srccheck on 2008-04-17 09:58:40 as **
  • Thorough static analysis of device drivers
    SIGOPS Oper. Syst. Rev., Vol. 40, No. 4. (October 2006), pp. 73-85.
    by Thomas Ball, Ella Bounimova, Byron Cook, Vladimir Levin, Jakob Lichtenberg, Con Mcgarvey, Bohus Ondrusek, Sriram K Rajamani, Abdullah Ustuner
    posted to model_checking slam tools by srccheck on 2008-04-07 12:23:24 as ** along with 1 person pedagand
    • Note: You may cite this page as: http://www.citeulike.org/user/srccheck/author/Ball

    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.