Kenneth MacKenzie

39 papers A* 4A 1B 2C 4Misc 3Journal 7Unranked 18

Year	Rank	Type	Title / Venue / Authors
2025	C	`conf`	Plinth: A Plugin-Powered Language Built on Haskell (Experience Report). Haskell Ziyang Liu, Kenneth MacKenzie, Roman Kireev, Michael Peyton Jones, Philip Wadler, Manuel M. T. Chakravarty
2020	C	`conf`	A Hybrid Approach to Parallel Pattern Discovery in C++. PDP Christopher Brown, Vladimir Janjic, Adam D. Barwell, John Donald Thomson, Roberto Castañeda Lozano, Murray Cole, Björn Franke, José Daniel García Sánchez, David del Rio Astorga, Kenneth MacKenzie
2020	—	`conf`	Native Custom Tokens in the Extended UTXO Model. ISoLA (3) Manuel M. T. Chakravarty, James Chapman, Kenneth MacKenzie, Orestis Melkonian, Jann Müller, Michael Peyton Jones, Polina Vinogradova, Philip Wadler
2020	J	`jnl`	Refactoring GrPPI: Generic Refactoring for Generic Parallelism in C++. Int. J. Parallel Program. Christopher Brown, Vladimir Janjic, Adam D. Barwell, Javier Daniel Garcia, Kenneth MacKenzie
2020	—	`conf`	The Extended UTXO Model. Financial Cryptography Workshops Manuel M. T. Chakravarty, James Chapman, Kenneth MacKenzie, Orestis Melkonian, Michael Peyton Jones, Philip Wadler
2020	—	`conf`	UTXO ISoLA (3) Manuel M. T. Chakravarty, James Chapman, Kenneth MacKenzie, Orestis Melkonian, Jann Müller, Michael Peyton Jones, Polina Vinogradova, Philip Wadler, Joachim Zahnentferner
2019	B	`conf`	Unraveling Recursion: Compiling an IR with Recursion to System F. MPC Michael Peyton Jones, Vasilis Gkoumas, Roman Kireev, Kenneth MacKenzie, Chad Nester, Philip Wadler
2017	—	`conf`	Automatic Quantification of Vocal Cord Paralysis - An Application of Fibre-optic Endoscopy Video Processing. BIOIMAGING Radhika Menon, Lykourgos Petropoulakis, John J. Soraghan, Heba M. Lakany, Kenneth MacKenzie, Omar Hilmi, Gaetano Di Caterina
2017	J	`jnl`	Automatic pharynx and larynx cancer segmentation framework (PLCSF) on contrast enhanced MR images. Biomed. Signal Process. Control. Trushali Doshi, John J. Soraghan, Lykourgos Petropoulakis, Gaetano Di Caterina, Derek Grose, Kenneth MacKenzie, Christina Wilson
2017	J	`jnl`	Evaluating Scalable Distributed Erlang for Scalability and Reliability. IEEE Trans. Parallel Distributed Syst. Natalia Chechina, Kenneth MacKenzie, Simon J. Thompson, Phil Trinder, Olivier Boudeville, Viktoria Fordós, Csaba Hoch, Amir Ghaffari, Mario Moro Hernandez
2017	J	`jnl`	Scaling Reliably: Improving the Scalability of the Erlang Distributed Actor Platform. CoRR Phil Trinder, Natalia Chechina, Nikolaos Papaspyrou, Konstantinos Sagonas, Simon J. Thompson, Stephen Adams, Stavros Aronis, Robert Baker, Eva Bihari, Olivier Boudeville, Francesco Cesarini, Maurizio Di Stefano, Sverker Eriksson, Viktoria Fordós, Amir Ghaffari, Aggelos Giantsios, Rickard Green, Csaba Hoch, David Klaftenegger, Huiqing Li, Kenneth Lundin, Kenneth MacKenzie, Katerina Roukounaki, Yiannis Tsiouris, Kjell Winblad
2017	J	`jnl`	Scaling Reliably: Improving the Scalability of the Erlang Distributed Actor Platform. ACM Trans. Program. Lang. Syst. Phil Trinder, Natalia Chechina, Nikolaos Papaspyrou, Konstantinos Sagonas, Simon J. Thompson, Stephen Adams, Stavros Aronis, Robert Baker, Eva Bihari, Olivier Boudeville, Francesco Cesarini, Maurizio Di Stefano, Sverker Eriksson, Viktoria Fordós, Amir Ghaffari, Aggelos Giantsios, Rickard Green, Csaba Hoch, David Klaftenegger, Huiqing Li, Kenneth Lundin, Kenneth MacKenzie, Katerina Roukounaki, Yiannis Tsiouris, Kjell Winblad
2016	C	`conf`	RPL: A Domain-Specific Language for Designing and Implementing Parallel C++ Applications. PDP Vladimir Janjic, Christopher Brown, Kenneth MacKenzie, Kevin Hammond, Marco Danelutto, Marco Aldinucci, José Daniel García
2015	—	`conf`	3-dimensional throat region segmentation from MRI data based on fourier interpolation and 3-dimensional level set methods. EMBC Sean Campbell, Trushali Doshi, John J. Soraghan, Lykourgos Petropoulakis, Gaetano Di Caterina, Derek Grose, Kenneth MacKenzie
2015	—	`conf`	Automatic detection of larynx cancer from contrast-enhanced magnetic resonance images. Computer-Aided Diagnosis Trushali Doshi, John J. Soraghan, Derek Grose, Kenneth MacKenzie, Lykourgos Petropoulakis
2015	—	`conf`	Performance portability through semi-explicit placement in distributed Erlang. Erlang Workshop Kenneth MacKenzie, Natalia Chechina, Phil Trinder
2014	—	`conf`	Modified fuzzy c-means clustering for automatic tongue base tumour extraction from MRI data. EUSIPCO Trushali Doshi, John J. Soraghan, Derek Grose, Kenneth MacKenzie, Lykourgos Petropoulakis
2011	—	`conf`	Static Resource Analysis for Java Bytecode Using Amortisation and Separation Logic. Bytecode@ETAPS Damon Fenacci, Kenneth MacKenzie
2010	—	`conf`	Symbolic and Analytic Techniques for Resource Analysis of Java Bytecode. TGC David Aspinall, Robert Atkey, Kenneth MacKenzie, Donald Sannella
2009	—	`conf`	A Proof-Carrying-Code Infrastructure for Resources. LADC Hans-Wolfgang Loidl, Kenneth MacKenzie, Steffen Jost, Lennart Beringer
2005	J	`jnl`	Extending resource-bounded functional programming languages with mutable state and concurrency. Scalable Comput. Pract. Exp. Stephen Gilmore, Kenneth MacKenzie, Nicholas Wolverson
2005	—	`conf`	Mobile Resource Guarantees (project evaluation paper). Trends in Functional Programming Donald Sannella, Martin Hofmann, David Aspinall, Stephen Gilmore, Ian Stark, Lennart Beringer, Hans-Wolfgang Loidl, Kenneth MacKenzie, Alberto Momigliano, Olha Shkaravska
2005	—	`conf`	Mobile Resource Guarantees and Policies. CASSIS David Aspinall, Kenneth MacKenzie
2003	—	`conf`	Camelot and Grail: resource-aware functional programming for the JVM. Trends in Functional Programming Kenneth MacKenzie, Nicholas Wolverson
2003	—	`conf`	Grail: a functional form for imperative mobile code. FGC Lennart Beringer, Kenneth MacKenzie, Ian Stark
2003	—	`conf`	O'Camelot: adding objects to a resource-aware functional language. Trends in Functional Programming Nicholas Wolverson, Kenneth MacKenzie
2003	B	`conf`	Synthesizing Representative I/O Workloads Using Iterative Distillation. MASCOTS Zachary Kurmas, Kimberly Keeton, Kenneth MacKenzie
2002	—	`conf`	Stream Handlers: Application-Specific Message Services on Attached Network Processors. Hot Interconnects Ada Gavrilovska, Kenneth MacKenzie, Karsten Schwan, Austen McDonald
2002	A*	`conf`	The wearable motherboard: a framework for personalized mobile information processing (PMIP). DAC Sungmee Park, Kenneth MacKenzie, Sundaresan Jayaraman
2001	Misc	`conf`	A prototype network embedded in textile fabric. CASES Kenneth MacKenzie, Eric Hudson, Drew Maule, Sundaresan Jayaraman, Sungmee Park
2001	Misc	`conf`	Pattern matching in reconfigurable logic for packet classification. CASES Adam Johnson, Kenneth MacKenzie
2001	Misc	`conf`	Rapid Synthesis of Pattern Classification Circuits. FCCM Kenneth MacKenzie, Adam Johnson
1999	J	`jnl`	The MIT Alewife Machine. Proc. IEEE Anant Agarwal, Ricardo Bianchini, David Chaiken, Frederic T. Chong, Kirk L. Johnson, David A. Kranz, John D. Kubiatowicz, Beng-Hong Lim, Kenneth MacKenzie, Donald Yeung
1998	A*	`conf`	Exploiting Two-Case Delivery for Fast Protected Messaging. HPCA Kenneth MacKenzie, John Kubiatowicz, Matthew I. Frank, Walter Lee, Victor Lee, Anant Agarwal, M. Frans Kaashoek
1997	A*	`conf`	Application Performance and Flexibility on Exokernel Systems. SOSP M. Frans Kaashoek, Dawson R. Engler, Gregory R. Ganger, Héctor M. Briceño, Russell Hunt, David Mazières, Thomas Pinckney, Robert Grimm, John Jannotti, Kenneth MacKenzie
1997	C	`conf`	Implications of I/O for Gang Scheduled Workloads. JSSPP Walter Lee, Matthew I. Frank, Victor Lee, Kenneth MacKenzie, Larry Rudolph
1995	A*	`conf`	The MIT Alewife Machine: Architecture and Performance. ISCA Anant Agarwal, Ricardo Bianchini, David Chaiken, Kirk L. Johnson, David A. Kranz, John Kubiatowicz, Beng-Hong Lim, Kenneth MacKenzie, Donald Yeung
1993	A	`conf`	The NuMesh: A Modular, Scalable Communications Substrate. International Conference on Supercomputing Steve Ward, Karim Abdalla, Rajeev Dujari, Michael Fetterman, Frank Honoré, Ricardo Jenez, Philippe Laffont, Kenneth MacKenzie, Chris Metcalf, Milan Minsky, John Nguyen, John Pezaris, Gill A. Pratt, Russell Tessier
1992	—	`conf`	Sparcle: A Multithreaded VLSI Processor for Parallel Computing. Parallel Symbolic Computing Anant Agarwal, Jonathan Babb, David Chaiken, Godfrey D'Souza, Kirk L. Johnson, David A. Kranz, John Kubiatowicz, Beng-Hong Lim, Gino Maa, Kenneth MacKenzie, Daniel Nussbaum, Mike Parkin, Donald Yeung