Satyaki Das

16 papers A* 4A 3B 1C 1Journal 5Unranked 2
YearRankTypeTitle / Venue / Authors
2025 A* conf
Are We Learning the Right Features? A Framework for Evaluating DL-Based Software Vulnerability Detection Solutions.
ICSE
Satyaki Das, Syeda Tasnim Fabiha, Saad Shafiq, Nenad Medvidovic
2025 J jnl
Are We Learning the Right Features? A Framework for Evaluating DL-Based Software Vulnerability Detection Solutions.
CoRR
Satyaki Das, Syeda Tasnim Fabiha, Saad Shafiq, Nenad Medvidovic
2024 A* conf
Toward Improved Deep Learning-based Vulnerability Detection.
ICSE
Adriana Sejfia, Satyaki Das, Saad Shafiq, Nenad Medvidovic
2024 J jnl
Toward Improved Deep Learning-based Vulnerability Detection.
CoRR
Adriana Sejfia, Satyaki Das, Saad Shafiq, Nenad Medvidovic
2009 J jnl
Design and Synthesis of Programmable Logic Block With Mixed LUT and Macrogate.
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.
Yu Hu, Satyaki Das, Steven Trimberger, Lei He
2007 J jnl
A 90-nm Low-Power FPGA for Battery-Powered Applications.
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.
Tim Tuan, Arifur Rahman, Satyaki Das, Steven Trimberger, Sean Kao
2007 A conf
Design, synthesis and evaluation of heterogeneous FPGA with mixed LUTs and macro-gates.
ICCAD
Yu Hu, Satyaki Das, Steven Trimberger, Lei He
2006 A conf
A 90nm low-power FPGA for battery-powered applications.
FPGA
Tim Tuan, Sean Kao, Arifur Rahman, Satyaki Das, Steven Trimberger
2006 — conf
Determination of Power Gating Granularity for FPGA Fabric.
CICC
Arifur Rahman, Satyaki Das, Tim Tuan, Steven Trimberger
2005 — conf
Heterogeneous routing architecture for low-power FPGA fabric.
CICC
Arifur Rahman, Satyaki Das, Tim Tuan, Anirban Rahut
2004 A conf
Refining Approximations in Software Predicate Abstraction.
TACAS
Thomas Ball, Byron Cook, Satyaki Das, Sriram K. Rajamani
2002 B conf
Counter-Example Based Predicate Discovery in Predicate Abstraction.
FMCAD
Satyaki Das, David L. Dill
2001 A* conf
Successive Approximation of Abstract Transition Relations.
LICS
Satyaki Das, David L. Dill
2000 J jnl
Automatic checking of aggregation abstractions through stateenumeration.
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.
Seungjoon Park, Satyaki Das, David L. Dill
1999 A* conf
Experience with Predicate Abstraction.
CAV
Satyaki Das, David L. Dill, Seungjoon Park
1997 C conf
Automatic Checking of Aggregation Abstractions Through State Enumeration.
FORTE
Seungjoon Park, Satyaki Das, David L. Dill