User interfaces are difficult to get right, and tedious to program and debug. The Auckland Layout Editor [1] is a novel editor that makes the development of  GUIs easier and puts questions of presentation onto a sound theoretical basis in the language of constraint programming. ALE guarantees that all edit operations lead to sound specifications, ensuring solvable and non-overlapping layouts.  For us the tool serves as an example showing that high-level, problem oriented  languages can work for programmers and users.
This is joint work with Christof Lutteroth and Clemens Zeidler, University of Auckland and Wolfgang Stuerzlinger, University of Toronto.

[1] C. Zeidler,  C. Lutteroth, W. Stuerzlinger and G. Weber (2013), "Evaluating Direct Manipulation Operations for Constraint-Based Layout", In Proceedings of the 14th IFIP TC 13 International Conference on Human-Computer Interaction (INTERACT).

Bio: Gerald Weber is Senior Lecturer in Computer Science and has just completed  a term as Deputy Head of Department for Research at the University of Auckland.  His research interests include Human-Computer interaction as well as Databases.  Gerald holds a PhD from the Free University Berlin.  He has been program chair of several conferences in Human-Computer Interaction, Enterprise Systems and  Databases. He is  information director of the journal "Proceedings of the VLDB Endowment".