Search Results

The proliferation of new technologies has led to a proliferation of unwanted electronic devices. E-waste is the largest-growing consumer waste-stream worldwide, but also an issue often ignored. In fact, HCI primarily focuses on designing and understanding ...

Printed circuit boards (PCBs) are now ubiquitous in everyday objects. Despite advancements in mass production and the widespread availability of circuit design software, PCB manufacturing continues to present significant sustainability challenges due to ...

In times of crisis, epidemiologists can come under great pressure to model rapidly evolving diseases and to produce analyses about the effects of potential public health interventions. Taking previously developed, tested, and validated model components ...

Simulation has become, in many application areas, a sine qua non. Most recently, COVID-19 has underlined the importance of simulation studies and limitations in current practices and methods. We identify four goals of methodological work for addressing ...

ICT is an enabler for sustainable development and contributes to sustainability problems arising from different human activities aided by ICT interactive software and services. Consequently, these ICT-aided activities contribute to a vast amount ...

Technology has become increasingly embedded throughout our lives and rapid technological innovation promises even more uses of future technologies. In fact, much of how technology is designed and sold to consumers centers around its usability. We relate ...

Goods are designed, produced, and eventually purchased by consumers who will typically use them as their marketing and branding suggests. What happens when, instead, existing products are used to provide the foundational components for novel devices? We ...

Computing devices become waste for a variety of reasons. They breakdown, become obsolete, or are no longer trendy. These events are so common that currently, e-waste has become the largest consumer waste stream in the world. However, taking apart e-...

In Open Source Software, the source code and any other resources available in a project can be viewed or reused by anyone subject to often permissive licensing restrictions. In contrast to some studies of dependency-based reuse supported via package ...

We present an ongoing work towards a programming approach for Graphical User Interfaces (GUIs), where structural operations on GUI data structures (such as inserting, removing, or reorganizing) can be declaratively specified and their implementations ...

This paper introduces a novel framework that eliminates the often cumbersome "build and install" step when running software. Our framework packages a collection of techniques to automatically infer and generate sandboxes, specifically Linux ...

Code is often reused to facilitate collaborative development, to create software variants, to experiment with new ideas, or to develop new features in isolation. Social-coding platforms, such as GitHub, enable enhanced code reuse with forking, pull ...

The amount of e-waste generated by discarding devices is enormous but options for recycling remain limited. However, inside a discarded device (from consumer devices to one's own prototypes), an electronics designer could find dozens to thousands of ...

Graphical user interfaces present data as structures (lists, trees, grids). Convenient features to manipulate these structures are tedious to implement. We are working towards a GUI programming approach, where concise specifications of structures give ...

Extending the lifetime of computing systems is definitely one of the ways to reduce CO2. In this paper, we explore and suggest the options of extending memory in old systems by utilizing CXL technologies.

We present a new speaker array composed of five spherical speakers with 12 independent channels each. The prototype is open source and design choices are motivated here. It is designed to be a flexible device allowing a wide range of use cases, as ...

With the growing practice of mechanizing language metatheories, it has become ever more pressing that interactive theorem provers make it easy to write reusable, extensible code and proofs. This paper presents a novel language design geared towards ...

In this article, a reproducibility study is presented, with reference to the computational results reported in the article “Automatic Reuse, Adaption, and Execution of Simulation Experiments via Provenance Patterns,” by P. Wilsdorf, A. Wolpers, J. Hilton, ...

Simulation experiments are typically conducted repeatedly during the model development process, for example, to revalidate if a behavioral property still holds after several model changes. Approaches for automatically reusing and generating simulation ...

We must retain liveness and exploratory practices within the programming systems that make us feel most productive. However, the temptation to just reuse black boxes through limited interfaces is pervasive. We expect time savings and better performance ...