Programming languages & software engineering
Building programming languages, tools, and software engineering techniques that make software more reliable, secure, and productive.
C++ AMP: Bringing Massive Parallelism to C++ Developers
Get introduced to C++ AMP: GPU computing in the next release of Windows and Visual Studio. Microsoft has recently announced C++ AMP (Accelerated Massive Parallelism), which is comprised of a C++ programming model, C++ language…
Machine Learning and Intelligence in Our Midst
The creation of intelligent computing systems that perceive, learn, and reason has been a long-standing and visionary goal in computer science. Over the last 20 years, technical and infrastructural developments have come together to create…
Symbolic Automata: The Toolkit
Duality
Duality solves Relation Post-Fixed Point problems using Craig interpolation. In can be used, for example, to generate proofs for procedural programs in the form of procedure summaries. Duality is envisioned as a generic engine for…
Software Processes
Our studies on software process include organizational impact on quality, agile software development, global software development, effort estimation, development branches, and build analysis.