Algorithmic derandomization via complexity theoryEfficient self-testing/self-correction of linear recurrencesOn membership comparable setsResolution of Hartmanis' conjecture for NL-hard sparse sets