Vincent Leroy

Orcid: 0000-0003-3464-726X

Affiliations:
  • University of Grenoble, Laboratoire d'Informatique de Grenoble (LIG), France


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

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2021
Debugging of Behavioural Models using Counterexample Analysis.
IEEE Trans. Software Eng., 2021

2019
Debugging of Behavioural Models with CLEAR.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2019

Visual debugging of behavioural models.
Proceedings of the 41st International Conference on Software Engineering: Companion Proceedings, 2019

2018
Personalized and Diverse Task Composition in Crowdsourcing.
IEEE Trans. Knowl. Data Eng., 2018

Counterexample Simplification for Liveness Property Violation.
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.
ACM Trans. Reconfigurable Technol. Syst., 2017

TopPI: An efficient algorithm for item-centric mining.
Inf. Syst., 2017

Deployment strategies for crowdsourcing text creation.
Inf. Syst., 2017

Colloquial region discovery for retail products: discovery and application.
Int. J. Data Sci. Anal., 2017

Ternary neural networks for resource-efficient AI applications.
Proceedings of the 2017 International Joint Conference on Neural Networks, 2017

Debugging of Concurrent Systems Using Counterexample Analysis.
Proceedings of the Fundamentals of Software Engineering - 7th International Conference, 2017

Scalable high-performance architecture for convolutional ternary neural networks on FPGA.
Proceedings of the 27th International Conference on Field Programmable Logic and Applications, 2017

Crowdsourcing Strategies for Text Creation Tasks.
Proceedings of the 20th International Conference on Extending Database Technology, 2017

Data Analysis at Scale: Systems, Algorithms and Information.
, 2017

2016
Ternary Neural Networks for Resource-Efficient AI Applications.
CoRR, 2016

Distributed Evaluation of Top-k Temporal Joins.
Proceedings of the 2016 International Conference on Management of Data, 2016

Locality-Aware Routing in Stateful Streaming Applications.
Proceedings of the 17th International Middleware Conference, Trento, Italy, December 12, 2016

Testing Interestingness Measures in Practice: A Large-Scale Analysis of Buying Patterns.
Proceedings of the 2016 IEEE International Conference on Data Science and Advanced Analytics, 2016

Task Composition in Crowdsourcing.
Proceedings of the 2016 IEEE International Conference on Data Science and Advanced Analytics, 2016

TopPI: An Efficient Algorithm for Item-Centric Mining.
Proceedings of the Big Data Analytics and Knowledge Discovery, 2016

2015
Data mining approach to temporal debugging of embedded streaming applications.
Proceedings of the 2015 International Conference on Embedded Software, 2015

Discovering characterizing regions for consumer products.
Proceedings of the 2015 IEEE International Conference on Data Science and Advanced Analytics, 2015

Building Representative Composite Items.
Proceedings of the 24th ACM International Conference on Information and Knowledge Management, 2015

2013
Piggybacking on Social Networks.
Proc. VLDB Endow., 2013

DynaSoRe: Efficient In-Memory Store for Social Applications.
Proceedings of the Middleware 2013, 2013

2012
Shepherding social feed generation with Sheep.
Proceedings of the Fifth Workshop on Social Network Systems, 2012

Social piggybacking: leveraging common friends to generate event streams.
Proceedings of the Fifth Workshop on Social Network Systems, 2012

Reactive index replication for distributed search engines.
Proceedings of the 35th International ACM SIGIR conference on research and development in Information Retrieval, 2012

2011
Collaborative personalized top-k processing.
ACM Trans. Database Syst., 2011

Converging Quickly to Independent Uniform Random Topologies.
Proceedings of the 19th International Euromicro Conference on Parallel, 2011

Distributed social graph embedding.
Proceedings of the 20th ACM Conference on Information and Knowledge Management, 2011

Assigning documents to master sites in distributed search.
Proceedings of the 20th ACM Conference on Information and Knowledge Management, 2011

2010
Distributing Social Applications.
PhD thesis, 2010

Application of Random Walks to Decentralized Recommender Systems.
Proceedings of the Principles of Distributed Systems - 14th International Conference, 2010

The Gossple Anonymous Social Network.
Proceedings of the Middleware 2010 - ACM/IFIP/USENIX 11th International Middleware Conference, Bangalore, India, November 29, 2010

Cold start link prediction.
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.
Proceedings of the Eighth European Dependable Computing Conference, 2010

Gossiping personalized queries.
Proceedings of the EDBT 2010, 2010

2009
Toward personalized query expansion.
Proceedings of the Second ACM EuroSys Workshop on Social Network Systems, 2009


  Loading...