Trace: » start

Lectures
Computer Science
Projects
Biblio.*

Lectures

Spin : links to some Spin docs (fr)
English : useful advices (fr)
ENS Seminar : notes of my 1st year ENS seminars (fr)
Internships : internship resources (fr)
Reasonable Assumptions: because everything is relative
About PhD

Computer Science

LaTeX : docs about LaTeX (fr)
CSS : some CSS of my own (fr)
Weave the Web : or “innocently playing with your internet connexion” (fr)
Spin and Hasse/Collatz/Syracuce/Ulam/Kakutani's conjecture : useless ? (fr)
TOEIC with Statistics : are TOEIC choices random ? (fr)

Projects

Weaving the Web: Webot that draws the map of the Web
Friend-to-Friend Networks: Library to build a net of Trust
Advanced Joint Overlays: Improvements over that
Parophcrack: Parallel Rainbow cracker
Hs-Nios: Hardwaring speed critical Assembly code
Schame: Transactional Scheme (AME)
Opis: Reliable Distributed Systems in OCaml
XMLProof: dynamic Lamport-style proof system
Filet-o-Fish: Language Support for Reliable Operating Systems
Open Ideas: some random ideas

Biblio.*

My Bookshelf: content of my bookshelf
Bibliographical References (L3 / 1st year @ Rennes): recommended readings during my 1st year at ENS
Bibliographical References (Master 1 @ EPFL) : idem during my 1st year of Master at EPFL
Bibliographical References (Master 2 @ Rennes) : idem during my 2nd year of Master at ENS
The Greatest Papers : the foundations of Computer Science
My CiteULike

start.txt · Last modified: 2010/08/27 21:16 by 86.135.140.104