Programming languages & software engineering
Building programming languages, tools, and software engineering techniques that make software more reliable, secure, and productive.
Ziria: A DSL for Wireless Systems Programming
NCWIT and Microsoft Research Kick Start Academic Programs for Attracting Women to Computing Fields
By Microsoft Research and the National Center for Women and Information Technology Editor’s note: This press release is republished with the permission of the National Center for Women and Information Technology. The National Center for…
Orleans Simplifies Development of Scalable Apps for the Cloud
By Janie Chang Many real-time services such as e-commerce, online gaming, and social media depend on cloud-computing platforms. Designing those services to be scalable and reliable, however, is a challenge. Until now. On January 23,…
Code Hunt Community
Code Hunt is a serious educational game. The Code Hunt community is interested in all aspects of research and development around the game, including analysis of the data and development of the platform. Join the…
Probabilistic Z3
Probabilistic Z3 is a solver for the bounded reachability problem that uses the symbolic approximation technique described in the following paper: Markus N. Rabe, Christoph M. Wintersteiger, Hillel Kugler, Boyan Yordanov, and Youssef Hamadi, Symbolic…