| 2025 | ICSE | Are We Learning the Right Features? A Framework for Evaluating DL-Based Software Vulnerability Detection Solutions. | Satyaki Das, Syeda Tasnim Fabiha, Saad Shafiq, Nenad Medvidovic |
| 2024 | ICSE | Toward Improved Deep Learning-based Vulnerability Detection. | Adriana Sejfia, Satyaki Das, Saad Shafiq, Nenad Medvidovic |
| 2007 | ICCAD | Design, synthesis and evaluation of heterogeneous FPGA with mixed LUTs and macro-gates. | Yu Hu, Satyaki Das, Steven Trimberger, Lei He |
| 2006 | FPGA | A 90nm low-power FPGA for battery-powered applications. | Tim Tuan, Sean Kao, Arifur Rahman, Satyaki Das, Steven Trimberger |
| 2004 | TACAS | Refining Approximations in Software Predicate Abstraction. | Thomas Ball, Byron Cook, Satyaki Das, Sriram K. Rajamani |
| 2002 | FMCAD | Counter-Example Based Predicate Discovery in Predicate Abstraction. | Satyaki Das, David L. Dill |
| 2001 | LICS | Successive Approximation of Abstract Transition Relations. | Satyaki Das, David L. Dill |
| 1999 | CAV | Experience with Predicate Abstraction. | Satyaki Das, David L. Dill, Seungjoon Park |
| 1997 | FORTE | Automatic Checking of Aggregation Abstractions Through State Enumeration. | Seungjoon Park, Satyaki Das, David L. Dill |