Research
Building programming languages, tools, and software engineering techniques that make software more reliable, secure, and productive.
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…
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…
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…
Our studies on software process include organizational impact on quality, agile software development, global software development, effort estimation, development branches, and build analysis.
This is where programs begin. Jennisys is a programming language that emphasizes clean public interfaces and lets programmers describe the data structures they intend a private implementation to use. Code is underemphasized, and Jennisys attempts…
