Department Events & Announcements

Events

  • Nov
    8

    Northwestern Junior PL Day

    Department of Computer Science

    10:30 AM 3514, Mudd Hall ( formerly Seeley G. Mudd Library)

    EVENT DETAILSmore info

    Join us on Nov 8th, 2019 for a day of programming languages led by the speakers below.

    10:30am

    Stefan Muller, Carnegie Mellon University
    "Cost Models for Parallel Programs"

    If a program takes time T to run on one processor, how long will it take to run on P processors? This is a fundamental question when designing parallel algorithms, programs and languages, and answering it has been the subject of decades of work. The idea of "bounded implementations" pioneered by Blelloch and Greiner in the 1990s gives a framework for relating parallel programs to abstract dependency graphs, using existing results about such graphs to give reasonable bounds on time and space cost, and then showing that an implementation of the program or language can realize these bounds.

    In this talk, I propose that the idea of bounded implementations be used as a blueprint for exploring new problems in parallel computing and for designing new parallel languages. As a running example, I use the design of PriML, a language developed for my PhD dissertation. PriML enables the construction of an important class of parallel programs: interactive programs for which a suitable notion of cost must account for responsiveness and not just throughput. Reasoning about this extended notion of cost has required extending the dependency graph-based cost models to account for responsiveness. In turn, these models have influenced the development of PriML by helping us reason about and eliminate performance pitfalls, such as priority inversions, that arise in this new setting.

    11:15am

    Taisa Sima Kushner - University of Colorado at Boulder
    "Data-driven Modeling and Verification for Artificial Pancreas Systems"

    Artificial Pancreas (AP) systems refer to a set of increasingly closed-loop biomedical devices which seek to automate blood glucose regulation in individuals with type-1 diabetes mellitus (T1DM). While incredibly promising for the treatment of T1DM, these systems present a one-sided control problem, able to dose insulin to decrease blood glucose levels, but unable to counteract the effects of too high a dose. In addition, these systems are safety critical, with too high a dose leading to long-term organ damage, coma, and potentially death to an individual. Thus, the need to test and formally guarantee the safety of such systems is critical. In order to test such systems prior to patient trials, in-silico modeling of patient physiology along with the closed-loop interactions between the control algorithms and human physiology is utilized. Historically, nonlinear ordinary differential equations (ODE) models have been used as the patient models. However, such models are deterministic and general, which has resulted in a mismatch between testing for general use of AP systems, and the translation of a system to a specific individual. In this work, we present two types of nondeterministic models which we have developed to model human glucose-insulin physiology on a patient-specific level: linear ARMAX models and neural networks. We demonstrate how these models are learned from data AP systems are already collecting, requiring no additional intrusive measurements, and present three methods for quantifying uncertainty/error in the models which can lead to more exhaustive verification both in model conformance and closed-loop safety verification. Finally, we utilize these models within two tasks (1) performing analysis and patient-specific tuning of a PID control system from literature, and (2) real-time learning of a model predictive control system with safety guarantees, with results shown for both in-silico and real patient data.

    12:00pm

    Lunch

    1:00pm

    Arthur Azevedo de Amorim - Carnegie Mellon University
    "Reconciling Noninterference and Gradual Typing"

    One of the standard correctness criteria for gradual typing is the dynamic gradual guarantee, which ensures that loosening type annotations in a program does not affect its behavior in arbitrary ways. Though natural, prior work has pointed out that the guarantee does not hold of any gradual type system for information-flow control. Toro et al.’s GSL Ref language, for example, had to abandon it to validate noninterference.

    We argue that this issue is a consequence of using type ascription to classify data in the presence of no-sensitive-upgrade checks for avoiding information leakage. We propose a solution that changes the semantics of type ascription so that it never raises a value’s dynamic label, but merely checks that it is below the ascribed level. We demonstrate this idea with GLD, a gradually typed language inspired by the LIO Haskell library that enforces both the gradual guarantee and noninterference, featuring higher-order functions, general references, coarse-grained information-flow control, security subtyping and first-class labels.

    1:45pm

    Yuepeng Wang - University of Texas at Austin
    "Formal Methods for Database Schema Refactoring"

    Many database applications need to undergo schema refactoring several times during their life cycle. Since schema refactoring requires making significant changes to the database program, it is often a non-trivial and error-prone task. In this talk, I will present verification and synthesis techniques to help developers correctly and easily evolve database applications during schema refactoring. First, we address the problem of verifying equivalence between a pair of database programs that operate over different schemas. In particular, we formalize the notion of equivalence for database programs and propose a proof methodology based on bisimulation invariants. This technique is helpful for ensuring that the program change during schema refactoring does not introduce any additional bugs. As a further step, we propose a novel technique that automatically synthesizes a new version of a database program given its original version and the source and target schemas. This method does not require manual user guidance and ensures that the synthesized program is equivalent to the original one.

    2:30pm

    Michael Coblenz - Carnegie Mellon University
    "Obsidian: A Safer Smart Contract Language"

    Blockchains are intended to support safe computation on untrusted machines. Unfortunately, this safety has been violated by bugs in smart contracts, which are programs that run on blockchains. In this talk, I will describe Obsidian, our new smart contract language, whose type system uses typestate and linearity to prevent and detect bugs that have plagued programs written in previous languages. In addition, I will talk about our unique language design process, which integrates user studies in order to make the language more usable by programmers.

    more less

    TIME Friday, November 8, 2019 at 10:30 AM - 3:30 PM

    LOCATION 3514, Mudd Hall ( formerly Seeley G. Mudd Library)    map it

    ADD TO CALENDAR SHARE

    CONTACT Brianna White    brianna.mello@northwestern.edu EMAIL

    CALENDAR Department of Computer Science

  • Nov
    18

    CS Colloquium - Maya Ackerman - "Machines as Creative Partners"

    Department of Computer Science

    12:00 PM 3514, Mudd Hall ( formerly Seeley G. Mudd Library)

    EVENT DETAILSmore info

    TIME Monday, November 18, 2019 at 12:00 PM - 1:00 PM

    LOCATION 3514, Mudd Hall ( formerly Seeley G. Mudd Library)    map it

    ADD TO CALENDAR SHARE

    CONTACT Brianna White    brianna.mello@northwestern.edu EMAIL

    CALENDAR Department of Computer Science

  • Nov
    20

    CS Distinguished Seminar - Victoria Stodden - "The Lifecycle of Data Science: A Framework for Advancing Computational and Data-enabled Research"

    Department of Computer Science

    12:00 PM 3514, Mudd Hall ( formerly Seeley G. Mudd Library)

    EVENT DETAILSmore info

    TIME Wednesday, November 20, 2019 at 12:00 PM - 1:00 PM

    LOCATION 3514, Mudd Hall ( formerly Seeley G. Mudd Library)    map it

    ADD TO CALENDAR SHARE

    CONTACT Brianna White    brianna.mello@northwestern.edu EMAIL

    CALENDAR Department of Computer Science

  • Nov
    27

    Thanksgiving vacation begins 6 p.m.

    University Academic Calendar

    All Day

    EVENT DETAILS

    TIME Wednesday, November 27, 2019

    ADD TO CALENDAR SHARE

    CONTACT Office of the Registrar    nu-registrar@northwestern.edu EMAIL

    CALENDAR University Academic Calendar

  • Nov
    28

    Thanksgiving Day

    University Academic Calendar

    All Day

    EVENT DETAILS

    TIME Thursday, November 28, 2019

    ADD TO CALENDAR SHARE

    CONTACT Office of the Registrar    nu-registrar@northwestern.edu EMAIL

    CALENDAR University Academic Calendar

  • Dec
    2

    Fall Classes resume 8 a.m.

    University Academic Calendar

    All Day

    EVENT DETAILS

    TIME Monday, December 2, 2019

    ADD TO CALENDAR SHARE

    CONTACT Office of the Registrar    nu-registrar@northwestern.edu EMAIL

    CALENDAR University Academic Calendar

  • Dec
    2

    CS Colloquium - Ben Golub

    Department of Computer Science

    12:00 PM 3514, Mudd Hall ( formerly Seeley G. Mudd Library)

    EVENT DETAILS

    TIME Monday, December 2, 2019 at 12:00 PM - 1:00 PM

    LOCATION 3514, Mudd Hall ( formerly Seeley G. Mudd Library)    map it

    ADD TO CALENDAR SHARE

    CONTACT Brianna White    brianna.mello@northwestern.edu EMAIL

    CALENDAR Department of Computer Science

  • Dec
    3

    Our Future with Robots

    McCormick School of Engineering and Applied Science

    3:30 PM ITW classroom, 1-350, Ford Motor Company Engineering Design Center

    EVENT DETAILSmore info

    TIME Tuesday, December 3, 2019 at 3:30 PM - 6:00 PM

    LOCATION ITW classroom, 1-350, Ford Motor Company Engineering Design Center    map it

    ADD TO CALENDAR SHARE

    CONTACT Northwestern Engineering Events    mccormick-events@northwestern.edu EMAIL

    CALENDAR McCormick School of Engineering and Applied Science

  • Dec
    6

    CS Colloquium - Annie Liang

    Department of Computer Science

    12:00 PM 3514, Mudd Hall ( formerly Seeley G. Mudd Library)

    EVENT DETAILS

    TIME Friday, December 6, 2019 at 12:00 PM - 1:00 PM

    LOCATION 3514, Mudd Hall ( formerly Seeley G. Mudd Library)    map it

    ADD TO CALENDAR SHARE

    CONTACT Brianna White    brianna.mello@northwestern.edu EMAIL

    CALENDAR Department of Computer Science

  • Dec
    7

    Fall classes end

    University Academic Calendar

    All Day

    EVENT DETAILS

    TIME Saturday, December 7, 2019

    ADD TO CALENDAR SHARE

    CONTACT Office of the Registrar    nu-registrar@northwestern.edu EMAIL

    CALENDAR University Academic Calendar

  • Dec
    9

    Fall examinations begin

    University Academic Calendar

    All Day

    EVENT DETAILS

    TIME Monday, December 9, 2019

    ADD TO CALENDAR SHARE

    CONTACT Office of the Registrar    nu-registrar@northwestern.edu EMAIL

    CALENDAR University Academic Calendar

  • Dec
    9

    CS Distinguished Seminar - Jens Palsberg

    Department of Computer Science

    12:00 PM 3514, Mudd Hall ( formerly Seeley G. Mudd Library)

    EVENT DETAILS

    TIME Monday, December 9, 2019 at 12:00 PM - 1:00 PM

    LOCATION 3514, Mudd Hall ( formerly Seeley G. Mudd Library)    map it

    ADD TO CALENDAR SHARE

    CONTACT Brianna White    brianna.mello@northwestern.edu EMAIL

    CALENDAR Department of Computer Science

  • Dec
    14

    Winter Break Begins

    University Academic Calendar

    All Day

    EVENT DETAILS

    TIME Saturday, December 14, 2019

    ADD TO CALENDAR SHARE

    CONTACT Office of the Registrar    nu-registrar@northwestern.edu EMAIL

    CALENDAR University Academic Calendar

  • Dec
    14

    Northwestern Engineering PhD Hooding and Master's Recognition Ceremony

    McCormick School of Engineering and Applied Science

    4:00 PM Pick-Staiger Concert Hall

    EVENT DETAILS

    TIME Saturday, December 14, 2019 at 4:00 PM - 5:30 PM

    LOCATION Pick-Staiger Concert Hall    map it

    ADD TO CALENDAR SHARE

    CONTACT Paula Straaton    p-straaton@northwestern.edu EMAIL

    CALENDAR McCormick School of Engineering and Applied Science

  • Dec
    26

    Winter Recess - University Closed

    University Academic Calendar

    All Day

    EVENT DETAILS

    TIME Thursday, December 26, 2019

    ADD TO CALENDAR SHARE

    CONTACT Office of the Registrar    nu-registrar@northwestern.edu EMAIL

    CALENDAR University Academic Calendar

  • Dec
    27

    Winter Recess - University Closed

    University Academic Calendar

    All Day

    EVENT DETAILS

    TIME Friday, December 27, 2019

    ADD TO CALENDAR SHARE

    CONTACT Office of the Registrar    nu-registrar@northwestern.edu EMAIL

    CALENDAR University Academic Calendar

  • Dec
    30

    Winter Recess University Closed

    University Academic Calendar

    All Day

    EVENT DETAILS

    TIME Monday, December 30, 2019

    ADD TO CALENDAR SHARE

    CONTACT Office of the Registrar    nu-registrar@northwestern.edu EMAIL

    CALENDAR University Academic Calendar

  • Dec
    31

    New Year's Eve

    University Academic Calendar

    All Day

    EVENT DETAILS

    TIME Tuesday, December 31, 2019

    ADD TO CALENDAR SHARE

    CONTACT Office of the Registrar    nu-registrar@northwestern.edu EMAIL

    CALENDAR University Academic Calendar

  • Jan
    1

    New Year's Day

    University Academic Calendar

    All Day

    EVENT DETAILS

    TIME Wednesday, January 1, 2020

    ADD TO CALENDAR SHARE

    CONTACT Office of the Registrar    nu-registrar@northwestern.edu EMAIL

    CALENDAR University Academic Calendar

  • Jan
    6

    Winter Classes begin 8 a.m.

    University Academic Calendar

    All Day

    EVENT DETAILS

    TIME Monday, January 6, 2020

    ADD TO CALENDAR SHARE

    CONTACT Office of the Registrar    nu-registrar@northwestern.edu EMAIL

    CALENDAR University Academic Calendar