RiSE

03/19/2018

Academic colleagues, please be aware of impending deadline (The 2018 Microsoft Research Dissertation Grant application period closes on Friday, March 30, 2018, at 11:59 PM Pacific Time.)

The Microsoft Research Dissertation Grant is for under-represented PhD students at universities in US/Canada doing dissertation work related to computing.

02/15/2018

Excited to see and RiSE colleague discuss his passion and insights about bringing education to young students with on the : https://www.microsoft.com/en-us/research/blog/code-in-the-classroom-with-dr-peli-de-halleux/?OCID=msr_podcast_phalleux_TW&utm_source=twitter.com

An ongoing series of conversations bringing you right up to the cutting edge of Microsoft Research.

01/17/2018

01/17/2018

The RiSE team is very pleased to welcome Michal Moskal back to Seattle,Microsoft, MSR and RiSE!

Homepage of Michal Moskal.

01/12/2018

We are very happy to welcome Markus Kuppe to the RiSE team: https://github.com/lemmy

01/12/2018

Learn about lenses at the F* blog. This blog post describes how to design and verify a small library of composable, bidirectional "getters" and "setters".

In languages like Haskell, lenses are an increasingly popular, highly composable, way of structuring bidirectional data access, i.e., operations to both read...

01/03/2018

I'm honored and delighted to be featured in the podcast this week. https://www.microsoft.com/en-us/research/blog/programming-languages-quietly-run-world-dr-ben-zorn/ where I had a chance to highlight RiSE projects including Premonition, Everest, Z3, Time Travel Debugging, and others.

Episode 6, January 3, 2018 Talking to Machines, or How Programming Languages Quietly Run the World with Dr. Ben Zorn In an era of AI breakthroughs and other exciting advances in computer science, Dr. Ben Zorn would like to remind us that behind every great technical revolution is… a programming la...

11/18/2017

Recalling a Witness @ POPL '18: Describes the foundations of monotonic stateful verification used in F* for Project Everest.

https://fstar-lang.org/papers/monotonicity/

Danel Ahman1,2    Cătălin Hriţcu2    Cedric Fournet1   Kenji Maillard2,3    Aseem Rastogi1    Nikhil Swamy1123

11/17/2017

Thomas Zimmermann, Nachi Nagappan and colleagues explore the impact of two strategic practices, namely distributed development and internship, on the ramp-up journey of new hires (ICSE 2017).