Date: | Fri, 12 Apr 2019 20:34:38 +0000 |
---|---|
From: | Calvin Smith <cjsmith@xxxxxxxxxxx> |
Subject: | [pl-seminar] Talk at noon on Monday (4/15) in CS 3310 |
Howdy yâall,
Next week we have Nadia Polikarpova visiting from UCSD. Sheâll be giving a talk on the synthesis of safe pointer-manipulating programs in CS 3310 at 12pm. The events page is here: https://today.wisc.edu/events/view/135561,
and the abstract is below. Nadiaâs work is really cool, but if thatâs not enough to get you to show up weâll even have refreshments. Hope to see yâall there.
- Calvin
Abstract:
Low-level pointer-manipulating programs form the backbone of our digital infrastructure. Unfortunately, they are susceptible to memory safety bugs, such as buffer overflows and use-after-free, which lead to crashes and security vulnerabilities. A promising
approach to eliminating memory safety bugs is to use program synthesis technology to generate provably safe low-level code automatically from high-level specifications. In this talk I will present a program synthesizer SuSLik, which accepts a logical specification
as input, and produces a provably safe C program as output. SuSLik is the first synthesizer capable of generating a wide range of operations on linked data structures (such as singly- and doubly-linked lists, sorted lists, and trees) without additional hints
form the user. To make this possible, SuSLik relies on a novel proof systemâsynthetic separation logicâto derive correct-by-construction programs directly from their specifications. Bio: Nadia Polikarpova is an assistant professor at CSE, and a member of the
Programming Systems group. She received her Ph.D. in computer science from ETH Zurich in 2014. She then spent three years as a postdoctoral researcher at MIT. Dr. Polikarpova's work spans the areas of programming languages and formal methods; in particular,
she is interested in building practical tools and techniques that make it easier for programmers to construct secure and reliable software.
|
[← Prev in Thread] | Current Thread | [Next in Thread→] |
---|---|---|
|
Previous by Date: | Re: [pl-seminar] Nadia Polikarpova's madPL visit, Loris D'Antoni |
---|---|
Next by Date: | Re: [pl-seminar] Talk at noon on Monday (4/15) in CS 3310, Aws Albarghouthi |
Previous by Thread: | Re: [pl-seminar] Talk at noon on 4/08 in 4310, Samuel Drews |
Next by Thread: | Re: [pl-seminar] Talk at noon on Monday (4/15) in CS 3310, Aws Albarghouthi |
Indexes: | [Date] [Thread] |