2 papers
cs.PL2018
Permission Inference for Array Programs
Jérôme Dohrau, Alexander J. Summers, Caterina Urban +2
Information about the memory locations accessed by a program is, for instance, required for program parallelisation and program verification. Existing inference techniques for this…
cs.CC2016
ARRIVAL: A zero-player graph game in NP coNP
Jérôme Dohrau, Bernd Gärtner, Manuel Kohler +2
Suppose that a train is running along a railway network, starting from a designated origin, with the goal of reaching a designated destination. The network, however, is of a specia…