manual.bib

%==================================================================================================%
% Manual and Technical Reports
%==================================================================================================%

@manual{rustc,
    title = {Guide to Rustc Development},
    author = {rust-lang},
    url = {https://rustc-dev-guide.rust-lang.org/},
    note = "Accessed: 09-21-2022",
}

@manual{Rustonomican,
    title = {The Rustonomicon},
    author = {rust-lang},
    url = {https://doc.rust-lang.org/nomicon/},
    note = "Accessed: 09-23-2022",
}

@manual{Rust:reference,
    title = {{The Rust Reference}},
    author = {rust-lang},
    url = {https://doc.rust-lang.org/reference/},
    note = "Accessed: 09-23-2022",
}

%==================================================================================================%
% ARM and embedded device manuals
%==================================================================================================%
@manual{ARMv7M,
    title = {ARMv7-M Architecture Reference Manual},
    organization = {Arm Holdings},
    note = "ARM DDI 0403E.b",
    year = 2014,
}

@manual{ARMv7M:2021,
  key = {ARM},
  title = {ARMv7-M Architecture Reference Manual},
  organization = {Arm Holdings},
  year = {2021},
  month = feb,
  note = {DDI 0403E.e},
}

@manual{ARMv7AR,
    title = {ARM Architecture Reference Manual ARMv7-A and ARMv7-R edition},
    organization = {Arm Holdings},
    note = "ARM DDI 0406C.c",
    year = {2014},
}

@manual{ARMv8A:2019,
    author = {Arm Holdings},
    title = {{Arm Architecture Reference Manual: Armv8, for Armv8-A architecture profile}},
    note = {DDI 0487E.a},
    year = 2019,
}

@manual{ARMv8A:2020,
  key = {ARM},
  title = {{Arm Architecture Reference Manual: Armv8, for Armv8-A architecture profile}},
  organization = {Arm Holdings},
  month = {March},
  year = {2020},
  note = {{DDI} 0487F.b},
}

@manual{ARMv8M,
    author = {Arm Holdings},
    title = {{ARMv8-M Architecture Reference Manual}},
    organization = {Arm Holdings},
    note = "ARM DDI 0553B.f",
    year = {2019},
    url = {https://static.docs.arm.com/ddi0553/bf/DDI0553B_f_armv8m_arm.pdf}
}

@manual{CortexM4,
    title = {Cortex-M4 Technical Reference Manual},
    organization = {Arm Holdings},
    year = {2010},
    note = {Revision r0p1}
}

@manual{STM32L475,
    title = {Discovery kit for IoT node, multi-channel communication with STM32L4},
    organization = {STMicroelectronics},
    year = {2018},
    month = {March},
    note = "UM2153 Rev 4"
}

@manual{STM32L4x5,
    title = {{STM32L4x5 and STM32L4x6 advanced Arm\textsuperscript \textregistered -based 32-bit MCUs}},
    organization = {STMicroelectronics},
    year = {2018},
    month = {April},
    note = "RM0351 Rev 6"
}

@manual{STM32F469NI,
  key = {ST},
  title = {UM1932 User Manual: Discovery Kit with STM32F469NI MCU},
  organization = {STMicroelectronics},
  month = {April},
  year = {2020},
  note = {{UM1932} Rev 3},
}

@manual{STM32ProgManual,
  key = {ST},
  title = {PM0214 Programming Manual: STM32 Cortex{\textsuperscript\textregistered}-M4 MCUs and MPUs Programming Manual},
  organization = {STMicroelectronics},
  month = {March},
  year = {2020},
  note = {{PM0214} Rev 10},
}

@manual{STM32F469xx,
  key = {ST},
  title = {RM0386 Reference Manual: STM32F469xx and STM32F479xx Advanced Arm{\textsuperscript\textregistered}-Based 32-Bit MCUs},
  organization = {STMicroelectronics},
  month = {June},
  year = {2018},
  note = {{RM0386} Rev 5},
}

@manual{HALLib,
  key = {ST},
  title = {UM1725 User Manual: Description of STM32F4 HAL and LL Drivers},
  organization = {STMicroelectronics},
  month = {February},
  year = {2017},
  note = {{DocID025834} Rev 5},
}

%==================================================================================================%
% Intel manuals
%==================================================================================================%
@manual{IntelManual:2019,
    Title = {Intel 64 and IA-32 Architectures Software Developer’s Manual},
    organization = {Intel Corporation},
    volume = {1, 2A, 2B, 2C, 2D, 3A, 3B, 3C, 3D and 4},
    month = {January},
    year = {2019},
    note = {Order Number: 325462-069US}
}

@manual{IntelManual:2021,
    title = {ntel® 64 and IA-32 Architectures Software Developer’s Manual},
    organization = {Intel Corporation},
    year = 2021,
    month = June,
    note = {Order Number: 253665-075US}
}

%==================================================================================================%
% Others
%==================================================================================================%
@manual{SystemVAMD64ABI,
    Title = {System V Application Binary Interface AMD64 Architecture Processor Supplement},
    author = {H.J. Lu and Michael Matz and Milind Girkar and Jan Hubi\^cka and
        Andreas Jaeger and Mark Mitchell},
    month = {September},
    note = {Version 1.0},
    url = {https://gitlab.com/x86-psABIs/x86-64-ABI}
}

@misc{wasm:memory64,
    author = {WebAssembly},
    title = {Memory64},
    year = 2021,
    url = {https://github.com/WebAssembly/memory64/blob/main/proposals/memory64/Overview.md},
}

%==================================================================================================%
% Technical Reports
%==================================================================================================%

@TechReport{CHERI:TR19,
  author =	 {Watson, Robert N. M. and Neumann, Peter G. and Woodruff,
          	  Jonathan and Roe, Michael and Almatary, Hesham and
          	  Anderson, Jonathan and Baldwin, John and Chisnall, David
          	  and Davis, Brooks and Filardo, Nathaniel Wesley and
          	  Joannou, Alexandre and Laurie, Ben and Markettos, A.
          	  Theodore and Moore, Simon W. and Murdoch, Steven J. and
          	  Nienhuis, Kyndylan and Norton, Robert and Richardson, Alex
          	  and Rugg, Peter and Sewell, Peter and Son, Stacey and Xia,
          	  Hongyan},
  title = 	 {{Capability Hardware Enhanced RISC Instructions: CHERI
         	   Instruction-Set Architecture (Version 7)}},
  year = 	 2019,
  month = 	 jun,
  url = 	 {https://www.cl.cam.ac.uk/techreports/UCAM-CL-TR-927.pdf},
  institution =  {University of Cambridge, Computer Laboratory},
  number = 	 {UCAM-CL-TR-927}
}

@TechReport{CheckedCTR:Microsoft,
    title = {Extending C with Bounds Safety and Improved Type Safety},
    author = {David Tarditi},
    year = 2021,
    month = July,
    url = {https://github.com/microsoft/checkedc/tree/master/spec/bounds_safety},
    note = {Accessed: 07-14-2021}
}

@TechReport{CPUPerf:AgnerFog,
    title = {4. Instruction tables: Lists of instruction latencies,
    throughputs and micro-operation breakdowns for {Intel}, {AMD}, and {VIA} {CPUs}},
    author = {Agner Fog},
    url = {https://www.agner.org/optimize/instruction_tables.pdf},
    year = 2021,
    note = {{Accessed}: 07-19-2021}
}

%==================================================================================================%
% Books
%==================================================================================================%
@book{SysPerf:Gregg,
    author = {Brendan Gregg},
    title = {Systems Performance: Enterprise and the Cloud, 2nd Edition},
    year = 2020,
    publisher = {Addison-Wesley}
}

@book{Rust:book2022,
    title = {The Rust Programming Language},
    author = {Steve Klabnik and Carol Nichols},
    url = {https://doc.rust-lang.org/stable/book/},
    note = {Accessed: 09-23-2022}
}

@book{Rust:book2018,
    title = {The Rust Programming Language},
    author = {Steve Klabnik and Carol Nichols},
    publisher = {No Starch Press},
    year = 2018,
    isbn = "978-1593278281",
}