How many movies have Michael Diner and Mike Kirilenko collaborated on?

They have worked on 4 movies together! Their first movie together was Night at the Museum: Battle of the Smithsonian (2009) while their highest rated movie together was Bad Times at the El Royale (2018). They have not worked together since Snake Eyes: G.I. Joe Origins (2021).