default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Andrew Kennedy
@inproceedings{DBLP:conf/ijcnn/KennedyE25,
author = {Andrew Kennedy and
Richard Everson},
title = {Conventional Augmentation is More Effective than ImageGPT and GANs?
{A} Comparison of Synthetic Data Evaluation Methods},
booktitle = {International Joint Conference on Neural Networks, {IJCNN} 2025, Rome,
Italy, June 30 - July 5, 2025},
pages = {1--9},
publisher = {{IEEE}},
year = {2025},
url = {https://doi.org/10.1109/IJCNN64981.2025.11227282},
doi = {10.1109/IJCNN64981.2025.11227282},
timestamp = {Fri, 21 Nov 2025 20:23:55 +0100},
biburl = {https://dblp.org/rec/conf/ijcnn/KennedyE25.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2503-10977,
author = {Moritz Beller and
Amanda Park and
Karim Nakad and
Akshay Patel and
Sarita Mohanty and
Ford Garberson and
Ian G. Malone and
Vaishali Garg and
Henri Verroken and
Andrew Kennedy and
Pavel Avgustinov},
title = {What's DAT? Three Case Studies of Measuring Software Development Productivity
at Meta With Diff Authoring Time},
journal = {CoRR},
volume = {abs/2503.10977},
year = {2025},
url = {https://doi.org/10.48550/arXiv.2503.10977},
doi = {10.48550/ARXIV.2503.10977},
eprinttype = {arXiv},
eprint = {2503.10977},
timestamp = {Sun, 13 Apr 2025 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2503-10977.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/case/FeiWTK23,
author = {Haolin Fei and
Ziwei Wang and
Stefano Tedeschi and
Andrew Kennedy},
title = {An Anthropomorphic Framework for Learning-Based Visual Servoing to
Reach Unseen Objects},
booktitle = {19th {IEEE} International Conference on Automation Science and Engineering,
{CASE} 2023, Auckland, New Zealand, August 26-30, 2023},
pages = {1--6},
publisher = {{IEEE}},
year = {2023},
url = {https://doi.org/10.1109/CASE56687.2023.10260580},
doi = {10.1109/CASE56687.2023.10260580},
timestamp = {Sat, 20 Apr 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/case/FeiWTK23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iecon/FeiWWK23,
author = {Haolin Fei and
Ziwei Wang and
Darren Williams and
Andrew Kennedy},
title = {Hybrid Approach for Efficient and Accurate Category-Agnostic Object
Detection and Localization with Image Queries in Human-Robot Interaction},
booktitle = {49th Annual Conference of the {IEEE} Industrial Electronics Society,
{IECON} 2023, Singapore, October 16-19, 2023},
pages = {1--6},
publisher = {{IEEE}},
year = {2023},
url = {https://doi.org/10.1109/IECON51785.2023.10312092},
doi = {10.1109/IECON51785.2023.10312092},
timestamp = {Sat, 20 Apr 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iecon/FeiWWK23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2309-11368,
author = {Haolin Fei and
Stefano Tedeschi and
Yanpei Huang and
Andrew Kennedy and
Ziwei Wang},
title = {Dynamic Hand Gesture-Featured Human Motor Adaptation in Tool Delivery
using Voice Recognition},
journal = {CoRR},
volume = {abs/2309.11368},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2309.11368},
doi = {10.48550/ARXIV.2309.11368},
eprinttype = {arXiv},
eprint = {2309.11368},
timestamp = {Sat, 20 Apr 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2309-11368.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iconac/RobertsXK22,
author = {Matthew Roberts and
Min Xia and
Andrew Kennedy},
title = {Data-driven Process Parameter Optimisation for Laser Wire Metal Additive
Manufacturing},
booktitle = {27th International Conference on Automation and Computing, {ICAC}
2022, Bristol, United Kingdom, September 1-3, 2022},
pages = {1--6},
publisher = {{IEEE}},
year = {2022},
url = {https://doi.org/10.1109/ICAC55051.2022.9911139},
doi = {10.1109/ICAC55051.2022.9911139},
timestamp = {Thu, 25 Dec 2025 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iconac/RobertsXK22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tim/ShaoLXZSWKS21,
author = {Haidong Shao and
Wei Li and
Min Xia and
Yu Zhang and
Changqing Shen and
Darren Williams and
Andrew Kennedy and
Clarence W. de Silva},
title = {Fault Diagnosis of a Rotor-Bearing System Under Variable Rotating
Speeds Using Two-Stage Parameter Transfer and Infrared Thermal Images},
journal = {{IEEE} Trans. Instrum. Meas.},
volume = {70},
pages = {1--11},
year = {2021},
url = {https://doi.org/10.1109/TIM.2021.3111977},
doi = {10.1109/TIM.2021.3111977},
timestamp = {Thu, 08 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tim/ShaoLXZSWKS21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iconac/YinJMKWT21,
author = {Yi Yin and
Vitalijs Jefimovs and
Tim Mitchell and
Andrew Kennedy and
Darren Williams and
Yingtao Tian},
title = {Numerical Modelling of Electron Beam Welding of Pure Niobium with
Beam Oscillation: Towards Industry 4.0},
booktitle = {26th International Conference on Automation and Computing, {ICAC}
2021, Portsmouth, United Kingdom, September 2-4, 2021},
pages = {1--6},
publisher = {{IEEE}},
year = {2021},
url = {https://doi.org/10.23919/ICAC50006.2021.9594169},
doi = {10.23919/ICAC50006.2021.9594169},
timestamp = {Wed, 01 Dec 2021 17:45:59 +0100},
biburl = {https://dblp.org/rec/conf/iconac/YinJMKWT21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jvis/KennedyKNW17,
author = {Andrew Kennedy and
Karsten Klein and
An Nguyen and
Florence Ying Wang},
title = {The Graph Landscape: using visual analytics for graph set analysis},
journal = {J. Vis.},
volume = {20},
number = {3},
pages = {417--432},
year = {2017},
url = {https://doi.org/10.1007/s12650-016-0374-6},
doi = {10.1007/S12650-016-0374-6},
timestamp = {Thu, 09 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jvis/KennedyKNW17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/systems/HoustonGMKLB17,
author = {Charles Houston and
Stephen Gooberman{-}Hill and
Richard Mathie and
Andrew Kennedy and
Yunxi Li and
Pedro Baiz},
title = {Case Study for the Return on Investment of Internet of Things Using
Agent-Based Modelling and Data Science},
journal = {Syst.},
volume = {5},
number = {1},
pages = {4},
year = {2017},
url = {https://doi.org/10.3390/systems5010004},
doi = {10.3390/SYSTEMS5010004},
timestamp = {Tue, 08 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/systems/HoustonGMKLB17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfp/Kennedy17,
author = {Andrew Kennedy},
editor = {Sam Lindley and
Brent A. Yorgey},
title = {Driving types into {PHP} (invited talk)},
booktitle = {Proceedings of the 2nd {ACM} {SIGPLAN} International Workshop on Type-Driven
Development, TyDe@ICFP 2017, Oxford, UK, September 3, 2017},
pages = {1},
publisher = {{ACM}},
year = {2017},
url = {https://doi.org/10.1145/3122975.3127322},
doi = {10.1145/3122975.3127322},
timestamp = {Mon, 12 Jul 2021 15:34:15 +0200},
biburl = {https://dblp.org/rec/conf/icfp/Kennedy17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/BentonK0N16,
author = {Nick Benton and
Andrew Kennedy and
Martin Hofmann and
Vivek Nigam},
editor = {Sam Lindley and
Conor McBride and
Philip W. Trinder and
Donald Sannella},
title = {Counting Successes: Effects and Transformations for Non-deterministic
Programs},
booktitle = {A List of Successes That Can Change the World - Essays Dedicated to
Philip Wadler on the Occasion of His 60th Birthday},
series = {Lecture Notes in Computer Science},
volume = {9600},
pages = {56--72},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-30936-1\_3},
doi = {10.1007/978-3-319-30936-1\_3},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/birthday/BentonK0N16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vinci/KennedyKN15,
author = {Andrew Kennedy and
Karsten Klein and
An Nguyen},
editor = {Takayuki Itoh and
Paolo Bottoni and
Shigeo Takahashi},
title = {The Graph Landscape: a Concept for the Visual Analysis of Graph Set
Properties},
booktitle = {Proceedings of the 8th International Symposium on Visual Information
Communication and Interaction, {VINCI} 2015, Tokyo, Japan, August
24-26, 2015},
pages = {42--51},
publisher = {{ACM}},
year = {2015},
url = {https://doi.org/10.1145/2801040.2801059},
doi = {10.1145/2801040.2801059},
timestamp = {Tue, 06 Nov 2018 16:57:23 +0100},
biburl = {https://dblp.org/rec/conf/vinci/KennedyKN15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jvrb/BarrettBHHKHW14,
author = {Christian Barrett and
Jacob Brown and
Jay Hartford and
Michael Hoerter and
Andrew Kennedy and
Ray Hassan and
David Whittinghill},
title = {Estimating Gesture Accuracy in Motion-Based Health Games},
journal = {J. Virtual Real. Broadcast.},
volume = {11},
year = {2014},
url = {http://www.jvrb.org/past-issues/11.2014/4020},
timestamp = {Tue, 25 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jvrb/BarrettBHHKHW14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/AtkeyJK13,
author = {Robert Atkey and
Patricia Johann and
Andrew Kennedy},
editor = {Roberto Giacobazzi and
Radhia Cousot},
title = {Abstraction and invariance for algebraically indexed types},
booktitle = {The 40th Annual {ACM} {SIGPLAN-SIGACT} Symposium on Principles of
Programming Languages, {POPL} '13, Rome, Italy - January 23 - 25,
2013},
pages = {87--100},
publisher = {{ACM}},
year = {2013},
url = {https://doi.org/10.1145/2429069.2429082},
doi = {10.1145/2429069.2429082},
timestamp = {Thu, 19 Feb 2026 16:17:01 +0100},
biburl = {https://dblp.org/rec/conf/popl/AtkeyJK13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/JensenBK13,
author = {Jonas Braband Jensen and
Nick Benton and
Andrew Kennedy},
editor = {Roberto Giacobazzi and
Radhia Cousot},
title = {High-level separation logic for low-level code},
booktitle = {The 40th Annual {ACM} {SIGPLAN-SIGACT} Symposium on Principles of
Programming Languages, {POPL} '13, Rome, Italy - January 23 - 25,
2013},
pages = {301--314},
publisher = {{ACM}},
year = {2013},
url = {https://doi.org/10.1145/2429069.2429105},
doi = {10.1145/2429069.2429105},
timestamp = {Thu, 19 Feb 2026 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/popl/JensenBK13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ppdp/KennedyBJD13,
author = {Andrew Kennedy and
Nick Benton and
Jonas Braband Jensen and
Pierre{-}{\'{E}}variste Dagand},
editor = {Ricardo Pe{\~{n}}a and
Tom Schrijvers},
title = {Coq: the world's best macro assembler?},
booktitle = {15th International Symposium on Principles and Practice of Declarative
Programming, {PPDP} '13, Madrid, Spain, September 16-18, 2013},
pages = {13--24},
publisher = {{ACM}},
year = {2013},
url = {https://doi.org/10.1145/2505879.2505897},
doi = {10.1145/2505879.2505897},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ppdp/KennedyBJD13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vrst/JesusKW13,
author = {Vivianette Ocasio{-}De Jes{\'{u}}s and
Andrew Kennedy and
David Whittinghill},
editor = {Nadia Magnenat{-}Thalmann and
Enhua Wu and
Susumu Tachi and
Daniel Thalmann and
Luciana Porcher Nedel and
Weiwei Xu},
title = {Impact of graphical fidelity on physiological responses in virtual
environments},
booktitle = {The 19th {ACM} Symposium on Virtual Reality Software and Technology,
VRST'13, Singapore, October 6-9, 2013},
pages = {73--76},
publisher = {{ACM}},
year = {2013},
url = {https://doi.org/10.1145/2503713.2503751},
doi = {10.1145/2503713.2503751},
timestamp = {Sat, 03 Jan 2026 11:00:30 +0100},
biburl = {https://dblp.org/rec/conf/vrst/JesusKW13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jar/BentonHKM12,
author = {Nick Benton and
Chung{-}Kil Hur and
Andrew Kennedy and
Conor McBride},
title = {Strongly Typed Term Representations in Coq},
journal = {J. Autom. Reason.},
volume = {49},
number = {2},
pages = {141--159},
year = {2012},
url = {https://doi.org/10.1007/s10817-011-9219-0},
doi = {10.1007/S10817-011-9219-0},
timestamp = {Wed, 02 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jar/BentonHKM12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/embc/CarsonKCDBGFK12,
author = {James P. Carson and
Andrew P. Kuprat and
Sean M. Colby and
Cassi A. Davis and
Christopher A. Basciano and
Kevin Greene and
John Feo and
Andrew Kennedy},
title = {Detecting distance between injected microspheres and target tumor
via 3D reconstruction of tissue sections},
booktitle = {Annual International Conference of the {IEEE} Engineering in Medicine
and Biology Society, {EMBC} 2012, San Diego, CA, USA, August 28 -
September 1, 2012},
pages = {1149--1152},
publisher = {{IEEE}},
year = {2012},
url = {https://doi.org/10.1109/EMBC.2012.6346139},
doi = {10.1109/EMBC.2012.6346139},
timestamp = {Mon, 30 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/embc/CarsonKCDBGFK12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/itaero/DayDIKKP12,
author = {John Day and
Kenneth Donahue and
Michel D. Ingham and
Alexander Kadesch and
Andrew Kennedy and
Ethan Post},
title = {Modeling Off-Nominal Behavior in SysML},
booktitle = {Infotech@Aerospace 2012, Garden Grove, California, USA, June 19-21,
2012},
year = {2012},
url = {https://doi.org/10.2514/6.2012-2576},
doi = {10.2514/6.2012-2576},
timestamp = {Tue, 13 Feb 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/itaero/DayDIKKP12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/itaero/InghamDDKKKPS12,
author = {Michel D. Ingham and
John C. Day and
Kenneth Donahue and
Alexander Kadesch and
Andrew Kennedy and
Mohammed Omair Khan and
Ethan Post and
Shaun Standley},
title = {A Model-based Approach to Engineering Behavior of Complex Aerospace
Systems},
booktitle = {Infotech@Aerospace 2012, Garden Grove, California, USA, June 19-21,
2012},
year = {2012},
url = {https://doi.org/10.2514/6.2012-2533},
doi = {10.2514/6.2012-2533},
timestamp = {Tue, 13 Feb 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/itaero/InghamDDKKKPS12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/tldi/2010,
editor = {Andrew Kennedy and
Nick Benton},
title = {Proceedings of {TLDI} 2010: 2010 {ACM} {SIGPLAN} International Workshop
on Types in Languages Design and Implementation, Madrid, Spain, January
23, 2010},
publisher = {{ACM}},
year = {2010},
url = {http://dl.acm.org/citation.cfm?id=1708016},
isbn = {978-1-60558-891-9},
timestamp = {Tue, 22 May 2012 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tldi/2010.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cefp/Kennedy09,
author = {Andrew Kennedy},
editor = {Zolt{\'{a}}n Horv{\'{a}}th and
Rinus Plasmeijer and
Vikt{\'{o}}ria Zs{\'{o}}k},
title = {Types for Units-of-Measure: Theory and Practice},
booktitle = {Central European Functional Programming School - Third Summer School,
{CEFP} 2009, Budapest, Hungary, May 21-23, 2009 and Kom{\'{a}}rno,
Slovakia, May 25-30, 2009, Revised Selected Lectures},
series = {Lecture Notes in Computer Science},
volume = {6299},
pages = {268--305},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-17685-2\_8},
doi = {10.1007/978-3-642-17685-2\_8},
timestamp = {Tue, 14 May 2019 10:00:42 +0200},
biburl = {https://dblp.org/rec/conf/cefp/Kennedy09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ppdp/BentonKBH09,
author = {Nick Benton and
Andrew Kennedy and
Lennart Beringer and
Martin Hofmann},
editor = {Ant{\'{o}}nio Porto and
Francisco Javier L{\'{o}}pez{-}Fraguas},
title = {Relational semantics for effect-based program transformations: higher-order
store},
booktitle = {Proceedings of the 11th International {ACM} {SIGPLAN} Conference on
Principles and Practice of Declarative Programming, September 7-9,
2009, Coimbra, Portugal},
pages = {301--312},
publisher = {{ACM}},
year = {2009},
url = {https://doi.org/10.1145/1599410.1599447},
doi = {10.1145/1599410.1599447},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ppdp/BentonKBH09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tphol/BentonKV09,
author = {Nick Benton and
Andrew Kennedy and
Carsten Varming},
editor = {Stefan Berghofer and
Tobias Nipkow and
Christian Urban and
Makarius Wenzel},
title = {Some Domain Theory and Denotational Semantics in Coq},
booktitle = {Theorem Proving in Higher Order Logics, 22nd International Conference,
TPHOLs 2009, Munich, Germany, August 17-20, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5674},
pages = {115--130},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-03359-9\_10},
doi = {10.1007/978-3-642-03359-9\_10},
timestamp = {Tue, 14 May 2019 10:00:48 +0200},
biburl = {https://dblp.org/rec/conf/tphol/BentonKV09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/tldi/2009,
editor = {Andrew Kennedy and
Amal Ahmed},
title = {Proceedings of TLDI'09: 2009 {ACM} {SIGPLAN} International Workshop
on Types in Languages Design and Implementation, Savannah, GA, USA,
January 24, 2009},
publisher = {{ACM}},
year = {2009},
url = {http://dl.acm.org/citation.cfm?id=1481861},
isbn = {978-1-60558-420-1},
timestamp = {Tue, 05 Jul 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tldi/2009.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ml/Kennedy08,
author = {Andrew Kennedy},
editor = {Eijiro Sumii},
title = {Types for units-of-measure in f{\#}: invited talk},
booktitle = {Proceedings of the {ACM} Workshop on ML, 2008, Victoria, BC, Canada,
September 21, 2008},
pages = {1--2},
publisher = {{ACM}},
year = {2008},
url = {https://doi.org/10.1145/1411304.1411305},
doi = {10.1145/1411304.1411305},
timestamp = {Mon, 12 Jul 2021 15:34:15 +0200},
biburl = {https://dblp.org/rec/conf/ml/Kennedy08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/acc/MhaskarK07,
author = {Prashant Mhaskar and
Andrew Kennedy},
title = {Robust Model Predictive Control of Nonlinear Systems: Handling Rate
Constraints},
booktitle = {American Control Conference, {ACC} 2007, New York, NY, USA, 9-13 July,
2007},
pages = {5188--5193},
publisher = {{IEEE}},
year = {2007},
url = {https://doi.org/10.1109/ACC.2007.4282482},
doi = {10.1109/ACC.2007.4282482},
timestamp = {Fri, 03 Dec 2021 13:01:26 +0100},
biburl = {https://dblp.org/rec/conf/acc/MhaskarK07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfp/Kennedy07,
author = {Andrew Kennedy},
editor = {Ralf Hinze and
Norman Ramsey},
title = {Compiling with continuations, continued},
booktitle = {Proceedings of the 12th {ACM} {SIGPLAN} International Conference on
Functional Programming, {ICFP} 2007, Freiburg, Germany, October 1-3,
2007},
pages = {177--190},
publisher = {{ACM}},
year = {2007},
url = {https://doi.org/10.1145/1291151.1291179},
doi = {10.1145/1291151.1291179},
timestamp = {Fri, 25 Jun 2021 14:48:54 +0200},
biburl = {https://dblp.org/rec/conf/icfp/Kennedy07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ppdp/BentonKBH07,
author = {Nick Benton and
Andrew Kennedy and
Lennart Beringer and
Martin Hofmann},
editor = {Michael Leuschel and
Andreas Podelski},
title = {Relational semantics for effect-based program transformations with
dynamic allocation},
booktitle = {Proceedings of the 9th International {ACM} {SIGPLAN} Conference on
Principles and Practice of Declarative Programming, July 14-16, 2007,
Wroclaw, Poland},
pages = {87--96},
publisher = {{ACM}},
year = {2007},
url = {https://doi.org/10.1145/1273920.1273932},
doi = {10.1145/1273920.1273932},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ppdp/BentonKBH07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/Kennedy06,
author = {Andrew Kennedy},
title = {Securing the .NET programming model},
journal = {Theor. Comput. Sci.},
volume = {364},
number = {3},
pages = {311--317},
year = {2006},
url = {https://doi.org/10.1016/j.tcs.2006.08.014},
doi = {10.1016/J.TCS.2006.08.014},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/Kennedy06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aplas/BentonKHB06,
author = {Nick Benton and
Andrew Kennedy and
Martin Hofmann and
Lennart Beringer},
editor = {Naoki Kobayashi},
title = {Reading, Writing and Relations},
booktitle = {Programming Languages and Systems, 4th Asian Symposium, {APLAS} 2006,
Sydney, Australia, November 8-10, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4279},
pages = {114--130},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11924661\_7},
doi = {10.1007/11924661\_7},
timestamp = {Tue, 14 May 2019 10:00:41 +0200},
biburl = {https://dblp.org/rec/conf/aplas/BentonKHB06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoop/EmirKRY06,
author = {Burak Emir and
Andrew Kennedy and
Claudio V. Russo and
Dachuan Yu},
editor = {Dave Thomas},
title = {Variance and Generalized Constraints for C\({}^{\mbox{{\#}}}\) Generics},
booktitle = {{ECOOP} 2006 - Object-Oriented Programming, 20th European Conference,
Nantes, France, July 3-7, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4067},
pages = {279--303},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11785477\_18},
doi = {10.1007/11785477\_18},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/ecoop/EmirKRY06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ml/2006,
editor = {Andrew Kennedy and
Fran{\c{c}}ois Pottier},
title = {Proceedings of the {ACM} Workshop on ML, 2006, Portland, Oregon, USA,
September 16, 2006},
publisher = {{ACM}},
year = {2006},
url = {https://doi.org/10.1145/1159876},
doi = {10.1145/1159876},
isbn = {1-59593-483-9},
timestamp = {Mon, 12 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ml/2006.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/KennedyR05,
author = {Andrew Kennedy and
Claudio V. Russo},
editor = {Ralph E. Johnson and
Richard P. Gabriel},
title = {Generalized algebraic data types and object-oriented programming},
booktitle = {Proceedings of the 20th Annual {ACM} {SIGPLAN} Conference on Object-Oriented
Programming, Systems, Languages, and Applications, {OOPSLA} 2005,
October 16-20, 2005, San Diego, CA, {USA}},
pages = {21--40},
publisher = {{ACM}},
year = {2005},
url = {https://doi.org/10.1145/1094811.1094814},
doi = {10.1145/1094811.1094814},
timestamp = {Sun, 19 Jan 2025 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/oopsla/KennedyR05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/concurrency/KennedyS04,
author = {Andrew Kennedy and
Don Syme},
title = {Transposing {F} to C\({}^{\mbox{{\#}}}\): expressivity of parametric
polymorphism in an object-oriented language},
journal = {Concurr. Pract. Exp.},
volume = {16},
number = {7},
pages = {707--733},
year = {2004},
url = {https://doi.org/10.1002/cpe.801},
doi = {10.1002/CPE.801},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/concurrency/KennedyS04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jfp/Kennedy04,
author = {Andrew Kennedy},
title = {Pickler combinators},
journal = {J. Funct. Program.},
volume = {14},
number = {6},
pages = {727--739},
year = {2004},
url = {https://doi.org/10.1017/S0956796804005209},
doi = {10.1017/S0956796804005209},
timestamp = {Sat, 27 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jfp/Kennedy04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifl/BentonKLR04,
author = {Nick Benton and
Andrew Kennedy and
Sam Lindley and
Claudio V. Russo},
editor = {Clemens Grelck and
Frank Huch and
Greg Michaelson and
Philip W. Trinder},
title = {Shrinking Reductions in {SML.NET}},
booktitle = {Implementation and Application of Functional Languages, 16th International
Workshop, {IFL} 2004, L{\"{u}}beck, Germany, September 8-10,
2004, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {3474},
pages = {142--159},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/11431664\_9},
doi = {10.1007/11431664\_9},
timestamp = {Tue, 14 May 2019 10:00:35 +0200},
biburl = {https://dblp.org/rec/conf/ifl/BentonKLR04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/YuKS04,
author = {Dachuan Yu and
Andrew Kennedy and
Don Syme},
editor = {Neil D. Jones and
Xavier Leroy},
title = {Formalization of generics for the .NET common language runtime},
booktitle = {Proceedings of the 31st {ACM} {SIGPLAN-SIGACT} Symposium on Principles
of Programming Languages, {POPL} 2004, Venice, Italy, January 14-16,
2004},
pages = {39--51},
publisher = {{ACM}},
year = {2004},
url = {https://doi.org/10.1145/964001.964005},
doi = {10.1145/964001.964005},
timestamp = {Thu, 19 Feb 2026 16:17:01 +0100},
biburl = {https://dblp.org/rec/conf/popl/YuKS04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ppdp/BentonKR04,
author = {Nick Benton and
Andrew Kennedy and
Claudio V. Russo},
editor = {Eugenio Moggi and
David Scott Warren},
title = {Adventures in interoperability: the {SML.NET} experience},
booktitle = {Proceedings of the 6th International {ACM} {SIGPLAN} Conference on
Principles and Practice of Declarative Programming, 24-26 August 2004,
Verona, Italy},
pages = {215--226},
publisher = {{ACM}},
year = {2004},
url = {https://doi.org/10.1145/1013963.1013987},
doi = {10.1145/1013963.1013987},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ppdp/BentonKR04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pepm/AttardiCK03,
author = {Giuseppe Attardi and
Antonio Cisternino and
Andrew Kennedy},
editor = {Michael Leuschel},
title = {CodeBricks: code fragments as building blocks},
booktitle = {Proceedings of the 2003 {ACM} {SIGPLAN} Workshop on Partial Evaluation
and Semantics-based Program Manipulation, 2003, San Diego, California,
USA, June 7, 2003},
pages = {66--74},
publisher = {{ACM}},
year = {2003},
url = {https://doi.org/10.1145/777388.777396},
doi = {10.1145/777388.777396},
timestamp = {Fri, 25 Jun 2021 17:17:37 +0200},
biburl = {https://dblp.org/rec/conf/pepm/AttardiCK03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jfp/BentonK01,
author = {Nick Benton and
Andrew Kennedy},
title = {Exceptional Syntax Journal of Functional Programming},
journal = {J. Funct. Program.},
volume = {11},
number = {4},
pages = {395--410},
year = {2001},
url = {https://doi.org/10.1017/S0956796801004099},
doi = {10.1017/S0956796801004099},
timestamp = {Sun, 19 Jan 2025 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jfp/BentonK01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/KennedyS01,
author = {Andrew Kennedy and
Don Syme},
editor = {Michael Burke and
Mary Lou Soffa},
title = {Design and Implementation of Generics for the .NET Common Language
Runtime},
booktitle = {Proceedings of the 2001 {ACM} {SIGPLAN} Conference on Programming
Language Design and Implementation (PLDI), Snowbird, Utah, USA, June
20-22, 2001},
pages = {1--12},
publisher = {{ACM}},
year = {2001},
url = {https://doi.org/10.1145/378795.378797},
doi = {10.1145/378795.378797},
timestamp = {Wed, 07 Jul 2021 17:30:33 +0200},
biburl = {https://dblp.org/rec/conf/pldi/KennedyS01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/tcs/BentonK01,
author = {Nick Benton and
Andrew Kennedy},
editor = {Nick Benton and
Andrew Kennedy},
title = {{BABEL} 2001 - Preface},
booktitle = {First International Workshop on Multi-Language Infrastructure and
Interoperability, {BABEL} 2001, Satellite Event of {PLI} 2001, Firenze,
Italy, September 8, 2001},
series = {Electronic Notes in Theoretical Computer Science},
volume = {59},
number = {1},
pages = {1},
publisher = {Elsevier},
year = {2001},
url = {https://doi.org/10.1016/S1571-0661(05)80448-7},
doi = {10.1016/S1571-0661(05)80448-7},
timestamp = {Thu, 01 Dec 2022 16:26:14 +0100},
biburl = {https://dblp.org/rec/journals/tcs/BentonK01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/babel/2001,
editor = {Nick Benton and
Andrew Kennedy},
title = {First International Workshop on Multi-Language Infrastructure and
Interoperability, {BABEL} 2001, Satellite Event of {PLI} 2001, Firenze,
Italy, September 8, 2001},
series = {Electronic Notes in Theoretical Computer Science},
volume = {59},
number = {1},
publisher = {Elsevier},
year = {2001},
url = {https://www.sciencedirect.com/journal/electronic-notes-in-theoretical-computer-science/vol/59/issue/2},
timestamp = {Thu, 01 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/babel/2001.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sfp/McAdamKB00,
author = {Bruce J. McAdam and
Andrew Kennedy and
Nick Benton},
editor = {Stephen Gilmore},
title = {Type inference for MLj},
booktitle = {Selected papers from the 2nd Scottish Functional Programming Workshop
(SFP00), University of St Andrews, Scotland, July 26th to 28th, 2000},
series = {Trends in Functional Programming},
volume = {2},
pages = {159--172},
publisher = {Intellect},
year = {2000},
timestamp = {Wed, 22 Jan 2003 13:23:23 +0100},
biburl = {https://dblp.org/rec/conf/sfp/McAdamKB00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfp/BentonK99,
author = {Nick Benton and
Andrew Kennedy},
editor = {Didier R{\'{e}}my and
Peter Lee},
title = {Interlanguage Working Without Tears: Blending {SML} with Java},
booktitle = {Proceedings of the fourth {ACM} {SIGPLAN} International Conference
on Functional Programming {(ICFP} '99), Paris, France, September 27-29,
1999},
pages = {126--137},
publisher = {{ACM}},
year = {1999},
url = {https://doi.org/10.1145/317636.317791},
doi = {10.1145/317636.317791},
timestamp = {Thu, 08 Jul 2021 16:04:01 +0200},
biburl = {https://dblp.org/rec/conf/icfp/BentonK99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/BentonK99,
author = {Nick Benton and
Andrew Kennedy},
editor = {Andrew D. Gordon and
Andrew M. Pitts},
title = {Monads, Effects and Transformations},
booktitle = {Third Workshop on Higher-Order Operational Techniques in Semantics,
{HOOTS} 1999, Paris, France, September 30 - October 1, 1999},
series = {Electronic Notes in Theoretical Computer Science},
volume = {26},
pages = {3--20},
publisher = {Elsevier},
year = {1999},
url = {https://doi.org/10.1016/S1571-0661(05)80280-4},
doi = {10.1016/S1571-0661(05)80280-4},
timestamp = {Fri, 11 Nov 2022 15:22:07 +0100},
biburl = {https://dblp.org/rec/journals/entcs/BentonK99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfp/BentonKR98,
author = {Nick Benton and
Andrew Kennedy and
George Russell},
editor = {Matthias Felleisen and
Paul Hudak and
Christian Queinnec},
title = {Compiling Standard {ML} to Java Bytecodes},
booktitle = {Proceedings of the third {ACM} {SIGPLAN} International Conference
on Functional Programming {(ICFP} '98), Baltimore, Maryland, USA,
September 27-29, 1998},
pages = {129--140},
publisher = {{ACM}},
year = {1998},
url = {https://doi.org/10.1145/289423.289435},
doi = {10.1145/289423.289435},
timestamp = {Sun, 19 Jan 2025 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icfp/BentonKR98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/Kennedy97,
author = {Andrew Kennedy},
editor = {Peter Lee and
Fritz Henglein and
Neil D. Jones},
title = {Relational Parametricity and Units of Measure},
booktitle = {Conference Record of POPL'97: The 24th {ACM} {SIGPLAN-SIGACT} Symposium
on Principles of Programming Languages, Papers Presented at the Symposium,
Paris, France, 15-17 January 1997},
pages = {442--455},
publisher = {{ACM} Press},
year = {1997},
url = {https://doi.org/10.1145/263699.263761},
doi = {10.1145/263699.263761},
timestamp = {Thu, 19 Feb 2026 16:17:01 +0100},
biburl = {https://dblp.org/rec/conf/popl/Kennedy97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jfp/Kennedy96,
author = {Andrew Kennedy},
title = {Drawing Trees},
journal = {J. Funct. Program.},
volume = {6},
number = {3},
pages = {527--534},
year = {1996},
url = {https://doi.org/10.1017/S0956796800001830},
doi = {10.1017/S0956796800001830},
timestamp = {Sat, 27 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jfp/Kennedy96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esop/Kennedy94,
author = {Andrew Kennedy},
editor = {Donald Sannella},
title = {Dimension Types},
booktitle = {Programming Languages and Systems - ESOP'94, 5th European Symposium
on Programming, Edinburgh, UK, April 11-13, 1994, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {788},
pages = {348--362},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/3-540-57880-3\_23},
doi = {10.1007/3-540-57880-3\_23},
timestamp = {Tue, 14 May 2019 10:00:41 +0200},
biburl = {https://dblp.org/rec/conf/esop/Kennedy94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2026-02-20 22:39 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
