Mailing List Archives

Authenticated access

 		[Computer Systems Lab]

[← Prev]  [Date]  [Next →] [← Prev]  [Thread]  [Next →]

[pl-seminar] pl-seminar today: Invariant Synthesis (practice talk for ESOP 2016)

Date: Tue, 29 Mar 2016 13:05:04 +0000
From: Jason Breck <jbreck@xxxxxxxxxxx>
Subject: [pl-seminar] pl-seminar today: Invariant Synthesis (practice talk for ESOP 2016) 
Hi, everyone,

Today at the PL seminar (noon, CS4310) I'll be talking about:

"An algorithm inspired by constraint solvers to infer inductive invariants in numeric programs"

This is a practice talk for ESOP 2016.  Our paper can be found here: 

http://research.cs.wisc.edu/wpis/papers/mine_breck_reps_submission.pdf

  Thank you!

 - Jason
[← Prev in Thread] Current Thread [Next in Thread→]
  • [pl-seminar] pl-seminar today: Invariant Synthesis (practice talk for ESOP 2016), Jason Breck <=
Previous by Date:  [pl-seminar] [pl-reading] D3 : Data-Driven Disjunctive Abstraction, Tushar Sharma
Next by Date:  [pl-seminar] Today's seminar, Loris D'Antoni
Previous by Thread:  [pl-seminar] PL seminar today, Aws Albarghouthi
Next by Thread:  [pl-seminar] [PL Seminar] Today's Talk, Qinheping HU
Indexes:  [Date] [Thread]