|
24 November: (week 47) |
Nicolas Julien
|
PhD. student in the
Marelle team |
Signed-Digit Number Representation for Fast Parallel Arithmetic |
A. Avizienis |
scan |
|
17 November: (week 46) |
Clément Hurlin
|
PhD. student in the
Everest team |
Exploiting Purity for Atomicity |
C. Flanagan, S. N. Freund and S. Qadeer |
ps |
slides
src
|
|
3 November: (week 44) |
Julien Charles
|
PhD. student in the
Everest team |
Modular specification of frame properties in JML |
P. Müller, A. Poetzsch-Heffter, and G. T. Leavens |
pdf |
|
27 October: (week 43) |
Sidi Biha
|
PhD. student in the
Marelle team |
An invitation to computational group theory |
J. Neubüser |
ps
Gap
|
|
11 October: (week 41) |
Santiago Zanella
|
PhD. student in the
Everest team |
Reconciling two views of cryptography (The computational soundness of
formal encryption) |
Martin Abadi and Phillip Rogaway |
ps (updated)
ps (original)
|
|
28 September: (week 39) |
Alejandro Tamalet
|
Intern in the
Everest team |
Specifying and Checking Method Call Sequences of Java Programs |
Yoonsik Cheon and Ashaveena Perumandla |
html
pdf |
|
12 September: (week 37)
|
Salvador Cavadini
|
PhD. student in the
Everest team |
Program slicing based on specification |
I. S. Chung, W. K. Lee, G. S. Yoon and Y. R. Kwon |
pdf |
|
3 August: (week 31) |
Santiago Zanella
|
PhD. student in the
Everest team |
Composable memory transactions |
Tim Harris, Simon Marlow, Simon Peyton-Jones and Maurice Herlihy |
pdf |
|
18 July: (week 29) |
Alejandro Tamalet
|
Intern in the
Everest team |
Enforcing non-safety properties with program monitors |
Jarred A. Ligatti, Lujo Bauer and David Walker |
pdf
|
|
11 July: (week 28) |
Julien Charles
|
PhD. student in the
Everest team |
Desugaring JML Method Specifications |
Arun D. Raghavan and Gary T. Leavens |
ps |
|
27 June: (week 26) |
Cesar Kunz
|
PhD. student in the
Everest team |
Automated Soundness Proofs for Dataflow Analyses and
Transformations via Local Rules |
Sorin Lerner, Todd Millstein, Erika Rice and Craig Chambers |
ps
|
|
13 June: (week 24) |
Sidi Biha
|
Intern in the
Marelle team |
Multi-Prover Verification of C Programs |
Jean-Christophe Filiâtre and Claude Marché |
ps
|
|
6 June: (week 23) |
Nicolas Julien
|
Intern in the
Marelle team |
CoInduction in Coq |
Yves Bertot |
ps
pdf
more...
|
|
29 May: (week 22) |
Fernando Pastawski
|
Intern in the
Everest team |
Simple Relational Correctness Proofs for
Static Analyses and Program Transformations |
Nick Benton |
pdf
|
|
23 May: (week 21) |
Salvador Cavadini
|
PhD. student in the
Everest team |
Program Slicing Using Weakest Preconditions |
Joseph J. Comuzzi and Johnson M. Hart |
pdf |
| 16 May (week 20) |
Gustavo Petri |
Intern in the
Everest team |
The Java Memory Model and Thread Specification (JSR-133) |
William Pugh |
pdf
more...
|