Langs

Reference 1

  • Sequoia
  • Reference 1 http://web.stanford.edu/group/sequoia/ http://web.stanford.edu/group/sequoia/cgi-bin/ reference ↩

  • C & C++
  • Reference 1 Copy Elision when return a struct. Mesh: Fragmentation in C/C++ Reference 1 MESH: Compacting Memory Management for C/C++ Applications, PLDI, 2019. ↩ reference ↩

  • NesC
  • Reference:

  • Go
  • Reference: Concurrency Setup Environment Variables Reference: GOPATH: environment variable that specifies the location of your workspace. If no GOPATH is set, it is assumed to be $HOME/go on Unix systems and %USERPROFILE%\go on Windows. more Binary Package Download Getting Started with Go Build from Source Install Go from Source Uninstalling Go delete go directory. usually /usr/local/go under Unix or c:\Go on Windows. remove Go bin directory from the $PATH environment variable.

  • Rust
  • Reference: Oxide: The Essence of Rust Reference 1 at its heart lies a novel approach to ownership that balances type system expressively with usability. Rust integrates decades of programming languages research into a production system. Oxide: The Essence of Rust. 2019. ↩

  • Proof Carrying Code
  • Q&A What is the threat model in PCC? What if the proof and binary are changed at the same time by malicious compiler? PCC @ POPL’97 1, Necula Thesis’98 2. Proof-Carrying Code. George C. Necula. POPL, 1997. ↩ Compiling with Proofs. PhD thesis by George Ciprian Necula. 1998. ↩

  • Ada
  • References: reference More

  • C
  • References: reference Setjump/Longjump https://www.embecosm.com/appnotes/ean9/html/ch04s01s02.html https://developer.51cto.com/article/643833.html More


  1. reference ↩
Created Nov 27, 2019 // Last Updated May 18, 2021

If you could revise
the fundmental principles of
computer system design
to improve security...

... what would you change?