Events

Filter by:

Limit to events where the first date of the event:
Date range
Limit to events where the first date of the event:
Limit to events where the title matches:
Limit to events where the type is one or more of:
Limit to events tagged with one or more of:
Limit to events where the audience is one or more of:
Tuesday, April 17, 2018 10:30 am - 10:30 am EDT (GMT -04:00)

Seminar • Programming Languages — Finding Bugs with Dynamic and Static Analysis

Magnus Madsen
Aalborg University, Denmark

Most software contains bugs, unintended behavior that causes the program to misbehave or crash. Developers wish to avoid bugs, but are easily led astray by the complexity of modern programming languages. How can we help them? A possible solution is to develop program analysis techniques that can automatically reason about the behavior of programs and pinpoint potential problems.

Anastasia Kuzminykh, PhD candidate
David R. Cheriton School of Computer Science

While technologies exist that are either marketed for or can be adapted to the monitoring of toddlers and school-age children, parents' perspectives on these technologies have received only limited attention. 

Jeff Avery, PhD candidate
David R. Cheriton School of Computer Science

Despite the ubiquity of touch-based input and the availability of increasingly computationally powerful touchscreen devices, there has been comparatively little work on enhancing basic canonical gestures such as swipe-to-pan and pinch-to-zoom.