Matthew Parkinson's Avatar

Matthew Parkinson

@matt-parkinson.bsky.social

Programming language researcher at Microsoft.

564 Followers  |  433 Following  |  6 Posts  |  Joined: 15.11.2024  |  1.5289

Latest posts by matt-parkinson.bsky.social on Bluesky

I'm in total agreement. I'm often saddened when the response is trying to be compact, and like line by line replies to comments.

I have really taken to viewing it like a review on a PR.

22.02.2025 12:45 โ€” ๐Ÿ‘ 2    ๐Ÿ” 0    ๐Ÿ’ฌ 0    ๐Ÿ“Œ 0
ISMM 2025 - International Symposium on Memory Management - ISMM 2025 Welcome to the home page of the 2025 ACM SIGPLAN International Symposium on Memory Management (ISMM 2025)! ISMM is the premier forum dedicated to research in memory management, covering the areas of m...

The CFP for the 2025 SIGPLAN International Symposium on Memory Management (ISMM) is out! For 25+ years, ISMM has been a key venue of the memory management community, and has now been extended to computer architecture and systems. The deadline is 3/11/25. conf.researchr.org/home/ismm-2025

17.12.2024 23:32 โ€” ๐Ÿ‘ 9    ๐Ÿ” 4    ๐Ÿ’ฌ 0    ๐Ÿ“Œ 1

snmalloc-s: Rust Crate has been updated to 0.3.7 to contain the latest release.
crates.io/crates/snmal...

29.11.2024 14:38 โ€” ๐Ÿ‘ 2    ๐Ÿ” 0    ๐Ÿ’ฌ 0    ๐Ÿ“Œ 0

The Combining Lock builds a simple version of Flat Combining into a C++ class. We built it to improve the start-up time of snmalloc in high-thread workloads.
There is some fairly accessible documentation about how it works here:

github.com/microsoft/sn...

28.11.2024 14:46 โ€” ๐Ÿ‘ 0    ๐Ÿ” 0    ๐Ÿ’ฌ 0    ๐Ÿ“Œ 0
[PLDI'24] Iceland - ISMM (Jun 25th)
YouTube video by ACM SIGPLAN [PLDI'24] Iceland - ISMM (Jun 25th)

The BatchIt work significantly improves message passing like work loads in snmalloc. It was designed and built by @qedragon. The design appeared at ISMM'24 this year.
www.youtube.com/watch?v=M5KX...

28.11.2024 14:46 โ€” ๐Ÿ‘ 2    ๐Ÿ” 0    ๐Ÿ’ฌ 1    ๐Ÿ“Œ 0
Preview
snmalloc/docs/release/0.7 at main ยท microsoft/snmalloc Message passing based allocator. Contribute to microsoft/snmalloc development by creating an account on GitHub.

We have just released the latest version of snmalloc. This release has two features I really enjoyed working on: BatchIt and a Combining Lock. I will describe these features in this post.
The high-level summary of the release is here:
github.com/microsoft/sn...

28.11.2024 14:46 โ€” ๐Ÿ‘ 13    ๐Ÿ” 4    ๐Ÿ’ฌ 1    ๐Ÿ“Œ 1

The paper on data-race-free OCaml is out! If you want to learn more about the zoo of new mode axes (contention, uniqueness, portability, ...) and cool new abstractions like capsules, it's all there!

iris-project.org/pdfs/2025-po...

24.11.2024 16:02 โ€” ๐Ÿ‘ 70    ๐Ÿ” 21    ๐Ÿ’ฌ 1    ๐Ÿ“Œ 0
Preview
Strengthening defenses against side-channel attacks in the cloud Sophisticated side-channel attacks present new security challenges for cloud providers. Learn how Microsoft is exploring defenses against emerging attacks with principled microarchitectural isolation:

Azure Research progress on identifying microarchitectural side channels that can compromise cloud security:

12.11.2024 22:30 โ€” ๐Ÿ‘ 20    ๐Ÿ” 3    ๐Ÿ’ฌ 1    ๐Ÿ“Œ 0

Here is my starter pack of PL folks -- please come and join the fun! go.bsky.app/6kzdn3x

16.11.2024 02:17 โ€” ๐Ÿ‘ 73    ๐Ÿ” 35    ๐Ÿ’ฌ 4    ๐Ÿ“Œ 6
Search Jobs | Microsoft Careers

We're looking for another batch of great interns to join our Azure Research team this summer in Cambridge. We're doing some great projects around security and privacy, including Systems, PL and ML. jobs.careers.microsoft.com/global/en/jo...

15.11.2024 08:07 โ€” ๐Ÿ‘ 2    ๐Ÿ” 2    ๐Ÿ’ฌ 0    ๐Ÿ“Œ 0

@matt-parkinson is following 20 prominent accounts