Vincent Leroy

According to our database, Vincent Leroy authored at least 39 papers between 2009 and 2021.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of three.

2021

Debugging of Behavioural Models using Counterexample Analysis.

Gianluca Barbon, Vincent Leroy, Gwen Salaün

IEEE Trans. Software Eng., 2021

2019

Debugging of Behavioural Models with CLEAR.

Gianluca Barbon, Vincent Leroy, Gwen Salaün

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2019

Visual debugging of behavioural models.

Gianluca Barbon, Vincent Leroy, Gwen Salaün, Emmanuel Yah

Proceedings of the 41st International Conference on Software Engineering: Companion Proceedings, 2019

2018

Personalized and Diverse Task Composition in Crowdsourcing.

Maha Alsayasneh, Sihem Amer-Yahia, Éric Gaussier, Vincent Leroy, Julien Pilourdault, Ria Mae Borromeo, Motomichi Toyama, Jean-Michel Renders

IEEE Trans. Knowl. Data Eng., 2018

Counterexample Simplification for Liveness Property Violation.

Gianluca Barbon, Vincent Leroy, Gwen Salaün

Proceedings of the Software Engineering and Formal Methods - 16th International Conference, 2018

2017

Efficient and Versatile FPGA Acceleration of Support Counting for Stream Mining of Sequences and Frequent Itemsets.

Adrien Prost-Boucle, Frédéric Pétrot, Vincent Leroy, Hande Alemdar

ACM Trans. Reconfigurable Technol. Syst., 2017

TopPI: An efficient algorithm for item-centric mining.

Vincent Leroy, Martin Kirchgessner, Alexandre Termier, Sihem Amer-Yahia

Inf. Syst., 2017

Deployment strategies for crowdsourcing text creation.

Ria Mae Borromeo, Thomas Laurent, Motomichi Toyama, Maha Alsayasneh, Sihem Amer-Yahia, Vincent Leroy

Inf. Syst., 2017

Colloquial region discovery for retail products: discovery and application.

Shashwat Mishra, Vincent Leroy, Sihem Amer-Yahia

Int. J. Data Sci. Anal., 2017

Ternary neural networks for resource-efficient AI applications.

Hande Alemdar, Vincent Leroy, Adrien Prost-Boucle, Frédéric Pétrot

Proceedings of the 2017 International Joint Conference on Neural Networks, 2017

Debugging of Concurrent Systems Using Counterexample Analysis.

Gianluca Barbon, Vincent Leroy, Gwen Salaün

Proceedings of the Fundamentals of Software Engineering - 7th International Conference, 2017

Scalable high-performance architecture for convolutional ternary neural networks on FPGA.

Adrien Prost-Boucle, Alban Bourge, Frédéric Pétrot, Hande Alemdar, Nicholas Caldwell, Vincent Leroy

Proceedings of the 27th International Conference on Field Programmable Logic and Applications, 2017

Crowdsourcing Strategies for Text Creation Tasks.

Ria Mae Borromeo, Maha Alsayasneh, Sihem Amer-Yahia, Vincent Leroy

Proceedings of the 20th International Conference on Extending Database Technology, 2017

Data Analysis at Scale: Systems, Algorithms and Information.

Vincent Leroy

, 2017

2016

Ternary Neural Networks for Resource-Efficient AI Applications.

Hande Alemdar, Nicholas Caldwell, Vincent Leroy, Adrien Prost-Boucle, Frédéric Pétrot

CoRR, 2016

Distributed Evaluation of Top-k Temporal Joins.

Julien Pilourdault, Vincent Leroy, Sihem Amer-Yahia

Proceedings of the 2016 International Conference on Management of Data, 2016

Locality-Aware Routing in Stateful Streaming Applications.

Matthieu Caneill, Ahmed El-Rheddane, Vincent Leroy, Noël De Palma

Proceedings of the 17th International Middleware Conference, Trento, Italy, December 12, 2016

Testing Interestingness Measures in Practice: A Large-Scale Analysis of Buying Patterns.

Martin Kirchgessner, Vincent Leroy, Sihem Amer-Yahia, Shashwat Mishra

Proceedings of the 2016 IEEE International Conference on Data Science and Advanced Analytics, 2016

Task Composition in Crowdsourcing.

Sihem Amer-Yahia, Éric Gaussier, Vincent Leroy, Julien Pilourdault, Ria Mae Borromeo, Motomichi Toyama

Proceedings of the 2016 IEEE International Conference on Data Science and Advanced Analytics, 2016

