René Just
YOU?
Author Swipe
View article: Morello: Compiling Fast Neural Networks with Dynamic Programming and Spatial Compression
Morello: Compiling Fast Neural Networks with Dynamic Programming and Spatial Compression Open
High-throughput neural network inference requires coordinating many optimization decisions, including parallel tiling, microkernel selection, and data layout. The product of these decisions forms a search space of programs which is typical…
View article: Call Graph Soundness in Android Static Analysis
Call Graph Soundness in Android Static Analysis Open
Static analysis is sound in theory, but an implementation may unsoundly fail to analyze all of a program's code. Any such omission is a serious threat to the validity of the tool's output. Our work is the first to measure the prevalence of…
View article: AI-Assisted Assessment of Coding Practices in Modern Code Review
AI-Assisted Assessment of Coding Practices in Modern Code Review Open
Modern code review is a process in which an incremental code contribution\nmade by a code author is reviewed by one or more peers before it is committed\nto the version control system. An important element of modern code review is\nverifyi…
View article: Call Graph Soundness in Android Static Analysis
Call Graph Soundness in Android Static Analysis Open
Static analysis is sound in theory, but an implementation may unsoundly fail to analyze all of a program's code. Any such omission is a serious threat to the validity of the tool's output. Our work is the first to measure the prevalence of…
View article: BLIP: Facilitating the Exploration of Undesirable Consequences of Digital Technologies
BLIP: Facilitating the Exploration of Undesirable Consequences of Digital Technologies Open
Digital technologies have positively transformed society, but they have also led to undesirable consequences not anticipated at the time of design or development. We posit that insights into past undesirable consequences can help researche…
View article: rTisane: Externalizing conceptual models for data analysis prompts reconsideration of domain assumptions and facilitates statistical modeling
rTisane: Externalizing conceptual models for data analysis prompts reconsideration of domain assumptions and facilitates statistical modeling Open
Statistical models should accurately reflect analysts' domain knowledge about variables and their relationships. While recent tools let analysts express these assumptions and use them to produce a resulting statistical model, it remains un…
View article: BLIP: Facilitating the Exploration of Undesirable Consequences of Digital Technologies
BLIP: Facilitating the Exploration of Undesirable Consequences of Digital Technologies Open
Digital technologies have positively transformed society, but they have also led to undesirable consequences not anticipated at the time of design or development. We posit that insights into past undesirable consequences can help researche…
View article: FPGA Technology Mapping Using Sketch-Guided Program Synthesis
FPGA Technology Mapping Using Sketch-Guided Program Synthesis Open
FPGA technology mapping is the process of implementing a hardware design\nexpressed in high-level HDL (hardware design language) code using the\nlow-level, architecture-specific primitives of the target FPGA. As FPGAs become\nincreasingly …
View article: Productive Coverage: Improving the Actionability of Code Coverage
Productive Coverage: Improving the Actionability of Code Coverage Open
Code coverage is an intuitive and widely-used test adequacy measure. Established coverage measures treat each test goal (e.g., statement or branch) as equally important, and code-coverage adequacy requires every test goal to be covered. Ho…
View article: A Demonstration of BLIP: A System to Explore Undesirable Consequences of Digital Technologies
A Demonstration of BLIP: A System to Explore Undesirable Consequences of Digital Technologies Open
Undesirable consequences of digital technologies are often difficult to foresee at the time of their design and development, but having access to examples can help. This demonstration paper presents Blip, a research prototype that provides…
View article: MuRS: Mutant Ranking and Suppression using Identifier Templates
MuRS: Mutant Ranking and Suppression using Identifier Templates Open
Diff-based mutation testing is a mutation testing approach that only mutates lines affected by a code change under review. This approach scales independently of the code-base size and introduces test goals (mutants) that are directly relev…
View article: rTisane: Externalizing conceptual models for data analysis increases engagement with domain knowledge and improves statistical model quality
rTisane: Externalizing conceptual models for data analysis increases engagement with domain knowledge and improves statistical model quality Open
Statistical models should accurately reflect analysts' domain knowledge about variables and their relationships. While recent tools let analysts express these assumptions and use them to produce a resulting statistical model, it remains un…
View article: MuRS: Mutant Ranking and Suppression using Identifier Templates
MuRS: Mutant Ranking and Suppression using Identifier Templates Open
Diff-based mutation testing is a mutation testing approach that only mutates lines affected by a code change under review. Google's mutation testing service integrates diff-based mutation testing into the code review process and continuous…
View article: Generate Compilers from Hardware Models!
Generate Compilers from Hardware Models! Open
Compiler backends should be automatically generated from hardware design language (HDL) models of the hardware they target. Generating compiler components directly from HDL can provide stronger correctness guarantees, ease development effo…
View article: On the Applicability of Language Models to Block-Based Programs
On the Applicability of Language Models to Block-Based Programs Open
Block-based programming languages like Scratch are increasingly popular for programming education and end-user programming. Recent program analyses build on the insight that source code can be modelled using techniques from natural languag…
View article: On the Applicability of Language Models to Block-Based Programs
On the Applicability of Language Models to Block-Based Programs Open
This dataset contains, on the one hand, software and data to reproduce the study, on the other hand, the raw data of the experiments of the evaluation as conducted in the paper. This file shall provide you with a general overview on the da…
View article: <scp>JUGE</scp>: An infrastructure for benchmarking Java unit test generators
<span>JUGE</span>: An infrastructure for benchmarking Java unit test generators Open
Summary Researchers and practitioners have designed and implemented various automated test case generators to support effective software testing. Such generators exist for various languages (e.g., Java, C#, or Python) and various platforms…
View article: Contextualized Programming Language Documentation
Contextualized Programming Language Documentation Open
Learning the syntax and semantics of a new programming language is a challenge. It is common for learners to refer to language documentation many times and in many contexts as they build comfort and understanding. We review existing functi…
View article: How do Java mutation tools differ?
How do Java mutation tools differ? Open
A framework for aiding future Java mutation tool comparisons.
View article: Repairing brain-computer interfaces with fault-based data acquisition
Repairing brain-computer interfaces with fault-based data acquisition Open
Brain-computer interfaces (BCIs) decode recorded neural signals from the brain and/or stimulate the brain with encoded neural signals. BCIs span both hardware and software and have a wide range of applications in restorative medicine, from…
View article: Prioritizing mutants to guide mutation testing
Prioritizing mutants to guide mutation testing Open
Mutation testing offers concrete test goals (mutants) and a rigorous test efficacy criterion, but it is expensive due to vast numbers of mutants, many of which are neither useful nor actionable. Prior work has focused on selecting represen…
View article: Tisane: Authoring Statistical Models via Formal Reasoning from Conceptual and Data Relationships
Tisane: Authoring Statistical Models via Formal Reasoning from Conceptual and Data Relationships Open
Proper statistical modeling incorporates domain theory about how concepts\nrelate and details of how data were measured. However, data analysts currently\nlack tool support for recording and reasoning about domain assumptions, data\ncollec…
View article: Apéritif: Scaffolding Preregistrations to Automatically Generate Analysis Code and Methods Descriptions
Apéritif: Scaffolding Preregistrations to Automatically Generate Analysis Code and Methods Descriptions Open
The HCI community has been advocating preregistration as a practice to improve the credibility of scientific research. However, it remains unclear how HCI researchers preregister studies and what preregistration users perceive as benefits …
View article: Practical Mutation Testing at Scale: A view from Google
Practical Mutation Testing at Scale: A view from Google Open
Mutation analysis assesses a test suite’s adequacy by measuring its ability to detect small artificial faults, systematically seeded into the tested program. Mutation analysis is considered one of the strongest test-adequacy criteria. Muta…
View article: JUGE: An Infrastructure for Benchmarking Java Unit Test Generators
JUGE: An Infrastructure for Benchmarking Java Unit Test Generators Open
Researchers and practitioners have designed and implemented various automated test case generators to support effective software testing. Such generators exist for various languages (e.g., Java, C#, or Python) and for various platforms (e.…
View article: JUGE: JUnit Generation Benchmarking Infrastructure
JUGE: JUnit Generation Benchmarking Infrastructure Open
JUGE is an Infrastructure for Benchmarking Java Unit Test Generators.
View article: Does Mutation Testing Improve Testing Practices?
Does Mutation Testing Improve Testing Practices? Open
Various proxy metrics for test quality have been defined in order to guide developers when writing tests. Code coverage is particularly well established in practice, even though the question of how coverage relates to test quality is a mat…