I discovered Autocode from the following passage of [0]:

> Alick Glennie (UK)

> In their contribution "Programming for high-speed digital calculating machines" (1953), the British computer scientists J. M. Bennett and Alick E. Glennie mention the name Autocode. According to Christopher S. Strachey, this compiler was used from September 1952 with the Manchester Mark 1 computer.

> Hopper published her article before Glennie. Nevertheless, Knuth considers Glennie to be the creator of the first true compiler which was actually implemented and used (see Donald E. Knuth; Luis Trabb Pardo: The early development of programming languages, in: Nicholas Constantine Metropolis; Jack Howlett; Gian-Carlo Rota (editors): A history of computing in the twentieth century, Academic Press, New York, London etc. 1980, pages 218 ff.).

[0] : https://cacm.acm.org/blogs/blog-cacm/268001-did-grace-hopper...