BEGIN:VCALENDAR
VERSION:2.0
PRODID:icalendar-ruby
CALSCALE:GREGORIAN
METHOD:PUBLISH
BEGIN:VTIMEZONE
TZID:Europe/Vienna
BEGIN:DAYLIGHT
DTSTART:20170326T030000
TZOFFSETFROM:+0100
TZOFFSETTO:+0200
RRULE:FREQ=YEARLY;BYDAY=-1SU;BYMONTH=3
TZNAME:CEST
END:DAYLIGHT
BEGIN:STANDARD
DTSTART:20171029T020000
TZOFFSETFROM:+0200
TZOFFSETTO:+0100
RRULE:FREQ=YEARLY;BYDAY=-1SU;BYMONTH=10
TZNAME:CET
END:STANDARD
END:VTIMEZONE
BEGIN:VEVENT
DTSTAMP:20260427T153724Z
UID:58d4005cef983235942679@ist.ac.at
DTSTART:20170606T170000
DTEND:20170606T180000
DESCRIPTION:Speaker: Zvonimir Rakamaric\nhosted by Tom Henzinger\nAbstract:
  Virtually all real-valued computations are carried out using floating-poi
 nt data types and operations. With the current emphasis of system developm
 ent often being on computational efficiency\, developers as well as compil
 ers are increasingly attempting to optimize floating-point routines. Reaso
 ning about the correctness of these optimizations is complicated\, and req
 uires error analysis procedures with different characteristics and trade-o
 ffs. In my talk\, I will motivate the need for such analyses. Then\, I wil
 l present both a dynamic and a rigorous static analysis we developed for e
 stimating errors of floating-point routines. Finally\, I will describe how
  we extended our rigorous static analysis into a procedure for mixed-preci
 sion tuning of floating-point routines.\n\nShort bio:\nZvonimir Rakamaric 
 is an assistant professor in the School of Computing at the University of 
 Utah. Prior to this\, he was a postdoctoral fellow at Carnegie Mellon Univ
 ersity in Silicon Valley\, where he worked closely with researchers from t
 he Robust Software Engineering Group at NASA Ames Research Center to impro
 ve the coverage of testing of NASA's flight critical systems. Zvonimir rec
 eived his bachelor's degree in Computer Science from the University of Zag
 reb\, Croatia\; he obtained his M.Sc. and Ph.D. from the Department of Com
 puter Science at the University of British Columbia\, Canada.\nZvonimir's 
 research mission is to improve the reliability and resilience of complex s
 oftware systems by empowering developers with practical tools and techniqu
 es for analysis of their artifacts. He is a recipient of the NSF CAREER Aw
 ard 2016\, Microsoft Research Software Engineering Innovation Foundation (
 SEIF) Award 2012\, Microsoft Research Graduate Fellowship 2008-2010\, Silv
 er Medal in the ACM Student Research Competition at the 32nd International
  Conference on Software Engineering (ICSE) 2010\, and the Outstanding Stud
 ent Paper Award at the 13th International Conference on Tools and Algorith
 ms for the Construction and Analysis of Systems (TACAS) 2007.\nFor more in
 formation about Zvonimir\, visit www.zvonimir.info.
LOCATION:Mondi Seminar Room 2\, Central Building\, ISTA
ORGANIZER:pnovotny@ist.ac.at
SUMMARY:Zvonimir Rakamaric: Analysis and Synthesis of Floating-Point Routin
 es
URL:https://talks-calendar.ista.ac.at/events/624
END:VEVENT
END:VCALENDAR