News
Oak gave a talk on Rosette 4.0 at Racketfest.
Released Rosette 4.0: a new runtime and new language features!
Emina gave a talk on Rosette and Jitterbug at the UMass CS Systems Lunch.
Xi gave a talk on Jitterbug at the Duke Systems and Networking Seminar.
Luke gave a talk on Jitterbug at Brown Systems Seminar.
Emina gave a colloquium talk on Rosette and Jitterbug at the University of Iowa.
Xi gave a talk on Jitterbug at Cornell Systems Lunch.
Our paper on noninterference specifications for secure systems appeared in Operating Systems Review.
Luke gave a talk on Jitterbug at Linux Plumbers Conference 2020.
Xi gave a keynote on Serval at VSTTE 2020.
Helgi defended his Ph.D.!
Published a technical report on building security monitors on RISC-V and our experience with using the HiFive Unleashed.
Our paper on fixing performance bottlenecks in code under symbolic evaluation will appear at VMCAI 2020.
Published a technical report on our experience with Nickel.
Luke gave a talk on Serval at the 2019 New England Systems Verification Day.
Luke gave a talk on Serval at the 2019 Open-Source Enclaves Workshop.
James defended his Ph.D.!
Xi received an NSF CAREER Award.
Luke gave a talk on Nickel at the 2018 New England Systems Verification Day.
We received an NSF FMitF Award to work on synthesis of OS components.
Our paper on symbolic profiling won a Distinguished Artifact Award at OOPSLA 2018.
Released Rosette 3.0: new performance engineering tools and new solvers!
Our paper on symbolic profiling for solver-aided languages and frameworks will appear at OOPSLA 2018.
Emina gave a keynote on solver-aided programming at ISSTA 2018.
Bruno won the 2018 Best Senior Thesis Award for his thesis on a crash-safe key-value store using chained copy-on-write B-trees.
Emina got tenure!
Xi received a 2017 Google Faculty Award.
James received a 2018 Facebook Fellowship.
James was interviewed for the People of Programming Languages series at POPL 2018.
Helgi, Luke, and Xi gave a talk on push-button verification at the 2017 New England Systems Verification Day.
Emina gave the keynote at Clojure/West 2017.
Emina gave a Clojure/West 2017 interview to PurelyFunctional.tv.
Emina received an NSF CAREER Award.
Our paper on push-button verification of file systems won a best paper award at OSDI 2016.
Emina gave the keynote at RacketCon 2016.
Emina gave the Junior DN Prize Lecture at ECOOP 2016.
James gave an invited talk at the Programming Languages Mentoring Workshop co-located with PLDI 2016.
Released Rosette 2.0: new theories, better performance!
Emina received a Sloan Research Fellowship.
Our paper on file system crash-consistency models will appear at ASPLOS 2016.
Emina won the AITO Dahl-Nygaard Junior Prize.