Identité
Emplacement
Production
Publications principales
Liste exhaustive
-
Andy Shih,
Guy Van den Broeck,
Paul Beame,
Antoine Amarilli.
Smoothing Structured Decomposable Circuits.
Version préliminaire.
-
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.
Soumis au comité de lecture.
-
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?
Soumis au comité de lecture.
-
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.
[exposé]
-
Antoine Amarilli,
Michael Benedikt.
When Can We Answer Queries Using Result-Bounded Data Interfaces?
PODS 2018.
[exposé, poster]
-
Antoine Amarilli,
Pierre Bourhis,
Stefan Mengel.
Enumeration on Trees under Relabelings.
ICDT 2018.
[exposé, poster]
-
Antoine Amarilli,
Pierre Bourhis,
Louis Jachiet,
Stefan Mengel.
A Circuit-Based Approach to Efficient Enumeration.
ICALP 2017.
[exposé]
-
Antoine Amarilli,
Mikaël Monet,
Pierre Senellart.
Conjunctive Queries on Probabilistic Graphs: Combined Complexity.
PODS 2017.
[exposé 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.
[exposé, poster]
-
Antoine Amarilli,
Michael Benedikt.
Combining Existential Rules and Description Logics.
IJCAI 2015.
[exposé, exposé plus détaillé, poster]
-
Antoine Amarilli,
Pierre Bourhis,
Pierre Senellart.
Provenance Circuits for Trees and Treelike Instances.
ICALP 2015.
[exposé]
Exposés récents et à venir
Liste exhaustive
-
Query Lineages and Knowledge Compilation.
DBAI Workshop, Santa Cruz (Chili), 2019-11-13.
-
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.
Séminaire du groupe Information Systems, University of Oxford, Oxford, 2019-03-05.
-
When Can We Answer Queries Using Result-Bounded Data Interfaces?
Réunion de lancement du projet CNRS-Momentum, INRIA Lille, 2018-12-10.
-
Topological sorting under regular constraints.
Séminaire Automates, IRIF, Paris, 2018-12-07.
Relecture par les pairs
- Comité de programme
- IJCAI 2019,
ICDT 2019,
ICDT 2018,
BDA 2017,
SUM 2016,
BDA 2016 (démonstrations)
- Relectures diverses
- VLDB Journal,
Journal of Logic and Computation,
Review of Symbolic Logic,
Distributed and Parallel Databases,
ICDT 2017,
PODS 2016,
ICDE 2015,
LATIN 2014,
SIGMOD 2013
Autres productions académiques
- Liste de problèmes ouverts (en
anglais)
- Quelques questions de recherche que je trouve intéressantes mais dont
on ne connaît pas encore la réponse.
- Problèmes du monde académique (en
anglais)
- Une liste détaillée de problèmes au sujet du fonctionnement du monde
académique.
Scolaire
Liste complète
- Tipe
- Code source et rapport pour un programme permettant de
dessiner le réseau de confiance OpenPGP.
- Électrocinétique de sup
- Quelques points du programme d'électrocinétique de Sup. Voir aussi mes
ressources pour élèves de prépa.
Code
Dépôts git (en anglais)
- plint
- Un outil pour vérifier automatiquement des poèmes en français (pour la
métrique, la rime et le genre des rimes). Vous pouvez également récupérer
le code source. License GPLv3.
- drime
- Un dictionnaire de rimes. Vous pouvez également récupérer le code source et regarder le README.
Licence GPLv3.
- irctk
- Se connecte à un serveur IRC, affiche ce qui est dit sur stdout, dit
ce qui est reçu sur stdin. Utile pour écrire des bots. Programme en C
utilisant libircclient. Voir le README
ou le blogpost.
Licence GPLv3.
- haspirater
- Un programme pour déterminer si le 'h' initial d'un mot
français est aspiré ou non. Utilisable sur la ligne de commande ou
dans un programme Python. Ne fonctionne pas à base d'un
dictionnaire, mais d'un trie: compact, rapide, et raisonnable pour
des mots inconnus. Voir le README
ou le blogpost.
Licence MIT.
- nlsplit
- Un outil pour découper du texte en langue naturelle pour
produire des blocs découpés à des positions naturelles de la
langue. Le programme prend comme argument une taille maximale pour
les blocs, lit l'entrée standard et produit des blocs plus petits
que la taille maximale sur la sortie standard. Ce n'est pas de la
recherche en traitement des langues, mais juste quelques
heuristiques évidentes (paragraphes, puis phrases, puis mots, avec
quelques raffinements). Il fallait que quelqu'un l'écrive. Voir le README.
Licence MIT.
- frhyme
- Un système pour deviner les derniers phonèmes d'un mot français. Il
n'est pas spécialement malin.
Écriture
- La beauté du
désordre
- Dissertation écrite en cinq heures au Concours
général de philosophie. Premier accessit.
- Poésie
- Poèmes divers. À ne pas prendre au sérieux.
- Futurs simples
- Vieux recueil vaguement philosophique de nouvelles de science
fiction.
Tentatives d'humour
- The
Password Security Checker
- Vérifiez la résistance de vos mots de passe !
- Falso
- Un nouveau système axiomatique très puissant.
- Brain
Transplant
- Une nouvelle procédure médicale.
- Door
Safety Instructions
- Voir le
site web du club Inutile pour plus d'informations.
- Rapport de rapport de concours
- Un rapport de concours sur les rapports de concours, pour les
élèves de prépa.
- Contre la
discrimination verbale : un appel à la régularisation des verbes
défectifs
- Tables de conjugaison pour les verbes défectifs.
- Weird legalese
- Des choses bizarres trouvées dans les contrats de licence.
- Étude expérimentale de la
locomotion bipède
- L'énoncé d'une séance de travaux pratiques plus ou moins directe.
Notes sur des concours
- Candidatures à des postes de recherche
- Notes et dossiers sur mes candidatures à des postes publics
d'enseignement et de recherche en informatique en France.
- Information sur l'épreuve spécifique Ulm
d'informatique théorique pour le concours des ENS
- Documentation, rapport, et sujets d'examen pour cette épreuve des
concours MPI et INFO de l'ENS.
- Ressources pour les élèves de
prépa
- Quelques ressources à l'usage des élèves de classes
préparatoires.
Naviguer
Autres
Liens
