Satyaki Das - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 14 from 14

2025

Are We Learning the Right Features? A Framework for Evaluating DL-Based Software Vulnerability Detection SolutionsSatyaki Das, Syeda Tasnim Fabiha, Saad Shafiq, Nenad Medvidovic. ICSE 2025: 2893-2904 [doi]

2024

Toward Improved Deep Learning-based Vulnerability DetectionAdriana Sejfia, Satyaki Das, Saad Shafiq, Nenad Medvidovic. ICSE 2024: [doi]

2009

Design and Synthesis of Programmable Logic Block With Mixed LUT and MacrogateYu Hu, Satyaki Das, Steven Trimberger, Lei He. tcad, 28(4):591-595, 2009. [doi]

2007

Design, synthesis and evaluation of heterogeneous FPGA with mixed LUTs and macro-gatesYu Hu, Satyaki Das, Steven Trimberger, Lei He. iccad 2007: 188-193 [doi]

A 90-nm Low-Power FPGA for Battery-Powered ApplicationsTim Tuan, A. Rahman, Satyaki Das, Steven Trimberger, Sean Kao. tcad, 26(2):296-300, 2007. [doi]

2006

Determination of Power Gating Granularity for FPGA FabricArifur Rahman, Satyaki Das, Tim Tuan, Steven Trimberger. cicc 2006: 9-12 [doi]

A 90nm low-power FPGA for battery-powered applicationsTim Tuan, Sean Kao, Ahmad Arif Rahman, Satyaki Das, Steven Trimberger. fpga 2006: 3-11 [doi]

2005

Heterogeneous routing architecture for low-power FPGA fabricArifur Rahman, Satyaki Das, Tim Tuan, Anirban Rahut. cicc 2005: 183-186 [doi]

2004

Refining Approximations in Software Predicate AbstractionThomas Ball, Byron Cook, Satyaki Das, Sriram K. Rajamani. TACAS 2004: 388-403 [doi]

2002

Counter-Example Based Predicate Discovery in Predicate AbstractionSatyaki Das, David L. Dill. FMCAD 2002: 19-32 [doi]

2001

Successive Approximation of Abstract Transition RelationsSatyaki Das, David L. Dill. lics 2001: 51-60

2000

Automatic checking of aggregation abstractions through stateenumerationSeungjoon Park, Satyaki Das, David L. Dill. tcad, 19(10):1202-1210, 2000. [doi]

1999

Experience with Predicate AbstractionSatyaki Das, David L. Dill, Seungjoon Park. cav 1999: 160-171 [doi]

1997

Automatic Checking of Aggregation Abstractions Through State EnumerationSeungjoon Park, Satyaki Das, David L. Dill. forte 1998: 207-222

Sign in or sign up to see more results.

runs on WebDSL