TopPI: An Efficient Algorithm for Item-Centric Mining.

Martin Kirchgessner, Vincent Leroy, Alexandre Termier, Sihem Amer-Yahia, Marie-Christine Rousset

Proceedings of the Big Data Analytics and Knowledge Discovery, 2016

2015

Data mining approach to temporal debugging of embedded streaming applications.

Oleg Iegorov, Vincent Leroy, Alexandre Termier, Jean-François Méhaut, Miguel Santana

Proceedings of the 2015 International Conference on Embedded Software, 2015

Discovering characterizing regions for consumer products.

Shashwat Mishra, Vincent Leroy, Sihem Amer-Yahia

Proceedings of the 2015 IEEE International Conference on Data Science and Advanced Analytics, 2015

Building Representative Composite Items.

Vincent Leroy, Sihem Amer-Yahia, Éric Gaussier, Seyed Hamid Mirisaee

Proceedings of the 24th ACM International Conference on Information and Knowledge Management, 2015

2013

Piggybacking on Social Networks.

Aristides Gionis, Flavio Junqueira, Vincent Leroy, Marco Serafini, Ingmar Weber

Proc. VLDB Endow., 2013

DynaSoRe: Efficient In-Memory Store for Social Applications.

Xiao Bai, Arnaud Jégou, Flavio Junqueira, Vincent Leroy

Proceedings of the Middleware 2013, 2013

2012

Shepherding social feed generation with Sheep.

Flavio Paiva Junqueira, Vincent Leroy, Marco Serafini, Adam Silberstein

Proceedings of the Fifth Workshop on Social Network Systems, 2012

Social piggybacking: leveraging common friends to generate event streams.

Aristides Gionis, Flavio Junqueira, Vincent Leroy, Marco Serafini, Ingmar Weber

Proceedings of the Fifth Workshop on Social Network Systems, 2012

Reactive index replication for distributed search engines.

Flavio Paiva Junqueira, Vincent Leroy, Matthieu Morel

Proceedings of the 35th International ACM SIGIR conference on research and development in Information Retrieval, 2012

2011

Collaborative personalized top-k processing.

Xiao Bai, Rachid Guerraoui, Anne-Marie Kermarrec, Vincent Leroy

ACM Trans. Database Syst., 2011

Converging Quickly to Independent Uniform Random Topologies.

Anne-Marie Kermarrec, Vincent Leroy, Christopher Thraves

Proceedings of the 19th International Euromicro Conference on Parallel, 2011

Distributed social graph embedding.

Anne-Marie Kermarrec, Vincent Leroy, Gilles Trédan

Proceedings of the 20th ACM Conference on Information and Knowledge Management, 2011

Assigning documents to master sites in distributed search.

Roi Blanco, Berkant Barla Cambazoglu, Flavio Paiva Junqueira, Ivan Kelly, Vincent Leroy

Proceedings of the 20th ACM Conference on Information and Knowledge Management, 2011

2010

Distributing Social Applications.

Vincent Leroy

PhD thesis, 2010

Application of Random Walks to Decentralized Recommender Systems.

Anne-Marie Kermarrec, Vincent Leroy, Afshin Moin, Christopher Thraves

Proceedings of the Principles of Distributed Systems - 14th International Conference, 2010

The Gossple Anonymous Social Network.

Marin Bertier, Davide Frey, Rachid Guerraoui, Anne-Marie Kermarrec, Vincent Leroy

Proceedings of the Middleware 2010 - ACM/IFIP/USENIX 11th International Middleware Conference, Bangalore, India, November 29, 2010

Cold start link prediction.

Vincent Leroy, Berkant Barla Cambazoglu, Francesco Bonchi

Proceedings of the 16th ACM SIGKDD International Conference on Knowledge Discovery and Data Mining, 2010

D2HT: The Best of Both Worlds, Integrating RPS and DHT.

Marin Bertier, François Bonnet, Anne-Marie Kermarrec, Vincent Leroy, Sathya Peri, Michel Raynal

Proceedings of the Eighth European Dependable Computing Conference, 2010

Gossiping personalized queries.

Xiao Bai, Marin Bertier, Rachid Guerraoui, Anne-Marie Kermarrec, Vincent Leroy

Proceedings of the EDBT 2010, 2010

2009

Toward personalized query expansion.

Marin Bertier, Rachid Guerraoui, Vincent Leroy, Anne-Marie Kermarrec

Proceedings of the Second ACM EuroSys Workshop on Social Network Systems, 2009