What do we want from machine intelligence? We envision machines that are not just tools
for thought but partners in thought: reasonable, insightful, knowledgeable, reliable and …

Metamorphic testing is an approach to both test case generation and test result verification.
A central element is a set of metamorphic relations, which are necessary properties of the …

Pre-trained large language models (“LLMs”) like GPT-3 can engage in fluent, multi-turn
instruction-taking out-of-the-box, making them attractive materials for designing natural …

Code-generating large language models map natural language to code. However, only a
small portion of the infinite space of naturalistic utterances is effective at guiding code …

Augmented Reality (AR) and Virtual Reality (VR) devices are becoming easier to access
and use, but the barrier to entry for creating AR/VR applications remains high. Although the …

Recent years have seen the development of many open-source ML fairness toolkits aimed
at hel** ML practitioners assess and address unfairness in their systems. However, there …

Abstract End-User Development (EUD), End-Programming (EUP) and End-User Software
Engineering (EUSE) are three related research fields that study methods and techniques for …

How the theoretical tools of literacy help us understand programming in its historical, social
and conceptual contexts. The message from educators, the tech community, and even …

Augmented/Virtual Reality (AR/VR) is still a fragmented space to design for due to the
rapidly evolving hardware, the interdisciplinarity of teams, and a lack of standards and best …

Data integration is the dominant use case for RDF Knowledge Graphs. However, Web
resources come in formats with weak semantics (for example, CSV and JSON), or formats …