Vincent Leroy

43 papers A* 2A 7B 11C 1Misc 2Journal 10Unranked 7
YearRankTypeTitle / Venue / Authors
2021 J jnl
Debugging of Behavioural Models using Counterexample Analysis.
IEEE Trans. Software Eng.
Gianluca Barbon, Vincent Leroy, Gwen Salaün
2019 — conf
Debugging of Behavioural Models with CLEAR.
TACAS (1)
Gianluca Barbon, Vincent Leroy, Gwen Salaün
2019 — conf
Visual debugging of behavioural models.
ICSE (Companion Volume)
Gianluca Barbon, Vincent Leroy, Gwen Salaün, Emmanuel Yah
2018 B conf
Counterexample Simplification for Liveness Property Violation.
SEFM
Gianluca Barbon, Vincent Leroy, Gwen Salaün
2018 J jnl
Personalized and Diverse Task Composition in Crowdsourcing.
IEEE Trans. Knowl. Data Eng.
Maha Alsayasneh, Sihem Amer-Yahia, Éric Gaussier, Vincent Leroy, Julien Pilourdault, Ria Mae Borromeo, Motomichi Toyama, Jean-Michel Renders
2017 J jnl
Colloquial region discovery for retail products: discovery and application.
Int. J. Data Sci. Anal.
Shashwat Mishra, Vincent Leroy, Sihem Amer-Yahia
2017 B conf
Crowdsourcing Strategies for Text Creation Tasks.
EDBT
Ria Mae Borromeo, Maha Alsayasneh, Sihem Amer-Yahia, Vincent Leroy
2017 — book
Data Analysis at Scale: Systems, Algorithms and Information.
Vincent Leroy
2017 — conf
Debugging of Concurrent Systems Using Counterexample Analysis.
FSEN
Gianluca Barbon, Vincent Leroy, Gwen Salaün
2017 J jnl
Deployment strategies for crowdsourcing text creation.
Inf. Syst.
Ria Mae Borromeo, Thomas Laurent, Motomichi Toyama, Maha Alsayasneh, Sihem Amer-Yahia, Vincent Leroy
2017 J jnl
Efficient and Versatile FPGA Acceleration of Support Counting for Stream Mining of Sequences and Frequent Itemsets.
ACM Trans. Reconfigurable Technol. Syst.
Adrien Prost-Boucle, Frédéric Pétrot, Vincent Leroy, Hande Alemdar
2017 B conf
Scalable high-performance architecture for convolutional ternary neural networks on FPGA.
FPL
Adrien Prost-Boucle, Alban Bourge, Frédéric Pétrot, Hande Alemdar, Nicholas Caldwell, Vincent Leroy
2017 B conf
Ternary neural networks for resource-efficient AI applications.
IJCNN
Hande Alemdar, Vincent Leroy, Adrien Prost-Boucle, Frédéric Pétrot
2017 J jnl
TopPI: An efficient algorithm for item-centric mining.
Inf. Syst.
Vincent Leroy, Martin Kirchgessner, Alexandre Termier, Sihem Amer-Yahia
2016 — conf
Distributed Evaluation of Top-k Temporal Joins.
SIGMOD Conference
Julien Pilourdault, Vincent Leroy, Sihem Amer-Yahia
2016 A conf
Locality-Aware Routing in Stateful Streaming Applications.
Middleware
Matthieu Caneill, Ahmed El-Rheddane, Vincent Leroy, Noël De Palma
2016 B conf
Task Composition in Crowdsourcing.
DSAA
Sihem Amer-Yahia, Éric Gaussier, Vincent Leroy, Julien Pilourdault, Ria Mae Borromeo, Motomichi Toyama
2016 J jnl
Ternary Neural Networks for Resource-Efficient AI Applications.
CoRR
Hande Alemdar, Nicholas Caldwell, Vincent Leroy, Adrien Prost-Boucle, Frédéric Pétrot
2016 B conf
Testing Interestingness Measures in Practice: A Large-Scale Analysis of Buying Patterns.
DSAA
Martin Kirchgessner, Vincent Leroy, Sihem Amer-Yahia, Shashwat Mishra
2016 J jnl
Testing Interestingness Measures in Practice: A Large-Scale Analysis of Buying Patterns.
CoRR
Martin Kirchgessner, Vincent Leroy, Sihem Amer-Yahia, Shashwat Mishra
2016 B conf
TopPI: An Efficient Algorithm for Item-Centric Mining.
DaWaK
Martin Kirchgessner, Vincent Leroy, Alexandre Termier, Sihem Amer-Yahia, Marie-Christine Rousset
2015 A conf
Building Representative Composite Items.
CIKM
Vincent Leroy, Sihem Amer-Yahia, Éric Gaussier, Seyed Hamid Mirisaee
2015 Misc conf
Data mining approach to temporal debugging of embedded streaming applications.
EMSOFT
Oleg Iegorov, Vincent Leroy, Alexandre Termier, Jean-François Méhaut, Miguel Santana
2015 B conf
Discovering characterizing regions for consumer products.
DSAA
Shashwat Mishra, Vincent Leroy, Sihem Amer-Yahia
2014 A ed.
Proc. 17th International Conference on Database Theory (ICDT), Athens, Greece, March 24-28, 2014.
ICDT
Nicole Schweikardt, Vassilis Christophides, Vincent Leroy
2014 B ed.
Proceedings of the 17th International Conference on Extending Database Technology, EDBT 2014, Athens, Greece, March 24-28, 2014.
EDBT
Sihem Amer-Yahia, Vassilis Christophides, Anastasios Kementsietsidis, Minos N. Garofalakis, Stratos Idreos, Vincent Leroy
2014 — ed.
Proceedings of the Workshops of the EDBT/ICDT 2014 Joint Conference (EDBT/ICDT 2014), Athens, Greece, March 28, 2014.
EDBT/ICDT Workshops
K. Selçuk Candan, Sihem Amer-Yahia, Nicole Schweikardt, Vassilis Christophides, Vincent Leroy
2013 A conf
DynaSoRe: Efficient In-Memory Store for Social Applications.
Middleware
Xiao Bai, Arnaud Jégou, Flavio Junqueira, Vincent Leroy
2013 J jnl
Piggybacking on Social Networks.
Proc. VLDB Endow.
Aristides Gionis, Flavio Junqueira, Vincent Leroy, Marco Serafini, Ingmar Weber
2012 A* conf
Reactive index replication for distributed search engines.
SIGIR
Flavio Paiva Junqueira, Vincent Leroy, Matthieu Morel
2012 — conf
Shepherding social feed generation with Sheep.
SNS
Flavio Paiva Junqueira, Vincent Leroy, Marco Serafini, Adam Silberstein
2012 — conf
Social piggybacking: leveraging common friends to generate event streams.
SNS
Aristides Gionis, Flavio Junqueira, Vincent Leroy, Marco Serafini, Ingmar Weber
2011 A conf
Assigning documents to master sites in distributed search.
CIKM
Roi Blanco, Berkant Barla Cambazoglu, Flavio Paiva Junqueira, Ivan Kelly, Vincent Leroy
2011 J jnl
Collaborative personalized top-k processing.
ACM Trans. Database Syst.
Xiao Bai, Rachid Guerraoui, Anne-Marie Kermarrec, Vincent Leroy
2011 C conf
Converging Quickly to Independent Uniform Random Topologies.
PDP
Anne-Marie Kermarrec, Vincent Leroy, Christopher Thraves
2011 A conf
Distributed social graph embedding.
CIKM
Anne-Marie Kermarrec, Vincent Leroy, Gilles Trédan
2010 B conf
Application of Random Walks to Decentralized Recommender Systems.
OPODIS
Anne-Marie Kermarrec, Vincent Leroy, Afshin Moin, Christopher Thraves
2010 A* conf
Cold start link prediction.
KDD
Vincent Leroy, Berkant Barla Cambazoglu, Francesco Bonchi
2010 Misc conf
D2HT: The Best of Both Worlds, Integrating RPS and DHT.
EDCC
Marin Bertier, François Bonnet, Anne-Marie Kermarrec, Vincent Leroy, Sathya Peri, Michel Raynal
2010 — —
Distributing Social Applications.
Vincent Leroy
2010 B conf
Gossiping personalized queries.
EDBT
Xiao Bai, Marin Bertier, Rachid Guerraoui, Anne-Marie Kermarrec, Vincent Leroy
2010 A conf
The Gossple Anonymous Social Network.
Middleware
Marin Bertier, Davide Frey, Rachid Guerraoui, Anne-Marie Kermarrec, Vincent Leroy
2009 — conf
Toward personalized query expansion.
SNS
Marin Bertier, Rachid Guerraoui, Vincent Leroy, Anne-Marie Kermarrec