Thesis Posted: Static Analysis for Ruby in the Presence of Gradual Typing

Posted by -

I've submitted my thesis on static analysis in Ruby today. In essence, it was an academic assessment of all my work on Laser. The department awarded it "high honors," which is just super.

In the coming weeks, I'll be:

  1. Officially announcing Laser's license
  2. Breaking down portions of the thesis for rational consumption
  3. Applying to speak at some conferences (hoping there's room for non-Rails talks!)
  4. Building up Laser's capabilities (missing features include $& and crew, certain defined? cases, etc.)

Until then, here's a link to the Technical Report page. The whole paper clocked in at 68 pages; if you know Ruby, you can skip over Chapter 2, at least.


Enjoy this article? Then feel free to:


Comments