users.soe.ucsc.edu
Cormac Flanagan Homepage
https://users.soe.ucsc.edu/~cormac
Software and Languages Research Group. Baskin School of Engineering. Cormac at ucsc.edu. 1156 High Street MS: SOE3, Santa Cruz CA 95064. Engineering 2 Building, room 367 ( directions. Now at Shape Security. Now a faculty member at San Jose State University). Now at Galois Connections). Spring 2016: CMPS290Q Topics in Programming Languages. A Dynamic Analysis Infrastructure. A Concurrent Programming Methodology. Extended Static Checking ( POPL'01. Static Race Detection ( ESOP'99. RedCard: Redundant Check ...
coffeedrivendevelopment.blogspot.com
Coffee Driven Development: October 2008
http://coffeedrivendevelopment.blogspot.com/2008_10_01_archive.html
Thursday, October 30, 2008. Turtle Graphics : The big refactoring. Last time on "Turtle Graphics". We ended up having the type Turtle - [Turtle] on functions. The combine function had the type [Turtle] - (Turtle - [Turtle]) - Turtle. Let's have some "fun"! First, we add a helpful parameter to the turtle - penIsDown, i.e., the turtle is writing. Data Turtle = Turtle. X : Double,. Y : Double,. Alpha : Double, - alpha = 0 means East. We then add two useful functions for pen modification:. Second, we assume.
weaselhat.com
weaselhat | Page 2
http://www.weaselhat.com/page/2
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. I have a new and much. The standard algo...
SOCIAL ENGAGEMENT