Automatic Checking of Aggregation Abstractions Through State Enumeration. - Seungjoon Park; Satyaki Das; David L. Dill (FORTE, 1997)

Experience with Predicate Abstraction. - Satyaki Das; David L. Dill; Seungjoon Park (CAV, 1999)

Automatic checking of aggregation abstractions through stateenumeration. - Seungjoon Park; Satyaki Das; David L. Dill (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2000)

Successive Approximation of Abstract Transition Relations. - Satyaki Das; David L. Dill (LICS, 2001)

Counter-Example Based Predicate Discovery in Predicate Abstraction. - Satyaki Das; David L. Dill (FMCAD, 2002)

Refining Approximations in Software Predicate Abstraction. - Thomas Ball 001; Byron Cook; Satyaki Das; Sriram K. Rajamani (TACAS, 2004)

Heterogeneous routing architecture for low-power FPGA fabric. - Arifur Rahman; Satyaki Das; Tim Tuan; Anirban Rahut (CICC, 2005)

Determination of Power Gating Granularity for FPGA Fabric. - Arifur Rahman; Satyaki Das; Tim Tuan; Steven Trimberger (CICC, 2006)

A 90nm low-power FPGA for battery-powered applications. - Tim Tuan; Sean Kao; Arifur Rahman; Satyaki Das; Steven Trimberger (FPGA, 2006)

Design, synthesis and evaluation of heterogeneous FPGA with mixed LUTs and macro-gates. - Yu Hu 002; Satyaki Das; Steven Trimberger; Lei He 001 (ICCAD, 2007)

A 90-nm Low-Power FPGA for Battery-Powered Applications. - Tim Tuan; Arifur Rahman; Satyaki Das; Steven Trimberger; Sean Kao (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2007)

Design and Synthesis of Programmable Logic Block With Mixed LUT and Macrogate. - Yu Hu 002; Satyaki Das; Steven Trimberger; Lei He 001 (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2009)

Toward Improved Deep Learning-based Vulnerability Detection. - Adriana Sejfia; Satyaki Das; Saad Shafiq; Nenad Medvidovic (ICSE, 2024)

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 (ICSE, 2025)

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 (Zenodo, 2025)

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 (Zenodo, 2025)