Want to ace technical interviews? Or, are you confused about what makes technical interviews different from "regular interviews?"  SiTS is here to help!

Over the course of the workshop, we'll be walking you through a step-by-step breakdown of technical interviews, and then practicing some in a friendly and supportive environment.  By the end, you'll be equipped with skills and resources that will help you succeed, and put you well on your way to being an A+ candidate! 

Recent developments on SMT solvers have become crucial to make program analysis techniques effective in practice. Despite their success, scalability is still an issue when applying these methods to large fragments of code. In order to address this problem, we propose a template-based (also known as constraint-based) approach using Max-SMT solvers. In particular, we present an automated compositional program verification technique for safety properties based on conditional inductive invariants.

HACKUIOWA is a 2 day non-stop hackathon, and it will be held at University of Iowa in the heart of downtown Iowa City, USA. The event is open to all university students that have a passion for creating things with technology!

Software engineers have long been denied the label of “professional.” As a matter of law, this designation carries more than a vanity status; it bestows a special presumption of judicial deference to the professional’s judgment against complaints of malpractice. This issue has returned to the fore because the software industry has renewed its efforts to secure recognition as a “profession,” even as it has come under increasing scrutiny for the real-world harms it perpetuates.