Time: 10:00-12:00, April 16st, 2009
Place: Seminar Room 1 (2006), 20F, National Institute of Informatics
(map)
Fee: Free
You need to register your name, affiliation and e-mail address in
advance. Please send a mail titled “20th Grace Seminar” including
the information to event-info@grace-center.jp.
– – – – – – – – – – – – – – – – – – – – – – – – – – – – – – – – –
Details:
First Speaker: Ralf Huuck (NICTA, Australia)
Title: Goanna — An Automatic Software Analysis Tool of C/C++
Abstract:
Quality assurance for large software code bases can be a daunting task.
Software bugs are often hiding where least expected: on program paths that are rarely executed and often neglected by traditional testing techniques.
In this talk we present an approach for detecting certain classes of bugs fully automatically in millions of lines of C/C++ code. Our approach is based on formal verification techniques such as model checking, static analysis and constraint solving. We present the core ideas, the underlying formal framework and their implementation in our tool Goanna. Moreover, we report on our experiences from analyzing source code packages in the open source world as well as in industry.
Biography:
Ralf Huuck is a senior researcher and project leader at NICTA. Dr Huuck has been leading the research and development of the underlying Goanna technology at NICTA, for over three years.
In his earlier career Dr Huuck completed his PhD at the University of Kiel in the area of Software Technology. Although starting out as a theoretical computer scientist, he has been a vivid proponent of realistic applications and solving problems that matter in the real world and carrying out the idea in several projects funded by the German government and the European Union.
Dr Huuck held several visiting researchers appointments in France, Australia, Japan and Hong Kong.
=======================================
Second Speaker: Yutaka Oiwa (RCIS/AIST)
Title: Fail-Safe C: a memory-safe compiler for the C language
Abstract:
Fail-Safe C is a memory-safe implementation of the full ANSI C language.
More precisely, it detects and disallows all unsafe operations, yet conforming to the full ANSI C standard (including casts and unions) and even supporting many “dirty tricks” common in many existing programs which do not strictly conform to the standard. This work also proposes several techniques—both compile-time and runtime—to reduce the overhead of runtime checks. By using the Fail-Safe C compiler, programmers can easily make their programs safe without performing heavy rewriting or porting of their code.
Biography:
Yutaka Oiwa obtained his Master’s and Ph.D. the University of Tokyo in
2001 and 2005, respectively. Since April 2005, he has been working as a Research Scientist at AIST in Akihabara. His area of expertise include Programming Languages (Theory, Design and Implementation), Computer Security, and Network Protocols. In 2002, he obtained the Takahashi Encouraging Award from the Japan Society for Software Science and Technology (JSSST).
