Andrew Kennedy

53 papers A* 5A 6B 3C 8Journal 12Unranked 15

Year	Rank	Type	Title / Venue / Authors
2025	B	`conf`	Conventional Augmentation is More Effective than ImageGPT and GANs? A Comparison of Synthetic Data Evaluation Methods. IJCNN Andrew Kennedy, Richard Everson
2025	J	`jnl`	What's DAT? Three Case Studies of Measuring Software Development Productivity at Meta With Diff Authoring Time. CoRR Moritz Beller, Amanda Park, Karim Nakad, Akshay Patel, Sarita Mohanty, Ford Garberson, Ian G. Malone, Vaishali Garg, Henri Verroken, Andrew Kennedy, Pavel Avgustinov
2023	—	`conf`	An Anthropomorphic Framework for Learning-Based Visual Servoing to Reach Unseen Objects. CASE Haolin Fei, Ziwei Wang, Stefano Tedeschi, Andrew Kennedy
2023	J	`jnl`	Dynamic Hand Gesture-Featured Human Motor Adaptation in Tool Delivery using Voice Recognition. CoRR Haolin Fei, Stefano Tedeschi, Yanpei Huang, Andrew Kennedy, Ziwei Wang
2023	C	`conf`	Hybrid Approach for Efficient and Accurate Category-Agnostic Object Detection and Localization with Image Queries in Human-Robot Interaction. IECON Haolin Fei, Ziwei Wang, Darren Williams, Andrew Kennedy
2022	—	`conf`	Data-driven Process Parameter Optimisation for Laser Wire Metal Additive Manufacturing. ICAC Matthew Roberts, Min Xia, Andrew Kennedy
2021	J	`jnl`	Fault Diagnosis of a Rotor-Bearing System Under Variable Rotating Speeds Using Two-Stage Parameter Transfer and Infrared Thermal Images. IEEE Trans. Instrum. Meas. Haidong Shao, Wei Li, Min Xia, Yu Zhang, Changqing Shen, Darren Williams, Andrew Kennedy, Clarence W. de Silva
2021	—	`conf`	Numerical Modelling of Electron Beam Welding of Pure Niobium with Beam Oscillation: Towards Industry 4.0. ICAC Yi Yin, Vitalijs Jefimovs, Tim Mitchell, Andrew Kennedy, Darren Williams, Yingtao Tian
2017	J	`jnl`	Case Study for the Return on Investment of Internet of Things Using Agent-Based Modelling and Data Science. Syst. Charles Houston, Stephen Gooberman-Hill, Richard Mathie, Andrew Kennedy, Yunxi Li, Pedro Baiz
2017	—	`conf`	Driving types into PHP (invited talk). TyDe@ICFP Andrew Kennedy
2017	J	`jnl`	The Graph Landscape: using visual analytics for graph set analysis. J. Vis. Andrew Kennedy, Karsten Klein, An Nguyen, Florence Ying Wang
2016	—	`conf`	Counting Successes: Effects and Transformations for Non-deterministic Programs. A List of Successes That Can Change the World Nick Benton, Andrew Kennedy, Martin Hofmann, Vivek Nigam
2015	C	`conf`	The Graph Landscape: a Concept for the Visual Analysis of Graph Set Properties. VINCI Andrew Kennedy, Karsten Klein, An Nguyen
2014	J	`jnl`	Estimating Gesture Accuracy in Motion-Based Health Games. J. Virtual Real. Broadcast. Christian Barrett, Jacob Brown, Jay Hartford, Michael Hoerter, Andrew Kennedy, Ray Hassan, David Whittinghill
2013	A*	`conf`	Abstraction and invariance for algebraically indexed types. POPL Robert Atkey, Patricia Johann, Andrew Kennedy
2013	C	`conf`	Coq: the world's best macro assembler? PPDP Andrew Kennedy, Nick Benton, Jonas Braband Jensen, Pierre-Évariste Dagand
2013	A*	`conf`	High-level separation logic for low-level code. POPL Jonas Braband Jensen, Nick Benton, Andrew Kennedy
2013	B	`conf`	Impact of graphical fidelity on physiological responses in virtual environments. VRST Vivianette Ocasio-De Jesús, Andrew Kennedy, David Whittinghill
2012	—	`conf`	A Model-based Approach to Engineering Behavior of Complex Aerospace Systems. Infotech@Aerospace Michel D. Ingham, John C. Day, Kenneth Donahue, Alexander Kadesch, Andrew Kennedy, Mohammed Omair Khan, Ethan Post, Shaun Standley
2012	—	`conf`	Detecting distance between injected microspheres and target tumor via 3D reconstruction of tissue sections. EMBC James P. Carson, Andrew P. Kuprat, Sean M. Colby, Cassi A. Davis, Christopher A. Basciano, Kevin Greene, John Feo, Andrew Kennedy
2012	—	`conf`	Modeling Off-Nominal Behavior in SysML. Infotech@Aerospace John Day, Kenneth Donahue, Michel D. Ingham, Alexander Kadesch, Andrew Kennedy, Ethan Post
2012	J	`jnl`	Strongly Typed Term Representations in Coq. J. Autom. Reason. Nick Benton, Chung-Kil Hur, Andrew Kennedy, Conor McBride
2010	—	`ed.`	Proceedings of TLDI 2010: 2010 ACM SIGPLAN International Workshop on Types in Languages Design and Implementation, Madrid, Spain, January 23, 2010 TLDI Andrew Kennedy, Nick Benton
2009	—	`ed.`	Proceedings of TLDI'09: 2009 ACM SIGPLAN International Workshop on Types in Languages Design and Implementation, Savannah, GA, USA, January 24, 2009 TLDI Andrew Kennedy, Amal Ahmed
2009	C	`conf`	Relational semantics for effect-based program transformations: higher-order store. PPDP Nick Benton, Andrew Kennedy, Lennart Beringer, Martin Hofmann
2009	—	`conf`	Some Domain Theory and Denotational Semantics in Coq. TPHOLs Nick Benton, Andrew Kennedy, Carsten Varming
2009	—	`conf`	Types for Units-of-Measure: Theory and Practice. CEFP Andrew Kennedy
2008	—	`conf`	Types for units-of-measure in f#: invited talk. ML Andrew Kennedy
2007	A	`conf`	Compiling with continuations, continued. ICFP Andrew Kennedy
2007	C	`conf`	Relational semantics for effect-based program transformations with dynamic allocation. PPDP Nick Benton, Andrew Kennedy, Lennart Beringer, Martin Hofmann
2007	C	`conf`	Robust Model Predictive Control of Nonlinear Systems: Handling Rate Constraints. ACC Prashant Mhaskar, Andrew Kennedy
2006	—	`ed.`	Proceedings of the ACM Workshop on ML, 2006, Portland, Oregon, USA, September 16, 2006 ML Andrew Kennedy, François Pottier
2006	B	`conf`	Reading, Writing and Relations. APLAS Nick Benton, Andrew Kennedy, Martin Hofmann, Lennart Beringer
2006	J	`jnl`	Securing the .NET programming model. Theor. Comput. Sci. Andrew Kennedy
2006	A	`conf`	Variance and Generalized Constraints for C ECOOP Burak Emir, Andrew Kennedy, Claudio V. Russo, Dachuan Yu
2005	A	`conf`	Generalized algebraic data types and object-oriented programming. OOPSLA Andrew Kennedy, Claudio V. Russo
2004	C	`conf`	Adventures in interoperability: the SML.NET experience. PPDP Nick Benton, Andrew Kennedy, Claudio V. Russo
2004	A*	`conf`	Formalization of generics for the .NET common language runtime. POPL Dachuan Yu, Andrew Kennedy, Don Syme
2004	J	`jnl`	Pickler combinators. J. Funct. Program. Andrew Kennedy
2004	—	`conf`	Shrinking Reductions in SML.NET. IFL Nick Benton, Andrew Kennedy, Sam Lindley, Claudio V. Russo
2004	J	`jnl`	Transposing F to C Concurr. Pract. Exp. Andrew Kennedy, Don Syme
2003	C	`conf`	CodeBricks: code fragments as building blocks. PEPM Giuseppe Attardi, Antonio Cisternino, Andrew Kennedy
2001	—	`conf`	BABEL 2001 - Preface. BABEL Nick Benton, Andrew Kennedy
2001	A*	`conf`	Design and Implementation of Generics for the .NET Common Language Runtime. PLDI Andrew Kennedy, Don Syme
2001	J	`jnl`	Exceptional Syntax Journal of Functional Programming. J. Funct. Program. Nick Benton, Andrew Kennedy
2001	—	`ed.`	First International Workshop on Multi-Language Infrastructure and Interoperability, BABEL 2001, Satellite Event of PLI 2001, Firenze, Italy, September 8, 2001 BABEL Nick Benton, Andrew Kennedy
2000	—	`conf`	Type inference for MLj. Scottish Functional Programming Workshop Bruce J. McAdam, Andrew Kennedy, Nick Benton
1999	A	`conf`	Interlanguage Working Without Tears: Blending SML with Java. ICFP Nick Benton, Andrew Kennedy
1999	—	`conf`	Monads, Effects and Transformations. HOOTS Nick Benton, Andrew Kennedy
1998	A	`conf`	Compiling Standard ML to Java Bytecodes. ICFP Nick Benton, Andrew Kennedy, George Russell
1997	A*	`conf`	Relational Parametricity and Units of Measure. POPL Andrew Kennedy
1996	J	`jnl`	Drawing Trees. J. Funct. Program. Andrew Kennedy
1994	A	`conf`	Dimension Types. ESOP Andrew Kennedy