weaselhat.com
Papers | weaselhat
http://www.weaselhat.com/category/papers
Space-Efficient Manifest Contracts at POPL 15. I am delighted to announce that Space-Efficient Manifest Contracts. Will appear at POPL 2015 in Mumbai. Here’s the abstract:. We show how to achieve sound space efficiency for manifest contracts with strong predicate contracts. The essential trick is breaking the contract checking down into coercions. The conference version is a slightly cut down version of my submission, focusing on the main result: eidetic λ. 8216;s POPL 2012 paper The Ins and Outs of Grad...
weaselhat.com
Contracts: first-order interlopers in a higher-order world | weaselhat
http://www.weaselhat.com/2014/10/17/contracts-first-order-interlopers-in-a-higher-order-world
Contracts: first-order interlopers in a higher-order world. 8216;s POPL 2012 paper The Ins and Outs of Gradual Type Inference. I ran across a quote that could well appear directly in my POPL 2015 paper, Space-Efficient Manifest Contracts. The key insight is that … we must recursively deconstruct. Higher-order types down to their first-order parts, solve for those …, and then reconstruct the higher-order parts … . [Emphasis theirs]. And Threesomes, with and without blame. Leave a Reply Cancel reply.
weaselhat.com
Cultural criticism and ‘tech’ | weaselhat
http://www.weaselhat.com/2014/12/12/cultural-criticism-and-tech
Cultural criticism and ‘tech’. A venue for cultural criticism of tech, sensu lato. They cover a wide range:. How alcohol can make events less inclusive (and what to do about it). How ‘get-into-tech’ schools reiterate systemic inequality. What diversity is, and the difference between liberation and inclusion. How ‘hip’ tech offices enforce the same cultural and political strictures as corporate America. Leave a Reply Cancel reply. Your email address will not be published. Required fields are marked *.
weaselhat.com
Concurrent NetCore: From Policies to Pipelines | weaselhat
http://www.weaselhat.com/2014/03/03/concurrent-netcore-from-policies-to-pipelines
Concurrent NetCore: From Policies to Pipelines. And I submitted a paper to ICFP 2014. It’s called Concurrent NetCore: From Policies to Pipelines. Here’s the abstract:. Recently, the SDN landscape has begun to change as several proposals for new, reconfigurable switching architectures, such as RMT. Support a richer SDN model in which a switch configuration phase precedes the rule population phase. In the configuration phase, the controller sends the switch a graph describing the layout and capabilitie...
weaselhat.com
Presentations | weaselhat
http://www.weaselhat.com/category/presentations
I’m really happy to be part of the first PLVNET. A workshop on the intersection of PL, verification, and networking. I have two abstracts up for discussion. The first abstract, Temporal NetKAT. Is about adding reasoning about packet histories to a network policy language like NetKAT. The work on this is moving along quite nicely (thanks in large part to Ryan Beckett! And I’m looking forward to the conversations it will spark. The second abstract, Type systems for SDN controllers. See our POPL submission.
weaselhat.com
PHPEnkoder 1.13 | weaselhat
http://www.weaselhat.com/2015/02/09/phpenkoder-1-13
I’ve resolved some. Level messages that were showing up when people set. For pointing out this problem on the WordPress forums. As always, please let me know on the forums or email hidden; JavaScript is required. If you run into any problems. Cultural criticism and ‘tech’. Twitter bots and OAuth. Leave a Reply Cancel reply. Your email address will not be published. Required fields are marked *. Me @ google scholar. Me @ last.fm. Me @ pomona cs.
rickyclarkson.blogspot.com
Ricky's technical blog: October 2009
http://rickyclarkson.blogspot.com/2009_10_01_archive.html
General musings on programming languages, and Java. Tuesday, October 27, 2009. 100 Bugs (ok, tickets) in 100 Days. I've now closed 100 tickets in the last 100 calendar days at work. Which might not mean a lot, but it's been a personal target of mine to get to this point, so I'll celebrate it by, um, blogging! Posted by Ricky Clarkson. Links to this post. Subscribe to: Posts (Atom). A salsa dancing, DJing programmer from Manchester, England. View my complete profile. David R. MacIver. A DSL with a View.
rickyclarkson.blogspot.com
Ricky's technical blog: January 2010
http://rickyclarkson.blogspot.com/2010_01_01_archive.html
General musings on programming languages, and Java. Monday, January 18, 2010. JNI applets = pain! I mostly work on GUI software for controlling and viewing video from security cameras. The software is written in Java, and mostly written by people who are no longer with the company. The usual app I work on is a Swing application, but there is also an applet, which displays just a viewer; the controls for it are HTML buttons around the applet. Via JNI bindings generated by SWIG. This wasn't too bad, and we...
rickyclarkson.blogspot.com
Ricky's technical blog: September 2009
http://rickyclarkson.blogspot.com/2009_09_01_archive.html
General musings on programming languages, and Java. Saturday, September 26, 2009. Which language shall we learn? We decided, while drinking an overly-priced red wine the other night, that I'd help you to learn how to program, but without making it sound complicated. So, I thought I'd show you a few different language syntaxes and let you choose. Posted by Ricky Clarkson. Links to this post. It seems fairly trivial that, in, say, Java, Math.cos(double) is not object-oriented. It doesn't take any o...Metho...
rickyclarkson.blogspot.com
Ricky's technical blog: December 2009
http://rickyclarkson.blogspot.com/2009_12_01_archive.html
General musings on programming languages, and Java. Tuesday, December 08, 2009. Deleting code, what first? I have about 200kloc of Java code to work with, and I often stumble across bits that are more complex than they need to be, costing me time when I'm trying to solve something else. Within reason, having a smaller body of code is an improvement. Here are my guidelines, mainly for myself, to shrinking it. Watch out for main methods when you delete code - there are a few ad-hoc utilities in our codebase.
SOCIAL ENGAGEMENT