Inside Racket Seminar #2: Matthew Flatt on the Bytecode Compiler
189 views
Skip to first unread message
Jay McCarthy
Feb 22, 2016, 11:40:50 AM2/22/16
to dev
On March 15th at 10am MDT, please join us for the second Inside Racket
Seminar where Matthew Flatt will give us a walk-through of the
bytecode compiler.
As before, it will be on Google Hangouts on Air with Matthew walking
through the code and giving an explanation of how it all hooks
together. This is not a tutorial on Racket or on the compiler as a
library, but a kind of oral history and explanation of the software
and how it works. Our hope is that this will increase the ability of
others to build and maintain similar software as we share this kind of
expertise in a way that doesn't fit our existing distribution
mechanisms (research papers, RacketCon talks, documentation, etc.)
I hope that you are able to attend and send your own questions as we go through.
Here are some things you may want to look at to prepare:
0. The compiler is written in C, so be ready for that. :)
1. The decompiler tool has an explanation of the high-level structure
of the bytecode: http://docs.racket-lang.org/raco/decompile.html
2. Casey's paper with Matthew and Robby, "The Racket Virtual Machine
and Randomize Testing", has another explanation of the bytecode and a
reduction semantics for it:
http://plt.eecs.northwestern.edu/racket-machine/
3. R. Kent Dybvig's 1987 PhD thesis, "Three Implementation Models for
Scheme", is readable and was personally very useful for me in
understanding how an implementation like Racket's works (in
particular, the second model):
http://www.cs.indiana.edu/~dyb/pubs/3imp.pdf
Please feel free to send questions beforehand, on this thread or to me
personally. We will archive the video for later viewing, etc.
Jay
--
Jay McCarthy
Associate Professor
PLT @ CS @ UMass Lowell
http://jeapostrophe.github.io
"Wherefore, be not weary in well-doing,
for ye are laying the foundation of a great work.
And out of small things proceedeth that which is great."
- D&C 64:33
Seminar where Matthew Flatt will give us a walk-through of the
bytecode compiler.
As before, it will be on Google Hangouts on Air with Matthew walking
through the code and giving an explanation of how it all hooks
together. This is not a tutorial on Racket or on the compiler as a
library, but a kind of oral history and explanation of the software
and how it works. Our hope is that this will increase the ability of
others to build and maintain similar software as we share this kind of
expertise in a way that doesn't fit our existing distribution
mechanisms (research papers, RacketCon talks, documentation, etc.)
I hope that you are able to attend and send your own questions as we go through.
Here are some things you may want to look at to prepare:
0. The compiler is written in C, so be ready for that. :)
1. The decompiler tool has an explanation of the high-level structure
of the bytecode: http://docs.racket-lang.org/raco/decompile.html
2. Casey's paper with Matthew and Robby, "The Racket Virtual Machine
and Randomize Testing", has another explanation of the bytecode and a
reduction semantics for it:
http://plt.eecs.northwestern.edu/racket-machine/
3. R. Kent Dybvig's 1987 PhD thesis, "Three Implementation Models for
Scheme", is readable and was personally very useful for me in
understanding how an implementation like Racket's works (in
particular, the second model):
http://www.cs.indiana.edu/~dyb/pubs/3imp.pdf
Please feel free to send questions beforehand, on this thread or to me
personally. We will archive the video for later viewing, etc.
Jay
--
Jay McCarthy
Associate Professor
PLT @ CS @ UMass Lowell
http://jeapostrophe.github.io
"Wherefore, be not weary in well-doing,
for ye are laying the foundation of a great work.
And out of small things proceedeth that which is great."
- D&C 64:33
Jay McCarthy
Mar 9, 2016, 10:15:22 AM3/9/16
to dev
A short reminder that this will be next week. Please put it on your calendars!
I've created the Hangouts on Air event for you to mark that you'll be attending!
Jay McCarthy
Mar 14, 2016, 10:35:50 AM3/14/16
to dev
This is tomorrow! See you then!
Jay
Jay
Jay McCarthy
Mar 15, 2016, 9:56:32 AM3/15/16
to dev
We'll be starting in two hours!
Jay
Jay
Jay McCarthy
Mar 15, 2016, 11:52:02 AM3/15/16
to dev
We will be starting shortly. Please ask questions via the app.
Jay
Jay
Jay McCarthy
Mar 15, 2016, 11:59:14 AM3/15/16
to dev
It is live now.
Jay McCarthy
Mar 15, 2016, 2:17:35 PM3/15/16
to dev
Thanks to Matthew, Gustavo, and all who asked questions.
I've updated the wiki with information about the seminar for archival purposes.
https://github.com/racket/racket/wiki/Inside-Racket-Seminar-2.-Matthew-Flatt-on-Bytecode-Compiler
Now would be a great time to email me about your requests for the next edition!
Jay
I've updated the wiki with information about the seminar for archival purposes.
https://github.com/racket/racket/wiki/Inside-Racket-Seminar-2.-Matthew-Flatt-on-Bytecode-Compiler
Now would be a great time to email me about your requests for the next edition!
Jay
Reply all
Reply to author
Forward
0 new messages