Assignment Topic Links

I’ve collated the tremendous set of links sent in covering the assigned coursework topics. Thank you all, especially those who sent in multiple suggestions for each one. Many of these were new to me and these cover a great range of different types of material.

In most cases I have managed to find links to web pages rather than raw PDF or other files. This should help in constructing robust bibliographic entries for ones you wish to include in your report.

Where papers may be behind publisher paywalls I have used links through the university library proxy service. You may need to login with an EASE account for those.

I have checked each link today, but inevitably some will decay over time. This is not a long-term bibliography, just a collection of pointers that may be helpful right now.

Parallel Performance Portability with Lift

http://www.lift-project.org/
http://www.lift-project.org/ispass2018
https://lift-project.readthedocs.io/en/latest/
https://lift-project.readthedocs.io/en/latest/getting-started/
https://doi-org.ezproxy.is.ed.ac.uk/10.1145/2784731.2784754
https://www.youtube.com/watch?v=xNYMIsGTXC4
https://github.com/lift-project/lift
https://doi-org.ezproxy.is.ed.ac.uk/10.1109/CGO.2017.7863730
http://www.lift-project.org/presentations/2017/CGO-2017.pdf
http://www.lift-project.org/presentations/2018/CGO-2018.pdf

Dynamic Information Flow Policies in Jeeves

https://projects.csail.mit.edu/jeeves/
https://www.wired.com/2014/03/jeeves/
https://github.com/jeanqasaur/jeeves/wiki/A-Quick-Introduction-to-Jeeves
https://github.com/jeanqasaur/jeeves/wiki/Frequently-Asked-Questions
http://projects.csail.mit.edu/jeeves/doc/jeeveslib.html
https://doi-org.ezproxy.is.ed.ac.uk/10.1145/2465106.2465121
https://doi-org.ezproxy.is.ed.ac.uk/10.1145/2103621.2103669
https://dl-acm-org.ezproxy.is.ed.ac.uk/ft_gateway.cfm?id=2103669&ftid=1163786
https://projects.csail.mit.edu/jeeves/talks/popl2012_jeeves.pdf
https://youtu.be/baMtq7MJSaw
https://youtu.be/ShtmETL31Bg

Programming Quantum Computation with Quipper

https://www.mathstat.dal.ca/~selinger/quipper/
https://www.mathstat.dal.ca/~selinger/quipper/doc/
http://www.americanscientist.org/article/programming-your-quantum-computer
https://www.newscientist.com/article/dn23820-new-language-helps-quantum-coders-build-killer-apps
https://vimeo.com/132400495
https://open.library.ubc.ca/cIRcle/collections/48630/items/1.0319217
https://www.youtube.com/watch?v=59frzb__Eqo
https://arxiv.org/abs/1304.3390
https://arxiv.org/abs/1304.5485
https://doi-org.ezproxy.is.ed.ac.uk/10.1145/2699415

Query Expressions for Language-Integrated Database Access in F#

https://fsharpforfunandprofit.com/site-contents/
https://fsharpforfunandprofit.com/learning-fsharp/
https://www.itprotoday.com/microsoft-visual-studio/introduction-f-programming-language
https://doi-org.ezproxy.is.ed.ac.uk/10.1145/1159876.1159884
https://docs.microsoft.com/en-us/dotnet/fsharp/language-reference/query-expressions
https://docs.microsoft.com/en-us/dotnet/fsharp/language-reference/computation-expressions
http://fsprojects.github.io/FSharp.Linq.ComposableQuery/QueryExamples.html
http://tomasp.net/blog/dynamic-flinq.aspx/
https://doi-org.ezproxy.is.ed.ac.uk/10.1145/2500365.2500586
https://doi-org.ezproxy.is.ed.ac.uk/10.1145/2543728.2543738
https://queue.acm.org/detail.cfm?id=2024658

Probabilistic Programming for Statistical Inference in Stan

https://ourcodingclub.github.io/2018/04/17/stan-intro.html
http://mc-stan.org/
http://mc-stan.org/users/documentation/tutorials
https://pystan.readthedocs.io/en/latest/getting_started.html
https://doi-org.ezproxy.is.ed.ac.uk/10.18637/jss.v076.i01
https://doi-org.ezproxy.is.ed.ac.uk/10.3102/1076998615606113
https://homepages.inf.ed.ac.uk/s1207807/files/slicstan.pdf
https://homepages.inf.ed.ac.uk/s1207807/publications.html
https://www.youtube.com/watch?v=tLprFqSWS1w
https://www.youtube.com/watch?v=xWQpEAyI5s8

Leave a Reply

%d bloggers like this: