Friday Oct 16, 2009

Parfait presentation at the LLVM Developers Meeting 2009

CristinaParfait is built using the LLVM infrastructure.  Earlier in October I presented on Parfait at the LLVM Developer Meeting 2009, here are slides and a mobile (m4v) video of the talk.  The LLVM meeting was well attended by people from industry and academia, it's program shows the wide use of LLVM in the compiler community; check it out

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