Parfait presentation at the LLVM Developers Meeting 2009
Parfait 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!
Posted at 07:30PM Oct 16, 2009 by Cristina Cifuentes in Tech Talks |
ASWEC 2010 CFP
Established in 1986, ASWEC is a leading technical forum for the
exchange of peer-reviewed research outcomes and industry best-practice
in software engineering. The 21st Australian Software Engineering Conference - ASWEC 2010 - will
be held in the Central Business District of Auckland, New Zealand from
the 6th to the 9th of April 2010. It accepts both research papers and industry papers, discussing techniques and experiences in all areas of software engineering. I am honoured to serve in the PC of ASWEC2010. Please consider to submit a paper, the due data is 7 Dec 2009. For more information, please see the ASWEC 2010 website http://aswec2010.massey.ac.nz/.
Posted at 09:27AM Sep 28, 2009 by Lian Li in News |
Software Freedom Day @ University of Technology Sydney
Guest Speakers Alan Hargreaves will talk about Solaris and Andrew Latham who will talk about Cloud Computing and Open Software.
This is an epic event, not to be missed. Lucky Door prize, Giveaways and a Free lunch.
Where: 15 Broadway, Ultimo - City Broadway Campus, University of Technology Sydney
When: Thursday, 17th September 2009
Cost: Free
Posted at 04:03PM Sep 02, 2009 by Michele Pocknee in Tech Talks |
Engineering Expo at the University of Melbourne
http://www.gridbus.org/cdn/expo09/index.html
Where: Gryphon Gallery, Graduate Center, University of Melbourne
When: Friday, 25th September 2009
Cost: Free
Posted at 03:07PM Aug 24, 2009 by Michele Pocknee in Tech Talks |
Software Freedom Day
Keep tuned for Software Freedom Day TechTalks during September 2009 in Universities in Sydney, Melbourne and Brisbane.
Posted at 10:49AM Aug 20, 2009 by Michele Pocknee in Tech Talks |
Video of Parfait talk at KCA
The Kernel Conference Australia videos are now online on Ustream. Here's a link to the Parfait talk: http://www.ustream.tv/recorded/1815021
Posted at 09:54AM Aug 04, 2009 by Cristina Cifuentes in News |
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.
Posted at 12:46AM Jul 21, 2009 by Cristina Cifuentes in Tech Talks |
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.
Posted at 09:48PM Jul 16, 2009 by Cristina Cifuentes in News |
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.
Posted at 08:40AM Jul 14, 2009 by Cristina Cifuentes in Tech Talks |
CommunityOne this Tuesday June 2nd: Secure programming in C
If you are in San Francisco this week, hear Principal Engineer Scott Rotondo, from the Solaris Security Technologies, this Tuesday June 2nd at the FREE CommunityOne event talking about Secure Programming in C. If you miss it, here's a link to a paper and slides on the topic, as well as a reference to Parfait ;-)
Posted at 08:58PM Jun 01, 2009 by Cristina Cifuentes in News |
Building a Better Bug-Checker
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 h
[Read More]
Posted at 03:45PM Jun 01, 2009 by Michele Pocknee in News |
University Day @ University of Sydney, 19th May 2009
Join us for a morning of cool talks and demoes by Sun Evangelists at the University Day in Sydney
When: Tuesday 19th May 2009
Where: Law School Lecture Theater 106, University of Sydney
Host: Chris Leong, University of Sydney Student Ambassador
Agenda
| 8:30 – 9:00am | Registration |
| 9:00 – 9:10am | University Welcome - Reginald Hutcherson |
| 9:10 – 9:35am | Demos You Don't Want to Miss (all Evangelists) |
| 9:35 – 10:10am | JavaFX: Building Rich Internet Applications with Ease - Angela Caicedo |
| 10:10 – 10:45am | Building Cool Applications with NetBeans - Chuk Munn Lee |
| 10:45 – 11:00am | BREAK |
| 11:00 – 11:35am | Introduction to OpenSolaris – Earn a Certificate! - Peter Karlsson |
| 11:35 – 12:10pm | Java ME - Angela Caicedo |
| 12:10 – 12:40pm | 7 Habits of Highly Effective Developer - Chuk Munn Lee |
| 12:40 – 1:00pm |
Hear the Power of Sun - from Local Campus Ambassador - Chris Leong |
Speakers Bio: http://au.sun.com/sunnews/events/2009/devdays/speakers.jsp
Posted at 09:37PM May 11, 2009 by Michele Pocknee in Tech Talks |
TechTalk in Melbourne, 12th and 14th May 2009
Join us for a TechTalk by Ashwin Rao from the Developer Tools organization, who will talk on "Accelerating your development with NetBeans".
Where: Monash University. Tuesday 12th May 2009, 1-2pm
And: University of Melbourne, ICT Building, Theater 2. Thursday 14th May 2009, 1-2pm
Hosts: Aupi As-Saber, Monash University Student Ambassador
Arif Mohammed, University of Melbourne Student Ambassador
Abstract
Having the right tools for the right job is a notion that is true across many disciplines, if not all, and application development is no different.
This session showcases how the NetBeans project, which consists of an open-source IDE and an application platform that enables developers to rapidly create web, enterprise, desktop, and mobile applications using the Java platforms, can significantly improve developer productivity. The IDE supports many languages such as Java, PHP, JavaScript and Ajax, Ruby and Ruby on Rails, Groovy, JavaFX and C/C++.
The session will touch upon highlights of the upcoming NetBeans 6.7 release. Among the new features, is the ability to facilitate the collaborative development paradigm with seamless connections into Kenai.com, a collaborative project hosting infrastructure that sits in the cloud.
Finally, the session will talk about JavaFX, an expressive rich client platform for creating and delivering rich Internet experiences across all screens of your life. Developing to JavaFX is vastly simplified with the support built in to the NetBeans IDE.
Bio
Ashwin Rao is a Product Line Manager in the developer tools organization at Sun Microsystems. He has been associated with developer tools for most parts of his career. Ashwin started his career as a developer in the defense industry working on developing real time software for command and control systems. Before joining Sun, he held various technical positions in Baan an ERP company, including that of a developer / team lead in a development group at Baan working on the next generation ERP platform and development tools.
Posted at 02:29PM May 11, 2009 by Michele Pocknee in Tech Talks |
TechTalk in Brisbane @ QUT, Thursday 14th May 2009
Join us for a TechTalk by James McPherson from the Solaris team, who will talk on "Care and feeding of developers: experiences from the OpenSolaris Gate".
Where: Queensland University of Technology, Gardens Point campus, Room S 408
When: Thursday 14th May 2009, 3-4pm
Host: Umair Awan, QUT Student Ambassador
Abstract
The OpenSolaris development community is globally distributed, and reliant on well run infrastructure. This presentation will explain some of the quirks and features, as well as covering some of the procedural and infrastructure issues that we have come across while moving to an Open development model including a new source code management system.
Bio
James McPherson has worked for Sun Microsystems for nearly 10 years, in support and development roles. In the past he has supported backup and volume management software, and developed fibre channel, multipathing and SAS features for OpenSolaris. He recently transitioned from his development role to work as gatekeeper for the core OpenSolaris kernel group, responsible for the care and feeding of the gate machines and playing a more hands-on part in keeping OpenSolaris quality up to standard.
Posted at 10:46PM May 08, 2009 by Cristina Cifuentes in Tech Talks |
PhD Scholarship
Sun Microsystems Laboratories, Brisbane and Bond University, Gold Coast, Australia -- PhD scholarship
Sun Microsystems Laboratories, Sun Labs, in collaboration with Bond University, are sponsoring a 3-year PhD scholarship in the intersection of the areas of program analysis and model-based testing. We are interested in advanced program analysis techniques and algorithms as they relate to bug checking of systems code.
Requirements
Applicants must have completed a Bachelor of Computer Science, Software Engineering, Computer Engineering, Mathematics or affine area of study.
The successful candidate needs good design and implementation skills in the C, C++ or Java language, as well as some knoledge of program analysis techniques in one of the following areas: data flow analysis, type analysis or abstract interpretation. The candidate will interact with the Parfait Sun Labs Down Under team and can base his/her work on their layered framework for bug checking of C/C++ code.
Supervisors
Professor Paddy Krishnan, Bond University, will be the PhD supervisor. Dr Cristina Cifuentes, Sun Labs Brisbane, will be the associate supervisor.
Queries
If you are interested in applying or have any queries about this scholarship, please email Professor Paddy Krishnan at pkrishna@bond.edu.au
Posted at 09:37PM Apr 13, 2009 by Cristina Cifuentes in Jobs |
