G²OAT seminar: Symbolic Execution of Interpreted Languages

When

17. 2. 2025
13:00 – 14:00

Where

Room TH:A-1247

Thákurova 7, Prague 6

Web

G²OAT seminar

Record

Zoom

Categories

Lectures and seminars

In the regular Monday seminar of the G²OAT group, Petr Š'tastný (FIT) will talk about symbolic execution, a program analysis technique that examines possible program states to provide insight into program behavior. Developing a symbolic execution mechanism for a particular language is often time-consuming for developers, especially with respect to the performance optimizations required to keep analysis runtimes reasonable.

Event website

Abstract

Symbolic execution is a program analysis technique that explores possible program states, providing insights into a program's behavior. Developing a symbolic execution engine for a specific language is often time-intensive for developers, especially given the performance optimizations required to keep the analysis runtime reasonable.

More events

1. 1. – 31. 3. 2025

Submit application and be FIT!

For study applicants

Do you want to study a field that will open doors to many industries? Submit application to FIT CTU by March 31, 2025.

3. 3. – 21. 3. 2025

Applications to prg.ai Minor 2025

Top instructors, enthusiastic colleagues, events with inspiring guests exclusively for program students, and a certificate that will open doors to...

14. 3. – 16. 3. 2025

AimtecHackathon 2025

Competitions

Hackathon is a unique event, the main part of which is focused on the development of aids and solutions for people with disabilities. Over the course...

The person responsible for the content of this page: Bc. Veronika Dvořáková