Publications
Total number of publications: 44
Conference proceedings
-
Gray-Box Fuzzing via Gradient Descent and Boolean Expression Coverage
Tools and Algorithms for the Construction and Analysis of Systems - 30th International Conference, TACAS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings, Part III, year: 2024
-
Interactive Diagrams for Software Documentation
Year: 2024
-
Make Some Energy: Tangible and Interactive Chemical Reactions
Year: 2024
-
Mapping the Landscape of Data Visualizations in Schools and Educational Resources
Year: 2024
-
Play and Viz: Using Entertainment Games for Exploring Data Visualizations
Proceedings of the 19th International Conference on the Foundations of Digital Games, year: 2024
-
Self-training Language Models for Arithmetic Reasoning
Findings of the 2024 Conference on Empirical Methods in Natural Language Processing, year: 2024
-
Stories with Style: Narrative, Virtual, and Imaginary Spaces of Reading Fiction in Virtual Reality
Year: 2024
-
Symbiotic 10: Lazy Memory Initialization and Compact Symbolic Execution
Tools and Algorithms for the Construction and Analysis of Systems - 30th International Conference, TACAS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings, Part III, year: 2024
-
Think Twice: Measuring the Efficiency of Eliminating Prediction Shortcuts of Question Answering Models
Proceedings of the 18th Conference of the European Chapter of the Association for Computational Linguistics (Volume 1: Long Papers), year: 2024
-
Towards a Taxonomy of In-Game User Interface Visualizations
Proceedings of the 27th International Academic Mindtrek Conference (Mindtrek '24), year: 2024