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:20100314T020000 RDATE:20100314T020000 TZOFFSETFROM:-0800 TZOFFSETTO:-0700 TZNAME:PDT END:DAYLIGHT END:VTIMEZONE BEGIN:VEVENT CREATED;VALUE=DATE-TIME:20100512T154907Z DTEND;TZID=America/Los_Angeles;VALUE=DATE-TIME:20100518T113000 DTSTART;TZID=America/Los_Angeles;VALUE=DATE-TIME:20100518T103000 DTSTAMP;VALUE=DATE-TIME:20100512T154907Z LAST-MODIFIED;VALUE=DATE-TIME:20100512T154907Z UID:http://calagator.org/events/1250458682 DESCRIPTION:presenter: Mark Jones \;\n \;\nabstract: \;\nDevelop ers of systems software must often deal with low-level and performance-c ritical details that are hard to address in high-level programming langu ages. As a result\, much of the systems software that is produced today is written in languages like C and assembly code\, without the benefit o f more expressive type systems or other features from modern functional programming languages that could help to increase programmer productivit y or software quality. In this talk\, we present an update on the status of Habit\, a dialect of Haskell that we are designing\, as part of the HASP project at PSU\, to meet the needs of high assurance systems progra mming. Among other features\, Habit provides: mechanisms for fine contro l over representation of bit-level and memory-based data structures\; st rong support for both functional and imperative programming\; and a flex ible type system that allows precise characterization of size and bound information via type level naturals\, as well as termination properties resulting from the use of unpointed types.\n\nTags: functional programmi ng\, galois\, haskell\, systems programming\n\nImported from: http://cal agator.org/events/1250458682 URL:http://www.galois.com/blog/2010/05/12/tech-talk-developing-good-habit s-for-bare-metal-programming/ SUMMARY:Galois Tech Talk: Developing Good Habits for Bare-Metal Programmi ng LOCATION:Galois\, Inc: 421 SW 6th Ave. Suite 300\, Portland OR 97204 US SEQUENCE:1 END:VEVENT END:VCALENDAR