Syeda Khairunnesa Samantha

Publication Activity (10 Years)

Years Active: 2014-2023
Publications (10 Years): 13

Top Topics

Vehicular Networks

Provably Correct

Top Venues

Proc. ACM Program. Lang.

Publications

Shibbir Ahmed, Sayem Mohammad Imtiaz, Syeda Khairunnesa Samantha, Breno Dantas Cruz, Hridesh Rajan
Design by Contract for Deep Learning APIs. ESEC/SIGSOFT FSE (2023)
Syeda Khairunnesa Samantha, Shibbir Ahmed, Sayem Mohammad Imtiaz, Hridesh Rajan, Gary T. Leavens
What Kinds of Contracts Do ML APIs Need? CoRR (2023)
Syeda Khairunnesa Samantha, Shibbir Ahmed, Sayem Mohammad Imtiaz, Hridesh Rajan, Gary T. Leavens
What kinds of contracts do ML APIs need? Empir. Softw. Eng. 28 (6) (2023)
Hoan Anh Nguyen, Hung Dang Phan, Syeda Khairunnesa Samantha, Son Nguyen, Aashish Yadavally, Shaohua Wang, Hridesh Rajan, Tien N. Nguyen
A Hybrid Approach for Inference between Behavioral Exception API Documentation and Implementations, and Its Applications. ASE (2022)
G. G. Md. Nawaz Ali, Md. Noor-A.-Rahim, Md. Ashiqur Rahman, Syeda Khairunnesa Samantha, Peter H. J. Chong, Yong Liang Guan
An Efficient Cross-Layer Coding-Assisted Heterogeneous Data Access in Vehicular Networks. ICC (2018)
G. G. Md. Nawaz Ali, Md. Noor-A.-Rahim, Md. Ashiqur Rahman, Syeda Khairunnesa Samantha, Peter Han Joo Chong, Yong Liang Guan
Efficient Real-Time Coding-Assisted Heterogeneous Data Access in Vehicular Networks. IEEE Internet Things J. 5 (5) (2018)
Syeda Khairunnesa Samantha, Hoan Anh Nguyen, Hridesh Rajan
On the significance of contract-based typestate specification. WASPI@ESEC/SIGSOFT FSE (2018)
G. G. Md. Nawaz Ali, Md. Ashiqur Rahman, Syeda Khairunnesa Samantha, Yumeng Gao, Peter H. J. Chong, Yong Liang Guan
Efficient coding based heterogeneous data access in vehicular networks. ICC (2017)
Syeda Khairunnesa Samantha, Hoan Anh Nguyen, Tien N. Nguyen, Hridesh Rajan
Exploiting implicit beliefs to resolve sparse usage problem in usage-based specification mining. Proc. ACM Program. Lang. 1 (OOPSLA) (2017)
G. G. Md. Nawaz Ali, Md. Ashiqur Rahman, Peter Han Joo Chong, Syeda Khairunnesa Samantha
On Efficient Data Dissemination Using Network Coding in Multi-RSU Vehicular Ad Hoc Networks. VTC Spring (2016)
Md. Ashiqur Rahman, G. G. Md. Nawaz Ali, Yumeng Gao, Syeda Khairunnesa Samantha, Peter H. J. Chong
On Accessing Heterogeneous Data Items Using Network Coding in Wireless Broadcast. VTC Fall (2016)
Md. Ashiqur Rahman, G. G. Md. Nawaz Ali, Peter H. J. Chong, Syeda Khairunnesa Samantha, M. F. Muntasir, C. Chen
On Scheduling Real-Time Multi-item Query with Network Coding in Multi-RSU Vehicular Networks. RTCSA (2016)
G. G. Md. Nawaz Ali, Peter Han Joo Chong, Syeda Khairunnesa Samantha, Edward Chan
Efficient data dissemination in cooperative multi-RSU Vehicular Ad Hoc Networks (VANETs). J. Syst. Softw. 117 (2016)
G. G. Md. Nawaz Ali, Md. Abdus Salim Mollah, Syeda Khairunnesa Samantha, Saifuddin Mahmud
An efficient cooperative load balancing approach in RSU-based Vehicular Ad Hoc Networks (VANETs). ICCSCE (2014)