Stefan Marr
@stefan-marr.de
Interpreters, compilation, concurrency, and debugging tools.
Reposted by Stefan Marr
We are thrilled to announce that our NEW Large Language Model will be released on 11.18.25.
October 1, 2025 at 2:38 PM
We are thrilled to announce that our NEW Large Language Model will be released on 11.18.25.
Reposted by Stefan Marr
The Virgil compiler interprets its SSA representation directly, as compile-time initialization allows the full language--a simplification after two generations of customized interpreters. It does basically what Mike wrote, except gotos assign the values of phis instead of looking them up.
November 13, 2025 at 1:32 PM
The Virgil compiler interprets its SSA representation directly, as compile-time initialization allows the full language--a simplification after two generations of customized interpreters. It does basically what Mike wrote, except gotos assign the values of phis instead of looking them up.
LuaJIT 3 might interpret an SSA-based program representation (possibly with a more optimized interpreter for platforms without JIT compilation)
www.freelists.org/post/luajit/...
www.freelists.org/post/luajit/...
Re: Question about LuaJIT v3.0 status
Re: Question about LuaJIT v3.0 status, luajit at FreeLists
www.freelists.org
November 13, 2025 at 9:21 AM
LuaJIT 3 might interpret an SSA-based program representation (possibly with a more optimized interpreter for platforms without JIT compilation)
www.freelists.org/post/luajit/...
www.freelists.org/post/luajit/...
Reposted by Stefan Marr
MPLR'26 will be in Brussels!
The deadline is sooner than usually, March 6th.
Please get your papers ready early!
MPLR is interested in all things VMs, Language Implementation, Compilers, Interpreters, and Tooling!
2026.ecoop.org/home/mplr-20...
They'll colocate again with ECOOP and ICOOOLPS!
The deadline is sooner than usually, March 6th.
Please get your papers ready early!
MPLR is interested in all things VMs, Language Implementation, Compilers, Interpreters, and Tooling!
2026.ecoop.org/home/mplr-20...
They'll colocate again with ECOOP and ICOOOLPS!
MPLR 2026 - ECOOP 2026
The 23rd International Conference on Managed Programming Languages and Runtimes (MPLR 2026, formerly ManLang, originally PPPJ) is a premier forum for presenting and discussing novel results in all asp...
2026.ecoop.org
November 7, 2025 at 4:52 PM
MPLR'26 will be in Brussels!
The deadline is sooner than usually, March 6th.
Please get your papers ready early!
MPLR is interested in all things VMs, Language Implementation, Compilers, Interpreters, and Tooling!
2026.ecoop.org/home/mplr-20...
They'll colocate again with ECOOP and ICOOOLPS!
The deadline is sooner than usually, March 6th.
Please get your papers ready early!
MPLR is interested in all things VMs, Language Implementation, Compilers, Interpreters, and Tooling!
2026.ecoop.org/home/mplr-20...
They'll colocate again with ECOOP and ICOOOLPS!
MPLR'26 will be in Brussels!
The deadline is sooner than usually, March 6th.
Please get your papers ready early!
MPLR is interested in all things VMs, Language Implementation, Compilers, Interpreters, and Tooling!
2026.ecoop.org/home/mplr-20...
They'll colocate again with ECOOP and ICOOOLPS!
The deadline is sooner than usually, March 6th.
Please get your papers ready early!
MPLR is interested in all things VMs, Language Implementation, Compilers, Interpreters, and Tooling!
2026.ecoop.org/home/mplr-20...
They'll colocate again with ECOOP and ICOOOLPS!
MPLR 2026 - ECOOP 2026
The 23rd International Conference on Managed Programming Languages and Runtimes (MPLR 2026, formerly ManLang, originally PPPJ) is a premier forum for presenting and discussing novel results in all asp...
2026.ecoop.org
November 7, 2025 at 4:52 PM
MPLR'26 will be in Brussels!
The deadline is sooner than usually, March 6th.
Please get your papers ready early!
MPLR is interested in all things VMs, Language Implementation, Compilers, Interpreters, and Tooling!
2026.ecoop.org/home/mplr-20...
They'll colocate again with ECOOP and ICOOOLPS!
The deadline is sooner than usually, March 6th.
Please get your papers ready early!
MPLR is interested in all things VMs, Language Implementation, Compilers, Interpreters, and Tooling!
2026.ecoop.org/home/mplr-20...
They'll colocate again with ECOOP and ICOOOLPS!
Reposted by Stefan Marr
Somewhat delayed because of Covid, I'm finally going to give my "inaugural lecture", which is a short, hopefully accessible, public talk: in my case "Some things I've learned about software"! All are welcome!
November 7, 2025 at 10:42 AM
Somewhat delayed because of Covid, I'm finally going to give my "inaugural lecture", which is a short, hopefully accessible, public talk: in my case "Some things I've learned about software"! All are welcome!
Reposted by Stefan Marr
Could you be our next Head of School?
We're seeking an innovative, forward-thinking leader to join us in this academic leadership role, accountable for providing a coherent academic vision and direction for the School.
Apply by 30 November: www.jobs.gla.ac.uk/job/professo...
We're seeking an innovative, forward-thinking leader to join us in this academic leadership role, accountable for providing a coherent academic vision and direction for the School.
Apply by 30 November: www.jobs.gla.ac.uk/job/professo...
November 4, 2025 at 9:13 AM
Could you be our next Head of School?
We're seeking an innovative, forward-thinking leader to join us in this academic leadership role, accountable for providing a coherent academic vision and direction for the School.
Apply by 30 November: www.jobs.gla.ac.uk/job/professo...
We're seeking an innovative, forward-thinking leader to join us in this academic leadership role, accountable for providing a coherent academic vision and direction for the School.
Apply by 30 November: www.jobs.gla.ac.uk/job/professo...
Reposted by Stefan Marr
Just told my course staff that variable-length arrays have been part of C since “the late 1900s”.
October 27, 2025 at 3:13 AM
Just told my course staff that variable-length arrays have been part of C since “the late 1900s”.
Four lectures in, not a single one recorded properly.
I truly reached the professorial level, and started conforming to the stereotype...
I used to joke that professors lose their practical skills. Now, I am living it. 🤦🏻♂️
I truly reached the professorial level, and started conforming to the stereotype...
I used to joke that professors lose their practical skills. Now, I am living it. 🤦🏻♂️
October 23, 2025 at 1:52 PM
Four lectures in, not a single one recorded properly.
I truly reached the professorial level, and started conforming to the stereotype...
I used to joke that professors lose their practical skills. Now, I am living it. 🤦🏻♂️
I truly reached the professorial level, and started conforming to the stereotype...
I used to joke that professors lose their practical skills. Now, I am living it. 🤦🏻♂️
To teach the Deutsch-Schorr-Waite pointer reversal GC marking algorithm or not...
October 23, 2025 at 10:54 AM
To teach the Deutsch-Schorr-Waite pointer reversal GC marking algorithm or not...
Reposted by Stefan Marr
Last week I presented at #MPLR2025 our work on #TornadoInsight - an #opensource tool for static & dynamic analysis of #Java code using #TornadoVM on #GPUs.
The presentation is on YouTube:
🎥 Talk: youtube.com/live/sJZtDHw...
The tool is available on GitHub & JetBrains Marketplace!
The presentation is on YouTube:
🎥 Talk: youtube.com/live/sJZtDHw...
The tool is available on GitHub & JetBrains Marketplace!
[ICFP/SPLASH'25] Peony SE - MPLR (Oct 14th)
YouTube video by ACM SIGPLAN
youtube.com
October 21, 2025 at 11:44 AM
Last week I presented at #MPLR2025 our work on #TornadoInsight - an #opensource tool for static & dynamic analysis of #Java code using #TornadoVM on #GPUs.
The presentation is on YouTube:
🎥 Talk: youtube.com/live/sJZtDHw...
The tool is available on GitHub & JetBrains Marketplace!
The presentation is on YouTube:
🎥 Talk: youtube.com/live/sJZtDHw...
The tool is available on GitHub & JetBrains Marketplace!
Reposted by Stefan Marr
Are there any benchmarks (etc) which show the costs of the SysV x64 ABI relative to a somewhat-or-perfectly-optimal ABI for that program? [Not for single microbenchmarks, because I can definitely create horrible overheads there, but on larger programs / benchmarks.]
October 20, 2025 at 3:22 PM
Are there any benchmarks (etc) which show the costs of the SysV x64 ABI relative to a somewhat-or-perfectly-optimal ABI for that program? [Not for single microbenchmarks, because I can definitely create horrible overheads there, but on larger programs / benchmarks.]
Reposted by Stefan Marr
Computing @ Imperial are hiring four Ass. / Assoc. Profs! Priority areas:
- PL
- Systems
- Security
- Software Eng.
- Computer Architecture
- Theoretical Computer Science
Applications from individuals from underrepresented groups especially welcome!
www.imperial.ac.uk/jobs/search-...
- PL
- Systems
- Security
- Software Eng.
- Computer Architecture
- Theoretical Computer Science
Applications from individuals from underrepresented groups especially welcome!
www.imperial.ac.uk/jobs/search-...
Description
Please note that job descriptions are not exhaustive, and you may be asked to take on additional duties that align with the key responsibilities ment...
www.imperial.ac.uk
October 15, 2025 at 6:16 AM
Computing @ Imperial are hiring four Ass. / Assoc. Profs! Priority areas:
- PL
- Systems
- Security
- Software Eng.
- Computer Architecture
- Theoretical Computer Science
Applications from individuals from underrepresented groups especially welcome!
www.imperial.ac.uk/jobs/search-...
- PL
- Systems
- Security
- Software Eng.
- Computer Architecture
- Theoretical Computer Science
Applications from individuals from underrepresented groups especially welcome!
www.imperial.ac.uk/jobs/search-...
Humphrey is now presenting his work titled:
Divining Profiler Accuracy: An Approach to Approximate Profiler Accuracy Through Machine Code-Level Slowdown
My short take on our work, incl. link to paper:
stefan-marr.de/2025/10/can-...
Divining Profiler Accuracy: An Approach to Approximate Profiler Accuracy Through Machine Code-Level Slowdown
My short take on our work, incl. link to paper:
stefan-marr.de/2025/10/can-...
October 18, 2025 at 6:18 AM
Humphrey is now presenting his work titled:
Divining Profiler Accuracy: An Approach to Approximate Profiler Accuracy Through Machine Code-Level Slowdown
My short take on our work, incl. link to paper:
stefan-marr.de/2025/10/can-...
Divining Profiler Accuracy: An Approach to Approximate Profiler Accuracy Through Machine Code-Level Slowdown
My short take on our work, incl. link to paper:
stefan-marr.de/2025/10/can-...
Reposted by Stefan Marr
Can We Know Whether a Profiler is Accurate?
Spoiler: yes we can! But it took us figuring out a way to work around the fundamental observer effect.
stefan-marr.de/2025/10/can-...
If you're at SPLASH, don't miss our talk at VMIL today and at OOPSLA on Saturday!
Spoiler: yes we can! But it took us figuring out a way to work around the fundamental observer effect.
stefan-marr.de/2025/10/can-...
If you're at SPLASH, don't miss our talk at VMIL today and at OOPSLA on Saturday!
Can We Know Whether a Profiler is Accurate?
Measuring causes profiles to change, so is there a way to work around it and know whether a profile is accurate?
stefan-marr.de
October 15, 2025 at 12:41 AM
Can We Know Whether a Profiler is Accurate?
Spoiler: yes we can! But it took us figuring out a way to work around the fundamental observer effect.
stefan-marr.de/2025/10/can-...
If you're at SPLASH, don't miss our talk at VMIL today and at OOPSLA on Saturday!
Spoiler: yes we can! But it took us figuring out a way to work around the fundamental observer effect.
stefan-marr.de/2025/10/can-...
If you're at SPLASH, don't miss our talk at VMIL today and at OOPSLA on Saturday!
Reposted by Stefan Marr
For those of you in Singapore, Jake is at SPLASH and presenting the paper on Saturday. He's friendly, and on the job market -- please find him and say hello!
October 15, 2025 at 12:02 PM
For those of you in Singapore, Jake is at SPLASH and presenting the paper on Saturday. He's friendly, and on the job market -- please find him and say hello!
Reposted by Stefan Marr
New paper with @jakehughes.uk : Garbage Collection for Rust: The Finalizer Frontier. There are lots of GCs for Rust: we tried pushing as far as we could in a new direction, particularly looking at what can be done about the headache that is finalizers.
October 15, 2025 at 12:02 PM
New paper with @jakehughes.uk : Garbage Collection for Rust: The Finalizer Frontier. There are lots of GCs for Rust: we tried pushing as far as we could in a new direction, particularly looking at what can be done about the headache that is finalizers.
Last talk VMIL talk for 2025:
RuntimeSave: A Graph Database of Runtime Values
RuntimeSave: A Graph Database of Runtime Values
October 15, 2025 at 9:12 AM
Last talk VMIL talk for 2025:
RuntimeSave: A Graph Database of Runtime Values
RuntimeSave: A Graph Database of Runtime Values
Next VMIL talk
Memory Tiering in Python Virtual Machine
Memory Tiering in Python Virtual Machine
October 15, 2025 at 8:38 AM
Next VMIL talk
Memory Tiering in Python Virtual Machine
Memory Tiering in Python Virtual Machine
Next VMIL talk
MaTSa: Race Detection in Java
MaTSa: Race Detection in Java
October 15, 2025 at 8:00 AM
Next VMIL talk
MaTSa: Race Detection in Java
MaTSa: Race Detection in Java
Next VMIL talk:
TEAL: a Total Expressive Assembly Language
TEAL: a Total Expressive Assembly Language
October 15, 2025 at 6:59 AM
Next VMIL talk:
TEAL: a Total Expressive Assembly Language
TEAL: a Total Expressive Assembly Language
Next VMIL talk:
Heterogeneous translation of Scala-like function types in Java-TX
Heterogeneous translation of Scala-like function types in Java-TX
October 15, 2025 at 6:43 AM
Next VMIL talk:
Heterogeneous translation of Scala-like function types in Java-TX
Heterogeneous translation of Scala-like function types in Java-TX
The VMIL keynote
The Wild West of post-POSIX IO Interfaces
The Wild West of post-POSIX IO Interfaces
October 15, 2025 at 5:44 AM
The VMIL keynote
The Wild West of post-POSIX IO Interfaces
The Wild West of post-POSIX IO Interfaces
Next VMIL talk
Evaluating Candidate Instructions for Reliable Program Slowdown at the Compiler Level - Towards Supporting Fine-grained Slowdown for Advanced Developer Tooling
This is our work, read more here: stefan-marr.de/2025/08/how-...
Evaluating Candidate Instructions for Reliable Program Slowdown at the Compiler Level - Towards Supporting Fine-grained Slowdown for Advanced Developer Tooling
This is our work, read more here: stefan-marr.de/2025/08/how-...
How to Slow Down a Program? And Why it Can Be Useful.
Making programs slower can be useful to find...
stefan-marr.de
October 15, 2025 at 3:55 AM
Next VMIL talk
Evaluating Candidate Instructions for Reliable Program Slowdown at the Compiler Level - Towards Supporting Fine-grained Slowdown for Advanced Developer Tooling
This is our work, read more here: stefan-marr.de/2025/08/how-...
Evaluating Candidate Instructions for Reliable Program Slowdown at the Compiler Level - Towards Supporting Fine-grained Slowdown for Advanced Developer Tooling
This is our work, read more here: stefan-marr.de/2025/08/how-...
