Tuesday Aug 04, 2009

Video of Parfait talk at KCA

CristinaThe Kernel Conference Australia videos are now online on Ustream.  Here's a link to the Parfait talk: http://www.ustream.tv/recorded/1815021

Monday Jul 20, 2009

BegBunch talk at the Defects workshop

Cristina presented our work on benchmarking for C/C++ static analysis bug-checking tools, BegBunch, at the Defects Workshop in Chicago yesterday.  BegBunch allows users to measure accuracy and scalability of their bug-checker, as well as compare bug-checkers to help determine which one may be better suited to your task.  BegBunch consists of 2 harnesses and 3 suites: Synthetic, Accuracy and Scalability.  

Accuracy suite Scalability suite

Thursday Jul 16, 2009

Interns Daniel and Christian's presentation at KCA

Our interns Daniel Dawson and Christian Hoermann did an excellent job today at presenting a general overview on Parfait, current results, and giving a demo of the command-line interface and the graphical user interface. 

Intern Nathan Hawes, developer of the UI, would have joined the fun but unfortunately came down with tonsolitis this week.  

Daniel presenting results Christian demoing the Parfait command-lineChristian demoing the Parfait UI

Tuesday Jul 14, 2009

Parfait TechTalk at Kernel Conference Australia

Join us this Thursday at the Kernel Conference Australia in Brisbane, where we discuss about Parfait and finding buffer overflows in 3 open source kernels: OpenSolaris, Linux and OpenBSD. 

Parfait results

 

 

About

Cristina Cifuentes

Search

Categories
Archives
« April 2014
SunMonTueWedThuFriSat
  
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
   
       
Today