Description
Location
Production
Main publications
Full list
-
Andy Shih,
Guy Van den Broeck,
Paul Beame,
Antoine Amarilli.
Smoothing Structured Decomposable Circuits.
Under review.
-
Antoine Amarilli,
Florent Capelli,
Mikaël Monet,
Pierre Senellart.
Connecting Knowledge Compilation Classes and Width Parameters.
ToCS.
-
Antoine Amarilli,
Pierre Bourhis,
Stefan Mengel,
Matthias Niewerth.
Enumeration on Trees with Tractable Combined Complexity and Efficient Updates.
PODS 2019.
-
Antoine Amarilli,
Michael Benedikt.
Finite Open-World Query Answering with Number Restrictions.
Under review.
-
Antoine Amarilli,
Pierre Bourhis,
Stefan Mengel,
Matthias Niewerth.
Constant-Delay Enumeration for Nondeterministic Document Spanners.
ICDT 2019.
[code]
-
Antoine Amarilli,
Michael Benedikt.
When Can We Answer Queries Using Result-Bounded Data Interfaces?
Under review.
-
Antoine Amarilli,
Pierre Bourhis,
Mikaël Monet,
Pierre Senellart.
Evaluating Datalog via Tree Automata and Cycluits.
ToCS, 2019.
-
Antoine Amarilli,
Michael Benedikt,
Pierre Bourhis,
Michael Vanden Boom.
Query Answering with Transitive and Linear-Ordered Data.
JAIR, 2018.
-
Antoine Amarilli,
Charles Paperman.
Topological Sorting under Regular Constraints.
ICALP 2018.
[slides]
-
Antoine Amarilli,
Michael Benedikt.
When Can We Answer Queries Using Result-Bounded Data Interfaces?
PODS 2018.
[slides, poster]
-
Antoine Amarilli,
Pierre Bourhis,
Stefan Mengel.
Enumeration on Trees under Relabelings.
ICDT 2018.
[slides, poster]
-
Antoine Amarilli,
Pierre Bourhis,
Louis Jachiet,
Stefan Mengel.
A Circuit-Based Approach to Efficient Enumeration.
ICALP 2017.
[slides]
-
Antoine Amarilli,
Mikaël Monet,
Pierre Senellart.
Conjunctive Queries on Probabilistic Graphs: Combined Complexity.
PODS 2017.
[slides by Mikaël Monet, poster by Mikaël Monet]
-
Antoine Amarilli,
Pierre Bourhis,
Pierre Senellart.
Tractable Lineages on Treelike Instances: Limits and Extensions.
PODS 2016.
[slides, poster]
-
Antoine Amarilli,
Michael Benedikt.
Combining Existential Rules and Description Logics.
IJCAI 2015.
[slides, longer slides, poster]
-
Antoine Amarilli,
Pierre Bourhis,
Pierre Senellart.
Provenance Circuits for Trees and Treelike Instances.
ICALP 2015.
[slides]
Latest and upcoming talks
Full list
-
Query Lineages and Knowledge Compilation.
DBAI Workshop, Santa Cruz (Chile), 2019-11-13.
-
Enumeration for MSO Queries on Trees via Circuits.
Computer Science Colloquium, Technion, Haifa, 2019-07-14.
-
A Circuit-Based Approach to Efficient Enumeration: Enumerating MSO Query Results on Trees and Words.
Enumeration for Data Management, Schloss Dagstuhl, 2019-05-20.
-
Leveraging the Structure of Uncertain Data.
Information Systems Seminar, University of Oxford, Oxford, 2019-03-05.
-
When Can We Answer Queries Using Result-Bounded Data Interfaces?
Kick-off meeting for project CNRS-Momentum, INRIA Lille, 2018-12-10.
Peer reviewing
- PC member
- IJCAI 2019,
ICDT 2019,
ICDT 2018,
BDA 2017,
SUM 2016,
BDA 2016 (demos)
- Misc reviews
- VLDB Journal,
Journal of Logic and Computation,
Review of Symbolic Logic,
Distributed and Parallel Databases,
MFCS 2019,
ICDT 2017,
PODS 2016,
ICDE 2015,
LATIN 2014,
SIGMOD 2013
Other academic writings
- List of open questions
- Some research questions that I find interesting and to which no one
knows the answer.
- What's wrong with academia?
- A detailed list of challenges about the way academia works.
Code
Git repositories
- 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.
- 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.
- Brain
Transplant
- A new medical procedure.
- Door
Safety Instructions
- See the
club Inutile website for more information.
- Weird legalese
- A few weird things found in what we always accept and never
read.
Application notes
- Applications to research positions
- Some notes about my applications to public research positions in
computer science in France.
- Information about the theoretical computer
science oral exam for ENS
- Some documentation about this exam for the competitive examination for
ENS (in French).
- Resources for "classes préparatoires" students
- Some documentation about competitive exams to enter French engineering
schools, in particular the ENS INFO contest (in French).
In French
- 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".
- 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.
- Tutorial session about
bipedalism
- The assignment for a somewhat straightforward tutorial session.
Browse
Misc
Relation
