Sreeranga P. Rajan

According to our database, Sreeranga P. Rajan authored at least 35 papers between 1992 and 2022.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2022

A contextual multi-task neural approach to medication and adverse events identification from clinical text.

Sankaran Narayanan, Kaivalya Mannam, Pradeep Achan, Maneesha V. Ramesh, P. Venkat Rangan, Sreeranga P. Rajan

J. Biomed. Informatics, 2022

2021

Unified concept and assertion detection using contextual multi-task learning in a clinical decision support system.

Sankaran Narayanan, Pradeep Achan, P. Venkat Rangan, Sreeranga P. Rajan

J. Biomed. Informatics, 2021

2020

Evaluation of Transfer Learning for Adverse Drug Event (ADE) and Medication Entity Extraction.

Sankaran Narayanan, Kaivalya Mannam, Sreeranga P. Rajan, P. Venkat Rangan

Proceedings of the 3rd Clinical Natural Language Processing Workshop, 2020

2018

Automatic Assessment Item Bank Calibration for Learning Gap Identification.

Sankaran Narayanan, Fensa Merry Saj, Kamal Bijlani, Sreeranga P. Rajan

Proceedings of the 2018 International Conference on Advances in Computing, 2018

2017

KLOVER: Automatic Test Generation for C and C Programs, Using Symbolic Execution.

Hiroaki Yoshida, Guodong Li, Takuki Kamiya, Indradeep Ghosh, Sreeranga P. Rajan, Susumu Tokumoto, Kazuki Munakata, Tadahiro Uehara

IEEE Softw., 2017

2014

Enhancement of Data Level Security in MongoDB.

Shiju Sathyadevan, Nandini Muraleedharan, Sreeranga P. Rajan

Proceedings of the Intelligent Distributed Computing, 2014

2013

Big Data Analytics for Security.

Alvaro A. Cárdenas, Pratyusa K. Manadhata, Sreeranga P. Rajan

IEEE Secur. Priv., 2013

2012

GKLEE: concolic verification and test generation for GPUs.

Guodong Li, Peng Li, Geoffrey Sawaya, Ganesh Gopalakrishnan, Indradeep Ghosh, Sreeranga P. Rajan

Proceedings of the 17th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, 2012

2011

Automated System Testing of Dynamic Web Applications.

Hideo Tanida, Mukul R. Prasad, Sreeranga P. Rajan, Masahiro Fujita

Proceedings of the Software and Data Technologies - 6th International Conference, 2011

Client-tier Validation of Dynamic Web Applications.

Hideo Tanida, Masahiro Fujita, Mukul R. Prasad, Sreeranga P. Rajan

Proceedings of the ICSOFT 2011, 2011

Automated Driver Generation for Analysis of Web Applications.

Oksana Tkachuk, Sreeranga P. Rajan

Proceedings of the Fundamental Approaches to Software Engineering, 2011

KLOVER: A Symbolic Execution and Automatic Test Generation Tool for C++ Programs.

Guodong Li, Indradeep Ghosh, Sreeranga P. Rajan

Proceedings of the Computer Aided Verification - 23rd International Conference, 2011

2009

WEAVE: WEb Applications Validation Environment.

Sreeranga P. Rajan, Oksana Tkachuk, Mukul R. Prasad, Indradeep Ghosh, Nitin Goel, Tadahiro Uehara

Proceedings of the 31st International Conference on Software Engineering, 2009

2008

Context-Sensitive Relevancy Analysis for Efficient Symbolic Execution.

Xin Li, Daryl Shannon, Indradeep Ghosh, Mizuhito Ogawa, Sreeranga P. Rajan, Sarfraz Khurshid

Proceedings of the Programming Languages and Systems, 6th Asian Symposium, 2008

2007

Combining environment generation and slicing for modular software model checking.

Oksana Tkachuk, Sreeranga P. Rajan

Proceedings of the 22nd IEEE/ACM International Conference on Automated Software Engineering (ASE 2007), 2007

2006

Embedded Software Verification Using Symbolic Execution and Uninterpreted Functions.

David W. Currie, Xiushan Feng, Masahiro Fujita, Alan J. Hu, Mark Kwan, Sreeranga P. Rajan

Int. J. Parallel Program., 2006

Application of automated environment generation to commercial software.

