Publications
- Yuxuan Zhang, Tanvir Ahmed Khan, Gilles Pokam, Baris Kasikci, Heiner Litz, Joseph Devietti
- Rajeev Alur, Joseph Devietti, Omar S. Navarro Leija, Nimit Singhania
- Yuxuan Zhang, Tanvir Ahmed Khan, Gilles Pokam, Baris Kasikci, Heiner Litz, Joseph Devietti
- Yuan-Hsi Chou, Christopher Ng, Shaylin Cattell, Jeremy Intan, Matthew D. Sinclair, Joseph Devietti, Timothy G. Rogers, Tor M. Aamodt
- Omar S. Navarro Leija, Kelly Shiptoski, Ryan G. Scott, Baojun Wang, Nicholas Renner, Ryan R. Newton, Joseph Devietti
- Timothy Merrifield, Sepideh Roghanchi, Joseph Devietti, Jakob Eriksson
- Yuanfeng Peng, Vinod Grover, Joseph Devietti
- Rajeev Alur, Joseph Devietti, Nimit Singhania
- Ariel Eizenberg, Yuanfeng Peng, Toma Pigli, William Mansky, Joseph Devietti
- William Mansky, Yuanfeng Peng, Steve Zdancewic, Joseph Devietti
- Ryan G. Scott, Omar S. Navarro Leija, Joseph Devietti, Ryan R. Newton
- Rajeev Alur, Joseph Devietti, Omar S. Navarro Leija, Nimit Singhania
- Christian DeLozier, Ariel Eizenberg, Shiliang Hu, Gilles Pokam, Joseph Devietti
- Ariel Eizenberg, Shiliang Hu, Gilles Pokam, Joseph Devietti
- Liang Luo, Akshitha Sriraman, Brooke Fugate, Shiliang Hu, Gilles Pokam, Chris J. Newburn, Joseph Devietti
- Yash Vardhan Pant, Houssam Abbas, Kartik Mohta, Truong X. Nghiem, Joseph Devietti, Rahul Mangharam
- Timothy Merrifield, Joseph Devietti, Jakob Eriksson
- Hadi Jooybar, Wilson W. L. Fung, Mike O'Connor, Joseph Devietti, Tor M. Aamodt
- Joseph Devietti, Jacob Nelson, Tom Bergan, Luis Ceze, Dan Grossman
- Joseph Devietti, Brandon Lucia, Luis Ceze, Mark Oskin
- Brandon Lucia, Joseph Devietti, Luis Ceze, Karin Strauss
- Joseph Devietti, Brandon Lucia, Luis Ceze, Mark Oskin
- Brandon Lucia, Joseph Devietti, Karin Strauss, Luis Ceze