News & Events
Department Events & Announcements

Events

  • Apr
    28

    CS Colloquium - Emina Torlak "Solver-Aided Programming for All"

    Department of Computer Science

    12:00 PM

    EVENT DETAILS

    Abstract

    Solver-aided tools have automated the verification and synthesis of practical programs in many domains, from high-performance computing to executable biology. These tools work by reducing verification and synthesis tasks to satisfiability queries, which involves compiling programs to logical constraints. Developing an effective symbolic compiler is challenging, however, and until recently, it took years of expert work to create a solver-aided tool for a new domain.

    In this talk, I will present Rosette, a programming language for rapid creation of solver-aided tools. To build a new tool, you write an interpreter for the tool's input language, and Rosette lifts this interpreter into a symbolic compiler. This is made possible by Rosette's symbolic virtual machine, which can translate both a language implementation and programs in that language to efficient constraints. Since its first public release in 2014, Rosette has enabled a wide range of programmers, from professional developers to high school students, to create dozens of new verification and synthesis tools. Example applications include verifying radiation therapy software in current clinical use, synthesizing GPU kernels, and verifying and synthesizing just-in-time compilers that are part of the Linux operating system. This talk will provide a brief introduction to Rosette and describe recent applications.

    Biography

    Emina Torlak is an Associate Professor in the Paul G. Allen School of Computer Science & Engineering at the University of Washington, working on new languages and tools for computer-aided design, verification, and synthesis of software. She received her Bachelors (2003), Masters (2004), and Ph.D. (2009) degrees from MIT, and subsequently worked at IBM Research, LogicBlox, and as a research scientist at U.C. Berkeley. Emina is the creator of the Kodkod solver, which has been used in over 70 academic and industrial tools for software engineering. Her work on the Rosette system integrates solvers programming languages, enabling programmers to create their own solver-aided tools for all kinds of systems, from radiotherapy machines to automated algebra tutors. Emina is a recipient of the NSF CAREER Award (2017), Sloan Research Fellowship (2016), and the AITO Dahl-Nygaard Junior Prize (2016).

    more

    TIME Wednesday, April 28, 2021 at 12:00 PM - 1:00 PM

    ADD TO CALENDAR

    CONTACT Pamela Villalovoz    pmv@northwestern.edu EMAIL

    CALENDAR Department of Computer Science

  • Aug
    20

    Alumni Education Webinar: McCormick School of Engineering's Strategic Vision

    McCormick School of Engineering and Applied Science

    12:00 PM

    EVENT DETAILS

    TIME Wednesday, August 20, 2025 at 12:00 PM - 1:00 PM

    ADD TO CALENDAR

    CONTACT Andi Joppie    andi.joppie@northwestern.edu EMAIL

    CALENDAR McCormick School of Engineering and Applied Science

  • Sep
    8

    Welcome & Breakfast for New McCormick PhD Students

    McCormick School of Engineering and Applied Science

    9:00 AM LR2 & Tech East Plaza, Technological Institute

    EVENT DETAILS

    TIME Monday, September 8, 2025 at 9:00 AM - 10:00 AM

    LOCATION LR2 & Tech East Plaza, Technological Institute    map it

    ADD TO CALENDAR

    CONTACT Andi Joppie    andi.joppie@northwestern.edu EMAIL

    CALENDAR McCormick School of Engineering and Applied Science

  • Sep
    12

    New Undergraduate Fall 2025 Registration

    University Academic Calendar

    All Day

    EVENT DETAILS

    TIME Friday, September 12, 2025

    ADD TO CALENDAR

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

    CALENDAR University Academic Calendar

  • Sep
    15

    Welcome & Luncheon for New Full-time Graduate Students

    McCormick School of Engineering and Applied Science

    11:00 AM Ryan Auditorium & Tech East Plaza, Technological Institute

    EVENT DETAILS

    TIME Monday, September 15, 2025 at 11:00 AM - 12:30 PM

    LOCATION Ryan Auditorium & Tech East Plaza, Technological Institute    map it

    ADD TO CALENDAR

    CONTACT Andi Joppie    andi.joppie@northwestern.edu EMAIL

    CALENDAR McCormick School of Engineering and Applied Science

  • Sep
    16

    Fall Classes Begin. Change of Registration (Drop/Add) Late registration for returning students begins

    University Academic Calendar

    All Day

    EVENT DETAILS

    TIME Tuesday, September 16, 2025

    ADD TO CALENDAR

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

    CALENDAR University Academic Calendar

  • Sep
    25

    Bagel Thursday

    Department of Computer Science (CS)

    9:00 AM

    EVENT DETAILS

    TIME Thursday, September 25, 2025 at 9:00 AM - 11:00 AM

    ADD TO CALENDAR

    CONTACT Wynante R Charles    wynante.charles@northwestern.edu EMAIL

    CALENDAR Department of Computer Science (CS)