Nadesh Ramanathan

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