EDBT 2026 Demo / reviewers in the wild / expert
Mark Korsloot
dblp:62/4452
· DBLP profile ↗
4ranked-venue papers
3as first author
0since 2021 · last 1994
—ORCID · none
Domains — the database's venue-derived domains; a paper can count in several
Software engineering, systems software and programming languages · 3 · 2 first-authorTheory of computation · 2 · 2 first-authorSystems, architecture and hardware · 1 · 1 first-author
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 · 50% Compilers and program optimization · 25% Concurrent programming · 25% |
Topics — the 3 heaviest of 4, each with the papers that count most for it
| Topic | Weight | Papers | Last | Evidence papers |
|---|---|---|---|---|
Compilers and program optimization
code generation |
0.0 | 1 | 1994 | Determinacy Testing for Nondeterminate Logic Programming Languages · ACM Trans. Program. Lang. Syst. 1994 |
Programming languages and type systems › logic programming
concurrent logic programming |
0.0 | 1 | 1994 | Determinacy Testing for Nondeterminate Logic Programming Languages · ACM Trans. Program. Lang. Syst. 1994 |
Programming languages and type systems
logic programming |
0.0 | 1 | 1994 | Determinacy Testing for Nondeterminate Logic Programming Languages · ACM Trans. Program. Lang. Syst. 1994 |
Methods — techniques the papers use, named apart from their topics
decision graph construction · 0.0correctness proof · 0.0
| Year | Publication | Venue | Position |
|---|---|---|---|
| 1994 | Determinacy Testing for Nondeterminate Logic Programming LanguagesabstractThis paper describes an algorithm for the code generation of determinacy testing for nondeterminate flat concurrent logic programming languages. Languages such as Andorra and Pandora require that procedure invocations suspend if there is more than one candidate clause potentially satisfying the goal. The algorithm described has been developed specifically for a variant of flat Pandora based on FGHC, although the concepts are general. We have extended Kliger and Shapiro's decision-graph construction algorithm to compile “don't-know” procedures that must suspend for nondeterminate goal invocation. The determinacy test is compiled into a decision graph quite different from those of committed-choice procedures: They are more similar to decision trees optimized by code sharing. We present both empirical data of compilation results (code size and graph characteristics), and a correctness proof for our code-generation algorithm. Evan Tick, Mark Korsloot |
ACM Trans. Program. Lang. Syst. | 2 |
| 1991 | Compilation Techniques for Nondeterminate Flat Concurrent Logic Programming Languages
Mark Korsloot, Evan Tick |
ICLP | 1 |
| 1990 | Sequential Architecture Models for Prolog: A Performance Comparison
Mark Korsloot, Johannes M. Mulder |
ICLP | 1 |
| 1990 | Accelaration mechanisms for computer performance enhancements
Mark Korsloot, A. J. van de Goor |
Microprocessing and Microprogramming | 1 |