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:STANDARD DTSTART:20171105T020000 RDATE:20171105T020000 TZOFFSETFROM:-0700 TZOFFSETTO:-0800 TZNAME:PST END:STANDARD END:VTIMEZONE BEGIN:VEVENT CREATED;VALUE=DATE-TIME:20171204T211907Z DTEND;TZID=America/Los_Angeles;VALUE=DATE-TIME:20171208T120000 DTSTART;TZID=America/Los_Angeles;VALUE=DATE-TIME:20171208T110000 DTSTAMP;VALUE=DATE-TIME:20171204T211907Z LAST-MODIFIED;VALUE=DATE-TIME:20171204T211907Z UID:http://calagator.org/events/1250472934 DESCRIPTION:Abstract: \;\n \;\nHabit is a high-level programming la nguage\, originally based on Haskell\, that was designed to meet the nee ds of high assurance\, very low-level software development. The most re cent version of the language report was completed in 2010\, and an initi al working prototype implementation was developed by the HASP group at P SU. However\, there has not been a lot of externally visible news about the language or its implementation since then. In this talk\, I will p rovide an introduction to the goals of Habit (no previous experience is assumed)\, and an update on the status of its current implementation as we continue to edge towards a broader public release. In particular\, t his talk will discuss the challenges of meeting the performance requirem ents for typical systems software\; the benefits of programming in a sou rce language with high-level functional abstractions and expressive type s\; and the role that whole-program optimization can play in bridging be tween these two worlds. \;\n \;\nBio: \;\n \;\nMark Jones is a professor in the Department of Computer Science at Portland State Uni versity in Portland\, Oregon. His primary research focus is on the use of advanced programming language technologies that support the construct ion and certification of secure and reliable software systems. \;\n\n \nTags: computer science\, programming languages\n\nImported from: http: //calagator.org/events/1250472934 URL:https://galois.com/blog/2017/12/update-habit-programming-language/ SUMMARY:Galois Tech Talk: An Update on the Habit Programming Language LOCATION:Galois\, Inc: 421 SW 6th Ave. Suite 300\, Portland OR 97204 US SEQUENCE:1 END:VEVENT END:VCALENDAR