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.
weaselhat.com
Submissions | weaselhat
http://www.weaselhat.com/category/papers/submissions
New and improved: Space-Efficient Manifest Contracts. I have a new and much. Improved draft of my work on Space-Efficient Manifest Contracts. Here’s the abstract:. The standard algorithm for higher-order contract checking can lead to unbounded space consumption and can destroy tail recursion, altering a program’s asymptotic space complexity. While space efficiency for gradual types—contracts mediating untyped and typed code—is well studied, sound space efficiency for manifest contra...In a Software-Defin...
weaselhat.com
Space-Efficient Manifest Contracts at POPL 15 | weaselhat
http://www.weaselhat.com/2014/10/28/space-efficient-manifest-contracts-popl15
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 λ. Leave a Reply Cancel reply. Me @ google scholar.
weaselhat.com
Software | weaselhat
http://www.weaselhat.com/category/software
Installing ctypes and ctypes-foreign on OS X with brew and OPAM. I recently had some trouble getting ctypes. Working, so I thought I’d share my solution. I found the Real World OCaml chapter on FFIs. And I tried following their advice first. They suggest:. Brew install libffi opam install ctypes. Here’s the right incantation:. Now, this is merely a good start. Once I had this much working, I still. Couldn’t get OCaml to call C functions! It came down to a bear of a linking issue… no combination of. IR...
weaselhat.com
Scheduling the discussion order at PC meetings | weaselhat
http://www.weaselhat.com/2014/10/03/scheduling-the-discussion-order-at-pc-meetings
Scheduling the discussion order at PC meetings. I recently wrote a bit of code for scheduling the discussion order of PC meetings so as to minimize traffic in and out of the room due to conflicts of interest. Given some information that HotCRP happily generates, the code generates a schedule, which can be further turned into a handout and slides showing the current paper’s conflicts and the two upcoming papers. New and improved: Space-Efficient Manifest Contracts. Leave a Reply Cancel reply.
weaselhat.com
weaselhat | Page 9
http://www.weaselhat.com/page/9
JavaScript “Protection”. The NeoSmart files has a brief commentary. On the feasability of encoding schemes like PHPEnkoder. On one side, his argument is pretty strong. Any spammer could use Greasemonkey to drive harvesting — complete DOM, complete JavaScript. But there are two points I disagree with him about. First, he mentions that. JavaScript was never meant to be used as a heavy cavalry, a knight in shining armor, or else a bit of code that can may be used to do anything – because its not. Well, we c...
