News

Fri, 10/11/2019

A paper about Déjà Vu will appear on Onward! 2019. Santiago will present Déjà Vu at SPLASH 2019 in Greece.

Fri, 10/11/2019

Daniel's CACM article about Alloy is now available. There's also a video showing Alloy in action.

Sun, 05/28/2017

Daniel received the 2017 SIGSOFT Outstanding Research Award which was presented at ICSE'17 in Buenos Aires where he gave a keynote. The citation for the award...

Wed, 05/03/2017

Daniel received the Arthur C. Smith Award, in honor of Art Smith, former dean at MIT and graduate and undergraduate officer in EECS.

Thu, 02/23/2017

Eunsuk invited to write a blog post about his thesis work for IEEE Software

Wed, 02/01/2017

Daniel ran a three-day workshop on security-by-design during IAP with Nickolai Zeldovich
for 30 Accenture software architects from around the world

Sat, 12/10/2016

Daniel elected ACM Fellow

Thu, 12/01/2016

Daniel gave distinguished lectures at UIUC and UMass Amherst (Nov 2016)

Thu, 11/17/2016

Recent SDG alum Eunsuk Kang won an ACM Distinguished Paper Award for a paper on design-level security analysis based on his thesis work

Thu, 11/17/2016

Daniel gave an award keynote at FSE in Seattle with Mandana Vaziri, following their...