Wednesday Oct 06, 2010

Another Summer + First Semester Industry Project available

In collaboration with CorpTech, a couple of CEED compiler-oriented projects are offered, one for Java and one for JavaScript translation: 

Translation of Java/JavaScript into a Compiler Intermediate Representation

Interested students can apply via the CorpTech website.  Interviews for this project are due to start on the last week of October.

Friday Oct 01, 2010

Summer + First Semester Industry Projects starting in November

CristinaIn collaboration with CorpTech, the following CEED industry projects are available to Australian students from The University of Queensland, Queensland University of Technology and University of Southern Queensland.

Available projects: Software Testing Model - Analysis and RecoverySoftware Architecture Recovery, Correlation and Statistical Analysis of Bug Data - Bug Tracking System, and Software Performance - Develop a Memory-Safe C Runtime

Interested students can apply via the CorpTech website.  Interviews will start being conducted in mid October.

Thursday Jun 24, 2010

Research Assistant positions available starting July 2010

Two Research Assistant positions with the Parfait team are available in Brisbane, Australia for graduates from a Bachelors degree in CS, CSE, SE or IT, who have experience with compiler and/or program analysis techniques. 

Details of the positions are available through the Oracle Employment page, job codes IRC1358524 and IRC1358623.  Interested applicants should apply directly via the employment page. 

Monday Mar 22, 2010

Internship Position available starting April 2010

Cristina

An internship with the Parfait team in Brisbane, Australia is now available for an undergraduate or graduate student interested in software benchmarking, software complexity measurement or software testing.  

Details of the position are available through the Oracle Employment page.  Interested students should apply directly via that page. 

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

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

 

 

Monday Jun 01, 2009

Building a Better Bug-Checker

Parfait logo 

Cristina explains how the Parfait bug-checking project is addressing issues such as speed, scale and false positives of bug-checking tools

Read the full story at http://research.sun.com/minds/2009-0512/ 

 

[Read More]
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