What are the programs and applications used to create 4k hdr/dolbyvision content?

I know that editors on films use Avid or Premier pretty regularly for studio movies. Are there common programs that’s studios use to make their 4k Blu-rays including 2k upscales? I’m assuming there’s many upscale programs and then some very complicated hdr processes things go through... This is more out of curiosity because I couldn’t find much info on this anywhere. Thanks!