Jeremy Singer : home page
I am a Reader in Programming Language Implementation at the School of Computing Science, in the University of Glasgow. My main research themes are Compilers and Runtimes for Programming Languages. I am a member of the Systems Research section at Glasgow. You can find out more about my research, or browse through my publications list. I am a Senior Member of the ACM and a Fellow of the BCS.
Research Projects
M4Secure: Making Memory Management More Secure, 2023-2026, funded by EPSRC.
Capabilities for Coders, 2022-2023, funded by EPSRC. See [project website].
Capable VMs, 2020-2024, funded by EPSRC. See [project website].
MaRIONet: Manycore Research Innovation and Opportunities Network, 2016-20, funded by EPSRC. See [network website].
FRuIT: Federated Raspberry Pi Micro-Infrastructure Testbed, 2017-2019, funded by EPSRC. See [project website].
AnyScale Apps, 2013-17, funded by EPSRC.
People I work with
I supervise the following PhD students at Glasgow:
Tools to support Domain Specific Language development and Product Family Engineering
Performance Optimization for WebAssembly Interpreters
Programming Language Abstractions for Named Data Networking
Early detection of zero-day exploits in Industrial Control Systems
Quantum Memory Management
Future Secure Memory Systems
Completed PhDs:
Garbage collection optimization for non uniform memory access architectures [Thesis]
- Dhahi Alshammari
Evaluation of cloud computing modelling tools: simulators and predictive models [Thesis]
Opportunistic acceleration of array-centric Python computation in heterogeneous environments [Thesis]
- Adrian Ramsingh
Improving interoperability in distributed multi-tier software stacks [Thesis]
- Yousef Alhaizaey
Task Scheduling for Heterogeneous Edge Micro Clusters [Thesis]
- Ohud Alasmari
Development and validation of an instrument for evaluating online coding tutorial systems [Thesis]
I am always looking for talented Computer Scientists who want to study for a systems research PhD at Glasgow. Please contact me if you intend to apply.
Service
I am a peer review college member for EPSRC and a Carnegie Research Assessor. From 2016-18, I was the Graduate Academy director for SICSA, with responsibility for enhancing PhD experience for Scottish Computing Science students. I am external examiner for undergraduate programmes in Computer Science at Queen's University Belfast I am on the editorial board of the Computer Journal.
I was program chair for Onward! Essays 2022 and workshops co-chair for EuroPar 22 in Glasgow. In 2021, I organized the Scottish Programming Languages and Verification PhD Summer School. I also served as Program Chair for the ACM SIGPLAN Managed Programming Languages and Runtimes conference ( MPLR 21). I was on the steering committee for ACM SIGPLAN International Symposium on Memory Management ( ISMM).
Useful Links
Check out my textbook on Operating Systems Foundations with Linux on the Raspberry Pi
I contributed to the first ever textbook on SSA: SSA-Based Compiler Design
I co-developed a Functional Programming in Haskell MOOC
I co-developed a Teaching Data Science MOOC
I co-developed a Computational Thinking in JavaScript specialization for Coursera
Raspberry Pi Cloud project
My Software Engineering mini-lectures on ITunesU