JS et IS ne sont pas deux appellations successives — c'est la même désignation dans deux langues

« JS » (Joseph Stalin) est simplement la transcription anglo-saxonne, et « IS » (Iossif Staline) la transcription française/russe du même sigle cyrillique ??. Ce n'est pas un changement lié à la déstalinisation : les ouvrages anglophones ont toujours dit « JS-2 », « JS-3 », etc., et les ouvrages francophones/russes « IS-2 », « IS-3 ». Les deux formes ont coexisté dès l'origine.

 Ce qui a réellement changé après la mort de Staline, c'est l'abandon pur et simple du nom « Staline » sur les nouveaux chars

Là, la déstalinisation a eu un effet concret : le successeur de la lignée, prévu pour entrer en série sous le nom IS-8 (objet 730) à l'été 1953, a vu son nom changer plusieurs fois dans la foulée de la mort de Staline (mars 1953) : brièvement IS-9, puis IS-10, avant qu'une résolution du Conseil des ministres de l'URSS, le 28 novembre 1953, ne tranche définitivement en faveur du nom T-10 — décision explicitement liée au processus de déstalinisation. D'autres sources confirment que les lettres JS/IS, signifiant Joseph Staline, disparaissent avec la mort de celui-ci, remplacées par le préfixe neutre « T- » (Tank). T-10 (char) 

Donc en resumé :

• Non, « JS » n'a pas été « repris en IS » après la destalinisation — les deux sigles désignaient déjà la même chose avant.
• Oui, en revanche, le nom de Staline lui-même a été effacé de la désignation des chars lourds soviétiques après 1953 : le projet qui aurait dû s'appeler IS-8 est devenu T-10, puis T-10A, T-10B, T-10M au fil de ses évolutions jusqu'en 1966.

L'IS-7, lui, avait déjà été abandonné en 1949, avant même cette période — il n'a donc jamais été concerné par ce renommage.