Alexander Asp Bock

Publication Activity (10 Years)

Years Active: 2019-2022
Publications (10 Years): 5

Top Topics

Formal Semantics

Parallel Execution

Relational Structures

Top Venues

J. Comput. Lang.

Concurr. Comput. Pract. Exp.

J. Supercomput.

Publications

Alexander Asp Bock, Thomas Bøgholm, Peter Sestoft, Bent Thomsen, Lone Leth Thomsen
On the cost semantics for spreadsheets with sheet-defined functions. J. Comput. Lang. 69 (2022)
Alexander Asp Bock
Parallel spreadsheet evaluation and dynamic cycle detection. Concurr. Comput. Pract. Exp. 33 (13) (2021)
Alexander Asp Bock, Thomas Bøgholm, Peter Sestoft, Bent Thomsen, Lone Leth Thomsen
On the semantics for spreadsheets with sheet-defined functions. J. Comput. Lang. 57 (2020)
Alexander Asp Bock, Florian Biermann
Puncalc: task-based parallelism and speculative reevaluation in spreadsheets. J. Supercomput. 76 (7) (2020)
Alexander Asp Bock
Static Partitioning of Spreadsheets for Parallel Execution. PADL (2019)