I originally created this as a short to-do list of study topics for becoming a software engineer, but it grew to the large list you see today. After going through this study plan, I got hired as a ...

OSTRICH is an automata-based SMT solver for string constraints. The theory behind OSTRICH is explained in the slides of our POPL'24 tutorial. -portfolio=strings Use a portfolio of different string ...

The Bracero program refers to agreements between the US and Mexican governments that allowed Mexican workers to fill seasonal jobs on US farms. Both the 1917-21 and the 1942-64 Bracero programs that ...

What did Libyan officials think they would get from the 2003 deal? Why did they abandon the nuclear weapons program and what were their reactions to the outcome of the deal prior to the 2011 uprising?