Skip to content

Commit 333dfd9

Browse files
b-scholzb-scholz
committed
Added SAS'22 Keynote and LPOP Workshop talk
1 parent 9069461 commit 333dfd9

File tree

2 files changed

+2
-0
lines changed

2 files changed

+2
-0
lines changed

‎pages/docs/publications.md

Lines changed: 2 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -45,6 +45,8 @@ Equivalence Relations in Soufflé, Honours 2018. ([link](/pdf/patrickthesis.pdf)
4545
Provenance in Soufflé, Honours 2017. ([link](/pdf/davidthesis.pdf)).
4646

4747
## Talks
48+
* Pavle Subotić: Commercial-Grade Static Analyzers in Datalog, LPOP'22 Workshop.
49+
* Bernhard Scholz: Commercial-Grade Static Analyzers in Datalog, SAS'22 Keynote, ([link](/pdf/SAS22Keynote.pptx)).
4850
* Bernhard Scholz: Tool Talk: Soufflé, PLDI 2020 - SOAP, London, UK` https://www.youtube.com/watch?v=Qp3zfM-JSx8
4951
* Pavle Subotić: Soufflé, 27/10/16, Amazon AWS, Automated Reasoning Group, Seattle, USA`
5052
* Pavle Subotić: Soufflé: On Synthesis of Analyzers, 23/7/16, Computer Aided Verification (CAV), Toronto, Canada`

‎pdf/SAS22Keynote.pptx

2.97 MB
Binary file not shown.

0 commit comments

Comments
 (0)