Description
Location
Production
Academic
- Antoine Amarilli, Pierre Senellart. On
the Connections between Relational and XML Probabilistic Data
Models. BNCOD 2013.
- Antoine Amarilli,
Fabrice Ben Hamouda,
Florian Bourse, Robin
Morisset, David Naccache, Pablo Rauzy. From Rational Number Reconstruction to
Set Reconciliation and File Synchronization. TGC
2012.
- Marilena Oita,
Antoine Amarilli, Pierre Senellart. Cross-Fertilizing
Deep Web Analysis and Ontology Enrichment. VLDS 2012.
- Antoine Amarilli, Marc Jeanmougin. A Proof of the
Pumping Lemma for Context-Free Languages Through Pushdown Automata.
arXiv:1207.2819v1, 2012.
- Antoine Amarilli, David Naccache, Pablo Rauzy, Emil Simion. Can
a Program Reverse-Engineer Itself?. IMACC
2011.
- Antoine Amarilli, Sascha
Müller, David
Naccache, Daniel
Page, Pablo Rauzy, Michael
Tunstall. Can Code
Polymorphism Limit Information Leakage?. WISTP 2011.
Talks
School
- kesterel2lustre
- A compiler of Kernel
Esterel to the Lustre
programming language. See the README file.
GPLv3 licensed.
- Pastis
- This is the report for a Scheme polymorphic application
toolkit which produces, from any function, a function with the
same values but which additionally provides an equivalent
rewritten version of itself on standard output. You can also grab
the sources. A
collaboration with Pablo
Rauzy. For the course by David
Naccache.
- Presentation about CSSV
- Slides to present the article by Nurit Dor, Michael Rodeh and
Mooly Sagiv: CSSV: Towards a
Realistic Tool for Statically Detecting All Buffer Overflows in C.
Homework for Patrick Cousot's
class.
Programs
- irctk
- Connect to an IRC server, write messages on stdout, say what is given
on stdin. Useful to write bots. C program, using libircclient. See the README
file or the blogpost.
GPLv3 licensed.
- plint
- A French poetry validator for metric, rhyme and rhyme gender. You can
also get the code. GPLv3
licensed.
- drime
- A French rhyme dictionary. You can also get the code and have a look at the README.
GPLv3 licensed.
- haspirater
- A system to find out whether the initial 'h' in a French word
is aspirated or not. Can be used as a standalone program or an a
Python module. No big dictionary of exceptions, but rules learned
from a corpus and stored as a trie: compact, fast, and reasonable
for unseen words. See the README
file or the blogpost. MIT
licensed.
- nlsplit
- A tool to split natural language text in chunks at reasonable
language boundaries. The program takes as argument a maximal size
for chunks, reads stdin and produces chunks smaller than the
maximal size on stdout. Not NLP research but the obvious
heuristics (paragraphs, then sentences, then words, with some
refinements). Someone had to write this. See the README
file.
MIT licensed.
- ttyrex
- My own quick fork of ttyrec. I use it to log everything that happens in
my terminals. BSD licensed.
- wikifirc
- An IRC bot to display Wikipedia recent changes for specific pages and
users in realtime. See the README file. MIT
licensed.
- a2freq
- Quick C program to convert MIDI note numbers or scientific
pitch notations to frequencies in hertz, eg. a2freq a4 prints 440.000000. Compile with -lm (see comments). Public domain.
- mkdemotiv
- Quick Perl script to create demotivational
posters from an image and text using Inkscape and
ImageMagick. Can be used for batch processing, or as a local
alternative to the many existing online tools. Public domain.
- continuity
- A python3+curses game inspired by Continuity
Game. Old-school, quick and dirty, some levels included. See the
README file. Public domain.
- frhyme
- A system to infer the last few phonemes of a French word. Not very
clever.
Humor attempts
- The
Password Security Checker
- Check the strength of your passwords!
- Falso
- A new powerful axiomatic system.
- Door
Safety Instructions
- See the
club Inutile website for more information.
Misc
- Weird
legalese
- A few weird things found in what we always accept and never
read.
In French
- Presentation on disconnection
proofs
- Report and slides to present the article Disconnection
proofs for motion planning. For the course by Jean-Paul Laumond.
- Presentation on the
concurrency of innocence
- Slides to present the category theory article Asynchronous
games 2: The true concurrency of innocence. For the course by
Paul-André
Melliès.
- Internship about modular attribute
grammars
- Reports and slides for my internship with Éric
Badouel about modular attribute grammars.
- Presentation about the equivalence between
monadic second-order logic and automata
- Report and slides to present and summarize the formal language theory
results which show that first-order and monadic second-order logic can
respectively define the star-free languages and the regular languages. For
the course by Olivier
Carton.
- Tipe
- Source code and report for a program to draw the OpenPGP trust
network.
- Notes on electrical
networks
- Useful for students in French "classes préparatoires". See also
more resources for "classes préparatoires" students.
- The beauty of disorder
- A five-hour "dissertation" for the "Concours
général de philosophie". Was awarded a "premier accessit".
- Poetry
- Various poems, not to be taken seriously.
- Futurs simples
- Old vaguely philosophical science-fiction short story collection.
- Competitive exam report report
- A report about competitive exam reports. "Classes préparatoires"
students may find it funny.
- French defective verbs
- Extended conjugation tables for French defective verbs
Browse
Misc
Relation
