Matthew Parkinson
@matt-parkinson.bsky.social
Programming language researcher at Microsoft.
Reposted by Matthew Parkinson
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
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...
conf.researchr.org
December 17, 2024 at 11:32 PM
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
snmalloc-s: Rust Crate has been updated to 0.3.7 to contain the latest release.
crates.io/crates/snmal...
crates.io/crates/snmal...
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...
The high-level summary of the release is here:
github.com/microsoft/sn...
snmalloc/docs/release/0.7 at main · microsoft/snmalloc
Message passing based allocator. Contribute to microsoft/snmalloc development by creating an account on GitHub.
github.com
November 29, 2024 at 2:38 PM
snmalloc-s: Rust Crate has been updated to 0.3.7 to contain the latest release.
crates.io/crates/snmal...
crates.io/crates/snmal...
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...
The high-level summary of the release is here:
github.com/microsoft/sn...
snmalloc/docs/release/0.7 at main · microsoft/snmalloc
Message passing based allocator. Contribute to microsoft/snmalloc development by creating an account on GitHub.
github.com
November 28, 2024 at 2:46 PM
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...
The high-level summary of the release is here:
github.com/microsoft/sn...
Reposted by Matthew Parkinson
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...
iris-project.org/pdfs/2025-po...
iris-project.org
November 24, 2024 at 4:02 PM
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...
iris-project.org/pdfs/2025-po...
Reposted by Matthew Parkinson
Azure Research progress on identifying microarchitectural side channels that can compromise cloud security:
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:
www.microsoft.com
November 12, 2024 at 10:30 PM
Azure Research progress on identifying microarchitectural side channels that can compromise cloud security:
Reposted by Matthew Parkinson
Here is my starter pack of PL folks -- please come and join the fun! go.bsky.app/6kzdn3x
November 16, 2024 at 2:17 AM
Here is my starter pack of PL folks -- please come and join the fun! go.bsky.app/6kzdn3x
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...
Search Jobs | Microsoft Careers
jobs.careers.microsoft.com
November 15, 2024 at 8:07 AM
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...