RiSE http://rise4fun.com

The RiSE team drives the research in software engineering at Microsoft Research, Redmond, WA (twitter: RiSE_MSR)

Academic colleagues, please be aware of impending deadline (The 2018 Microsoft Research Dissertation Grant application p...
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.

01/17/2018
The RiSE team is very pleased to welcome Michal Moskal back to Seattle,Microsoft, MSR and RiSE!
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

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...

I'm honored and delighted to be featured in the  podcast this week. https://www.microsoft.com/en-us/research/blog/progra...
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...

Recalling a Witness @ POPL '18: Describes the foundations of monotonic stateful verification used in F* for Project Ever...
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

Thomas Zimmermann, Nachi Nagappan and colleagues explore the impact of two strategic practices, namely distributed devel...
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).

Address

Redmond, WA
98052

Alerts

Be the first to know and let us send you an email when RiSE posts news and promotions. Your email address will not be used for any other purpose, and you can unsubscribe at any time.

Share