Commit 67168f19 authored by Jules Saget's avatar Jules Saget
Browse files

Update references

parent 26f73a82
@BOOK{Pey87,
author = "Peyton Jones, Simon",
title = "The Implementation of Functional Programming Languages",
series = "Prentice-Hall International Series in Computer Science",
chapter = "16",
isbn = "0-13-453333-X",
year = 1987,
month = 1,
publisher = "Prentice Hall",
url = {https://www.microsoft.com/en-us/research/uploads/prod/1987/01/slpj-book-1987-r90.pdf},
keywords = "KSI",
author = {Peyton Jones, Simon},
title = {The Implementation of Functional Programming Languages},
series = {Prentice-Hall International Series in Computer Science},
chapter = {16},
isbn = {0-13-453333-X},
year = 1987,
month = 1,
publisher = {Prentice Hall},
url =
{https://www.microsoft.com/en-us/research/uploads/prod/1987/01/slpj-book-1987-r90.pdf},
keywords = {KSI},
}
@BOOK{Man93,
author = {Mano, M. Morris},
title = {Computer System Architecture (3rd Ed.)},
year = {1993},
isbn = {0-13-175563-3},
publisher = "Prentice-Hall",
author = {Mano, M. Morris},
title = {Computer System Architecture (3rd Ed.)},
year = {1993},
isbn = {0-13-175563-3},
publisher = {Prentice-Hall},
}
@MANUAL{Seg20,
author = "Seger, Carl-Johan H.",
title = "fl --- A Functional Language for Formal Verification: User's Guide",
year = 2020,
month = 2,
url = {https://github.com/TeamVoss/VossII/blob/master/doc/fl_guide.pdf},
@MANUAL{VossManual,
author = {Seger, Carl-Johan H.},
title = {fl --- A Functional Language for Formal Verification: User's
Guide},
year = 2020,
month = 2,
url =
{https://github.com/TeamVoss/VossII/blob/master/doc/fl_guide.pdf}
}
@UNPUBLISHED{stately,
author = {Jeremy Pope and Jules Saget and Carl-Johan H. Seger},
title = {Stately: An {FSM} design tool},
institution = {Department of {CSE}, Chalmers University of Technology},
month = 8,
year = 2020,
note = {Submitted}
}
@UNPUBLISHED{CEPHALOPODE,
author = {Jeremy Pope and Jules Saget and Carl-Johan H. Seger},
title = {{CEPHALOPODE}: A custom processor aimed at functional
languages execution for {IoT} devices.},
institution = {Department of {CSE}, Chalmers University of Technology},
month = 8,
year = 2020,
note = {Submitted}
}
@UNPUBLISHED{VossII,
author = {Carl-Johan H. Seger},
title = {The VossII hardware verification suite},
institution = {Department of {CSE}, Chalmers University of Technology},
month = 8,
year = 2020,
note = {Submitted}
}
@ARTICLE{KL89,
author = "Koopman, Philip and Lee, Peter",
title = "A fresh look at combinator graph reduction",
year = 1989,
month = 7,
pages = {110-119},
volume = 24,
isbn = {0-89791-306-X},
journal = "ACM SIGPLAN Notices",
doi = {10.1145/74818.74828}
author = {Koopman, Philip and Lee, Peter},
title = {A fresh look at combinator graph reduction},
year = 1989,
month = 7,
pages = {110-119},
volume = 24,
isbn = {0-89791-306-X},
journal = {ACM SIGPLAN Notices},
doi = {10.1145/74818.74828}
}
@ARTICLE{VTech,
author = {Daniel Victor},
date = {2015-11-30},
title = {Security Breach at Toy Maker VTech},
journal = {The New York Times},
url =
{https://www.nytimes.com/2015/12/01/business/security-breach-at-toy-maker-vtech-includes-data-on-children.html},
urldate = {2020-08-09}
}
@ARTICLE{fridge,
author = {John Leyden},
date = {2015-08-24},
title = {Samsung smart fridge leaves Gmail logins open to attack},
journal = {The Register},
url =
{https://www.theregister.com/2015/08/24/smart_fridge_security_fubar/},
urldate = {2020-08-09}
}
@ARTICLE{cars,
author = {Andy Greenberg},
date = {2016-01-09},
title = {The Jeep Hackers Are Back to Prove Car Hacking Can Get Much
Worse},
journal = {Wired},
url =
{https://www.wired.com/2016/08/jeep-hackers-return-high-speed-steering-acceleration-hacks/},
urldate = {2020-08-09}
}
@PHDTHESIS{sem&prag,
author = {Christopher Peter Wadsworth},
title = {Semantics and Pragmatics of the Lambda-Calculus},
school = {University of Oxford},
year = {1971}
}
Supports Markdown
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment