Jeremy Singer

CoRR, 2023

Reinforcement learning guided fuzz testing for a browser's HTML rendering engine.

[BibT_eX]

[DOI]

Martin Sablotny

Bjørn Sand Jensen

CoRR, 2023

CHERI Performance Enhancement for a Bytecode Interpreter.

[BibT_eX]

[DOI]

Duncan Lowther

Proceedings of the 15th ACM SIGPLAN International Workshop on Virtual Machines and Intermediate Languages, 2023

Morello MicroPython: A Python Interpreter for CHERI.

[BibT_eX]

[DOI]

Duncan Lowther

Proceedings of the 20th ACM SIGPLAN International Conference on Managed Programming Languages and Runtimes, 2023

Capable VMs Project Overview (Poster Abstract).

[BibT_eX]

[DOI]

Proceedings of the 20th ACM SIGPLAN International Conference on Managed Programming Languages and Runtimes, 2023

Towards Secure MicroPython on Morello (WIP).

[BibT_eX]

[DOI]

Mounia Kharbouche-Harrari

Proceedings of the 24th ACM SIGPLAN/SIGBED International Conference on Languages, 2023

Picking a CHERI Allocator: Security and Performance Considerations.

[BibT_eX]

[DOI]

Proceedings of the 2023 ACM SIGPLAN International Symposium on Memory Management, 2023

Improving Robustness Against Adversarial Attacks with Deeply Quantized Neural Networks.

[BibT_eX]

[DOI]

Proceedings of the International Joint Conference on Neural Networks, 2023

Do Current Online Coding Tutorial Systems Address Novice Programmer Difficulties?

[BibT_eX]

[DOI]

Ohud Abdullah Alasmari

Mireilla Bikanga Ada

Proceedings of the 15th International Conference on Education Technology and Computers, 2023

2022

mini-ELSA: using Machine Learning to improve space efficiency in Edge Lightweight Searchable Attribute-based encryption for Industry 4.0.

[BibT_eX]

[DOI]

CoRR, 2022

Do Fewer Tiers Mean Fewer Tears? Eliminating Web Stack Components to Improve Interoperability.

[BibT_eX]

[DOI]

Adrian Ramsingh

CoRR, 2022

Classifying the Reliability of the Microservices Architecture.

[BibT_eX]

[DOI]

Adrian Ramsingh

Proceedings of the 18th International Conference on Web Information Systems and Technologies, 2022

Capability Boehm: challenges and opportunities for garbage collection with capability hardware.

[BibT_eX]

[DOI]

Proceedings of the VEE '22: 18th ACM SIGPLAN/SIGOPS International Conference on Virtual Execution Environments, 2022

Characterizing WebAssembly Bytecode.

[BibT_eX]

[DOI]

Yuxin Qin

Proceedings of the 19th International Conference on Managed Programming Languages and Runtimes, 2022

Boehm-Demers-Weiser Garbage Collection on Morello.

[BibT_eX]

[DOI]

Proceedings of the 19th International Conference on Managed Programming Languages and Runtimes, 2022

Optimizing Heterogeneous Task Allocation for Edge Compute Micro Clusters Using PSO Metaheuristic.

[BibT_eX]

[DOI]

Yousef Alhaizaey

Proceedings of the Seventh International Conference on Fog and Mobile Edge Computing, 2022

ELSA: Edge Lightweight Searchable Attribute-based encryption Multi-keyword Scalability.

[BibT_eX]

[DOI]

Jawhara Aljabri

Proceedings of the IEEE Conference on Dependable and Secure Computing, 2022

ELSA: A Keyword-based Searchable Encryption for Cloud-edge assisted Industrial Internet of Things.

[BibT_eX]

[DOI]

Jawhara Aljabri

Proceedings of the 22nd IEEE International Symposium on Cluster, 2022

Standard Construction and Destruction Algorithms.

[BibT_eX]

[DOI]

Fabrice Rastello

Proceedings of the SSA-based Compiler Design, 2022

Introduction.

[BibT_eX]

[DOI]

Proceedings of the SSA-based Compiler Design, 2022

2021

Optimizing Task Allocation for Edge Micro-Clusters in Smart Cities.

[BibT_eX]

[DOI]

Yousef Alhaizaey

Proceedings of the 22nd IEEE International Symposium on a World of Wireless, 2021

2020

Performance analysis of single board computer clusters.

[BibT_eX]

[DOI]

Future Gener. Comput. Syst., 2020

Notes on notebooks: is Jupyter the bringer of jollity?

[BibT_eX]

[DOI]

Proceedings of the 2020 ACM SIGPLAN International Symposium on New Ideas, 2020

Tiered versus tierless IoT stacks: comparing smart campus software architectures.

[BibT_eX]

[DOI]

Proceedings of the IoT '20: 10th International Conference on the Internet of Things, 2020

Pricing Python parallelism: a dynamic language cost model for heterogeneous platforms.

[BibT_eX]

[DOI]

Proceedings of the DLS 2020: Proceedings of the 16th ACM SIGPLAN International Symposium on Dynamic Languages, 2020

2019

Experience report: thinkathon - countering an 'i got it working' mentality with pencil-and-paper exercises.

[BibT_eX]

[DOI]

Inroads, 2019

Cloud Futurology.

[BibT_eX]

[DOI]

Computer, 2019

ALPyNA: acceleration of loops in Python for novel architectures.

[BibT_eX]

[DOI]

Proceedings of the 6th ACM SIGPLAN International Workshop on Libraries, 2019

Python programmers have GPUs too: automatic Python loop parallelization with staged dependence analysis.

[BibT_eX]

[DOI]

Proceedings of the 15th ACM SIGPLAN International Symposium on Dynamic Languages, 2019

2018

Commodity single board computer clusters and their applications.

[BibT_eX]

[DOI]

Future Gener. Comput. Syst., 2018

Solving the task variant allocation problem in distributed robotics.

[BibT_eX]

[DOI]

Auton. Robots, 2018

Next generation single board clusters.

[BibT_eX]

[DOI]

Proceedings of the 2018 IEEE/IFIP Network Operations and Management Symposium, 2018

Peer-to-peer secure updates for heterogeneous edge devices.

[BibT_eX]

[DOI]

Proceedings of the 2018 IEEE/IFIP Network Operations and Management Symposium, 2018

2017

Functional Baby Talk: Analysis of Code Fragments from Novice Haskell Programmers.

[BibT_eX]

[DOI]

Blair Archibald

Proceedings of the Proceedings Sixth Workshop on Trends in Functional Programming in Education, 2017

Does CloudSim Accurately Model Micro Datacenters?

[BibT_eX]

[DOI]

Dhahi Alshammari

Timothy Storer

Proceedings of the 2017 IEEE 10th International Conference on Cloud Computing (CLOUD), 2017

2016

Task Variant Allocation in Distributed Robotics.

[BibT_eX]

[DOI]

Proceedings of the Robotics: Science and Systems XII, University of Michigan, Ann Arbor, Michigan, USA, June 18, 2016

Supersensors: Raspberry Pi Devices for Smart Campus Infrastructure.

[BibT_eX]

[DOI]

Proceedings of the 4th IEEE International Conference on Future Internet of Things and Cloud, 2016

2015

Search-Based Refactoring: Metrics Are Not Enough.

[BibT_eX]

[DOI]

Chris Simons

Proceedings of the Search-Based Software Engineering - 7th International Symposium, 2015

Topology-Aware Parallelism for NUMA Copying Collectors.

[BibT_eX]

[DOI]

Khaled Alnowaiser

Proceedings of the Languages and Compilers for Parallel Computing, 2015

The judgment of forseti: economic utility for dynamic heap sizing of multiple runtimes.

[BibT_eX]

[DOI]

Callum Cameron

David Vengerov

Proceedings of the 2015 ACM SIGPLAN International Symposium on Memory Management, 2015

The Programming Game: Evaluating MCTS as an Alternative to GP for Symbolic Regression.

[BibT_eX]

[DOI]

Shin Yoo

Proceedings of the Genetic and Evolutionary Computation Conference, 2015

Rethinking Genetic Improvement Programming.

[BibT_eX]

[DOI]

Proceedings of the Genetic and Evolutionary Computation Conference, 2015

Towards Free Market Cloud Computing.

[BibT_eX]

[DOI]

Abyd Adhami

Colin Perkins

Proceedings of the 15th IEEE International Conference on Computer and Information Technology, 2015

2014

SICSA multicore challenge editorial preface.

[BibT_eX]

[DOI]

Hans-Wolfgang Loidl

Concurr. Comput. Pract. Exp., 2014

Programming language feature agglomeration.

[BibT_eX]

[DOI]

Callum Cameron

Marc Alexander

Proceedings of the 1st Workshop on Programming Language Evolution, 2014

We are all economists now: economic utility for multiple heap sizing.

