| When? |
Who? |
From? |
Article? |
Authors? |
Slides? |
| September |
| Thursday, the 6th 11:30am |
Henri Blondeel |
Intern in the Everest team |
1/ Model Checking for Confidentiality by enriching Trees with Path
Equivalences [pdf] 2/ Software Model Checking for Confidentiality |
1/ R. Alur, P. Cerny, and S. Chaudhuri 2/ R. Alur and P. Cerny |
[tar] |
| June |
| Friday, the 22th 11:30am |
Vladimir Komendantsky |
Post-Doc in the Marelle team |
Denotational semantics of normalization in call-by-name lambda-mu calculus [pdf] |
V. Komendantsky |
[pdf] |
| Friday, the 1st 11:30am |
Cody Roux |
Intern in the Marelle team |
A Tutorial on (Co)Algebras and (Co)Induction [pdf] |
B. Jacobs and J. Rutten |
[pdf] |
| May |
| Friday, the 11th 11:30am |
Clément Hurlin |
PhD student in the Everest team |
A Simple Sequential Reasoning Approach for Sound Modular Verification of Mainstream Multithreaded Programs [pdf] |
B. Jacobs, J. Smans, F. Piessens, and W. Schulte |
[pdf,tex] |
| Friday, the 4th 11:30am |
Gustavo Petri |
PhD student in the Everest team |
Automatic Detection of Parallelism: A grand challenge for high performance computing [pdf] |
W. Blume, R. Eigenmann, J. Hoeflinger, D. Padua, P. Petersen, L. Rauchwerger, and P. Tu
| [pdf,tex] |
| April |
| Friday, the 13th 11:30am |
Cesar Kunz |
PhD student in the Everest team |
Modular verification and certificate translation for a simple abstract oriented language [pdf] |
Cesar Kunz |
|
| March |
| Friday, the 23th 11:00am |
Yu Zhang |
Post-Doc in the Everest team |
Type systems for polynomial-time computations [article ps, thesis
pdf] |
M. Hofmann |
[pdf] |
| Friday, the 16th 11:30am |
Ioana Pasca |
Intern in the Marelle team |
Non-Standard Analysis in ACL2 [pdf] |
R. Gamboa and M. Kaufmann |
[pdf] |
| Friday, the 2nd 11:30 am |
Sidi Ould Biha |
PhD student in the Marelle team |
Classification of Communication and Cooperation Mechanisms
for Logical and Symbolic Computation Systems [pdf] and its application to make Coq and GAP communicating |
J. Calmet and K. Homann |
[pdf] |
| February |
| Thursday, the 1st 2pm |
Salvador Cavadini |
PhD student in the Everest team |
Intransitive Noninterference in Dependence Graphs [pdf,more] |
C. Hammer, J. Krinke and F. Nodes |
[pdf.gz, sxi] |