Bersama dengan ini, kami umumkan kegiatan Seminar yang dilaksanakan pada:
| Tanggal | : | Rabu, 4 Desember 2019 |
| Waktu | : | 13:00 – 14:00 WIB |
| Tempat | : | Ruang Rapat Besar, Gedung A lantai 2, Fasilkom UI Depok |
| Topik | : | Abstract Execution: A New Static Software Analysis Principle |
| Pembicara | : | Prof. Reiner Hähnle, Full Professor in Computer Science at Technische Universität Darmstadt and leads the Software Engineering Group. |
Abstract
We propose a new static software analysis principle called Abstract Execution, generalizing Symbolic Execution: While the latter analyzes all possible execution paths of a specific program, Abstract Execution analyzes a partially unspecified program by permitting abstract symbols representing unknown contexts. There is a wide range of applications of Abstract Execution, especially for verifying relational properties of schematic programs. We implemented Abstract Execution in a deductive verification framework and proved correctness of eight well-known statement-level refactoring rules, including two with loops. For each refactoring we characterize the preconditions that make it semantics-preserving. Most preconditions were not mentioned in the literature.
Paper, see https://doi.org/10.1007/978-3-030-30942-8_20
Speaker’s Bio
Reiner Hähnle is Full Professor in Computer Science at Technische Universität Darmstadt and leads the Software Engineering Group. His main research interest are Formal Methods applied in Software Engineering. Reiner is one of the main designers of the Java static analysis tool KeY and of the modeling language ABS. He was co-PC chair of Tableaux, IJCAR, TAP, and FASE. He published and edited over 200 papers and books and served in over 100 program committees.
Apabila ada diantara bapak/ibu yang berminat hadir, kami persilahkan mendaftarkan diri (RSVP) pada : https://bit.ly/rsvpfasilkomui-1
Jika ada pertanyaan silahkan disampaikan ke email: humasfasilkom[at]cs.ui.ac.id