BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Penn Engineering Events - ECPv6.15.18//NONSGML v1.0//EN
CALSCALE:GREGORIAN
METHOD:PUBLISH
X-WR-CALNAME:Penn Engineering Events
X-ORIGINAL-URL:https://seasevents.nmsdev7.com
X-WR-CALDESC:Events for Penn Engineering Events
REFRESH-INTERVAL;VALUE=DURATION:PT1H
X-Robots-Tag:noindex
X-PUBLISHED-TTL:PT1H
BEGIN:VTIMEZONE
TZID:America/New_York
BEGIN:DAYLIGHT
TZOFFSETFROM:-0500
TZOFFSETTO:-0400
TZNAME:EDT
DTSTART:20190310T070000
END:DAYLIGHT
BEGIN:STANDARD
TZOFFSETFROM:-0400
TZOFFSETTO:-0500
TZNAME:EST
DTSTART:20191103T060000
END:STANDARD
BEGIN:DAYLIGHT
TZOFFSETFROM:-0500
TZOFFSETTO:-0400
TZNAME:EDT
DTSTART:20200308T070000
END:DAYLIGHT
BEGIN:STANDARD
TZOFFSETFROM:-0400
TZOFFSETTO:-0500
TZNAME:EST
DTSTART:20201101T060000
END:STANDARD
BEGIN:DAYLIGHT
TZOFFSETFROM:-0500
TZOFFSETTO:-0400
TZNAME:EDT
DTSTART:20210314T070000
END:DAYLIGHT
BEGIN:STANDARD
TZOFFSETFROM:-0400
TZOFFSETTO:-0500
TZNAME:EST
DTSTART:20211107T060000
END:STANDARD
END:VTIMEZONE
BEGIN:VEVENT
DTSTART;TZID=America/New_York:20200922T030000
DTEND;TZID=America/New_York:20200922T040000
DTSTAMP:20260407T131609
CREATED:20200914T200450Z
LAST-MODIFIED:20200914T200450Z
UID:3403-1600743600-1600747200@seasevents.nmsdev7.com
SUMMARY:CIS Seminar: "Engineering Approximate Computations"
DESCRIPTION:  \nThere’s a new ecosystem of applications that integrates machine learning into a variety of tasks. Typical domains have included image recognition and natural language processing. However\, these techniques have also spread to computer systems domains\, such as program compilation\, resource scheduling\, and database query optimization\, yielding new computer systems that learn from data to achieve their goals. \n  \nWith the success of these systems\, we must grapple with the reality that they model and compute with objects that are inherently approximate — real numbers (only computable up to a given precision)\, neural networks (only validated on a given dataset)\, and probabilistic computations (results only computable up to a given probability). This reality presents many engineering questions about interpreting\, debugging\, validating\, verifying\, and optimizing these systems. \n  \nAs an illustrative example of such a system\, I’ll present Ithemal\, our deep learning system for performance modeling of modern computer processors. Using data and simple models\, our system predicts the performance of assembly code on modern Intel CPUs better than state-of-the-art\, handcrafted techniques from LLVM and Intel. \n  \nGuided by Ithemal’s engineering challenges\, I’ll present our work on reasoning about the semantics and performance of such a system. \nIn particular\, I’ll present our results on the semantics of sound real-valued\, differentiable\, probabilistic computation\, which is the core computational model behind this new class of systems.  I’ll also present our work on the Lottery Ticket Hypothesis\, a set of techniques for producing small trainable neural networks that are 10-20% of the size of standard architectures. The promise of this latter work is not only faster inference and training\, but also smaller neural networks that are more amenable to reasoning\, such as verifying their robustness
URL:https://seasevents.nmsdev7.com/event/cis-seminar-engineering-approximate-computations/
LOCATION:Zoom – Email CIS for link\, cherylh@cis.upenn.edu
END:VEVENT
END:VCALENDAR