Oksana Tkachuk, Sreeranga P. Rajan

Proceedings of the ACM/SIGSOFT International Symposium on Software Testing and Analysis, 2006

2005

Editorial.

Sreeranga P. Rajan

ACM Trans. Storage, 2005

Error Detection in Concurrent Java Programs.

Graham Hughes, Sreeranga P. Rajan, Tom Sidle, Keith D. Swenson

Proceedings of the 3rd Workshop on Software Model Checking, 2005

2004

High level hardware validation using hierarchical message sequence charts.

Praveen K. Murthy, Sreeranga P. Rajan, Koichiro Takayama

Proceedings of the Ninth IEEE International High-Level Design Validation and Test Workshop 2004, 2004

2002

Program slicing for VHDL.

Edmund M. Clarke, Masahiro Fujita, Sreeranga P. Rajan, Thomas W. Reps, Subash Shankar, Tim Teitelbaum

Int. J. Softw. Tools Technol. Transf., 2002

Functional Verification of System on Chips-Practices, Issues and Challenges (Tutorial Abstract).

Subir K. Roy, S. Ramesh, Supratik Chakraborty, Tsuneo Nakata, Sreeranga P. Rajan

Proceedings of the 7th Asia and South Pacific Design Automation Conference (ASP-DAC 2002), 2002

2001

A retargetable VLIW compiler framework for DSPs withinstruction-level parallelism.

Subramanian Rajagopalan, Sreeranga P. Rajan, Sharad Malik, Sandro Rigo, Guido Araujo, Koichiro Takayama

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2001

2000

Automatic formal verification of DSP software.

David W. Currie, Alan J. Hu, Sreeranga P. Rajan

Proceedings of the 37th Conference on Design Automation, 2000

1999

Development of an optimizing compiler for a Fujitsu fixed-point digital signal processor.

Sreeranga P. Rajan, Masahiro Fujita, Ashok Sudarsanam, Sharad Malik

Proceedings of the Seventh International Workshop on Hardware/Software Codesign, 1999

Program Slicing of Hardware Description Languages.

Edmund M. Clarke, Masahiro Fujita, Sreeranga P. Rajan, Thomas W. Reps, Subash Shankar, Tim Teitelbaum

Proceedings of the Correct Hardware Design and Verification Methods, 1999

Model Checking Based on Sequential ATPG.

Vamsi Boppana, Sreeranga P. Rajan, Koichiro Takayama, Masahiro Fujita

Proceedings of the Computer Aided Verification, 11th International Conference, 1999

1998

ATM switch design by high-level modeling, formal verification and high-level synthesis.

Sreeranga P. Rajan, Masahiro Fujita, K. Yuan, Mike Tien-Chien Lee

ACM Trans. Design Autom. Electr. Syst., 1998

Integration of High-Level Modeling, Formal Verification, and High-Level Synthesis in ATM Switch Design.

Sreeranga P. Rajan, Masahiro Fujita

Proceedings of the 11th International Conference on VLSI Design (VLSI Design 1991), 1998

Two Real Formal Verification Experiences: ATM Switch Chip and Parallel Cache Protocol.

Masahiro Fujita, Sreeranga P. Rajan, Alan J. Hu

Proceedings of the Applied Formal Methods, 1998

1997

Industrial Strength Formal Verification Techniques for Hardware Designs.

Sreeranga P. Rajan, Natarajan Shankar, Mandayam K. Srivas

Proceedings of the 10th International Conference on VLSI Design (VLSI Design 1997), 1997

ATM Switch Design: Parametric High-Level Modeling and Formal Verification.

Sreeranga P. Rajan, Masahiro Fujita

Proceedings of the Algebraic Methodology and Software Technology, 1997

1996

From VHDL to efficient and first-time-right designs: a formal approach.

Peter F. A. Middelhoek, Sreeranga P. Rajan

ACM Trans. Design Autom. Electr. Syst., 1996

1993

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.

Sreeranga P. Rajan, Jeffrey J. Joyce, Carl-Johan H. Seger

Proceedings of the Higher Order Logic Theorem Proving and its Applications, 1993

1992

Executing HOL Specifications: Towards an Evaluation Semantics for Classical Higher Order Logic.

Sreeranga P. Rajan

Proceedings of the Higher Order Logic Theorem Proving and its Applications, 1992