Programming languages & software engineering
Building programming languages, tools, and software engineering techniques that make software more reliable, secure, and productive.
Asynchronous Resilient Linearizability
R2: A Probabilistic Programming System
What is R2? R2 is a probabilistic programming system that uses powerful techniques from program analysis and verification for efficient Markov Chain Monte Carlo (MCMC) inference. The language that is used to describe probabilistic models…
Research Bits: Rafa Calvo
“Research Bits” provide a glimpse into the research being conducted around the world through brief interviews with researchers. In this interview, Rafa Calvo from the University of Sydney notes that software engineers focus on experience…
Research Bits: Bertrand Meyer
“Research Bits” provide a glimpse into the research being conducted around the world through brief interviews with researchers. In this interview, Bertrand Meyer from ETH Zurich explains the importance of software quality, reliability, and dependability.…
Research Bits: Emerson Murphy-Hill and Dean Mohamedally
“Research Bits” provide a glimpse into the research being conducted around the world through brief interviews with researchers. First, Emerson Murphy-Hill, North Carolina State University, talks about his research on how human computer interaction intersects…
Research Bits: Lori Clarke and Wei Le
“Research Bits” provide a glimpse into the research being conducted around the world through brief interviews with researchers. First, Lori Clarke from the University of Massachusetts is investigating what we have learned in software engineering…
Modern Programming for and via the Web Browser
Programming for the web browser is a complex affair, in the same way that programming of early computers via assembly language was complex before the advent of higher-level languages such as FORTRAN and C. Today,…
The Coming Genomics Software Revolution?
With the cost to sequence a full human genome soon to fall below US$1,000, most people will have their DNA sequenced and stored in a database along with their medical records. The hardware revolution has…
