Vincent Leroy

ORCID

Publication Activity (10 Years)

Years Active: 2009-2021
Publications (10 Years): 20

Top Venues

INSA de Rennes, France (PHD)

Education History

INSA de Rennes, France

PHD

Publications

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

Vincent Leroy.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Vincent Leroy