[BibT_eX]

[DOI]

Callum Cameron

Proceedings of the 9th International Workshop on Implementation, 2014

2013

Cloud engineering is Search Based Software Engineering too.

[BibT_eX]

[DOI]

J. Syst. Softw., 2013

JVM-hosted languages: they talk the talk, but do they walk the walk?

[BibT_eX]

[DOI]

Wing Hang Li

Proceedings of the 2013 International Conference on Principles and Practices of Programming on the Java Platform: Virtual Machines, 2013

Control theory for principled heap sizing.

[BibT_eX]

[DOI]

Proceedings of the International Symposium on Memory Management, 2013

The Glasgow Raspberry Pi Cloud: A Scale Model for Cloud Computing Infrastructures.

[BibT_eX]

[DOI]

Proceedings of the 33rd International Conference on Distributed Computing Systems Workshops (ICDCS 2013 Workshops), 2013

A Comparative Look at Adaptive Memory Management in Virtual Machines.

[BibT_eX]

[DOI]

José Simão

Luís Veiga

Proceedings of the IEEE 5th International Conference on Cloud Computing Technology and Science, 2013

2011

A literate experimentation manifesto.

[BibT_eX]

[DOI]

Proceedings of the ACM Symposium on New Ideas in Programming and Reflections on Software, 2011

Garbage collection auto-tuning for Java mapreduce on multi-cores.

[BibT_eX]

[DOI]

Proceedings of the 10th International Symposium on Memory Management, 2011

Economic theory for memory management optimization.

[BibT_eX]

[DOI]

Richard E. Jones

Proceedings of the 6th Workshop on Implementation, 2011

2010

Online Non-stationary Boosting.

[BibT_eX]

[DOI]

Proceedings of the Multiple Classifier Systems, 9th International Workshop, 2010

The economics of garbage collection.

[BibT_eX]

[DOI]

Proceedings of the 9th International Symposium on Memory Management, 2010

Toward a more accurate understanding of the limits of the TLS execution paradigm.

[BibT_eX]

[DOI]

Nikolas Ioannou

Salman Khan

Polychronis Xekalakis

Proceedings of the 2010 IEEE International Symposium on Workload Characterization, 2010

2009

Fundamental Nano-Patterns to Characterize and Classify Java Methods.

[BibT_eX]

[DOI]

Proceedings of the Ninth Workshop on Language Descriptions Tools and Applications, 2009

2008

Dynamic analysis of Java program concepts for visualization and profiling.

[BibT_eX]

[DOI]

Sci. Comput. Program., 2008

Exploiting the Correspondence between Micro Patterns and Class Names.

[BibT_eX]

[DOI]

Proceedings of the Eighth IEEE International Working Conference on Source Code Analysis and Manipulation (SCAM 2008), 2008

2007

Towards intelligent analysis techniques for object pretenuring.

[BibT_eX]

[DOI]

Proceedings of the 5th International Symposium on Principles and Practice of Programming in Java, 2007

Intelligent selection of application-specific garbage collectors.

[BibT_eX]

[DOI]

Proceedings of the 6th International Symposium on Memory Management, 2007

2006

Return Value Prediction meets Information Theory.

[BibT_eX]

[DOI]

Gavin Brown

Proceedings of the 4th International Workshop on Quantitative Aspects of Programming Languages, 2006

Visualized adaptive runtime subsystems.

[BibT_eX]

[DOI]

Proceedings of the ACM 2006 Symposium on Software Visualization, 2006

Dynamic analysis of program concepts in Java.

[BibT_eX]

[DOI]

Proceedings of the 4th International Symposium on Principles and Practice of Programming in Java, 2006

2005

Concept Assignment as a Debugging Technique for Code Generators.

[BibT_eX]

[DOI]

Proceedings of the 5th IEEE International Workshop on Source Code Analysis and Manipulation (SCAM 2005), 30 September, 2005

Towards Probabilistic Program Slicing.

[BibT_eX]

[DOI]

Proceedings of the Beyond Program Slicing, 06.11. - 11.11.2005, 2005

2003

Static single information from a functional perspective.

[BibT_eX]

Proceedings of the Revised Selected Papers from the Fourth Symposium on Trends in Functional Programming, 2003

JVM versus CLR: a comparative study.

[BibT_eX]

[DOI]

Proceedings of the 2nd International Symposium on Principles and Practice of Programming in Java, 2003

2002

Porting legacy interpretive bytecode to the CLR.

[BibT_eX]

[DOI]