4 ms·
We've worked on Racket + Alloy for ~8 years now, including using the Racket REPL for similar purposes. And built several tools with it (e.g., for networking ana
by skrishnamurthi 9y ago
We've worked on Racket + Alloy for ~8 years now, including using the Racket REPL for similar purposes. And built several tools with it (e.g., for networking analysis). Email me (sk@cs.brown.edu) if you want to chat more.
- nickpsecurity 9y agoI knew I recognized you: typing your name brought your page up immediately. I had previously posted your ADsafe work in a lot of places interested in how to do JS better. Just posted Pyret on Lobste.rs with them enjoying that. Didn't know you worked on that, Racket, and theorem provers. Neat stuff in your publications. :) Yeah, I'll probably email you this week or the next.
- skrishnamurthi 9y agoThanks kindly. Will look forward to chatting.