Skip to content

Rajarshi Roy

Publication record assembled from the DBLP archive of ranked conferences.

Papers indexed

32

Venues

23

Active years

2004–2026

Best venue rank

A*

Where they publish

Papers

32 indexed papers, newest first.

YearVenueTitleAuthors
2026AAAIDETONATE - A Benchmark for Text-to-Image Alignment and Kernelized Direct Preference Optimization.Renjith Prasad Kaippilly Mana, Abhilekh Borah, Hasnat Md Abdullah, Chathurangi Shyalika, Gurpreet Singh, Ritvik Garimella, Rajarshi Roy, Harshul Raj Surana, Nasrin Imanpour, Suranjana Trivedy, Amit P. Sheth, Amitava Das
2025ACLDPO Kernels: A Semantically-Aware, Kernel-Enhanced, and Divergence-Rich Paradigm for Direct Preference Optimization.Amitava Das, Suranjana Trivedy, Danush Khanna, Yaswanth Narsupalli, Basab Ghosh, Rajarshi Roy, Gurpreet Singh, Vinija Jain, Vasu Sharma, Aishwarya Naresh Reganti, Aman Chadha
2025ICCVByDeWay: Boost Your Multimodal LLM with DEpth Prompting in a Training-Free Way.Rajarshi Roy, Devleena Das, Ankesh Banerjee, Arjya Bhattacharjee, Kousik Dasgupta, Subarna Tripathi
2025ICLRNV-Embed: Improved Techniques for Training LLMs as Generalist Embedding Models.Chankyu Lee, Rajarshi Roy, Mengyao Xu, Jonathan Raiman, Mohammad Shoeybi, Bryan Catanzaro, Wei Ping
2025ICMLNemotron-CORTEXA: Enhancing LLM Agents for Software Engineering Tasks via Improved Localization and Solution Diversity.Atefeh Sohrabizadeh, Jialin Song, Mingjie Liu, Rajarshi Roy, Chankyu Lee, Jonathan Raiman, Bryan Catanzaro
2025IJCAILearning Probabilistic Temporal Logic Specifications for Stochastic Systems.Rajarshi Roy, Yash Pote, Dave Parker, Marta Kwiatkowska
2025STACSThe Complexity of Learning LTL, CTL and ATL Formulas.Benjamin Bordais, Daniel Neider, Rajarshi Roy
2024DACCircuitVAE: Efficient and Scalable Latent Circuit Optimization.Jialin Song, Aidan M. Swope, Robert Kirby, Rajarshi Roy, Saad Godil, Jonathan Raiman, Bryan Catanzaro
2024FMLearning Branching-Time Properties in CTL and ATL via Constraint Solving.Benjamin Bordais, Daniel Neider, Rajarshi Roy
2024VMCAISynthesizing Efficiently Monitorable Formulas in Metric Temporal Logic.Ritam Raha, Rajarshi Roy, Nathanal Fijalkow, Daniel Neider, Guillermo A. Prez
2023AAAILearning Interpretable Temporal Properties from Positive Examples Only.Rajarshi Roy, Jean-Raphal Gaglione, Nasim Baharisangari, Daniel Neider, Zhe Xu, Ufuk Topcu
2023ATVASpecification Sketching for Linear Temporal Logic.Simon Lutz, Daniel Neider, Rajarshi Roy
2023ICCADGraPhSyM: Graph Physical Synthesis Model.Ahmed Agiza, Rajarshi Roy, Teodor-Dumitru Ene, Saad Godil, Sherief Reda, Bryan Catanzaro
2022REExpanding the Horizon of Linear Temporal Logic Inference for Explainability.Daniel Neider, Rajarshi Roy
2022TACASScalable Anytime Algorithms for Learning Fragments of Linear Temporal Logic.Ritam Raha, Rajarshi Roy, Nathanal Fijalkow, Daniel Neider
2021ATVALearning Linear Temporal Properties from Noisy Data: A MaxSAT-Based Approach.Jean-Raphal Gaglione, Daniel Neider, Rajarshi Roy, Ufuk Topcu, Zhe Xu
2021ATVAProperty-Directed Verification and Robustness Certification of Recurrent Neural Networks.Igor Khmelnitsky, Daniel Neider, Rajarshi Roy, Xuan Xie, Benot Barbot, Benedikt Bollig, Alain Finkel, Serge Haddad, Martin Leucker, Lina Ye
2021DACPrefixRL: Optimization of Parallel Prefix Circuits using Deep Reinforcement Learning.Rajarshi Roy, Jonathan Raiman, Neel Kant, Ilyas Elkin, Robert Kirby, Michael Y. Siu, Stuart F. Oberman, Saad Godil, Bryan Catanzaro
2021ICCADOptimizing VLSI Implementation with Reinforcement Learning - ICCAD Special Session Paper.Haoxing Ren, Saad Godil, Brucek Khailany, Robert Kirby, Haiguang Liao, Siddhartha Nath, Jonathan Raiman, Rajarshi Roy
2020IJCAILearning Interpretable Models in the Property Specification Language.Rajarshi Roy, Dana Fisman, Daniel Neider
2018LCNPacket Dropping and Decoding Statistics for Linear Network Coded Broadcast with Feedback.Sovanjyoti Giri, Rajarshi Roy
2017CISSOptical random number generation - harvesting entropy from noise and chaos.Joseph D. Hart, Rajarshi Roy, Thomas E. Murphy
2016GLOBECOMAn Iterative SAGE Based Semi-Blind Channel Estimation for Massive MIMO.Khushboo Mawatwal, Debarati Sen, Rajarshi Roy
2016ICRAUsing Bayesian optimization to guide probing of a flexible environment for simultaneous registration and stiffness mapping.Elif Ayvali, Rangaprasad Arun Srivatsan, Long Wang, Rajarshi Roy, Nabil Simaan, Howie Choset
2016ICRAConcurrent nonparametric estimation of organ geometry and tissue stiffness using continuous adaptive palpation.Preetham Chalasani, Long Wang, Rajarshi Roy, Nabil Simaan, Russell H. Taylor, Marin Kobilarov
2016ICRAInvestigation of effects of dynamics on intrinsic wrench sensing in continuum robots.Rajarshi Roy, Long Wang, Nabil Simaan
2016ICRAComplementary model update: A method for simultaneous registration and stiffness mapping in flexible environments.Rangaprasad Arun Srivatsan, Elif Ayvali, Long Wang, Rajarshi Roy, Nabil Simaan, Howie Choset
2008VTCEnergy-Efficient Broadcasting in Wireless Ad Hoc Networks Using Directional Antennas.Tamaghna Acharya, Rajarshi Roy, Samiran Chattopadhyay
2006ICPADSMulticommodity Flow Based Maximum Lifetime Routing in Wireless Sensor Network.Kumar Padmanabh, Rajarshi Roy
2006MobiquitousBottleneck around Base Station in Wireless Sensor Network and its Solution.Kumar Padmanabh, Rajarshi Roy
2006SECONDoughnut Effect in Wireless Sensor Network and its Solution.Kumar Padmanabh, Rajarshi Roy
2004HiPCDynamic Topology Construction in Bluetooth Scatternets.Rajarshi Roy, Mukesh Kumar, Navin Kumar Sharma, Shamik Sural