Demo Data from SIGIR 2026 / reviewers in the wild / expert
J. L. McNeley
dblp:180/6335
· DBLP profile ↗
2ranked-venue papers
0as first author
0since 2021 · last 1964
—ORCID · none
Domains — the database's venue-derived domains; a paper can count in several
Systems, architecture and hardware · 2
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.
| Computer architecture, parallel and distributed computing, and storage systems
2 papers |
Performance modeling and evaluation · 62% Parallel and multicore computing · 38% | |
| Software engineering, system software, and programming languages
1 paper |
Programming languages and type systems · 100% |
Topics — the 4 heaviest of 4, each with the papers that count most for it
| Topic | Weight | Papers | Last | Evidence papers |
|---|---|---|---|---|
Programming languages and type systems
language design |
0.0 | 1 | 1964 | A Formal Definition of SOL · IEEE Trans. Electron. Comput. 1964 |
Parallel and multicore computing
parallel programming models |
0.0 | 1 | 1964 | SOLߞA Symbolic Language for General-Purpose Systems Simulation · IEEE Trans. Electron. Comput. 1964 |
Performance modeling and evaluation › simulation
simulation language |
0.0 | 1 | 1964 | SOLߞA Symbolic Language for General-Purpose Systems Simulation · IEEE Trans. Electron. Comput. 1964 |
Performance modeling and evaluation
simulation |
0.0 | 2 | 1964 | A Formal Definition of SOL · IEEE Trans. Electron. Comput. 1964 SOLߞA Symbolic Language for General-Purpose Systems Simulation · IEEE Trans. Electron. Comput. 1964 |
Methods — techniques the papers use, named apart from their topics
formal semantics · 0.0discrete-event simulation · 0.0
| Year | Publication | Venue | Position |
|---|---|---|---|
| 1964 | SOLߞA Symbolic Language for General-Purpose Systems SimulationabstractThis paper illustrates the use of SOL, a general-purpose algorithmic language useful for describing and simulating complex systems. Such a system is described as a number of individual processes which simultaneously enact a program very much like a computer program. (Some features of the SOL language are directly applicable to programming languages for parallel computers, as well as for simulation.) Once a system has been described in the language, the program can be translated by the SOL compiler into an interpretive code, and the execution of this code produces statistical information about the model. A detailed example of a SOL model for a multiple on-line console system is exhibited, indicating the notational simplicity and intuitive nature of the language. Donald E. Knuth, J. L. McNeley |
IEEE Trans. Electron. Comput. | 2 |
| 1964 | A Formal Definition of SOLabstractThis paper gives a formal definition of SOL, a general-purpose algorithmic language useful for describing and simulating complex systems. SOL is described using meta-linguistic formulas as used in the definition of ALGOL 60. The principal differences between SOL and problem-oriented languages such as ALGOL or FORTRAN is that SOL includes capabilities for expressing parallel computation, convenient notations for embedding random quantities within arithmetic expressions and automatic means for gathering statistics about the elements involved. SOL differs from other simulation languages such as SIMSCRIPT primarily in simplicity of use and in readability since it is capable of describing models without including computer-oriented characteristics. Donald E. Knuth, J. L. McNeley |
IEEE Trans. Electron. Comput. | 2 |