Skip to content
DCSL
  • About
  • Press
  • Team
  • Projects
  • Presentations
  • Publications
  • Software & Datasets
  • Testbeds
  • Reading Group
  • Socials
  • A2I2

OSDI 2022 - Orion

CVPR 2022 - SmartAdapt

SenSys 2020 - ApproxDet

ATC 2021 - Sonic



April 2017

Posted on May 30, 2017December 29, 2024 by dcsl in News Posts

 

  1. Saurabh moderates a panel discussion at the CERIAS Annual Security Symposium on the topic of “Security Through Formal Methods and Secure Architecture” (April 18, 2017). [ Video ] [ Opening remarks ]

Post navigation

March 2017
May 2017

Important Links

  • Research Overview
  • Research Milestones
  • DCSL in the Media
  • Ten Things We Know To Be True At DCSL
  • Projects
  • Twitter Feed

Recent News

  • Hyunseung’s work with Samsung on text-based image editing gets accepted to NeurIPS
  • May 2025
  • Hyunseung and Sheetal Showcase ApproxBit at NSF CPS PI Meeting
  • DCSL members organize IEEE North America Student Challenge Competition
  • August 2024
All News Posts

Copyright © 2025 Dependable Computing Systems Laboratory at Purdue University

Purdue University