Identité
Emplacement
Production
Publications principales
Liste exhaustive
-
Antoine Amarilli,
Michael Benedikt.
Finite Open-World Query Answering with Number Restrictions.
ToCL, 2019.
-
Antoine Amarilli,
Benny Kimelfeld.
Model Counting for Conjunctive Queries Without Self-Joins.
Soumis au comité de lecture.
-
Antoine Amarilli,
İsmail İlkan Ceylan.
A Dichotomy for Homomorphism-Closed Queries on Probabilistic Graphs.
Soumis au comité de lecture.
-
Andy Shih,
Guy Van den Broeck,
Paul Beame,
Antoine Amarilli.
Smoothing Structured Decomposable Circuits.
NeurIPS 2019.
[exposé by Andy Shih]
-
Antoine Amarilli,
Florent Capelli,
Mikaël Monet,
Pierre Senellart.
Connecting Knowledge Compilation Classes and Width Parameters.
ToCS, 2019.
-
Antoine Amarilli,
Pierre Bourhis,
Stefan Mengel,
Matthias Niewerth.
Enumeration on Trees with Tractable Combined Complexity and Efficient Updates.
PODS 2019.
[exposé by Matthias Niewerth, poster by Matthias Niewerth]
-
Antoine Amarilli,
Pierre Bourhis,
Stefan Mengel,
Matthias Niewerth.
Constant-Delay Enumeration for Nondeterministic Document Spanners.
ICDT 2019.
[exposé by Matthias Niewerth, code by Rémi Dupré et Matthias Niewerth]
-
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
-
Provenance in databases and links to knowledge compilation.
Workshop KOCOON, Maison de la Recherche, Arras, 2019-12-17.
-
Query Lineages and Knowledge Compilation.
Workshop DBAI, Santa Cruz (Chili), 2019-11-13.
-
Enumerating Pattern Matches in Texts and Trees.
Séminaire du DKM, INRIA Rennes, 2019-10-24.
-
Query Evaluation on Probabilistic Data: New Hard Cases.
Journées 2019 du GT ALGA, École normale supérieure, Paris, 2019-10-10.
-
Enumerating Pattern Matches in Text and Trees.
DK915 "Introduction to Research and Business", PUIO, Orsay, 2019-10-03.
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,
STACS 2020,
MFCS 2019,
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.
- 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
