Demonstration venue · read-only. Every page can be browsed; the buttons that would change it are switched off. Create an account to run TaxoReview on your own data.

Max Jung

dblp:426/2281 · DBLP profile ↗
← Back
2ranked-venue papers
0as first author
2since 2021 · last 2026
0009-0000-4627-5403ORCID · reported

Domains — the database's venue-derived domains; a paper can count in several

Artificial intelligence and machine learning · 1 · 1 since 2021Software engineering, systems software and programming languages · 1 · 1 since 2021

Expertise — from the expertise taxonomy: the topics of the expert's papers under the CCF categories. A weight counts papers with recency: 1 for a paper about the topic, 0.3 when the topic is its context, halved every five years.

Software engineering, system software, and programming languages
1 paper
Programming languages and type systems · 78% Compilers and program optimization · 22%

Topics — the 6 heaviest of 6, each with the papers that count most for it

TopicWeightPapersLastEvidence papers
Compilers and program optimization › compiler construction
compilation strategies
0.912025
Zero-Overhead Lexical Effect Handlers · Proc. ACM Program. Lang. 2025
Programming languages and type systems › computational effects › algebraic effects
effect handlers
0.912025
Zero-Overhead Lexical Effect Handlers · Proc. ACM Program. Lang. 2025
Programming languages and type systems › computational effects
effect systems
0.912025
Zero-Overhead Lexical Effect Handlers · Proc. ACM Program. Lang. 2025
Programming languages and type systems › computational effects › algebraic effects › effect handlers
lexical effect handlers
0.912025
Zero-Overhead Lexical Effect Handlers · Proc. ACM Program. Lang. 2025
Programming languages and type systems
control flow
0.312025
Zero-Overhead Lexical Effect Handlers · Proc. ACM Program. Lang. 2025
Programming languages and type systems › control structures
exception handling
0.312025
Zero-Overhead Lexical Effect Handlers · Proc. ACM Program. Lang. 2025

Methods — techniques the papers use, named apart from their topics

operational semantics · 0.9compiler correctness proof · 0.9
YearPublicationVenuePosition
2026 Interpretable approaches for decorrelated sparse survival regression
abstract
The risk posed by a tumor can be described on two axes: how far the tumor has already grown and spread in the body (staging) and how dangerous/(de-)differentiated the tumor is irrespective of staging due to its pathological features (grading). When we apply survival analysis to cancer data, we implicitly mix staging and grading. Our goal is to develop novel survival analysis approaches to support medical experts in deriving a grading scheme from data. Hence, we need models that are small and sparse enough for medical experts to analyze, take bio-medical constraints into account, are still predictive of survival, and, most importantly, are decorrelated from staging indicators. Learning such models from small data is a novel machine learning problem that we dub decorrelated sparse survival regression (DSSR). In this paper, we provide three algorithms for DSSR, develop further mechanisms for model interpretability, and evaluate all algorithms on both simulated and real-world cancer data. • We define the machine learning problem of decorrelated sparse survival regression (DSSR) with applications in tumor grading. • We provide three novel algorithms to address the problem. • We evaluate the algorithms on both simulated and real-world data and find substantial improvements beyond prior algorithms, especially in terms of interpretability.
Benjamin Paaßen, Mark-Sebastian Bösherz, Max Jung, Danny Jonigk, Nadine T. Gaisa
Neurocomputing3
2025 Zero-Overhead Lexical Effect Handlers
abstract
Exception handlers—and effect handlers more generally—are language mechanisms for structured nonlocal control flow. A recent trend in language-design research has introduced lexically scoped handlers, which address a modularity problem with dynamic scoping. While dynamically scoped handlers allow zero-overhead implementations when no effects are raised, existing implementations of lexically scoped handlers require programs to pay a cost just for having handlers in the lexical context. In this paper, we present a novel approach to implementing lexically scoped handlers of exceptional effects. It satisfies the zero-overhead principle—a property otherwise met by most modern compilers supporting dynamically scoped exception handlers. The key idea is a type-directed translation that emits information indicating how handlers come into the lexical context. This information guides the runtime in walking the stack to locate the right handler. Crucially, no reified lexical identifiers of handlers are needed, and mainline code is not slowed down by the presence of handlers in the program text. We formalize the essential aspects of this compilation scheme and prove it correct. We integrate our approach into the Lexa language, allowing the compilation strategy to be customized for each declared effect based on its expected invocation rate. Empirical results suggest that the new Lexa compiler reduces run-time overhead in low-effect or no-effect scenarios while preserving competitive performance for effect-heavy workloads.
Cong Ma 0009, Zhaoyi Ge, Max Jung, Yizhou Zhang 0001
Proc. ACM Program. Lang.3