http://stator.imag.fr/w/api.php?action=feedcontributions&user=Valentin+Touzeau&feedformat=atomSTATOR - User contributions [en-gb]2024-03-29T07:19:30ZUser contributionsMediaWiki 1.34.1http://stator.imag.fr/w/index.php?title=VerifGroup&diff=283VerifGroup2018-01-09T10:17:28Z<p>Valentin Touzeau: </p>
<hr />
<div>== Verification WG -Grenoble/Lyon ==<br />
<br />
<ul><br />
<li>The reading group is open to anyone interested in program<br />
verification in Lip and Verimag. </li><br />
<li> RAVERIF should not last more than an hour,<br />
including visioconferences problems</li><br />
<li> Tuesday, Jan 31 2017 : Julien Braine, SAS13 on horn clauses and<br />
array abstractions<br />
[https://www7.informatik.tu-muenchen.de/~rybal/papers/2013-sas-solving-universally-quantified-horn-clauses.pdf paper] [[Media:julien_2017_01.pdf]]</li><br />
<li> Tuesday, Feb 7, 2017 : Rémy Boutonnet, on interprocedural polyhedral<br />
invariant generation : cite papers ? [slides|remi_2017_02.pdf]</li><br />
<li> Tuesday, Feb 14, 2017 : Laure Gonnord, on termination of<br />
sequential programs [https://hal.archives-ouvertes.fr/hal-01144622 paper(HAL)] (PLDI15) [http://laure.gonnord.org/pro/talks/pldi_june15.pdf slides] Lyon : Salle du Conseil. Verimag : TBD. </li><br />
<li> Tuesday, Feb 21, 2017 : [[Media:Valentin_Touzeau_2017-02-21.pdf]] A Survey on Cache Analysis for Real-Time System (M. Lv, N. Guang, W. Yi, J. Reineke, R. Wilhelm), Valentin Touzeau </li><br />
<li> Tuesday, March 7, 2017 : Mickaël Perin, on Polyhedra certification. Lyon : Ekiga . Verimag : TBD. </li><br />
<li> Tuesday, March 21, 2017 : Christophe Alias, on Farkas Lemma and all that for compilation. [[Media:Christophe-21-03-2017.pdf]] Lyon : petite salle Visio . Verimag : 258</li><br />
<li> Tuesday, March 28, 2017 : Verimag Keynote, Nicolas Bjørner, Network Verification for Microsoft Azure. Verimag: IMAG 206 (attention accès badgé), Lyon : ekiga à partir du Bureau de Laure au LIP</li><br />
<li> Tuesday, April 4 2017 : [[Media:monniaux_smt_compressed.pdf]] A survey on SMT, David Monniaux Lyon : petite salle visio, Grenoble 348 and ligne visio INRIA 10</li><br />
<li> Tuesday, April 18 2017 : [[Media:NRevol-2017-04-18.pdf]] Intervals in multiprecision, Nathalie Revol. Lyon Salle du Conseil </li><br />
<li> Tuesday, May 5, 2017 : Goran Frehse. Support functions Lyon 313 Grenoble 258</li><br />
<li> Tuesday, July 3 2017 : [[Media:Valentin_Touzeau_2017-07-03.pdf]] Ascertaining Uncertainty for Efficient Exact Cache Analysis, Valentin Touzeau (practise CAV17 talk)</li><br />
<li> Tuesday, Nov 20, 2017, 2:30pm : Henri Pierre Charles, from CEA. Joint seminar with ROMA [http://www.ens-lyon.fr/LIP/ROMA/news.php]<br />
<li> <br />
</ul></div>Valentin Touzeauhttp://stator.imag.fr/w/index.php?title=File:Valentin_Touzeau_2017-07-03.pdf&diff=282File:Valentin Touzeau 2017-07-03.pdf2018-01-09T10:07:16Z<p>Valentin Touzeau: </p>
<hr />
<div></div>Valentin Touzeauhttp://stator.imag.fr/w/index.php?title=VerifGroup&diff=272VerifGroup2017-03-21T16:10:49Z<p>Valentin Touzeau: </p>
<hr />
<div>== Verification WG -Grenoble/Lyon ==<br />
<br />
<ul><br />
<li>The reading group is open to anyone interested in program<br />
verification in Lip and Verimag. </li><br />
<li> Each week, on Tuesday, at 2pm, a student explains a paper (or a bench of<br />
papers) in less that 30 min. This should not last more than an hour,<br />
including visioconferences problems</li><br />
<li> Tuesday, Jan 31 2017 : Julien Braine, SAS13 on horn clauses and<br />
array abstractions<br />
[https://www7.informatik.tu-muenchen.de/~rybal/papers/2013-sas-solving-universally-quantified-horn-clauses.pdf paper] [[Media:julien_2017_01.pdf]]</li><br />
<li> Tuesday, Feb 7, 2017 : Rémy Boutonnet, on interprocedural polyhedral<br />
invariant generation : cite papers ? [slides|remi_2017_02.pdf]</li><br />
<li> Tuesday, Feb 14, 2017 : Laure Gonnord, on termination of<br />
sequential programs [https://hal.archives-ouvertes.fr/hal-01144622 paper(HAL)] (PLDI15) [http://laure.gonnord.org/pro/talks/pldi_june15.pdf slides] Lyon : Salle du Conseil. Verimag : TBD. </li><br />
<li> Tuesday, Feb 21, 2017 : Valentin Touzeau, on cache analysis [[Media:Valentin_Touzeau_2017-02-21.pdf]]<br />
<li> Tuesday, March 7, 2017 : Mickaël Perin, on Polyhedra certification. Lyon : Ekiga . Verimag : TBD. </li><br />
<li> Tuesday, March 21, 2017 : Christophe Alias, on Farkas Lemma and all that for compilation. [[Media:Christophe-21-03-2017.pdf]] Lyon : petite salle Visio . Verimag : 258</li><br />
<li> Tuesday, March 28, 2017 : Verimag Keynote, TBA</li><br />
<li> Tuesday, April 4 2017 : A survey on SMT, David Monniaux </li><br />
<li> Tuesday, April 11 2017 : No workgroup </li><br />
<li> Tuesday, April 18 2017 : Intervals in multiprecision, Nathalie Revol. Lyon Salle du Conseil </li><br />
<li> Tuesday, April 25 2017 : No workgroup </li><br />
<br />
<br />
</ul></div>Valentin Touzeauhttp://stator.imag.fr/w/index.php?title=File:Valentin_Touzeau_2017-02-21.pdf&diff=271File:Valentin Touzeau 2017-02-21.pdf2017-03-21T16:03:57Z<p>Valentin Touzeau: Valentin Touzeau uploaded a new version of File:Valentin Touzeau 2017-02-21.pdf</p>
<hr />
<div>Valentin Touzeau 2017-02-21</div>Valentin Touzeauhttp://stator.imag.fr/w/index.php?title=File:Valentin_Touzeau_2017-02-21.pdf&diff=270File:Valentin Touzeau 2017-02-21.pdf2017-03-21T15:58:12Z<p>Valentin Touzeau: Valentin Touzeau 2017-02-21</p>
<hr />
<div>Valentin Touzeau 2017-02-21</div>Valentin Touzeau