Satyaki Das

According to our database, Satyaki Das authored at least 13 papers between 1997 and 2024.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2024

Toward Improved Deep Learning-based Vulnerability Detection.

Adriana Sejfia, Satyaki Das, Saad Shafiq, Nenad Medvidovic

Proceedings of the 46th IEEE/ACM International Conference on Software Engineering, 2024

2009

Design and Synthesis of Programmable Logic Block With Mixed LUT and Macrogate.

Yu Hu, Satyaki Das, Steven Trimberger, Lei He

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2009

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, synthesis and evaluation of heterogeneous FPGA with mixed LUTs and macro-gates.

Yu Hu, Satyaki Das, Steven Trimberger, Lei He

Proceedings of the 2007 International Conference on Computer-Aided Design, 2007

2006

A 90nm low-power FPGA for battery-powered applications.

Tim Tuan, Sean Kao, Arifur Rahman, Satyaki Das, Steven Trimberger

Proceedings of the ACM/SIGDA 14th International Symposium on Field Programmable Gate Arrays, 2006

Determination of Power Gating Granularity for FPGA Fabric.

Arifur Rahman, Satyaki Das, Tim Tuan, Steven Trimberger

Proceedings of the IEEE 2006 Custom Integrated Circuits Conference, 2006

2005

Heterogeneous routing architecture for low-power FPGA fabric.

Arifur Rahman, Satyaki Das, Tim Tuan, Anirban Rahut

Proceedings of the IEEE 2005 Custom Integrated Circuits Conference, 2005

2004

Refining Approximations in Software Predicate Abstraction.

Thomas Ball, Byron Cook, Satyaki Das, Sriram K. Rajamani

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2004

2002

Counter-Example Based Predicate Discovery in Predicate Abstraction.

Satyaki Das, David L. Dill

Proceedings of the Formal Methods in Computer-Aided Design, 4th International Conference, 2002

2001

Successive Approximation of Abstract Transition Relations.

Satyaki Das, David L. Dill

Proceedings of the 16th Annual IEEE Symposium on Logic in Computer Science, 2001

2000

Automatic checking of aggregation abstractions through stateenumeration.

Seungjoon Park, Satyaki Das, David L. Dill

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2000

1999

Experience with Predicate Abstraction.

Satyaki Das, David L. Dill, Seungjoon Park

Proceedings of the Computer Aided Verification, 11th International Conference, 1999

1997

Automatic Checking of Aggregation Abstractions Through State Enumeration.

Seungjoon Park, Satyaki Das, David L. Dill

Proceedings of the Formal Description Techniques and Protocol Specification, 1997