Vincent Leroy
47
Documents
Publications
- 12
- 11
- 5
- 5
- 4
- 4
- 4
- 4
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
|
Debugging of Behavioural Models with CLEARTACAS 2019 - 25th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, Apr 2019, Prague, Czech Republic. pp.386-392, ⟨10.1007/978-3-030-17462-0_26⟩
Conference papers
hal-02121180v1
|
|
Visual Debugging of Behavioural ModelsICSE 2019 - IEEE/ACM 41st International Conference on Software Engineering: Companion Proceedings, May 2019, Montreal, Canada. pp.107-110, ⟨10.1109/ICSE-Companion.2019.00050⟩
Conference papers
hal-02145535v1
|
|
Counterexample Simplification for Liveness Property ViolationSEFM 2018 - 16th International Conference on Software Engineering and Formal Methods, Jun 2018, Toulouse, France. pp.173-188, ⟨10.1007/978-3-319-92970-5_11⟩
Conference papers
hal-01818790v1
|
|
Ternary Neural Networks for Resource-Efficient AI ApplicationsInternational Joint Conference on Neural Networks, May 2017, Anchorage, United States
Conference papers
hal-01481478v1
|
|
Crowdsourcing Strategies for Text Creation TasksInter- national Conference on Extending Database Technology (EDBT), Mar 2017, Venise, Italy. ⟨10.5441/002/edbt.2017.42⟩
Conference papers
hal-02000656v1
|
|
Debugging of Concurrent Systems using Counterexample Analysis7th International Conference on Fundamentals of Software Engineering (FSEN), Apr 2017, Tehran, Iran. pp.20-34, ⟨10.1007/978-3-319-68972-2_2⟩
Conference papers
hal-01533401v2
|
|
Scalable High-Performance Architecture for Convolutional Ternary Neural Networks on FPGAField Programmable Logic and Applications (FPL), 2017 27th International Conference on, Sep 2017, Gent, Belgium
Conference papers
hal-01563763v1
|
|
Locality-Aware Routing in Stateful Streaming ApplicationsMiddleware'16 - 17th International Middleware Conference, ACM, IFIP, USENIX, Dec 2016, Trento, Italy. pp.1 - 13, ⟨10.1145/2988336.2988340⟩
Conference papers
hal-01407457v1
|
|
TopPI: An Efficient Algorithm for Item-Centric Mining18th International Conference on Big Data Analytics and Knowledge Discovery, Sep 2016, Porto, Portugal. ⟨10.1007/978-3-319-43946-4_2⟩
Conference papers
hal-01354713v1
|
|
Task Composition in CrowdsourcingInternational Conference on Data Science and Advanced Analytics, Oct 2016, Montreal, Canada
Conference papers
hal-01407780v1
|
|
Testing Interestingness Measures in Practice: A Large-Scale Analysis of Buying PatternsInternational Conference on Data Science and Advanced Analytics, Oct 2016, Montreal, Canada
Conference papers
hal-01407787v1
|
|
Data Mining Approach to Temporal Debugging of Embedded Streaming Applications15th International Conference on Embedded Software (EMSOFT'2015), Oct 2015, Amsterdam, Netherlands
Conference papers
hal-01178782v1
|
|
Building Representative Composite ItemsConference on Information and Knowledge Management (CIKM) 2015, Oct 2015, Melbourne, Australia. ⟨10.1145/2806416.2806465⟩
Conference papers
hal-01180167v1
|
|
Piggybacking on Social NetworksVLDB 2013 - 39th International Conference on Very Large Databases, Aug 2013, Riva del Garda, Trento, Italy. pp.409-420
Conference papers
hal-00923545v1
|
|
DynaSoRe: Efficient In-Memory Store for Social Applications14th International Middleware Conference (Middleware), Dec 2013, Beijing, China. pp.425-444, ⟨10.1007/978-3-642-45065-5_22⟩
Conference papers
hal-00932468v1
|
Converging Quickly to Independent Uniform Random Topologies19th Euromicro International Conference on Parallel, Distributed and Network-Based Computing (PDP), 2011., Feb 2011, Ayia Napa, Cyprus
Conference papers
inria-00543249v1
|
|
|
Cold Start Link PredictionThe 16th ACM SIGKDD Conference on Knowledge Discovery and Data Mining, Jul 2010, Washington DC, United States. 12 p
Conference papers
inria-00485619v1
|
|
Gossiping Personalized Queries13th International Conference on Extending Database Technology, Mar 2010, Lausanne, Switzerland
Conference papers
inria-00455643v1
|
|
D2HT: the best of both worlds, Integrating RPS and DHTEuropean Dependable Computing Conference, Apr 2010, Valencia, Spain
Conference papers
inria-00459944v1
|
|
Application of Random Walks to Decentralized Recommender Systems14th International Conference On Principles Of Distributed Systems, Dec 2010, Tozeur, Tunisia
Conference papers
inria-00520214v1
|
|
Toward Personalized Query ExpansionSocial Network Systems 2009, Mar 2009, Nuremberg, Germany
Conference papers
inria-00368168v1
|
|
Vers un desktop-grid pair-à-pairCFSE '6, Feb 2008, Fribourg, Switzerland
Conference papers
inria-00331824v1
|
|
Distributed Evaluation of Top-k Temporal Joins2016
Preprints, Working Papers, ...
hal-01266188v2
|
|
Discovering Characterizing Regions For Consumer Products2015
Preprints, Working Papers, ...
hal-01190980v1
|
|
Interactive Data-Driven Research: the place where databases and data mining research meet[Research Report] RR-LIG-049, LIG. 2015
Reports
hal-01403233v1
|
|
Distributed Social Graph Embedding[Research Report] RR-7327, INRIA. 2010
Reports
inria-00495250v1
|
|
Ensuring Uniformity in Random Peer Sampling Services[Research Report] 2010
Reports
inria-00477658v1
|
|
Addressing Sparsity in Decentralized Recommender Systems through Random Walks[Research Report] 2010, pp.21
Reports
inria-00505180v1
|
|
Personalized Web Search by Gossiping with Unknown Social Acquaintances[Research Report] RR-6878, INRIA. 2009
Reports
inria-00368137v1
|
|
Distributing Social ApplicationsNetworking and Internet Architecture [cs.NI]. INSA de Rennes, 2010. English. ⟨NNT : ⟩
Theses
tel-00545639v1
|
|
Data Analysis at Scale: Systems, Algorithms and InformationDistributed, Parallel, and Cluster Computing [cs.DC]. UGA - Université Grenoble Alpes, 2017
Habilitation à diriger des recherches
tel-01628568v1
|