Search · four archives
Search · four archives
13 papers · ranked by Valyu relevance
Devamardeep Hayatpur, Daniel Wigdor, Haijun Xia
Program visualizations help to form useful mental models of how programs work, and to reason and debug code. But these visualizations exist at a fixed level of abstraction, e.g., line-by-line. In contrast, programmers switch between many levels of abstraction when inspecting program behavior. Based on results from a…
Raji Tajudeen, Mosoka Papa Fallah, John Ojo, Tamrat Shaweno + 11 more
The DHIS2 system enabled real-time tracking of vaccine distribution and administration to facilitate data-driven decisions. Experts from the Africa Centres for Disease Control and Prevention (Africa CDC) Monitoring and Evaluation (M&E) and Management Information System (MIS) teams, with support from the Health…
John Whitington, Tom Ridge
In this position paper, we present a prototype of a visualizer for functional programs. Such programs, whose evaluation model is the reduction of an expression to a value through repeated application of rewriting rules, and which tend to make little or no use of mutable state, are amenable to visualization in the same…
Niklas Rentz, Reinhard von Hanxleden
—For most service architectures, such as OSGi and Spring, architecture-specific tools allow software developers and architects to visualize otherwise obscure configurations hidden in the project files. Such visualization tools are often used for documentation purposes and help to better understand programs than with…
Leixian Shen, Enya Shen, Zhiwei Tai, Yihao Xu + 2 more
'Jianmin Wang'] General visualization recommendation systems typically make design decisions for the dataset automatically. However, most of them can only prune meaningless visualizations but fail to recommend targeted results. This paper contributes TaskVis, a task-oriented visualization recommendation system that…
Phyllipe Lima, Jorge Melegati, Everaldo Gomes, Nathalya Stefhany Pereira + 2 more
'Nathalya Stefhany Pereira' 'Eduardo Guerra' 'Paulo Meirelles'] Context: Code annotations is a widely used feature in Java systems to configure custom metadata on programming elements. Their increasing presence creates the need for approaches to assess and comprehend their usage and distribution. In this context…
Kyra Dalbo, Yumna Ahmed, HeuiChan Lim
—The complexity of modern Just-In-Time (JIT) compiler optimization poses significant challenges for developers seeking to understand and debug intermediate representation (IR) behavior. This work introduces JITScope, an interactive visualization framework that illustrates how IR nodes and instructions evolve across…
Tim Kräuter, Harald König, Adrian Rutle, Yngve Lamo
—Debugging is an essential part of software maintenance and evolution since it allows software developers to analyze program execution step by step. Understanding a program is required to fix potential flaws, alleviate bottlenecks, and implement new desired features. Thus, software developers spend a large percentage…
Graham Alvare, Abiel Roche-Lima, Brian Fristensky
Background Biologists are faced with an ever-changing array of complex software tools with steep learning curves, often run on High Performance Computing platforms. To resolve the tradeoff between analytical sophistication and usability, we have designed BioLegato, a programmable graphical user interface (GUI) for…
Yi Chen, Caixia Wu, Qinghui Zhang, Di Wu
With the availability of big data for food safety, more and more advanced data analysis methods are being applied to risk analysis and prewarning (RAPW). Visual analytics, which has emerged in recent years, integrates human and machine intelligence into the data analysis process in a visually interactive manner…
Pavel Kodytek, Alexandra Bodzas, Jan Zidek, Govind Vashishtha
Continual technological advances associated with the recent automation revolution have tremendously increased the impact of computer technology in the industry. Software development and testing are time-consuming processes, and the current market faces a lack of specialized experts. Introducing automation to this field…
George Margetis, Katerina Valakou, Stavroula Ntoa, Despoina Gavgiotaki + 5 more
'Despoina Gavgiotaki' 'Constantine Stephanidis' 'Lisha Peng' 'Oleksii Karpenko' 'Hongyu Sun' 'Zhichao Cai'] Zero-defect manufacturing is one of the most promising strategies to mitigate failures within manufacturing processes, allowing industries to increase product quality efficiently and effectively. One of the…
Sophie Lathouwers, Yujie Liu, Vadim Zaytsev
In software engineering, models are used for many different things. In this paper, we focus on program verification, where we use models to reason about the correctness of systems. There are many different types of program verification techniques which provide different correctness guarantees. We investigate the domain…