Andrew Kennedy

According to our database, Andrew Kennedy authored at least 47 papers between 1994 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

Dynamic Hand Gesture-Featured Human Motor Adaptation in Tool Delivery using Voice Recognition.

Haolin Fei, Stefano Tedeschi, Yanpei Huang, Andrew Kennedy, Ziwei Wang

CoRR, 2023

Hybrid Approach for Efficient and Accurate Category-Agnostic Object Detection and Localization with Image Queries in Human-Robot Interaction.

Haolin Fei, Ziwei Wang, Darren Williams, Andrew Kennedy

Proceedings of the 49th Annual Conference of the IEEE Industrial Electronics Society, 2023

An Anthropomorphic Framework for Learning-Based Visual Servoing to Reach Unseen Objects.

Haolin Fei, Ziwei Wang, Stefano Tedeschi, Andrew Kennedy

Proceedings of the 19th IEEE International Conference on Automation Science and Engineering, 2023

2022

Data-driven Process Parameter Optimisation for Laser Wire Metal Additive Manufacturing.

Matthew Roberts, Min Xia, Andrew Kennedy

Proceedings of the 27th International Conference on Automation and Computing, 2022

2021

Fault Diagnosis of a Rotor-Bearing System Under Variable Rotating Speeds Using Two-Stage Parameter Transfer and Infrared Thermal Images.

Haidong Shao, Wei Li, Min Xia, Yu Zhang, Changqing Shen, Darren Williams, Andrew Kennedy, Clarence W. de Silva

IEEE Trans. Instrum. Meas., 2021

Numerical Modelling of Electron Beam Welding of Pure Niobium with Beam Oscillation: Towards Industry 4.0.

Yi Yin, Vitalijs Jefimovs, Tim Mitchell, Andrew Kennedy, Darren Williams, Yingtao Tian

Proceedings of the 26th International Conference on Automation and Computing, 2021

2017

Case Study for the Return on Investment of Internet of Things Using Agent-Based Modelling and Data Science.

Charles Houston, Stephen Gooberman-Hill, Richard Mathie, Andrew Kennedy, Yunxi Li, Pedro Baiz

Syst., 2017

The Graph Landscape: using visual analytics for graph set analysis.

Andrew Kennedy, Karsten Klein, An Nguyen, Florence Ying Wang

J. Vis., 2017

Driving types into PHP (invited talk).

Andrew Kennedy

Proceedings of the 2nd ACM SIGPLAN International Workshop on Type-Driven Development, 2017

2016

Counting Successes: Effects and Transformations for Non-deterministic Programs.

Nick Benton, Andrew Kennedy, Martin Hofmann, Vivek Nigam

Proceedings of the A List of Successes That Can Change the World, 2016

2015

The Graph Landscape: a Concept for the Visual Analysis of Graph Set Properties.

Andrew Kennedy, Karsten Klein, An Nguyen

Proceedings of the 8th International Symposium on Visual Information Communication and Interaction, 2015

2014

Estimating Gesture Accuracy in Motion-Based Health Games.

Christian Barrett, Jacob Brown, Jay Hartford, Michael Hoerter, Andrew Kennedy, Ray Hassan, David Whittinghill

J. Virtual Real. Broadcast., 2014

2013

Impact of graphical fidelity on physiological responses in virtual environments.

Vivianette Ocasio-De Jesús, Andrew Kennedy, David Whittinghill

Proceedings of the 19th ACM Symposium on Virtual Reality Software and Technology, 2013

Coq: the world's best macro assembler?

Andrew Kennedy, Nick Benton, Jonas Braband Jensen, Pierre-Évariste Dagand

Proceedings of the 15th International Symposium on Principles and Practice of Declarative Programming, 2013

High-level separation logic for low-level code.

Jonas Braband Jensen, Nick Benton, Andrew Kennedy

Proceedings of the 40th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2013

Abstraction and invariance for algebraically indexed types.

Robert Atkey, Patricia Johann, Andrew Kennedy

Proceedings of the 40th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2013

2012

Strongly Typed Term Representations in Coq.

Nick Benton, Chung-Kil Hur, Andrew Kennedy, Conor McBride

J. Autom. Reason., 2012

A Model-based Approach to Engineering Behavior of Complex Aerospace Systems.

Michel D. Ingham, John C. Day, Kenneth Donahue, Alexander Kadesch, Andrew Kennedy, Mohammed Omair Khan, Ethan Post, Shaun Standley

Proceedings of the Infotech@Aerospace 2012, 2012

Modeling Off-Nominal Behavior in SysML.

John Day, Kenneth Donahue, Michel D. Ingham, Alexander Kadesch, Andrew Kennedy, Ethan Post

Proceedings of the Infotech@Aerospace 2012, 2012

Detecting distance between injected microspheres and target tumor via 3D reconstruction of tissue sections.

