Programming languages & software engineering
Building programming languages, tools, and software engineering techniques that make software more reliable, secure, and productive.
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…
Code Hunt
Code Hunt is a serious gaming platform for coding contests and practicing programming skills. It is based on the symbolic white box execution engine, Pex. Code Hunt is unique as an online coding platform in…
BMA: Bio Model Analyzer
Bio Model Analyzer is a new biological modelling tool that illustrates signalling pathways and determines cellular stabilization. The tool represents a merging of perspectives from systems biology, formal methods, human computer interaction and design. At…
