Search results for "leather"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
204	Khoi Hoang, Anantharai Nachimuthu	Image processing techniques for leather hide ranking in the footwear industry.	Mach. Vis. Appl.	1996	DBLP DOI BibTeX RDF	Leather hide ranking, Scanning process, Scanning algorithm, Footwear, Machine vision
166	Francesco Paolo Lovergine, Antonella Branca, Giovanni Attolico, Arcangelo Distante	Leather Inspection by Oriented Texture Analysis with a Morphological Approach.	ICIP (2)	1997	DBLP DOI BibTeX RDF	leather inspection, oriented texture analysis, morphological approach, scars, black and white camera, gradient orientations, local coherence, normalized B-spline basis, morphological segmentation, probable defective areas extraction, classification, industrial application, defect detection, folds, knots, automatic optical inspection
114	Thomas Lengauer	Invited Lecture: Discrete Optimization Methods for Packing Problems in Two and Three Dimensions - With Applications in the Textile and Car Manufacturing Industries.	WG	1999	DBLP DOI BibTeX RDF
90	Alan Crispin, Paul Clay, Gaynor Taylor, Tom Bayes, David Reedman	Genetic Algorithm Coding Methods for Leather Nesting.	Appl. Intell.	2005	DBLP DOI BibTeX RDF	computer-aided nesting, leather, genetic algorithms, image processing, optimisation, connectivity, encoding, packing
61	Hannah Regier	The critter: a leather and felt interface for open-ended interaction.	DPPI	2007	DBLP DOI BibTeX RDF
61	Roberto Viana, Ricardo B. Rodrigues, Marco A. Alvarez, Hemerson Pistori	SVM with Stochastic Parameter Selection for Bovine Leather Defect Classification.	PSIVT	2007	DBLP DOI BibTeX RDF	Pattern Recognition, Support Vector Machines, Parameter Tuning
61	João Luís Sobral	Leather Inspection Based on Wavelets.	IbPRIA (2)	2005	DBLP DOI BibTeX RDF
61	Mario Mollo Neto, Oduvaldo Vendrametto, José Paulo Alves Fusco	Automated System for Leather Inspection: The Machine Vision.	BASYS	2004	DBLP DOI BibTeX RDF
52	Willian Paraguassu Amorim, Hemerson Pistori, Mauro Conti Pereira, Manuel Antonio Chagas Jacinto	Attributes Reduction Applied to Leather Defects Classification.	SIBGRAPI	2010	DBLP DOI BibTeX RDF	leather defect detection, linear discriminant analysis, attributes reduction
46	Nicole Gilon, Margaux Soyer, Mathilde Redon, Patrice Fauvet	Separation of Leather, Synthetic Leather and Polymers Using Handheld Laser-Induced Breakdown Spectroscopy.	Sensors	2023	DBLP DOI BibTeX RDF
38	Gérard Yahiaoui, Bertrand Borocco	An Industrial Application of Neural Networks to Natural Textures Classification.	IWANN	1993	DBLP DOI BibTeX RDF
30	Massinissa Merouani, Khaled Afif Boudaoud, Iheb Nassim Aouadj, Nassim Tchoulak, Islem Kara Bernou, Hamza Benyamina, Fatima Benbouzid-Si Tayeb, Karima Benatchba, Hugh Leather, Riyadh Baghdadi	LOOPer: A Learned Automatic Code Optimizer For Polyhedral Compilers.	CoRR	2024	DBLP DOI BibTeX RDF
30	Dejan Grubisic, Chris Cummins, Volker Seeker, Hugh Leather	Priority Sampling of Large Language Models for Compilers.	CoRR	2024	DBLP DOI BibTeX RDF
30	Alex Gu, Baptiste Rozière, Hugh Leather, Armando Solar-Lezama, Gabriel Synnaeve, Sida I. Wang	CRUXEval: A Benchmark for Code Reasoning, Understanding and Execution.	CoRR	2024	DBLP DOI BibTeX RDF
30	Dejan Grubisic, Chris Cummins, Volker Seeker, Hugh Leather	Compiler generated feedback for Large Language Models.	CoRR	2024	DBLP DOI BibTeX RDF
30	Volker Seeker, Chris Cummins, Murray Cole, Björn Franke, Kim M. Hazelwood, Hugh Leather	Revealing Compiler Heuristics Through Automated Discovery and Optimization.	CGO	2024	DBLP DOI BibTeX RDF
30	Dejan Grubisic, Volker Seeker, Gabriel Synnaeve, Hugh Leather, John M. Mellor-Crummey, Chris Cummins	Priority Sampling of Large Language Models for Compilers.	EuroMLSys@EuroSys	2024	DBLP DOI BibTeX RDF
30	Anas Mahmoud 0002, Mostafa Elhoushi, Amro Abbas, Yu Yang, Newsha Ardalani, Hugh Leather, Ari Morcos	SIEVE: Multimodal Dataset Pruning Using Image Captioning Models.	CoRR	2023	DBLP DOI BibTeX RDF
30	Chris Cummins, Volker Seeker, Dejan Grubisic, Mostafa Elhoushi, Youwei Liang, Baptiste Rozière, Jonas Gehring, Fabian Gloeckle, Kim M. Hazelwood, Gabriel Synnaeve, Hugh Leather	Large Language Models for Compiler Optimization.	CoRR	2023	DBLP DOI BibTeX RDF
30	Foivos Tsimpourlas, Pavlos Petoumenos, Min Xu, Chris Cummins, Kim M. Hazelwood, Ajitha Rajan, Hugh Leather	BenchDirect: A Directed Language Model for Compiler Benchmarks.	CoRR	2023	DBLP DOI BibTeX RDF
30	Youwei Liang, Kevin Stone, Ali Shameli, Chris Cummins, Mostafa Elhoushi, Jiadong Guo, Benoit Steiner, Xiaomeng Yang, Pengtao Xie, Hugh Leather, Yuandong Tian	Learning Compiler Pass Orders using Coreset and Normalized Value Prediction.	CoRR	2023	DBLP DOI BibTeX RDF
30	Dadallage A. R. Silva, Spencer Whitehead, Christopher T. Lengerich, Hugh Leather	CoLLAT: On Adding Fine-grained Audio Understanding to Language Models using Token-Level Locked-Language Tuning.	NeurIPS	2023	DBLP BibTeX RDF
30	Marc Szafraniec, Baptiste Rozière, Hugh Leather, Patrick Labatut, François Charton, Gabriel Synnaeve	Code Translation with Compiler Representations.	ICLR	2023	DBLP BibTeX RDF
30	Youwei Liang, Kevin Stone, Ali Shameli, Chris Cummins, Mostafa Elhoushi, Jiadong Guo, Benoit Steiner, Xiaomeng Yang, Pengtao Xie, Hugh James Leather, Yuandong Tian	Learning Compiler Pass Orders using Coreset and Normalized Value Prediction.	ICML	2023	DBLP BibTeX RDF
30	Paschalis Mpeis, Pavlos Petoumenos, Kim M. Hazelwood, Hugh Leather	Object Intersection Captures on Interactive Apps to Drive a Crowd-sourced Replay-based Compiler Optimization.	ACM Trans. Archit. Code Optim.	2022	DBLP DOI BibTeX RDF
30	Chris Lengerich, Gabriel Synnaeve, Amy Zhang, Hugh Leather, Kurt Shuster 0001, François Charton, Charysse Redwood	Contrastive Distillation Is a Sample-Efficient Self-Supervised Loss Policy for Transfer Learning.	CoRR	2022	DBLP DOI BibTeX RDF
30	Massinissa Merouani, Khaled Afif Boudaoud, Iheb Nassim Aouadj, Nassim Tchoulak, Fatima Benbouzid-Sitayeb, Karima Benatchba, Hugh Leather, Riyadh Baghdadi	Progress Report: A Deep Learning Guided Exploration of Affine Unimodular Loop Transformations.	CoRR	2022	DBLP DOI BibTeX RDF
30	Bram Wasti, José Pablo Cambronero, Benoit Steiner, Hugh Leather, Aleksandar Zlateski	LoopStack: a Lightweight Tensor Algebra Compiler Stack.	CoRR	2022	DBLP DOI BibTeX RDF
30	Marc Szafraniec, Baptiste Rozière, Hugh Leather, François Charton, Patrick Labatut, Gabriel Synnaeve	Code Translation with Compiler Representations.	CoRR	2022	DBLP DOI BibTeX RDF
30	Foivos Tsimpourlas, Pavlos Petoumenos, Min Xu, Chris Cummins, Kim M. Hazelwood, Ajitha Rajan, Hugh Leather	BenchPress: A Deep Active Benchmark Generator.	CoRR	2022	DBLP DOI BibTeX RDF
30	Foivos Tsimpourlas, Pavlos Petoumenos, Min Xu, Chris Cummins, Kim M. Hazelwood, Ajitha Rajan, Hugh Leather	BenchPress: A Deep Active Benchmark Generator.	PACT	2022	DBLP DOI BibTeX RDF
30	Cheng Fu, Hanxian Huang, Bram Wasti, Chris Cummins, Riyadh Baghdadi, Kim M. Hazelwood, Yuandong Tian, Jishen Zhao, Hugh Leather	Q-gym: An Equality Saturation Framework for DNN Inference Exploiting Weight Repetition.	PACT	2022	DBLP DOI BibTeX RDF
30	Chris Cummins, Bram Wasti, Jiadong Guo, Brandon Cui, Jason Ansel, Sahir Gomez, Somya Jain, Jia Liu, Olivier Teytaud, Benoit Steiner, Yuandong Tian, Hugh Leather	CompilerGym: Robust, Performant Compiler Optimization Environments for AI Research.	CGO	2022	DBLP DOI BibTeX RDF
30	Sean Stirling, Rodrigo C. O. Rocha, Kim M. Hazelwood, Hugh Leather, Michael F. P. O'Boyle, Pavlos Petoumenos	F3M: Fast Focused Function Merging.	CGO	2022	DBLP DOI BibTeX RDF
30	Huanting Wang, Zhanyong Tang, Cheng Zhang, Jiaqi Zhao, Chris Cummins, Hugh Leather, Zheng Wang 0001	Automating reinforcement learning architecture design for code optimization.	CC	2022	DBLP DOI BibTeX RDF
30	Smail Kourta, Adel Abderahmane Namani, Fatima Benbouzid-Si Tayeb, Kim M. Hazelwood, Chris Cummins, Hugh Leather, Riyadh Baghdadi	Caviar: an e-graph based TRS for automatic code optimization.	CC	2022	DBLP DOI BibTeX RDF
30	Thomas Haustein, Jasmina McMenamy, Lars Thiele, Paul S. H. Leather	Reconfigurable Intelligent Surface Deployment in 5G and Beyond 5G Cellular Networks.	SPAWC	2022	DBLP DOI BibTeX RDF
30	Shikhar Singh, James Hegarty, Hugh Leather, Benoit Steiner	A graph neural network-based performance model for deep learning applications.	MAPS@PLDI	2022	DBLP DOI BibTeX RDF
30	Teng Yu, Runxin Zhong, Vladimir Janjic, Pavlos Petoumenos, Jidong Zhai, Hugh Leather, John Thomson	Collaborative Heterogeneity-Aware OS Scheduler for Asymmetric Multicore Processors.	IEEE Trans. Parallel Distributed Syst.	2021	DBLP DOI BibTeX RDF
30	Shikhar Singh, Benoit Steiner, James Hegarty, Hugh Leather	Using Graph Neural Networks to model the performance of Deep Neural Networks.	CoRR	2021	DBLP BibTeX RDF
30	Smail Kourta, Adel Namani, Fatima Benbouzid-Si Tayeb, Kim M. Hazelwood, Chris Cummins, Hugh Leather, Riyadh Baghdadi	Caviar: An E-graph Based TRS for Automatic Code Optimization.	CoRR	2021	DBLP BibTeX RDF
30	Chris Cummins, Bram Wasti, Jiadong Guo, Brandon Cui, Jason Ansel, Sahir Gomez, Somya Jain, Jia Liu, Olivier Teytaud, Benoit Steiner, Yuandong Tian, Hugh Leather	CompilerGym: Robust, Performant Compiler Optimization Environments for AI Research.	CoRR	2021	DBLP BibTeX RDF
30	Rodrigo C. O. Rocha, Pavlos Petoumenos, Zheng Wang 0001, Murray Cole, Kim M. Hazelwood, Hugh Leather	HyFM: function merging for free.	LCTES	2021	DBLP DOI BibTeX RDF
30	Paschalis Mpeis, Pavlos Petoumenos, Kim M. Hazelwood, Hugh Leather	Developer and user-transparent compiler optimization for interactive applications.	PLDI	2021	DBLP DOI BibTeX RDF
30	Benoit Steiner, Chris Cummins, Horace He, Hugh Leather	Value Learning for Throughput Optimization of Deep Learning Workloads.	MLSys	2021	DBLP BibTeX RDF
30	Chris Cummins, Zacharias V. Fisches, Tal Ben-Nun, Torsten Hoefler, Michael F. P. O'Boyle, Hugh Leather	ProGraML: A Graph-based Program Representation for Data Flow Analysis and Compiler Optimizations.	ICML	2021	DBLP BibTeX RDF
30	Benoit Steiner, Chris Cummins, Horace He, Hugh Leather	Value Function Based Performance Optimization of Deep Learning Workloads.	CoRR	2020	DBLP BibTeX RDF
30	Chris Cummins, Zacharias V. Fisches, Tal Ben-Nun, Torsten Hoefler, Hugh Leather	ProGraML: Graph-based Deep Learning for Program Optimization and Analysis.	CoRR	2020	DBLP BibTeX RDF
30	Chris Cummins, Hugh Leather, Zacharias V. Fisches, Tal Ben-Nun, Torsten Hoefler, Michael F. P. O'Boyle	Deep Data Flow Analysis.	CoRR	2020	DBLP BibTeX RDF
30	Kaya Kuru, Darren Ansell, Martin Jones, Benjamin Jon Watkinson, Noreen Caswell, Peter Leather, Andrew Lancaster, Paula Sugden, Eleanor Briggs, Carl Davies, Teik Chooi Oh, Kina Bennett, Christian De Goede	Intelligent autonomous treatment of bedwetting using non-invasive wearable advanced mechatronics systems and MEMS sensors.	Medical Biol. Eng. Comput.	2020	DBLP DOI BibTeX RDF
30	Teng Yu, Pavlos Petoumenos, Vladimir Janjic, Hugh Leather, John Thomson	COLAB: a collaborative multi-factor scheduler for asymmetric multicore processors.	CGO	2020	DBLP DOI BibTeX RDF
30	Rodrigo C. O. Rocha, Vasileios Porpodas, Pavlos Petoumenos, Luís F. W. Góes, Zheng Wang 0001, Murray Cole, Hugh Leather	Vectorization-aware loop unrolling with seed forwarding.	CC	2020	DBLP DOI BibTeX RDF
30	Bethany K. Bracken, Colette Houssan, John Broach, Andrew Milsten, Calvin Leather, Sean Tobyne, Aaron Winder, Mike Farry	Evaluation of a New Functional near Infrared Spectroscopy (fNIRS) Sensor, the fNIRS Explorer™, and Software to Assess Cognitive Workload during Ecologically Valid Tasks.	BIOSIGNALS	2020	DBLP DOI BibTeX RDF
30	Rodrigo C. O. Rocha, Pavlos Petoumenos, Zheng Wang 0001, Murray Cole, Hugh Leather	Effective function merging in the SSA form.	PLDI	2020	DBLP DOI BibTeX RDF
30	Hugh Leather, Chris Cummins	Machine Learning in Compilers: Past, Present and Future.	FDL	2020	DBLP DOI BibTeX RDF
30	Kaya Kuru, Darren Ansell, Martin Jones, Christian De Goede, Peter Leather	Feasibility study of intelligent autonomous determination of the bladder voiding need to treat bedwetting using ultrasound and smartphone ML techniques - Intelligent autonomous treatment of bedwetting.	Medical Biol. Eng. Comput.	2019	DBLP DOI BibTeX RDF
30	Teng Yu, Pavlos Petoumenos, Vladimir Janjic, Mingcan Zhu, Hugh Leather, John Thomson	POSTER: A Collaborative Multi-Factor Scheduler for Asymmetric Multicore Processors.	PACT	2019	DBLP DOI BibTeX RDF
30	Rodrigo C. O. Rocha, Pavlos Petoumenos, Zheng Wang 0001, Murray Cole, Hugh Leather	Function Merging by Sequence Alignment.	CGO	2019	DBLP DOI BibTeX RDF
30	Bethany K. Bracken, Elena Festa, Hsin-Mei Sun, Calvin Leather, Gary Strangman	Validation of the fNIRS Pioneer™, a Portable, Durable, Rugged functional Near-Infrared Spectroscopy (fNIRS) Device.	HEALTHINF	2019	DBLP DOI BibTeX RDF
30	Andrés Goens, Alexander Brauckmann, Sebastian Ertel, Chris Cummins, Hugh Leather, Jerónimo Castrillón	A case study on machine learning for synthesizing benchmarks.	MAPL@PLDI	2019	DBLP DOI BibTeX RDF
30	Bethany K. Bracken, Calvin Leather, E. Vincent Cross II, Jerri Stephenson, Maya Greene, Jeffrey A. Lancaster, Brandin Munson, Kritina Holden	Validation of a Physiological Approach to Measure Cognitive Workload: CAPT PICARD.	H-WORKLOAD	2019	DBLP DOI BibTeX RDF
30	Niamh M. McHugh, Matt Prior, Simon R. Leather, John M. Holland	Relationships between tree sparrow Passer montanus fledging success and the quantity and quality of agricultural habitats - A model comparison study.	Ecol. Informatics	2018	DBLP DOI BibTeX RDF
30	Chris Cummins, Pavlos Petoumenos, Alastair Murray, Hugh Leather	Compiler fuzzing through deep learning.	ISSTA	2018	DBLP DOI BibTeX RDF
30	Chad Verbowski, Ed Thayer, Paolo Costa, Hugh Leather, Björn Franke	Right-Sizing Server Capacity Headroom for Global Online Services.	ICDCS	2018	DBLP DOI BibTeX RDF
30	Lev Mukhanov, Pavlos Petoumenos, Zheng Wang 0001, Konstantinos Parasyris, Dimitrios S. Nikolopoulos, Bronis R. de Supinski, Hugh Leather	ALEA: A Fine-Grained Energy Profiling Tool.	ACM Trans. Archit. Code Optim.	2017	DBLP DOI BibTeX RDF
30	Chris Cummins, Pavlos Petoumenos, Zheng Wang 0001, Hugh Leather	End-to-End Deep Learning of Optimization Heuristics.	PACT	2017	DBLP DOI BibTeX RDF
30	Chris Cummins, Pavlos Petoumenos, Zheng Wang 0001, Hugh Leather	Synthesizing benchmarks for predictive modeling.	CGO	2017	DBLP BibTeX RDF
30	William F. Ogilvie, Pavlos Petoumenos, Zheng Wang 0001, Hugh Leather	Minimizing the cost of iterative compilation with active learning.	CGO	2017	DBLP BibTeX RDF
30	Hao Wang, Jason D. Zevin, Calvin Leather, Toby Mintz	Actively Detecting Patterns in an Artificial Language to Learn Non-Adjacent Dependencies.	CogSci	2017	DBLP BibTeX RDF
30	Hugh Leather, Janne Irgens	The Lambda Calculus: Practice and Principle.	A List of Successes That Can Change the World	2016	DBLP DOI BibTeX RDF
30	Oleksandr Murashko, John Thomson, Hugh Leather	Predicting and Optimizing Image Compression.	ACM Multimedia	2016	DBLP DOI BibTeX RDF
30	Galini Tsoukaneri, George Theodorakopoulos 0001, Hugh Leather, Mahesh K. Marina	On the Inference of User Paths from Anonymized Mobility Data.	EuroS&P	2016	DBLP DOI BibTeX RDF
30	Gerhard R. Joubert, Hugh Leather, Mark Parsons 0001, Frans J. Peters, Mark Sawyer (eds.)	Parallel Computing: On the Road to Exascale, Proceedings of the International Conference on Parallel Computing, ParCo 2015, 1-4 September 2015, Edinburgh, Scotland, UK	PARCO	2016	DBLP BibTeX RDF
30	Paschalis Mpeis, Pavlos Petoumenos, Hugh Leather	Iterative compilation on mobile devices.	CoRR	2015	DBLP BibTeX RDF
30	Chris Cummins, Pavlos Petoumenos, Michel Steuwer, Hugh Leather	Autotuning OpenCL Workgroup Size for Stencil Patterns.	CoRR	2015	DBLP BibTeX RDF
30	Sean Leather, Johan Jeuring, Andres Löh, Bram Schuur	Type-changing rewriting and semantics-preserving transformation.	Sci. Comput. Program.	2015	DBLP DOI BibTeX RDF
30	Zheng Wang 0001, Pavlos Petoumenos, Hugh Leather (eds.)	Proceedings of the 2015 International Workshop on Code Optimisation for Multi and Many Cores, COSMIC@CGO 2015, San Francisco Bay Area, CA, USA, February 8, 2015	COSMIC@CGO	2015	DBLP DOI BibTeX RDF
30	Pavlos Petoumenos, Lev Mukhanov, Zheng Wang 0001, Hugh Leather, Dimitrios S. Nikolopoulos	Power Capping: What Works, What Does Not.	ICPADS	2015	DBLP DOI BibTeX RDF
30	Stephen C. Kyle, Hugh Leather, Björn Franke, Dave Butcher, Stuart Monteith	Application of Domain-aware Binary Fuzzing to Aid Android Virtual Machine Testing.	VEE	2015	DBLP DOI BibTeX RDF
30	Hugh Leather, Edwin V. Bonilla, Michael F. P. O'Boyle	Automatic feature generation for machine learning-based optimising compilation.	ACM Trans. Archit. Code Optim.	2014	DBLP DOI BibTeX RDF
30	William F. Ogilvie, Pavlos Petoumenos, Zheng Wang 0001, Hugh Leather	Active learning accelerated automatic heuristic construction for parallel program mapping.	PACT	2014	DBLP DOI BibTeX RDF
30	Sean Leather, Johan Jeuring, Andres Löh, Bram Schuur	Type-changing rewriting and semantics-preserving transformation.	PEPM	2014	DBLP DOI BibTeX RDF
30	William F. Ogilvie, Pavlos Petoumenos, Zheng Wang 0001, Hugh Leather	Fast Automatic Heuristic Construction Using Active Learning.	LCPC	2014	DBLP DOI BibTeX RDF
30	Volker Seeker, Pavlos Petoumenos, Hugh Leather, Björn Franke	Measuring QoE of interactive workloads and characterising frequency governors on mobile devices.	IISWC	2014	DBLP DOI BibTeX RDF
30	Zheng Wang 0001, Hugh Leather (eds.)	Proceedings of the First International Workshop on Code Optimisation for Multi and Many Cores, COSMIC@CGO 2013, Shenzhen, China, February 24, 2013	COSMIC@CGO	2013	DBLP DOI BibTeX RDF
30	Alexander Collins, Christian Fensch, Hugh Leather, Murray Cole	MaSiF: Machine learning guided auto-tuning of parallel skeletons.	HiPC	2013	DBLP DOI BibTeX RDF
30	Nikolaos Bezirgiannis, Johan Jeuring, Sean Leather	Usage of generic programming on hackage: experience report.	WGP@ICFP	2013	DBLP DOI BibTeX RDF
30	Tom Hastjarjanto, Johan Jeuring, Sean Leather	A DSL for describing the artificial intelligence in real-time video games.	GAS@ICSE	2013	DBLP DOI BibTeX RDF
30	Alexander Collins, Christian Fensch, Hugh Leather	Auto-Tuning Parallel Skeletons.	Parallel Process. Lett.	2012	DBLP DOI BibTeX RDF
30	Stephen C. Kyle, Igor Böhm, Björn Franke, Hugh Leather, Nigel P. Topham	Efficiently parallelizing instruction set simulation of embedded multi-core processors using region-based just-in-time dynamic binary translation.	LCTES	2012	DBLP DOI BibTeX RDF
30	Alexander Collins, Christian Fensch, Hugh Leather	MaSiF: machine learning guided auto-tuning of parallel skeletons.	PACT	2012	DBLP DOI BibTeX RDF
30	Hugh Leather	Machine learning in compilers.		2011	RDF
30	Hugh Leather, Michael F. P. O'Boyle, Bruce Worton	Raced profiles: efficient selection of competing compiler optimizations.	LCTES	2009	DBLP DOI BibTeX RDF	statistics, iterative compilation
30	Sean Leather, Andres Löh, Johan Jeuring	Pull-Ups, Push-Downs, and Passing It Around - Exercises in Functional Incrementalization.	IFL	2009	DBLP DOI BibTeX RDF
30	Hugh Leather, Edwin V. Bonilla, Michael F. P. O'Boyle	Automatic Feature Generation for Machine Learning Based Optimizing Compilation.	CGO	2009	DBLP DOI BibTeX RDF
30	Eelco Lempsink, Sean Leather, Andres Löh	Type-safe diff for families of datatypes.	WGP@ICFP	2009	DBLP DOI BibTeX RDF
30	Johan Jeuring, Sean Leather, José Pedro Magalhães, Alexey Rodriguez Yakushev	Libraries for Generic Programming in Haskell.	Advanced Functional Programming	2008	DBLP DOI BibTeX RDF
30	Matthew Barnes, Hugh Leather, D. K. Arvind 0001	Emergency Evacuation using Wireless Sensor Networks.	LCN	2007	DBLP DOI BibTeX RDF
30	Robert W. Irving, Paul Leather, Dan Gusfield	An efficient algorithm for the "optimal" stable marriage.	J. ACM	1987	DBLP DOI BibTeX RDF
30	Dan Gusfield, Robert W. Irving, Paul Leather, Michael E. Saks	Every finite distributive lattice is a set of stable matchings for a small stable marriage instance.	J. Comb. Theory, Ser. A	1987	DBLP DOI BibTeX RDF