Toggle navigation Load unfinished survey Exit and clear survey 0% default Caution: JavaScript execution is disabled in your browser or for this website. You may not be able to answer all questions in this survey. Please, verify your browser parameters. Special Lecture Series - ACM Winter School on Design, Implementation and Verification of Computer Systems There is 1 question in this survey. Next Load unfinished survey Please confirm you want to clear your response? Exit and clear survey ×