Nadesh Ramanathan

Publication Activity (10 Years)

Years Active: 2014-2022
Publications (10 Years): 10

Top Topics

High Level Synthesis

Concurrency Control

Software Implementation

Top Venues

Proc. ACM Program. Lang.

Publications

Nadesh Ramanathan, George A. Constantinides, John Wickerson
A Case for Precise, Fine-Grained Pointer Synthesis in High-Level Synthesis. ACM Trans. Design Autom. Electr. Syst. 27 (4) (2022)
Zewei Du, Yann Herklotz, Nadesh Ramanathan, John Wickerson
Fuzzing High-Level Synthesis Tools. FPGA (2021)
Yann Herklotz, Zewei Du, Nadesh Ramanathan, John Wickerson
An Empirical Study of the Reliability of High-Level Synthesis Tools. FCCM (2021)
Nadesh Ramanathan, George A. Constantinides, John Wickerson
Global Analysis of C Concurrency in High-Level Synthesis. IEEE Trans. Very Large Scale Integr. Syst. 29 (1) (2021)
Yann Herklotz, James D. Pollard, Nadesh Ramanathan, John Wickerson
Formal verification of high-level synthesis. Proc. ACM Program. Lang. 5 (OOPSLA) (2021)
Nadesh Ramanathan, George A. Constantinides, John Wickerson
Precise Pointer Analysis in High-Level Synthesis. FPL (2020)
Nadesh Ramanathan, George A. Constantinides, John Wickerson
Concurrency-Aware Thread Scheduling for High-Level Synthesis. FCCM (2018)
Nadesh Ramanathan, John Wickerson, George A. Constantinides
Scheduling Weakly Consistent C Concurrency for Reconfigurable Hardware. IEEE Trans. Computers 67 (7) (2018)
Nadesh Ramanathan, Shane T. Fleming, John Wickerson, George A. Constantinides
Hardware Synthesis of Weakly Consistent C Concurrency. FPGA (2017)
Nadesh Ramanathan, John Wickerson, Felix Winterstein, George A. Constantinides
A Case for Work-stealing on FPGAs with OpenCL Atomics. FPGA (2016)
Pilsoon Choi, Jason H. Gao, Nadesh Ramanathan, Mengda Mao, Shipeng Xu, Chirn Chye Boon, Suhaib A. Fahmy, Li-Shiuan Peh
A case for leveraging 802.11p for direct phone-to-phone communications. ISLPED (2014)