Suresh Jagannathan

Purdue University

Professor

Department of Computer Science

Which program are you applying for ?

View Bookmark

Research Area

#Computer science#Programming language#Correctness#Compiler#Concurrency#Distributed computing#Theoretical computer science#Data type#Garbage collection#Weak consistency

SCIE paper information

Papers relevant to ‘Computer science’: 5

Research performance of SCIE papers matching with ‘Computer science’

Citations of SCIE papers SCIE papers 08k16k24k32k40k070140210280350420490560

*Papers published between 2014 and 2020 were selected, and the citation number was determined by bing.com.

  • MultiMLton: A multicore-aware runtime for standard ML

    2014/11 JOURNAL OF FUNCTIONAL PROGRAMMING 0.515 Impact Factor 22 citations

    K. C. Sivaramakrishnan, Lukasz Ziarek, Suresh Jagannathan

    DOI : 10.1017/S0956796814000161

  • Verifying Custom Synchronization Constructs Using Higher-Order Separation Logic

    2016/01 ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS 3.033 Impact Factor 13 citations

    Mike Dodds, Suresh Jagannathan, Matthew J. Parkinson, Kasper Svendsen, Lars Birkedal

    DOI : 10.1145/2818638

How can I correct errors in PhD.GO?


Papers for author ‘Suresh Jagannathan’: 5

Number of published SCIE papers by year

01234201420162019
H-index 4
Number of NCS papers 0

*Papers published between 2014 and 2020 were selected, and the citation number was determined by bing.com.

  • MultiMLton: A multicore-aware runtime for standard ML

    2014/11 JOURNAL OF FUNCTIONAL PROGRAMMING 0.515 Impact Factor 22 citations

    K. C. Sivaramakrishnan, Lukasz Ziarek, Suresh Jagannathan

    DOI : 10.1017/S0956796814000161

  • Verifying Custom Synchronization Constructs Using Higher-Order Separation Logic

    2016/01 ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS 3.033 Impact Factor 13 citations

    Mike Dodds, Suresh Jagannathan, Matthew J. Parkinson, Kasper Svendsen, Lars Birkedal

    DOI : 10.1145/2818638

How can I correct errors in PhD.GO?

conference information

Papers relevant to ‘Computer science’: 15

Research performance of Top-tier Conference matching with ‘Computer science’

Citations of Top-tier Conference Top-tier Conference paper(s) 020k40k60k80k100k0306090120150180210240

*Papers published between 2014 and 2020 were selected, and the citation number was determined by bing.com.

  • Declarative programming over eventually consistent data stores

    2015/06 PLDI Top-tier Conference 99 citations

    K. C. Sivaramakrishnan, Gowtham Kaki, Suresh Jagannathan

    DOI : 10.1145/2737924.2737981

  • A data-driven CHC solver

    2018/06 PLDI Top-tier Conference 35 citations

    He Zhu, Stephen Magill, Suresh Jagannathan

    DOI : 10.1145/3192366.3192416

How can I correct errors in PhD.GO?


Papers for author ‘Suresh Jagannathan’: 15

Number of published Top-tier Conference by year

01234201420152016201820192020
Top-tier Conference 15

*Papers published between 2014 and 2020 were selected, and the citation number was determined by bing.com.

  • Declarative programming over eventually consistent data stores

    2015/06 PLDI Top-tier Conference 99 citations

    K. C. Sivaramakrishnan, Gowtham Kaki, Suresh Jagannathan

    DOI : 10.1145/2737924.2737981

  • A data-driven CHC solver

    2018/06 PLDI Top-tier Conference 35 citations

    He Zhu, Stephen Magill, Suresh Jagannathan

    DOI : 10.1145/3192366.3192416

How can I correct errors in PhD.GO?