Hello Everyone,
Just a reminder that Shaan Nagy will be presenting at today's seminar at 1:05pm in room 3310. The topic is "Invariant
Synthesis." You can read his brief abstract below!
Abstract:
"Most
programming languages can express recursive or looping semantics. While these constructs are useful, their precise semantics can be hard to reason about because they are defined recursively. One approach to this problem is to provide “invariants” approximate
such constructs’ semantics. In this talk, we will first motivate the need for invariants to capture certain types of program behaviors. We will then discuss a few common invariant synthesis techniques, and finally we will summarize the main challenges faced
when synthesizing invariants."
|