links.bib

@misc{Duarte2020a,
author = {Duarte, Jos{\'{e}}},
booktitle = {2020},
title = {rustype/typestate-rs - commit 93cd8f3d2c},
url = {https://github.com/rustype/typestate-rs/tree/93cd8f3d2c6b0ecba75764d2c56eb2ad002c1569}
}
@misc{RubyRBS,
abstract = {Type Signature for Ruby. Contribute to ruby/rbs development by creating an account on GitHub.},
keywords = {ruby,type-checking},
publisher = {The Ruby Programming Language},
title = {ruby/rbs},
url = {https://github.com/ruby/rbs},
urldate = {2021-01-14},
year = {2021}
}
@misc{Most2018,
author = {Most, Kevin},
title = {{Writing Your First Kotlin Compiler Plugin}},
url = {https://resources.jetbrains.com/storage/products/kotlinconf2018/slides/5{\_}Writing Your First Kotlin Compiler Plugin.pdf},
urldate = {2021-02-04},
year = {2018}
}
@misc{purescript,
title = {{PureScript}},
url = {https://www.purescript.org/},
urldate = {2021-01-14},
year = {2021}
}
@misc{JastAdd2021,
title = {{JastAdd}},
url = {https://jastadd.cs.lth.se/web/}
}
@misc{Square2021,
abstract = {A Java API for generating .java source files.},
author = {Square},
title = {square/javapoet},
url = {https://github.com/square/javapoet}
}
@misc{Java2021,
booktitle = {Java Documentation},
title = {{Interface Processor}},
url = {https://docs.oracle.com/javase/8/docs/api/javax/annotation/processing/Processor.html},
urldate = {2021-02-03}
}
@misc{Leroy2020,
author = {Leroy, Xavier and Doligez, Damien and Frisch, Alain and Garrigue, Jacques and R{\'{e}}my, Didier and Vouillon, J{\'{e}}r{\^{o}}me},
title = {{The OCaml system release 4.11 - Documentation and user's manual}},
url = {https://caml.inria.fr/pub/docs/manual-ocaml/},
urldate = {2021-02-02},
year = {2020}
}
@misc{Rebours2019,
author = {Rebours, Nathan},
title = {{An introduction to OCaml PPX ecosystem}},
url = {https://tarides.com/blog/2019-05-09-an-introduction-to-ocaml-ppx-ecosystem},
year = {2019}
}
@misc{Palmer2021,
author = {Palmer, Tom},
title = {tjpalmer/languish},
url = {https://tjpalmer.github.io/languish/},
urldate = {2021-01-25}
}
@misc{Heaney1998,
author = {Heaney, Mathew},
title = {{Why Ada isn't Popular}},
url = {http://www.adapower.com/index.php?Command=Class{\&}ClassID=Advocacy{\&}CID=39},
urldate = {2020-01-25},
year = {1998}
}
@misc{Hoare2009,
author = {Hoare, Tony},
title = {{Null References: The Billion Dollar Mistake}},
url = {https://www.infoq.com/presentations/Null-References-The-Billion-Dollar-Mistake-Tony-Hoare/},
urldate = {2020-01-25},
year = {2009}
}
@misc{Go2021,
title = {{Effective Go}},
url = {https://golang.org/doc/effective{\_}go.html},
urldate = {2021-01-22}
}
@misc{Hoare2010,
author = {Hoare, Graydon},
title = {rust-lang/rust - first commit},
url = {https://github.com/rust-lang/rust/commit/c01efc669f09508b55eced32d3c88702578a7c3e},
year = {2010}
}
@misc{Wong2021,
author = {Wong, Chris},
title = {{maud - Compile-time HTML templates for Rust}},
url = {https://github.com/lambda-fairy/maud},
urldate = {2021-01-19}
}
@misc{Torre2014,
author = {Torre, Charles and Stroustrup, Bjarne and Alexandrescu, Andrei and Pike, Rob and Matsakis, Niko},
title = {{Panel: Systems Programming in 2014 and Beyond}},
url = {https://channel9.msdn.com/Events/Lang-NEXT/Lang-NEXT-2014/Panel-Systems-Programming-Languages-in-2014-and-Beyond},
year = {2014}
}
@misc{Fitzgerald2019,
author = {Fitzgerald, Nick},
title = {{state{\_}machine{\_}future - Easily create type-safe `Future`s from state machines — without the boilerplate.}},
url = {https://github.com/fitzgen/state{\_}machine{\_}future},
year = {2019}
}
@misc{Howarth2020,
author = {Howarth, Jesse},
title = {{Why Discord is switching from Go to Rust}},
url = {https://blog.discord.com/why-discord-is-switching-from-go-to-rust-a190bbca2b1f},
urldate = {2021-01-20},
year = {2020}
}
@misc{Feldman2014,
author = {Feldman, Michael B.},
title = {{Who's Using Ada}},
url = {https://www2.seas.gwu.edu/{~}mfeldman/ada-project-summary.html},
urldate = {2021-01-20},
year = {2014}
}
@misc{Docker2021,
title = {{Docker GitHub organization}},
url = {https://github.com/docker},
urldate = {2021-01-20}
}
@misc{Munksgaard2015,
abstract = {Using this library, you can implement bi-directional process communication with compile-time assurance that neither party will violate the communication protocol.},
author = {Munksgard, Philip},
title = {session-types},
url = {https://github.com/Munksgaard/session-types},
urldate = {2021-01-20}
}
@misc{SIGAda2021,
title = {{SIGAda}},
url = {https://www.sigada.org/},
urldate = {2021-01-20}
}
@misc{Kubernetes2021,
title = {{Kubernetes GitHub organization}},
url = {https://github.com/kubernetes},
urldate = {2020-01-20}
}
@misc{Ada2021,
title = {{The Ada Programming Language}},
url = {https://web.archive.org/web/20160522063844/http://groups.engin.umd.umich.edu/CIS/course.des/cis400/ada/ada.html},
urldate = {2021-01-20}
}
@misc{Rocket2021,
title = {{Rocket Web Framework}},
url = {https://rocket.rs/},
urldate = {2021-01-19},
year = {2021}
}
@misc{Stokke2021,
author = {Stokke, Bodil},
title = {{typed-html - Type checked JSX for Rust}},
url = {https://github.com/bodil/typed-html},
urldate = {2021-01-19}
}
@misc{Fusion2021,
title = {{inline-python - Inline Python code directly in your Rust code}},
url = {https://github.com/fusion-engineering/inline-python},
urldate = {2021-01-19}
}
@misc{Wirth2021,
author = {Wirth, Lukas},
title = {{The Little Book of Rust Macros}},
url = {https://veykril.github.io/tlborm},
year = {2021}
}
@misc{RustRef2021,
title = {{The Rust Reference}},
url = {https://doc.rust-lang.org/reference},
urldate = {2021-01-18},
year = {2021}
}
@misc{Koxiaet2020,
author = {Koxiaet},
title = {{How to Write Hygienic Rust Macros}},
url = {https://gist.github.com/Koxiaet/8c05ebd4e0e9347eb05f265dfb7252e1},
urldate = {2021-01-18},
year = {2020}
}
@misc{RustRFC2021,
title = {{The Rust RFC Book}},
url = {https://rust-lang.github.io/rfcs/},
urldate = {2021-01-18},
year = {2021}
}
@misc{RustBook2021,
title = {{The Rust Programming Language}},
url = {https://doc.rust-lang.org/book/},
urldate = {2021-01-18},
year = {2021}
}
@misc{Tolnay2021,
author = {Tolnay, David},
title = {{derive(Error) crate}},
url = {https://github.com/dtolnay/thiserror},
urldate = {2021-01-18},
year = {2021}
}
@misc{Rustc2021,
title = {{Guide to Rustc Development}},
urldate = {2021-01-18},
year = {2021}
}
@misc{Dagger2,
title = {{Dagger 2}},
url = {https://dagger.dev/}
}
@misc{Fabric2021,
author = {Foundation, The Linux},
title = {{Hyperledger Fabric}},
urldate = {2021-01-15}
}
@misc{Stm32,
abstract = {Community Rust support projects for STM32 microcontrollers},
title = {stm32-rs},
url = {https://github.com/stm32-rs/},
year = {2021}
}
@misc{JSR269,
author = {Darcy, Joe},
title = {{JSR 269: Pluggable Annotation Processing API}},
url = {https://jcp.org/en/jsr/detail?id=269}
}
@misc{Rust2021,
keywords = {rust},
mendeley-tags = {rust},
title = {{The Embedded Rust Book}},
url = {https://rust-embedded.github.io/book/},
year = {2021}
}
@misc{reason,
abstract = {Reason lets you write simple, fast and quality type safe code while leveraging both the JavaScript {\&} OCaml ecosystems.},
title = {{Reason {\textperiodcentered} Reason lets you write simple, fast and quality type safe code while leveraging both the JavaScript {\&} OCaml ecosystems.}},
url = {https://reasonml.github.io/}
}
@misc{Okane2019,
abstract = {US airlines are split on what the FAA's discovery means for the plane},
author = {O'Kane, Sean},
booktitle = {The Verge},
title = {{Southwest and United Airlines extend 737 Max cancellations after new flaw found}},
url = {https://www.theverge.com/2019/6/27/18761434/737-max-new-flaw-cancellation-extended-southwest-united-airlines-faa},
year = {2019}
}
@misc{typescript,
abstract = {TypeScript extends JavaScript by adding types to the language. TypeScript speeds up your development experience by catching errors and providing fixes before you even run your code.},
title = {{Typed JavaScript at Any Scale.}},
url = {https://www.typescriptlang.org/}
}
@misc{Campbell2019,
abstract = {A damning investigation revealing the many small failures that led to 346 lives being lost.},
author = {Campbell, Darryl},
booktitle = {The Verge},
title = {{The many human errors that brought down the Boeing 737 Max}},
url = {https://www.theverge.com/2019/5/2/18518176/boeing-737-max-crash-problems-human-error-mcas-faa},
year = {2019}
}
@misc{Duarte2020,
author = {Duarte, Jos{\'{e}}},
booktitle = {rustype/notes},
title = {{Rusty Typestates}},
url = {https://rustype.github.io/notes/notes/rust-typestate-series/rust-typestate-index.html},
year = {2020}
}
@misc{Vicompany2018,
abstract = {The researchers noticed an issue with our ETH receiving code when receiving from a contract. This allowed sending of ETH to Coinbase to be credited even if the underlying contract execution failed. The issue was fixed by changing the contract handling logic. Analysis of the issue indicated only accidental loss for Coinbase, and no exploitation attempts. The Security team thanks @vicompany for...},
author = {Vicompany},
booktitle = {HackerOne},
shorttitle = {Coinbase attack disclosed on HackerOne},
title = {{Coinbase disclosed on HackerOne: Ethereum account balance manipulation}},
url = {https://hackerone.com/reports/300748},
year = {2018}
}
@misc{Turon2015,
abstract = {Empowering everyone to build reliable and efficient software.},
author = {Turon, Aaron},
title = {{Fearless Concurrency with Rust - Rust Blog}},
url = {https://blog.rust-lang.org/2015/04/10/Fearless-Concurrency.html},
year = {2015}
}
@misc{Mageit2020,
abstract = {The software glitch is the latest in a long line of tech issues to have affected the UK contact tracing app.},
author = {Mageit, Sara},
booktitle = {Healthcare IT News},
title = {{NHS COVID-19 contact tracing app fails to ask users to self-isolate}},
url = {https://www.healthcareitnews.com/news/emea/nhs-covid-19-contact-tracing-app-fails-ask-users-self-isolate},
year = {2020}
}
@misc{chromium,
abstract = {Home of the Chromium Open Source Project},
title = {{Memory safety - The Chromium Projects}},
url = {https://www.chromium.org/Home/chromium-security/memory-safety}
}
@misc{Whitequark2014,
author = {Whitequark},
keywords = {ocaml},
title = {{A Guide to Extension Points in OCaml}},
url = {https://whitequark.org/blog/2014/04/16/a-guide-to-extension-points-in-ocaml/},
urldate = {2021-01-14},
year = {2014}
}
@misc{Okane2020,
abstract = {The plane won't fly again for a while},
author = {O'Kane, Sean},
booktitle = {The Verge},
title = {{Boeing finds another software problem on the 737 Max}},
url = {https://www.theverge.com/2020/2/6/21126364/boeing-737-max-software-glitch-flaw-problem},
year = {2020}
}
@misc{Rauglaudre2003,
author = {de Rauglaudre, Daniel},
title = {{Camlp4 - Reference Manual}},
url = {https://caml.inria.fr/pub/docs/manual-camlp4/manual007.html},
year = {2003}
}
@misc{Miller2019,
abstract = {Security Research from the Microsoft Security Response Center (MSRC) - microsoft/MSRC-Security-Research},
author = {{Miller, Matt}, (MSRC)},
booktitle = {GitHub},
title = {{Trends, challenges and strategic shifts in the software vulnerability mitigation landscape}},
url = {https://git.io/JLdDc},
year = {2019}
}
@misc{PythonTyping,
title = {{typing — Support for type hints — Python 3.9.1 documentation}},
url = {https://docs.python.org/3/library/typing.html},
urldate = {2021-01-14}
}
@misc{Heartbleed,
title = {{Heartbleed Bug}},
url = {https://heartbleed.com/},
urldate = {2021-01-14},
year = {2021}
}
@misc{Kotlin2021,
title = {{Kotlin/kotlinx.serialization}},
url = {https://github.com/Kotlin/kotlinx.serialization},
urldate = {11/2/2021}
}