Identité
Emplacement
Production
Publications principales
Liste exhaustive
-
Antoine Amarilli,
Benny Kimelfeld.
Uniform Reliability of Self-Join-Free Conjunctive Queries.
Soumis au comité de lecture.
-
Antoine Amarilli,
Louis Jachiet,
Martín Muñoz,
Cristian Riveros.
Efficient Enumeration Algorithms for Annotated Grammars.
Soumis au comité de lecture.
-
Antoine Amarilli,
Charles Paperman.
Locality and Centrality: The Variety ZG.
Soumis au comité de lecture.
-
Antoine Amarilli,
Michael Benedikt.
When Can We Answer Queries Using Result-Bounded Data Interfaces?
LMCS.
-
Antoine Amarilli,
Louis Jachiet,
Charles Paperman.
Dynamic Membership for Regular Languages.
ICALP 2021.
[exposé, vidéo sur Youtube ou en téléchargement direct]. Prix du meilleur article à ICALP'21 Track B.
-
Antoine Amarilli,
İsmail İlkan Ceylan.
The Dichotomy of Evaluating Homomorphism-Closed Queries on Probabilistic Graphs.
LMCS.
-
Antoine Amarilli,
Benny Kimelfeld.
Uniform Reliability of Self-Join-Free Conjunctive Queries.
ICDT 2021.
[exposé, vidéo sur PeerTube INFRES ou en téléchargement direct]
-
Antoine Amarilli,
Pierre Bourhis,
Stefan Mengel,
Matthias Niewerth.
Constant-Delay Enumeration for Nondeterministic Document Spanners.
Publié dans une revue non accessible en libre accès [explications (en anglais)].
-
Antoine Amarilli,
İsmail İlkan Ceylan.
A Dichotomy for Homomorphism-Closed Queries on Probabilistic Graphs.
ICDT 2020.
[exposé, poster, vidéo sur TIB AV-Portal ou en téléchargement direct]. Prix du meilleur article à ICDT'20.
-
Antoine Amarilli,
Michael Benedikt.
Finite Open-World Query Answering with Number Restrictions.
Publié dans une revue non accessible en libre accès, 2020 [explications (en anglais)].
-
Andy Shih,
Guy Van den Broeck,
Paul Beame,
Antoine Amarilli.
Smoothing Structured Decomposable Circuits.
NeurIPS 2019. Exposé spotlight.
[exposé par Andy Shih, poster par Andy Shih]
-
Antoine Amarilli,
Florent Capelli,
Mikaël Monet,
Pierre Senellart.
Connecting Knowledge Compilation Classes and Width Parameters.
Publié dans une revue non accessible en libre accès, 2019 [explications (en anglais)].
-
Antoine Amarilli,
Pierre Bourhis,
Stefan Mengel,
Matthias Niewerth.
Enumeration on Trees with Tractable Combined Complexity and Efficient Updates.
Publié dans une conférence non accessible en libre accès, 2019 [explications (en anglais)].
[exposé par Matthias Niewerth, poster par Matthias Niewerth, vidéo par Matthias Niewerth sur TIB AV-Portal ou en téléchargement direct, erreurs identifiées (en anglais)]
-
Antoine Amarilli,
Pierre Bourhis,
Stefan Mengel,
Matthias Niewerth.
Constant-Delay Enumeration for Nondeterministic Document Spanners.
ICDT 2019.
[exposé par Matthias Niewerth, code par Rémi Dupré et Matthias Niewerth]. Mis en valeur comme ACM SIGMOD Research Highlights.
-
Antoine Amarilli,
Pierre Bourhis,
Mikaël Monet,
Pierre Senellart.
Evaluating Datalog via Tree Automata and Cycluits.
Publié dans une revue non accessible en libre accès, 2019 [explications (en anglais)].
-
Antoine Amarilli,
Michael Benedikt,
Pierre Bourhis,
Michael Vanden Boom.
Query Answering with Transitive and Linear-Ordered Data.
JAIR, 2018.
[erreurs identifiées (en anglais)]
-
Antoine Amarilli,
Charles Paperman.
Topological Sorting under Regular Constraints.
ICALP 2018.
[exposé]
-
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.
Publié dans une conférence non accessible en libre accès, 2017 [explications (en anglais)].
[exposé par Mikaël Monet, poster par Mikaël Monet]
-
Antoine Amarilli,
Pierre Bourhis,
Pierre Senellart.
Tractable Lineages on Treelike Instances: Limits and Extensions.
Publié dans une conférence non accessible en libre accès, 2016 [explications (en anglais)].
[exposé, 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
Relecture par les pairs
J'ai signé le manifeste No free
view? No review! et n'effectue donc de relectures que pour les conférences et journaux en
libre
accès : les détails et explications sont dans ma politique de libre
accès.
- Comité de programme
- KR 2021,
AAAI 2021,
IJCAI 2021,
STACS 2021,
IJCAI 2020,
IJCAI 2019,
ICDT 2019,
ICDT 2018,
BDA 2017
- Relectures diverses
- LMCS,
ICDT 2022,
ICALP 2021,
ICDT 2021,
STACS 2020,
MFCS 2020,
ICDT 2017,
BDA 2016
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
