Sreeranga P. Rajan

Publication Activity (10 Years)

Years Active: 1992-2022
Publications (10 Years): 5

Top Topics

Entity Extraction

Gaussian Processes

Symbolic Execution

Multitask Learning

Top Venues

J. Biomed. Informatics

Publications

Sankaran Narayanan, Kaivalya Mannam, Pradeep Achan, Maneesha V. Ramesh, P. Venkat Rangan, Sreeranga P. Rajan
A contextual multi-task neural approach to medication and adverse events identification from clinical text. J. Biomed. Informatics 125 (2022)
Sankaran Narayanan, Pradeep Achan, P. Venkat Rangan, Sreeranga P. Rajan
Unified concept and assertion detection using contextual multi-task learning in a clinical decision support system. J. Biomed. Informatics 122 (2021)
Sankaran Narayanan, Kaivalya Mannam, Sreeranga P. Rajan, P. Venkat Rangan
Evaluation of Transfer Learning for Adverse Drug Event (ADE) and Medication Entity Extraction. ClinicalNLP@EMNLP (2020)
Sankaran Narayanan, Fensa Merry Saj, Kamal Bijlani, Sreeranga P. Rajan
Automatic Assessment Item Bank Calibration for Learning Gap Identification. ICACCI (2018)
Hiroaki Yoshida, Guodong Li, Takuki Kamiya, Indradeep Ghosh, Sreeranga P. Rajan, Susumu Tokumoto, Kazuki Munakata, Tadahiro Uehara
KLOVER: Automatic Test Generation for C and C Programs, Using Symbolic Execution. IEEE Softw. 34 (5) (2017)
Shiju Sathyadevan, Nandini Muraleedharan, Sreeranga P. Rajan
Enhancement of Data Level Security in MongoDB. ISI (2) (2014)
Alvaro A. Cárdenas, Pratyusa K. Manadhata, Sreeranga P. Rajan
Big Data Analytics for Security. IEEE Secur. Priv. 11 (6) (2013)
Guodong Li, Peng Li, Geoffrey Sawaya, Ganesh Gopalakrishnan, Indradeep Ghosh, Sreeranga P. Rajan
GKLEE: concolic verification and test generation for GPUs. PPOPP (2012)
Guodong Li, Indradeep Ghosh, Sreeranga P. Rajan
KLOVER: A Symbolic Execution and Automatic Test Generation Tool for C++ Programs. CAV (2011)
Hideo Tanida, Masahiro Fujita, Mukul R. Prasad, Sreeranga P. Rajan
Client-tier Validation of Dynamic Web Applications. ICSOFT (2) (2011)
Oksana Tkachuk, Sreeranga P. Rajan
Automated Driver Generation for Analysis of Web Applications. FASE (2011)
Hideo Tanida, Mukul R. Prasad, Sreeranga P. Rajan, Masahiro Fujita
Automated System Testing of Dynamic Web Applications. ICSOFT (Selected Papers) (2011)
Sreeranga P. Rajan, Oksana Tkachuk, Mukul R. Prasad, Indradeep Ghosh, Nitin Goel, Tadahiro Uehara
WEAVE: WEb Applications Validation Environment. ICSE Companion (2009)
Xin Li, Daryl Shannon, Indradeep Ghosh, Mizuhito Ogawa, Sreeranga P. Rajan, Sarfraz Khurshid
Context-Sensitive Relevancy Analysis for Efficient Symbolic Execution. APLAS (2008)
Oksana Tkachuk, Sreeranga P. Rajan
Combining environment generation and slicing for modular software model checking. ASE (2007)
Oksana Tkachuk, Sreeranga P. Rajan
Application of automated environment generation to commercial software. ISSTA (2006)
Graham Hughes, Sreeranga P. Rajan, Tom Sidle, Keith D. Swenson
Error Detection in Concurrent Java Programs. Electron. Notes Theor. Comput. Sci. 144 (3) (2006)
David W. Currie, Xiushan Feng, Masahiro Fujita, Alan J. Hu, Mark Kwan, Sreeranga P. Rajan
Embedded Software Verification Using Symbolic Execution and Uninterpreted Functions. Int. J. Parallel Program. 34 (1) (2006)
Sreeranga P. Rajan
Editorial. ACM Trans. Storage 1 (1) (2005)
Praveen K. Murthy, Sreeranga P. Rajan, Koichiro Takayama
High level hardware validation using hierarchical message sequence charts. HLDVT (2004)
Edmund M. Clarke, Masahiro Fujita, Sreeranga P. Rajan, Thomas W. Reps, Subash Shankar, Tim Teitelbaum
Program slicing for VHDL. Int. J. Softw. Tools Technol. Transf. 4 (1) (2002)
Subir K. Roy, S. Ramesh, Supratik Chakraborty, Tsuneo Nakata, Sreeranga P. Rajan
Functional Verification of System on Chips-Practices, Issues and Challenges (Tutorial Abstract). VLSI Design (2002)
Subramanian Rajagopalan, Sreeranga P. Rajan, Sharad Malik, Sandro Rigo, Guido Araujo, Koichiro Takayama
A retargetable VLIW compiler framework for DSPs withinstruction-level parallelism. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 20 (11) (2001)
David W. Currie, Alan J. Hu, Sreeranga P. Rajan
Automatic formal verification of DSP software. DAC (2000)
Sreeranga P. Rajan, Masahiro Fujita, Ashok Sudarsanam, Sharad Malik
Development of an optimizing compiler for a Fujitsu fixed-point digital signal processor. CODES (1999)
Vamsi Boppana, Sreeranga P. Rajan, Koichiro Takayama, Masahiro Fujita
Model Checking Based on Sequential ATPG. CAV (1999)
Edmund M. Clarke, Masahiro Fujita, Sreeranga P. Rajan, Thomas W. Reps, Subash Shankar, Tim Teitelbaum
Program Slicing of Hardware Description Languages. CHARME (1999)
Sreeranga P. Rajan, Masahiro Fujita
Integration of High-Level Modeling, Formal Verification, and High-Level Synthesis in ATM Switch Design. VLSI Design (1998)
Sreeranga P. Rajan, Masahiro Fujita, K. Yuan, Mike Tien-Chien Lee
ATM switch design by high-level modeling, formal verification and high-level synthesis. ACM Trans. Design Autom. Electr. Syst. 3 (4) (1998)
Masahiro Fujita, Sreeranga P. Rajan, Alan J. Hu
Two Real Formal Verification Experiences: ATM Switch Chip and Parallel Cache Protocol. FM-Trends (1998)
Sreeranga P. Rajan, Masahiro Fujita
ATM Switch Design: Parametric High-Level Modeling and Formal Verification. AMAST (1997)
Peter F. A. Middelhoek, Sreeranga P. Rajan
From VHDL to efficient and first-time-right designs: a formal approach. ACM Trans. Design Autom. Electr. Syst. 1 (2) (1996)
Sreeranga P. Rajan, Jeffrey J. Joyce, Carl-Johan H. Seger
From Abstract Data Types to Shift Registers: A Case Study in Formal Specification and Verification at Differing Levels of Abstraction using Theorem Proving and Symbolic Simulation. HUG (1993)
Sreeranga P. Rajan
Executing HOL Specifications: Towards an Evaluation Semantics for Classical Higher Order Logic. TPHOLs (1992)