Skip to content

David Young

Publication record assembled from the DBLP archive of ranked conferences.

Papers indexed

10

Venues

9

Active years

2008–2024

Best venue rank

National

Where they publish

Papers

10 indexed papers, newest first.

YearVenueTitleAuthors
2024ECOOPHigher-Order Specifications for Deductive Synthesis of Programs with Pointers.David Young, Ziyi Yang, Ilya Sergey, Alex Potanin
2022ESANNHigh Accuracy and Low Regret for User-Cold-Start Using Latent Bandits.David Young, Douglas J. Leith
2021PADLOn Adding Pattern Matching to Haskell-Based Deeply Embedded Domain Specific Languages.David Young, Mark Grebe, Andy Gill
2019AIMEEvaluation of Random Forest and Ensemble Methods at Predicting Complications Following Cardiac Surgery.Linda Lapp, Matt-Mouley Bouamrane, Kimberley Kavanagh, Marc Roper, David Young, Stefan Schraag
2017GPCERewriting a shallow DSL using a GHC compiler extension.Mark Grebe, David Young, Andy Gill
2017SGAIInference and Discovery in Remote Sensing Data with Features Extracted Using Deep Networks.Isabel Sargent, Jonathon S. Hare, David Young, Olivia Wilson, Charis Doidge, David Holland, Peter M. Atkinson
2016CogSIMABARRACUDA: An augmented reality display for increased motorcyclist en route hazard awareness.Michael P. Jenkins, David Young
2016CogSIMAEnhancing hazard awareness with a mobile application for high risk, high consequence avalanche terrain decisions.Michael Jenkins, David Young, Keith Gale
2009ICONIPIdentifying Tobacco Control Policy Drivers: A Neural Network Approach.Xiaojiang Ding, Susan E. Bedingfield, Chung-Hsing Yeh, Ron Borland, David Young, Sonja Petrovic-Lazarevic, Ken Coghill
2008IDEALPerformance Evaluation of Intelligent Prediction Models on Smokers' Quitting Behaviour.Chang-Joo Yun, Xiaojiang Ding, Susan E. Bedingfield, Chung-Hsing Yeh, Ron Borland, David Young, Sonja Petrovic-Lazarevic, Ken Coghill, Jian Ying Zhang