Publicado em: 19/12/2012

Palestra com Ewen Denney no INF

No dia 20 de dezembro, quinta-feira, o pesquisador Ewen Denney, do Nasa Ames Research Center, ministrará palestra no Instituto de Informática. O título da palestra é Synthesizing Verifiers for Synthesized Code e acontecerá na sala 106 do prédio 67.

QUINTA-FEIRA, 20 de DEZEMBRO de 2012
———————————————————
Horário: 10h30min
——————————————————–
Local: Sala 106 prédio 67 – Instituto de Informática, UFRGS
——————————————————–

Palestrante: Ewen Denney (NASA Ames Research Center)

Titulo: Synthesizing Verifiers for Synthesized Code

Verifying interesting properties of code typically requires logical annotations. If these annotations need to be added manually, this presents a significant bottleneck to automated verification. Here, we describe a language for encoding the domain knowledge needed to automatically generate such annotations for a class of mathematical properties used for verifying automatically generated code. Interestingly, the problem of synthesizing annotations turns out to itself be a form of code generation.

Short Bio:
Dr Ewen Denney is a senior computer scientist with SGT at the NASA Ames Research Center in Moffett Field, CA where he currently leads a research group that is seeking to establish a formal basis for safety cases, in particular software safety cases, develop a tool to support this, and apply this work to NASA problems.

He has worked on automated code generation and safety certification in the aerospace domain, developing substantial AI-based systems for the the automated generation of code for scientific computation, and the certification of autocode.

He is the author of more than 50 publications on formal methods and program synthesis, and has served on numerous program committees and scientific advisory boards. He has chaired and co-chaired several conferences, including Software Certificate Management (2005), the inaugural NASA Formal Methods Symposium (2009), Proof Carrying Code and Software Certification (2009), Generative Programming and Component Engineering (2011), and will chair Automated Software Engineering (2013). He is also a member of the IFIP Working Group on Program Generation, and an honorary fellow of the University of Edinburgh. Voltar