Wickopedia

Given that LLMs are probably here to stay, I figured I should make some effort to understand them a bit more.

This post introduces a project that Gabriel Desfrene did in my group as an intern last summer.

This blog post is about Ollie Cosgrove’s paper (with Ally Donaldson and me) that will be presented at the 34th International Symposium on FPGAs in February.

My area of academia runs mainly on conferences, as opposed to journals.

Ilan Iwumbwe and Benny Liu did undergraduate research placements with me this summer, and I’m very pleased that they will be presenting their work at the Programming Languages for Quantum Computing (PLanQC) workshop at POPL next month.

I wrote earlier this year about my attempt to understand the repercussions of toggling and when giving a semantics to Hoare triples.

The UK government imposes a tax on people’s income, and, as is quite conventional, the rate at which a person pays this tax increases as their income increases.

This post provides a short introduction to a paper that will be presented at DVCon in Munich next month by my PhD student Michalis Pardalos about work we have done with collaborators Alastair Donaldson, Emi Morini and Laura Pozzi.

I’m delighted that Quentin Corradi, a PhD student I jointly supervise with George Constantinides, will be presenting his work to improve the reliability of hardware design tools next week at the FUZZING’24 workshop, a satellite event of the ISSTA conferen…

I was singing Freddy, My Love as a lullaby for my toddler last night, and enjoying the nifty rhyming triplets (catches–patches–matches, and so on), when I suddenly realised that the song has almost twice as many rhymes as I had previously thought!

I’m delighted that Luke Geeson’s work on “mix testing” (a collaboration with James Brotherston, Wilco Dijkstra, Alastair Donaldson, Lee Smith, Tyler Sorensen, and myself) will appear at OOPSLA 2024 in October.

I’ve used Santander Cycles to get from King’s Cross to Imperial College hundreds of times over the last couple of years, and I’d like to think that I’m pretty close to finding the fastest possible route now.

Yann Herklotz has added hyperblock scheduling to his verified high-level synthesis (HLS) tool called Vericert, and I’m very pleased that our paper about this work has been accepted to appear at PLDI 2024 this June.

The Hoare triple has a very simple meaning, namely: .

The world of computer architecture is quite excited these days about something called Compute Express Link (CXL).

I’ve commuted via King’s Cross St Pancras to Imperial College’s South Kensington Campus for about a decade now, but have only recently discovered what I believe to be the fastest possible route between those two London stations.

When writing multi-word adjectives, hyphens can be important.

My friend and colleague George Constantinides wrote an interesting post on his blog recently where he formalises St Anselm’s argument for the existence of God.

With apologies to Julia Donaldson and Axel Scheffler A little old lady worked all on her own On a paper about a result she had shown.

FCCM 2022 in New York City has just drawn to a close, so I thought I’d put down some thoughts about my experience while it’s fresh in my mind.

When playing the board game Cluedo (also known as Clue in North America), you make a series of hypotheses that consist of a murderer, a weapon, and a room.

This post is about a paper by Yann Herklotz, James Pollard, Nadesh Ramanathan, and myself that will be presented shortly at OOPSLA 2021.

George A.

If you’ve ever attended a seminar about weak memory models, chances are good that you’ve been shown a small concurrent program and asked to ponder what is allowed to happen if its threads are executed on two or three different cores of a multicore CPU.

This post is about a paper by Matt Windsor, Ally Donaldson, and myself that will be presented shortly at the ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA) conference, in the tool demonstrations track.

High-level synthesis – the automatic compilation of a software program into a custom hardware design – is an increasingly important technology.

Your task is to write down a sequence of English words that, after possibly moving around the spaces between the words, become their German translations.

T-diagrams (or tombstone diagrams) are widely used by teachers to explain how compilers and interpreters can be composed together to build and execute software.

Dan's Blog If I visit an exotic destination, I would surely do some sightseeing.

Here are a few personal highlights from the FPGA 2020 conference, which took place this week in Seaside, California.

The concept of “odd” and “even” functions is quite important in areas such as Fourier analysis.

When you want to do some computation on an FPGA, it is traditional to enter your design in a language like Verilog, and then to use automatic synthesis tools to turn your Verilog design into a “configuration bitstream” that can be fed to your FPGA to make…

In this post, I’d like to share some thoughts I’ve accumulated over the past few years about how to draw better graphs.

A lot of papers include a graph that benchmarks the performance of a new technique against a technique from previous work.

Many verification-oriented programming languages have built-in support for attaching loop invariants to loops.

It was great to have Patrick Sittel visit our group earlier this year.

A huge number of academic papers, particularly in the fields of computer systems/architecture, use some sort of block diagram to give readers an overview of the solution being presented.

UK housebuilding specifications require all doors that lead from a habitable room to the outside to meet certain “fire door” criteria.

The music for this little-known James Bond song doesn’t appear in any of the official songbooks, or indeed anywhere else on the internet as far as I can tell.

I had a great time at PLDI 2018 last week.