Presenter Full Program · Contributors · Organizations · Search Program · My Agenda · Happening NowMore…Search ProgramMy AgendaHappening NowTage MohammadatKTH Royal Institute of TechnologyPresentationsNetworking ReceptionWork-in-Progress PosterA Proposition for Computing System Design Automaticity and Correctness Potential