Differences

This shows you the differences between two versions of the page.

--- posters [2014/08/21 11:45] – emmanuel
+++ posters [2025/06/18 14:54] (current) – mine
@@ Line 1: / Line 1: @@
 ====== Posters of Team APR ======
+  * Loïc Sylvestre - FCCM 2022
+    * A Virtual Machine Approach for High-level FPGA Programming ([[https://apr.team.lip6.fr/attic/posters/Loic_Sylvestre--FCCM2022.pdf|PDF]])
+  * Antoine Genitrini - HCERES LIP6 2018-01 :
+    * Etude quantitative et exploration statistique des processus concurrents  ([[https://apr.team.lip6.fr/attic/posters/Antoine_Genitrini--hceres2018.pdf|PDF]])
+  * Mathias Bourgoin - GDR GPL 2014-05 :
+    * High Performance Web-Cient Programming with SPOC ([[https://apr.team.lip6.fr/attic/posters/Mathias_Bourgoin--gdrgpl--0514.pdf|PDF]])
+  * Etienne Millon - GDR GPL 2014-05 :
+    * Verify the Safety of User Pointers Using Static Typing ([[https://apr.team.lip6.fr/attic/posters/Etienne_Millon--gdrgpl--0514.pdf|PDF]])
+  * Jérémie Salvucci - GDR GPL 2013-04 :
+    * Memory Consumption Analysis ([[https://apr.team.lip6.fr/attic/posters/Jeremie_Salvucci--gdrgpl--0413.pdf|PDF]])
+  * Benjamin Canou - AERES LIP6 2013-01 :
+    * A declarative-friendly API for Web document manipulation ([[https://apr.team.lip6.fr/attic/posters/Benjamin_Canou--aereslip6.pdf|PDF]])
+  * Philippe Wang - AERES LIP6 2013-01 :
+    * Safety-critical Software Development Tools Implementation Using an Applicative Language ([[https://apr.team.lip6.fr/attic/posters/Philippe_Wang--aereslip6--0113.pdf|PDF]])
+  * Alexis Darrasse - FPSAC 2008
+    * Distances in random Apollonian network structures ([[https://apr.team.lip6.fr/attic/posters/Alexis_Darrasse--FPSAC2008.pdf|PDF]])
-  * Mathias Bourgoin - GDR GPL 2014/05 :
-    * High Performance Web-Cient Programming with SPOC ([[apr>posters/Mathias_Bourgoin--gdrgpl--0514.pdf|PDF]])
-  * Etienne Millon - GDR GPL 2014/05 :
-    * Verify the Safety of User Pointers Using Static Typing ([[apr>posters/Etienne_Millon--gdrgpl--0514.pdf|PDF]])
-  * Philippe Wang - AERES LIP6 2013/01 :
-    * Safety-critical Software Development Tools Implementation Using an Applicative Language ([[apr>posters/Philippe_Wang--aereslip6--0113.pdf|PDF]])