marking-popl24.pdf
1.4 MB
Total Type Error Localization and Recovery with Holes
Symbol Versions in NetBSD Libraries
https://wiki.netbsd.org/symbol_versions/
https://wiki.netbsd.org/symbol_versions/
Chad Strings - The Chad way to handle strings in C.
https://github.com/skullchap/chadstr
https://github.com/skullchap/chadstr
GitHub
GitHub - skullchap/chadstr: Chad Strings - The Chad way to handle strings in C.
Chad Strings - The Chad way to handle strings in C. - skullchap/chadstr
🗿5😎4🤔2
Lesser known tricks, quirks and features of C
https://jorenar.com/blog/less-known-c
https://jorenar.com/blog/less-known-c
Jorenar
Lesser known tricks, quirks and features of C
❤2🥴2
A Fast WebAssembly Interpreter design in WASM-Micro-Runtime
https://www.intel.com/content/www/us/en/developer/articles/technical/webassembly-interpreter-design-wasm-micro-runtime.html
https://www.intel.com/content/www/us/en/developer/articles/technical/webassembly-interpreter-design-wasm-micro-runtime.html
Intel
A Fast WebAssembly Interpreter design in WASM-Micro-Runtime
In this paper, we introduced wasm-micro-runtime(abbreviated WAMR) fast-interpreter, in which several optimization methods are applied including fast bytecode dispatching.
❤3
Hyperlight: Virtual machine-based security for functions at scalehttps://opensource.microsoft.com/blog/2024/11/07/introducing-hyperlight-virtual-machine-based-security-for-functions-at-scale/
Microsoft Open Source Blog
Introducing Hyperlight: Virtual machine-based security for functions at scale - Microsoft Open Source Blog
The Microsoft Azure Core Upstream team is excited to announce the Hyperlight project, an open-source Rust library you can use to create very small VMs for embedded functions. Learn more.
👍2
Self-Applicable Online Partial Evaluation of the Pure Lambda Calculus
https://dl.acm.org/doi/pdf/10.1145/215465.215469
https://dl.acm.org/doi/pdf/10.1145/215465.215469
👍1
Against Best Practices
https://www.arp242.net/best-practices.html
https://www.arp242.net/best-practices.html
www.arp242.net
Against best practices
💯6👍1
Retrofitting spatial safety to hundreds of millions of lines of C++
https://security.googleblog.com/2024/11/retrofitting-spatial-safety-to-hundreds.html?m=1
https://security.googleblog.com/2024/11/retrofitting-spatial-safety-to-hundreds.html?m=1
Googleblog
Retrofitting spatial safety to hundreds of millions of lines of C++
Posted by Alex Rebert and Max Shavrick, Security Foundations, and Kinuko Yasuda, Core Developer Attackers regularly exploit spatial mem...
👍2
Practical Normalization by Evaluation for EDSLs
https://homepages.inf.ed.ac.uk/slindley/papers/nbe-for-edsls-draft-may2021.pdf
https://homepages.inf.ed.ac.uk/slindley/papers/nbe-for-edsls-draft-may2021.pdf
👍4
A Type System for Recursive Modules
https://dl.acm.org/doi/pdf/10.1145/1291220.1291196
https://dl.acm.org/doi/pdf/10.1145/1291220.1291196
👍3
500'000€ Prize for Compressing Human Knowledge
https://web.archive.org/web/20241122214528/https://prize.hutter1.net/
https://web.archive.org/web/20241122214528/https://prize.hutter1.net/
🗿5
Revisiting the DOS memory models
https://blogsystem5.substack.com/p/dos-memory-models
https://blogsystem5.substack.com/p/dos-memory-models
Substack
Revisiting the DOS memory models
At the beginning of the year, I wrote a bunch of articles on the various tricks DOS played to overcome the tight memory limits of x86’s real mode. There was one question that came up and remained unanswered: what were the various “models” that the compilers…
😭1