Computer technology has experienced exponential growth since the 1960s and '70s, with computational capabilities and software innovation roughly doubling in power every two years. At such a rapid pace ...

Generative AI, intelligent agents, and frontier models are giving rise to a new category of software that I believe will ...

The Software Systems Laboratory pursues basic research in all aspects of the design, implementation, evaluation, and verification of software systems. The group, which comprises 25 researchers, ...

How does Rust stack up against C and Ada for safety-critical applications? The issues that may be curtailing adoption of Rust. Case study of using Rust. Do we really need a new programming language?