Satyaki Das

Publication Activity (10 Years)

Years Active: 1997-2024
Publications (10 Years): 2

Top Topics

Weakly Supervised

Unsupervised Feature Learning

Top Venues

Publications

Adriana Sejfia, Satyaki Das, Saad Shafiq, Nenad Medvidovic
Toward Improved Deep Learning-based Vulnerability Detection. CoRR (2024)
Adriana Sejfia, Satyaki Das, Saad Shafiq, Nenad Medvidovic
Toward Improved Deep Learning-based Vulnerability Detection. ICSE (2024)
Yu Hu, Satyaki Das, Steven Trimberger, Lei He
Design and Synthesis of Programmable Logic Block With Mixed LUT and Macrogate. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 28 (4) (2009)
Tim Tuan, Arifur Rahman, Satyaki Das, Steven Trimberger, Sean Kao
A 90-nm Low-Power FPGA for Battery-Powered Applications. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 26 (2) (2007)
Yu Hu, Satyaki Das, Steven Trimberger, Lei He
Design, synthesis and evaluation of heterogeneous FPGA with mixed LUTs and macro-gates. ICCAD (2007)
Arifur Rahman, Satyaki Das, Tim Tuan, Steven Trimberger
Determination of Power Gating Granularity for FPGA Fabric. CICC (2006)
Tim Tuan, Sean Kao, Arifur Rahman, Satyaki Das, Steven Trimberger
A 90nm low-power FPGA for battery-powered applications. FPGA (2006)
Arifur Rahman, Satyaki Das, Tim Tuan, Anirban Rahut
Heterogeneous routing architecture for low-power FPGA fabric. CICC (2005)
Thomas Ball, Byron Cook, Satyaki Das, Sriram K. Rajamani
Refining Approximations in Software Predicate Abstraction. TACAS (2004)
Satyaki Das, David L. Dill
Counter-Example Based Predicate Discovery in Predicate Abstraction. FMCAD (2002)
Satyaki Das, David L. Dill
Successive Approximation of Abstract Transition Relations. LICS (2001)
Seungjoon Park, Satyaki Das, David L. Dill
Automatic checking of aggregation abstractions through stateenumeration. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 19 (10) (2000)
Satyaki Das, David L. Dill, Seungjoon Park
Experience with Predicate Abstraction. CAV (1999)
Seungjoon Park, Satyaki Das, David L. Dill
Automatic Checking of Aggregation Abstractions Through State Enumeration. FORTE (1997)