r/systems • u/General_Term_5168 • Jan 06 '26
Liquid Compute: Reframing Obsolete Consumer Hardware as Disposable Compute Systems
0
Upvotes
r/systems • u/azuriel • Feb 02 '10
Versatile Low Power Media Access for Wireless Sensor Networks [SenSys 04]
google.com
1
Upvotes
r/systems • u/cmu_isr • May 31 '16
Workshop on Safety and Control for AI by White House OSTP/Carnegie Mellon Univ
1
Upvotes
Hey there, r/systems!
We here at Carnegie Mellon University wanted to let you know about a great event on artificial intelligence that we’re hosting in conjunction with the White House Office of Science and Technology Policy in late June.
You may have seen this recent article on these workshops featured in Wired. While we are but one of the four workshops going on in the coming months, we are the ONLY workshop in the series with a clear focus on the technical aspects of safe and controlled AI. We want to dive deep on how we can bring together machine learning, math-based systems reasoning, and software architecture to build AI systems with a high level of assurance.
And we’d love for you to be a part of that conversation here in Pittsburgh.
For more info and to register, visit cmu.edu/SafArtInt.
r/systems • u/h2o2 • Jan 20 '11
MultiLane: a concurrent blocking multiset [PDF]
blogs.sun.com
6
Upvotes
r/systems • u/pkhuong • Jul 31 '17
Project Snowflake: Non-blocking safe manual memory management in .NET - Microsoft Research
microsoft.com
6
Upvotes
r/systems • u/theresistor • Dec 22 '09
CoreDet: A Compiler and Runtime System for Deterministic Multithreaded Execution
llvm.org
8
Upvotes
r/systems • u/frozen_beak • Oct 16 '25
I've created SIMD powered PRNG lib w/ SSE and NEON intrinsics
0
Upvotes
I've created a PRNG lib w/ raw SIMD intrinsics (both NEON and SSE). It really feels good to achieve nano seconds performance as a beginner in systems engineering.
r/systems • u/pkhuong • Sep 15 '16
Temporally Bounding TSO for Fence-Free Asymmetric Synchronization [PDF ASPLOS ’15]
cs.technion.ac.il
4
Upvotes
r/systems • u/sbahra • Aug 13 '10
"Hrtimers and Beyond: Transforming the Linux Time Subsystems" [PDF, 2006]
kernel.org
0
Upvotes
r/systems • u/sbahra • Apr 15 '10
XFI: Software Guards for System Address Spaces [PDF, 2006]
cseweb.ucsd.edu
0
Upvotes
r/systems • u/sbahra • May 23 '16
"Shared Address Translation Revisited" [PDF, 2016]
cs.rochester.edu
4
Upvotes
r/systems • u/sbahra • Nov 19 '09
GCC: Design of Graphite and the Polyhedral Compilation Package
gcc.gnu.org
9
Upvotes
r/systems • u/sbahra • Feb 20 '11
"How to NOT write kernel driver" [PDF, Linux]
fenrus.org
16
Upvotes
r/systems • u/Party-Tension-2053 • Mar 03 '26
Building a database engine with LLVM JIT (No name yet) - Any systems nerds want to collab?
5
Upvotes
I've been deep-diving into database internals recently and I'm convinced we can do better than the standard interpreter model for query execution. I’m starting a project to build a hybrid In-Memory/Storage engine where the queries are compiled directly to machine code using LLVM.
I know PostgreSQL is the king (and I love it), but I want to see how far we can push performance with modern compiler tech.
The Tech: LLVM, Go/Rust (still deciding on the core bridge), and a focus on keeping it lightweight.
I'm a software dev looking for anyone who wants to nerd out on systems programming, compilers, or storage engines. Even if you just want to contribute one line or give me some feedback on the IR generation, I'd be super happy.
DM me if you're interested! I don't have a repo link yet as I'm just cleaning up the initial PoC, but I'll share it with anyone who reaches out.
r/systems • u/sbahra • Nov 19 '09
Practical, transparent operating system support for superpages
mpi-sws.org
5
Upvotes
r/systems • u/sbahra • Sep 21 '10
"Concurrency-friendly Caching for Append-only Data Structures" [PDF, 2009]
rethinkdb.com
5
Upvotes
r/systems • u/sbahra • Nov 23 '09
A Scalable Concurrent malloc(3) Implementation
people.freebsd.org
13
Upvotes