BEGIN:VCALENDAR
PRODID;X-RICAL-TZSOURCE=TZINFO:-//Calagator//EN
CALSCALE:GREGORIAN
X-WR-CALNAME:Calagator
METHOD:PUBLISH
VERSION:2.0
BEGIN:VTIMEZONE
TZID;X-RICAL-TZSOURCE=TZINFO:America/Los_Angeles
BEGIN:DAYLIGHT
DTSTART:20090308T020000
RDATE:20090308T020000
TZOFFSETFROM:-0800
TZOFFSETTO:-0700
TZNAME:PDT
END:DAYLIGHT
END:VTIMEZONE
BEGIN:VEVENT
CREATED;VALUE=DATE-TIME:20090930T044415Z
DTEND;TZID=America/Los_Angeles;VALUE=DATE-TIME:20091006T113000
DTSTART;TZID=America/Los_Angeles;VALUE=DATE-TIME:20091006T103000
DTSTAMP;VALUE=DATE-TIME:20090930T044415Z
LAST-MODIFIED;VALUE=DATE-TIME:20091006T013224Z
UID:http://calagator.org/events/1250457759
DESCRIPTION:The next talk in the Galois Tech Seminar series:&#13\;\n&#13\
 ;\n* Date: Tuesday\, October 6th\, 2009&#13\;\n* Title: Roll Your Own Te
 st Bed for Embedded Real-Time Protocols: A Haskell Experience&#13\;\n* S
 peaker: Lee Pike&#13\;\n* Time: 10:30am - 11:30am&#13\;\n* Location: Gal
 ois\, Inc. 421 SW 6th Ave. Suite 300\; Portland\, OR 97204&#13\;\n&#13\;
 \nFor details (including an abstract and speaker bio)\, please see our&#
 13\;\nblog post: http://www.galois.com/blog/2009/09/29/pike-haskell0/&#1
 3\;\n&#13\;\nAbstract: We present by example a new application domain fo
 r functional languages: emulators for embedded real-time protocols. As a
  case-study\, we implement a simple emulator for the Biphase Mark Protoc
 ol\, a physical-layer network protocol in Haskell. The surprising result
  is that a pure functional language with no built-in notion of time is e
 xtremely well-suited for constructing such emulators. Furthermore\, we u
 se Haskell’s property-checker QuickCheck to automatically generate real-
 time parameters for simulation. We also describe a novel use of QuickChe
 ck as a probability calculator for reliability analysis.&#13\;\n&#13\;\n
 Bio: Lee Pike is a member of the technical staff at Galois. Previously\,
  he was a research scientist with the NASA Langley Formal Methods Group\
 , primarily involved in the SPIDER project. His research interests inclu
 de applying formal methods to safety-critical and security-critical appl
 ications\, with a focus on industrial-scale endeavors.&#13\;\n&#13\;\nAn
  RSVP is not required\; but feel free to drop a line to&#13\;\nlevent.er
 kok@galois.com if you've any questions or comments.&#13\;\n&#13\;\nLeven
 t Erkok\n\nTags: galois\, haskell\, tech seminar\, quickcheck\, real-tim
 e\, simulation\n\nImported from: http://calagator.org/events/1250457759
URL:http://www.galois.com/blog/2009/09/29/pike-haskell0/
SUMMARY:Galois Tech Talk: Roll Your Own Test Bed for Embedded Real-Time P
 rotocols: A Haskell Experience
LOCATION:Galois\, Inc: 421 SW 6th Ave. Suite 300\, Portland OR 97204 US
SEQUENCE:3
END:VEVENT
END:VCALENDAR