2024
Explanations for combinatorial optimization problems.
J. Comput. Lang., 2024
Analogies and Active Engagement: Introducing Computer Science.
Proceedings of the 55th ACM Technical Symposium on Computer Science Education, 2024
2023
A visual notation for succinct program traces.
J. Comput. Lang., 2023
Putting Computing on the Table: Using Physical Games to Teach Computer Science.
Proceedings of the 54th ACM Technical Symposium on Computer Science Education, Volume 1, 2023
MatchMaker: A DSL for Game-Theoretic Matching.
Proceedings of the Trends in Functional Programming - 24th International Symposium, 2023
2022
Explaining Results of Multi-Criteria Decision Making.
CoRR, 2022
Intersectionality Goes Analytical: Taming Combinatorial Explosion Through Type Abstraction.
CoRR, 2022
Exploring the Use of Games and a Domain-Specific Teaching Language in CS0.
Proceedings of the ITiCSE 2022: Innovation and Technology in Computer Science Education, Dublin, Ireland, July 8, 2022
Using a Functional Board Game Language to Teach Middle School Programming.
Proceedings of the IEEE Frontiers in Education Conference, 2022
2021
Explainable dynamic programming.
J. Funct. Program., 2021
Teaching CS Middle School Camps in a Virtual World.
Proceedings of the IEEE Symposium on Visual Languages and Human-Centric Computing, 2021
A Visual Notation for Succinct Program Traces.
Proceedings of the IEEE Symposium on Visual Languages and Human-Centric Computing, 2021
MADMAX: a DSL for explanatory decision making.
Proceedings of the GPCE '21: Concepts and Experiences, Chicago, IL, USA, October 17, 2021
Adaptable Traces for Program Explanations.
Proceedings of the Programming Languages and Systems - 19th Asian Symposium, 2021
2020
Does Story Programming Prepare for Coding?
Proceedings of the 51st ACM Technical Symposium on Computer Science Education, 2020
Explanations for Dynamic Programming.
Proceedings of the Practical Aspects of Declarative Languages, 2020
2019
To Code or Not to Code? Programming in Introductory CS Courses.
Proceedings of the 2019 IEEE Symposium on Visual Languages and Human-Centric Computing, 2019
Story Programming: Explaining Computer Science Before Coding.
Proceedings of the 50th ACM Technical Symposium on Computer Science Education, 2019
Usability of Probabilistic Programming Languages.
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
Proceedings of the 30th Annual Workshop of the Psychology of Programming Interest Group, 2019
2018
Proc. ACM Program. Lang., 2018
Systematic identification and communication of type errors.
J. Funct. Program., 2018
Typed Table Transformations.
CoRR, 2018
Comparative Visualizations through Parameterization and Variability.
Proceedings of the 2018 IEEE Symposium on Visual Languages and Human-Centric Computing, 2018
A domain-specific language for exploratory data visualization.
Proceedings of the 17th ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences, 2018
Explaining spreadsheets with spreadsheets (short paper).
Proceedings of the 17th ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences, 2018
Proceedings of the Diagrammatic Representation and Inference, 2018
2017
What is a visual language?
J. Vis. Lang. Comput., 2017
Exploiting diversity in type checkers for better error messages.
J. Vis. Lang. Comput., 2017
Variational lists: comparisons and design guidelines.
Proceedings of the 8th ACM SIGPLAN International Workshop on Feature-Oriented Software Development, 2017
2016
Model inference for spreadsheets.
Autom. Softw. Eng., 2016
Principal type inference for GADTs.
Proceedings of the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2016
A Calculus for Variational Programming.
Proceedings of the 30th European Conference on Object-Oriented Programming, 2016
2015
Domain-Specific Languages (Dagstuhl Seminar 15062).
Dagstuhl Reports, 2015
2014
Extending Type Inference to Variational Programs.
ACM Trans. Program. Lang. Syst., 2014
A notation for non-linear program edits.
Proceedings of the IEEE Symposium on Visual Languages and Human-Centric Computing, 2014
Let's hear both sides: On combining type-error reporting tools.
Proceedings of the IEEE Symposium on Visual Languages and Human-Centric Computing, 2014
Counter-factual typing for debugging type errors.
Proceedings of the 41st Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2014
Early detection of type errors in C++ templates.
Proceedings of the ACM SIGPLAN 2014 workshop on Partial evaluation and program manipulation, 2014
Variational Data Structures: Exploring Tradeoffs in Computing with Variability.
Proceedings of the Onward! 2014, 2014
Type-based parametric analysis of program families.
Proceedings of the 19th ACM SIGPLAN international conference on Functional programming, 2014
A transformational approach to data visualization.
Proceedings of the Generative Programming: Concepts and Experiences, 2014
Proceedings of the Functional and Logic Programming - 12th International Symposium, 2014
2013
A visual language for explaining probabilistic reasoning.
J. Vis. Lang. Comput., 2013
Explicitness in language design.
Proceedings of the 2013 IEEE Symposium on Visual Languages and Human Centric Computing, 2013
Adding configuration to the choice calculus.
Proceedings of the Seventh International Workshop on Variability Modelling of Software-intensive Systems, 2013
An abstract representation of variational graphs.
Proceedings of the 5th International Workshop on Feature-Oriented Software Development, 2013
2012
Systematic evolution of model-based spreadsheet applications.
J. Vis. Lang. Comput., 2012
Finding common ground: choose, assert, and assume.
Proceedings of the International Workshop on Dynamic Analysis: held in conjunction with the ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA 2012), 2012
Lightweight Automated Testing with Adaptation-Based Programming.
Proceedings of the 23rd IEEE International Symposium on Software Reliability Engineering, 2012
Learning-Based Test Programming for Programmers.
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change, 2012
An error-tolerant type system for variational lambda calculus.
Proceedings of the ACM SIGPLAN International Conference on Functional Programming, 2012
Surveyor: a DSEL for representing and analyzing strongly typed surveys.
Proceedings of the 5th ACM SIGPLAN Symposium on Haskell, 2012
A calculus for modeling and implementing variation.
Proceedings of the Generative Programming and Component Engineering, 2012
Faster program adaptation through reward attribution inference.
Proceedings of the Generative Programming and Component Engineering, 2012
Explanations for Regular Expressions.
Proceedings of the Fundamental Approaches to Software Engineering, 2012
2011
The Choice Calculus: A Representation for Software Variation.
ACM Trans. Softw. Eng. Methodol., 2011
Improving Policy Gradient Estimates with Influence Information.
Proceedings of the 3rd Asian Conference on Machine Learning, 2011
The state of the art in end-user software engineering.
,
,
,
,
,
,
,
,
,
,
,
,
,
ACM Comput. Surv., 2011
A DSEL for Studying and Explaining Causation
Proceedings of the Proceedings IFIP Working Conference on Domain-Specific Languages, 2011
Adaptation-Based Programming in Haskell
Proceedings of the Proceedings IFIP Working Conference on Domain-Specific Languages, 2011
#ifdef confirmed harmful: Promoting understandable software variation.
Proceedings of the 2011 IEEE Symposium on Visual Languages and Human-Centric Computing, 2011
Optimizing the Product Derivation Process.
Proceedings of the Software Product Lines - 15th International Conference, 2011
Semantics First! - Rethinking the Language Design Process.
Proceedings of the Software Language Engineering - 4th International Conference, 2011
Adaptation-based programming in java.
Proceedings of the 2011 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation, 2011
Variation Programming with the Choice Calculus.
Proceedings of the Generative and Transformational Techniques in Software Engineering IV, 2011
2010
Reasoning about spreadsheets with labels and dimensions.
J. Vis. Lang. Comput., 2010
Causal Reasoning with Neuron Diagrams.
Proceedings of the IEEE Symposium on Visual Languages and Human-Centric Computing, 2010
Automatically Inferring ClassSheet Models from Spreadsheets.
Proceedings of the IEEE Symposium on Visual Languages and Human-Centric Computing, 2010
SheetDiff: A Tool for Identifying Changes in Spreadsheets.
Proceedings of the IEEE Symposium on Visual Languages and Human-Centric Computing, 2010
Program fields for continuous software.
Proceedings of the Workshop on Future of Software Engineering Research, 2010
Robust Learning for Adaptive Programs by Leveraging Program Structure.
Proceedings of the Ninth International Conference on Machine Learning and Applications, 2010
A language for software variation research.
Proceedings of the Generative Programming And Component Engineering, 2010
2009
Automatic detection of dimension errors in spreadsheets.
J. Vis. Lang. Comput., 2009
Mutation Operators for Spreadsheets.
IEEE Trans. Software Eng., 2009
Software Engineering for Spreadsheets.
IEEE Softw., 2009
A domain-specific language for experimental game theory.
J. Funct. Program., 2009
Visual explanations of probabilistic reasoning.
Proceedings of the IEEE Symposium on Visual Languages and Human-Centric Computing, 2009
Combining spatial and semantic label analysis.
Proceedings of the IEEE Symposium on Visual Languages and Human-Centric Computing, 2009
Declarative Scripting in Haskell.
Proceedings of the Software Language Engineering, Second International Conference, 2009
Varying Domain Representations in Hagl.
Proceedings of the Domain-Specific Languages, IFIP TC 2 Working Conference, 2009
A DSL for Explaining Probabilistic Reasoning.
Proceedings of the Domain-Specific Languages, IFIP TC 2 Working Conference, 2009
2008
Proceedings of the Wiley Encyclopedia of Computer Science and Engineering, 2008
A visual language for representing and explaining strategies in game theory.
Proceedings of the IEEE Symposium on Visual Languages and Human-Centric Computing, 2008
Dimension inference in spreadsheets.
Proceedings of the IEEE Symposium on Visual Languages and Human-Centric Computing, 2008
Test-driven goal-directed debugging in spreadsheets.
Proceedings of the IEEE Symposium on Visual Languages and Human-Centric Computing, 2008
2007
UCheck: A spreadsheet type checker for end users.
J. Vis. Lang. Comput., 2007
Parametric Fortran: program generation in scientific computing.
J. Softw. Maintenance Res. Pract., 2007
An update calculus for expressing type-safe program updates.
Sci. Comput. Program., 2007
ClassSheets - model-based, object-oriented design of spreadsheet applications.
J. Object Technol., 2007
Understanding and Building Spreadsheet Tools.
Proceedings of the 2007 IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC 2007), 2007
A Type System Based on End-User Vocabulary.
Proceedings of the 2007 IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC 2007), 2007
GoalDebug: A Spreadsheet Debugger for End Users.
Proceedings of the 29th International Conference on Software Engineering (ICSE 2007), 2007
Exploiting Domain-Specific Structures For End-User Programming Support Tools.
Proceedings of the End-User Software Engineering, 18.02. - 23.02.2007, 2007
2006
J. Vis. Lang. Comput., 2006
Functional Pearls: Probabilistic functional programming in Haskell.
J. Funct. Program., 2006
Gencel: a program generator for correct spreadsheets.
J. Funct. Program., 2006
Sharing reasoning about faults in spreadsheets: An empirical study.
Proceedings of the 2006 IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC 2006), 2006
AutoTest: A Tool for Automatic Test Case Generation in Spreadsheets.
Proceedings of the 2006 IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC 2006), 2006
Type inference for spreadsheets.
Proceedings of the 8th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, 2006
Generic programming in Fortran.
Proceedings of the 2006 ACM SIGPLAN Workshop on Partial Evaluation and Semantics-based Program Manipulation, 2006
Modeling Genome Evolution with a DSEL for Probabilistic Programming.
Proceedings of the Practical Aspects of Declarative Languages, 8th International Symposium, 2006
Inferring templates from spreadsheets.
Proceedings of the 28th International Conference on Software Engineering (ICSE 2006), 2006
A generic recursion toolbox for Haskell or: scrap your boilerplate systematically.
Proceedings of the ACM SIGPLAN Workshop on Haskell, 2006
2005
Software reuse for scientific computing through program generation.
ACM Trans. Softw. Eng. Methodol., 2005
How to communicate unit error messages in spreadsheets.
ACM SIGSOFT Softw. Eng. Notes, 2005
Visual Specifications of Correct Spreadsheets.
Proceedings of the 2005 IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC 2005), 2005
Goal-Directed Debugging of Spreadsheets.
Proceedings of the 2005 IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC 2005), 2005
ClassSheets: automatic generation of spreadsheet applications from object-oriented specifications.
Proceedings of the 20th IEEE/ACM International Conference on Automated Software Engineering (ASE 2005), 2005
Automatic generation and maintenance of correct spreadsheets.
Proceedings of the 27th International Conference on Software Engineering (ICSE 2005), 2005
2004
Monadification of functional programs.
Sci. Comput. Program., 2004
Escape from Zurg: an exercise in logic programming.
J. Funct. Program., 2004
Header and Unit Inference for Spreadsheets Through Spatial Analyses.
Proceedings of the 2004 IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC 2004), 2004
Parametric Fortran - A Program Generator for Customized Generic Fortran Extensions.
Proceedings of the Practical Aspects of Declarative Languages, 6th International Symposium, 2004
2003
A visual language for the evolution of spatial relationships and its translation into a spatio-temporal calculus.
J. Vis. Lang. Comput., 2003
Xing: a visual XML query language.
J. Vis. Lang. Comput., 2003
Programming Type-Safe Program Updates.
Proceedings of the Programming Languages and Systems, 2003
Toward the Automatic Derivation of XML Transformations.
Proceedings of the Conceptual Modeling for Novel Application Domains, 2003
KeyQuery - A Front End for the Automatic Translation of Keywords into Structured Queries.
Proceedings of the Database and Expert Systems Applications, 14th International Conference, 2003
Spatio-temporal Models and Languages: An Approach Based on Data Types.
Proceedings of the Spatio-Temporal Databases: The CHOROCHRONOS Approach, 2003
2002
Spatio-Temporal Predicates.
IEEE Trans. Knowl. Data Eng., 2002
A rule-based language for programming software updates.
ACM SIGPLAN Notices, 2002
Visually Customizing Inference Rules About Apples and Oranges.
Proceedings of the 2002 IEEE CS International Symposium on Human-Centric Computing Languages and Environments (HCC 2002), 2002
Adding Apples and Oranges.
Proceedings of the Practical Aspects of Declarative Languages, 4th International Symposium, 2002
2001
Inductive graphs and functional graph algorithms.
J. Funct. Program., 2001
Programs Are Abstract Data Types.
Proceedings of the 16th IEEE International Conference on Automated Software Engineering (ASE 2001), 2001
2000
A foundation for representing and querying moving objects.
ACM Trans. Database Syst., 2000
The graph Voronoi diagram with applications.
Networks, 2000
Pattern Guards and Transformational Patterns.
Proceedings of the 2000 ACM SIGPLAN Workshop on Haskell, 2000
A Visual Language for XML.
Proceedings of the 2000 IEEE International Symposium on Visual Languages, 2000
Query-By-Trace: Visual Predicate Specification in Spatio-Temporal Databases.
Proceedings of the Advances in Visual Information Management, 2000
Random Access to Abstract Data Types.
Proceedings of the Algebraic Methodology and Software Technology. 8th International Conference, 2000
1999
Spatio-Temporal Data Types: An Approach to Modeling and Querying Moving Objects in Databases.
GeoInformatica, 1999
Visual Specification of Spatio-Temporal Developments.
Proceedings of the 1999 IEEE Symposium on Visual Languages, 1999
Proceedings of the 1999 IEEE Symposium on Visual Languages, 1999
The Honeycomb Model of Spatio-Temporal Partitions.
Proceedings of the Spatio-Temporal Database Management, 1999
Developments in Spatio-Temporal Query Languages.
Proceedings of the 10th International Workshop on Database & Expert Systems Applications, 1999
Übersetzerbau - Techniken, Werkzeuge, Anwendungen
Springer, ISBN: 3-540-65389-9, 1999
1998
Abstract Syntax and Semantics of Visual Languages.
J. Vis. Lang. Comput., 1998
Visual Semantics - Or: What You See is What You Compute.
Proceedings of the Proceedings 1998 IEEE Symposium on Visual Languages, 1998
Abstract and Discrete Modeling of Spatio-Temporal Data Types.
Proceedings of the ACM-GIS '98, 1998
Temporal Objects for Spatio-Temporal Data Models and a Comparison of Their Representations.
Proceedings of the Advances in Database Technologies, 1998
Categorical Programming with Abstract Data Types.
Proceedings of the Algebraic Methodology and Software Technology, 1998
1997
Semantics of Visual Languages.
Proceedings of the Proceedings 1997 IEEE Symposium on Visual Languages, 1997
Proceedings of the Advances in Spatial Databases, 1997
Fully Persistent Graphs - Which One To Choose?
Proceedings of the Implementation of Functional Languages, 9th International Workshop, 1997
Functional Programming with Graphs.
Proceedings of the 1997 ACM SIGPLAN International Conference on Functional Programming (ICFP '97), 1997
Proceedings of the Spatial Information Theory: A Theoretical Basis for GIS, 1997
1996
Proceedings of the Implementation of Functional Languages, 8th International Workshop, 1996
1995
Encoding shortest paths in spatial networks.
Networks, 1995
Heterogeneous Visual Languages-Integrating Visual and Textual Programming.
Proceedings of the Proceedings 11th International IEEE Symposium on Visual Languages, 1995
1994
Graphs in spatial databases.
PhD thesis, 1994
Explicit Graphs in a Functional Model for Spatial Databases.
IEEE Trans. Knowl. Data Eng., 1994
Graphs in Spatial Databases.
GI Datenbank Rundbrief, 1994
DEAL - A Language for Depicting Algorithms.
Proceedings of the Proceedings IEEE Symposium on Visual Languages, 1994
1993
Spezifikation von Datenmodellen mittels mehrstufiger Algebra.
Proceedings of the Tagung des Arbeitskreises der GI Datenbanken: Grundlagen von Informationssystemen, 1993
Specifying Type Systems with Multi-Level Order-Sorted Algebra.
Proceedings of the Algebraic Methodology and Software Technology (AMAST '93), 1993
1992
Graph Algorithms = Iteration + Data Structures? The Structure of Graph Algorithms and a Corresponding Style of Programming.
Proceedings of the Graph-Theoretic Concepts in Computer Science, 1992
Modellierung von Netzen in Geo-Datenbanken.
Proceedings of the Kurzfassungen des 4. GI-Workshops "Grundlagen von Datenbanken", 1992
1991
A Functional DBPL Revealing High Level Optimizations.
Proceedings of the Database Programming Languages: Bulk Types and Persistent Data. 3rd International Workshop, 1991