Publications on Guillaume Marceau

Do Values Grow on Trees?: Expression Integrity in Functional Programming

Thu, 01 Sep 2011 00:00:00 +0000

That was a really fun paper, though too subtle for its own good. We provided some supporting evidence for the idea that thinking in expression is a key skills students develop during their first programming course. They transition from seeing the code as a sequence of letter, the seeing nested expressions. We did it with an cool custom A* search, and we got statistical significance (which is always hard in education topic.)

Mind Your Language: On Novices' Interactions with Error Messages

Fri, 01 Apr 2011 00:00:00 +0000

Measuring the Effectiveness of Error Messages Designed for Novice Programmers

Sat, 01 Jan 2011 00:00:00 +0000

More than it had been done before, we were able to quantify the great extent with which poor error messages undermine computer programming education. Plus, we were able to provide a rubric to measure any improvements future efforts would bring, thus leaving on a up-note.

The HAL Project -- Discovering local artists through Zeroconf

Mon, 01 Jan 2007 00:00:00 +0000

I wrote a short article for a local art project by Île Sans Fils, now zap.coop/, with the help of the group’s members. The project did not last, but Île Sans Fils went on to become a pillar of the open internet access movement. It was thrilling to be present at that moment.

The Design and Implementation of a Dataflow Language for Scriptable Debugging

Fri, 01 Sep 2006 00:00:00 +0000

Now that functional reactive programming is taking flight for web development, with the Rx frameworks and especially with vue.js, it is fun to go back to its establishing years. In this paper, we help broaden the range of applicability of FRP. It started as a technique for simulating electronics signals, then for coding user interface, and now a technique for responding to events broadly, including those that occur when doing system programming.

The Case for Analysis Preserving Language Transformation

Mon, 01 May 2006 00:00:00 +0000

I always love to say that at IBM I analyzed the Linux kernel for security holes by using a static analyzer for Java since it sounds impossible. Yet it’s just what we did, and we felt the approach could generalize nicely.

Using Wireless Ethernet for Localization

Sun, 01 Sep 2002 00:00:00 +0000

The cleverness of this research was to use a state-of-the-art robotics algorithm to solve a emergent network security problem. If someone is attacking your network from a wifi access point, how do you find the machine?

Robotics-Based Location Sensing For Wireless Ethernet

Wed, 01 May 2002 00:00:00 +0000

Efficient Inference Of Static Types For Java Bytecode

Sat, 01 Jan 2000 00:00:00 +0000

I designed the algorithm for the inference of integer types which became a part of the large Sable static analysis and program modification framework.