James P. Carson, Andrew P. Kuprat, Sean M. Colby, Cassi A. Davis, Christopher A. Basciano, Kevin Greene, John Feo, Andrew Kennedy

Proceedings of the Annual International Conference of the IEEE Engineering in Medicine and Biology Society, 2012

2009

Some Domain Theory and Denotational Semantics in Coq.

Nick Benton, Andrew Kennedy, Carsten Varming

Proceedings of the Theorem Proving in Higher Order Logics, 22nd International Conference, 2009

Relational semantics for effect-based program transformations: higher-order store.

Nick Benton, Andrew Kennedy, Lennart Beringer, Martin Hofmann

Proceedings of the 11th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, 2009

Types for Units-of-Measure: Theory and Practice.

Andrew Kennedy

Proceedings of the Central European Functional Programming School - Third Summer School, 2009

2008

Types for units-of-measure in f#: invited talk.

Andrew Kennedy

Proceedings of the ACM Workshop on ML, 2008, Victoria, BC, Canada, September 21, 2008, 2008

2007

Relational semantics for effect-based program transformations with dynamic allocation.

Nick Benton, Andrew Kennedy, Lennart Beringer, Martin Hofmann

Proceedings of the 9th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, 2007

Compiling with continuations, continued.

Andrew Kennedy

Proceedings of the 12th ACM SIGPLAN International Conference on Functional Programming, 2007

Robust Model Predictive Control of Nonlinear Systems: Handling Rate Constraints.

Prashant Mhaskar, Andrew Kennedy

Proceedings of the American Control Conference, 2007

2006

Securing the .NET programming model.

Andrew Kennedy

Theor. Comput. Sci., 2006

Variance and Generalized Constraints for C^# Generics.

Burak Emir, Andrew Kennedy, Claudio V. Russo, Dachuan Yu

Proceedings of the ECOOP 2006, 2006

Reading, Writing and Relations.

Nick Benton, Andrew Kennedy, Martin Hofmann, Lennart Beringer

Proceedings of the Programming Languages and Systems, 4th Asian Symposium, 2006

2005

Generalized algebraic data types and object-oriented programming.

Andrew Kennedy, Claudio V. Russo

Proceedings of the 20th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2005

2004

Pickler combinators.

Andrew Kennedy

J. Funct. Program., 2004

Transposing F to C^#: expressivity of parametric polymorphism in an object-oriented language.

Andrew Kennedy, Don Syme

Concurr. Pract. Exp., 2004

Adventures in interoperability: the SML.NET experience.

Nick Benton, Andrew Kennedy, Claudio V. Russo

Proceedings of the 6th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, 2004

Formalization of generics for the .NET common language runtime.

Dachuan Yu, Andrew Kennedy, Don Syme

Proceedings of the 31st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2004

Shrinking Reductions in SML.NET.

Nick Benton, Andrew Kennedy, Sam Lindley, Claudio V. Russo

Proceedings of the Implementation and Application of Functional Languages, 2004

2003

CodeBricks: code fragments as building blocks.

Giuseppe Attardi, Antonio Cisternino, Andrew Kennedy

Proceedings of the 2003 ACM SIGPLAN Workshop on Partial Evaluation and Semantics-based Program Manipulation, 2003

2001

BABEL 2001 - Preface.

Nick Benton, Andrew Kennedy

Proceedings of the First International Workshop on Multi-Language Infrastructure and Interoperability, 2001

Exceptional Syntax Journal of Functional Programming.

Nick Benton, Andrew Kennedy

J. Funct. Program., 2001

Design and Implementation of Generics for the .NET Common Language Runtime.

Andrew Kennedy, Don Syme

Proceedings of the 2001 ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI), 2001

2000

Type inference for MLj.

Bruce J. McAdam, Andrew Kennedy, Nick Benton

Proceedings of the Selected papers from the 2nd Scottish Functional Programming Workshop (SFP00), 2000

1999

Monads, Effects and Transformations.

Nick Benton, Andrew Kennedy

Proceedings of the Third Workshop on Higher-Order Operational Techniques in Semantics, 1999

Interlanguage Working Without Tears: Blending SML with Java.

Nick Benton, Andrew Kennedy

Proceedings of the fourth ACM SIGPLAN International Conference on Functional Programming (ICFP '99), 1999

1998

Compiling Standard ML to Java Bytecodes.

Nick Benton, Andrew Kennedy, George Russell

Proceedings of the third ACM SIGPLAN International Conference on Functional Programming (ICFP '98), 1998

1997

Relational Parametricity and Units of Measure.

Andrew Kennedy

Proceedings of the Conference Record of POPL'97: The 24th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 1997

1996

Drawing Trees.

Andrew Kennedy

J. Funct. Program., 1996

1994

Dimension Types.

Andrew Kennedy

Proceedings of the Programming Languages and Systems, 1994