Skip to contents

Gelernter, David Hillel [Author]; Jagannathan, Suresh [Author]

Programming linguistics

View online
Schließen

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Cambridge, Mass. [u.a.]: MIT Pr., 1990
Lewis, Frank L. [Author]; Jagannathan, Suresh [Author]; Yeşildirek, A. [Author]

Neural network control of robot manipulators and nonlinear systems

View online
Schließen

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

London [u.a.]: Taylor & Francis, 1999

Published in: The Taylor & Francis systems and control book series
Jagannathan, Suresh [Author] ; Suresh Jagannathan [Contributor]

Relational Refinement Types for Higher-Order Shape Transformers (Invited Talk)

View online
Schließen

Links

... to article via DOI

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2015
Jagannathan, Suresh [Author] ; Association for Computing Machinery

Proceedings of ACM SIGPLAN on Program Protection and Reverse Engineering Workshop 2014

View online
Schließen

Access

... to E-book via ACM Digital Library (Volltext)

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

New York, NY: ACM, 2014

Published in: ACM Digital Library- ACM Conferences
Jagannathan, Suresh [Author] ; Association for Computing Machinery

Proceedings of the 41st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages

View online
Schließen

Access

... to E-book via ACM Digital Library (Volltext)

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

New York, NY: ACM, 2014

Published in: ACM Digital Library- ACM Conferences
Kumar Jagannathan, Uday [Author] ; N., Suresh [Other]

Risk/Return of Major Indian Stock Indices

View online
Schließen

Access

... to E-book (freely accessible)

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

[S.l.]: SSRN, [2017]
Kumar Jagannathan, Uday [Author] ; N., Suresh [Other]

A Study on Determinants of Short Term Return on Stocks in the S&P500

View online
Schließen

Access

... to E-book via DOI (freely accessible)

... to E-book (freely accessible)

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

[S.l.]: SSRN, [2017]
Mishra, Ashish [Author]; Jagannathan, Suresh [Author] ; Ashish Mishra and Suresh Jagannathan [Contributor]

Morpheus: Automated Safety Verification of Data-Dependent Parser Combinator Programs

View online
Schließen

Links

... to article via DOI

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2023
Nagar, Kartik [Author]; Jagannathan, Suresh [Author] ; Kartik Nagar and Suresh Jagannathan [Contributor]

Automated Detection of Serializability Violations Under Weak Consistency

View online
Schließen

Links

... to article via DOI

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2018
Xiong, Zikang [Author]; Agarwal, Ishika [Author]; Jagannathan, Suresh [Author]

HiSaRL: A Hierarchical Framework for Safe Reinforcement Learning

View online
Schließen

Access

... to article (Volltext ; freely accessible)

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

2022

Published in: SafeAI (2022 : Online): SafeAI 2022: Artificial Intelligence Safety 2022 ; 2022
Kaki, Gowtham [Author]; Sivaramakrishnan, KC [Author]; Jagannathan, Suresh [Author] ; Gowtham Kaki and KC Sivaramakrishnan and Suresh Jagannathan [Contributor]

Version Control Is for Your Data Too

View online
Schließen

Links

... to article via DOI

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2019
Petri, Gustavo [Author]; Vitek, Jan [Author]; Jagannathan, Suresh [Author] ; Gustavo Petri and Jan Vitek and Suresh Jagannathan [Contributor]

Cooking the Books: Formalizing JMM Implementation Recipes

View online
Schließen

Links

... to article via DOI

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2015
Blelloch, Guy E [Contributor]; Chandy, K. Mani [Contributor]; Jagannathan, Suresh [Contributor] ; NSF Science and Technology Center in Discrete Mathematics and Theoretical Computer Science

Specification of parallel algorithms : DIMACS workshop, May 9-11, 1994

View online
Schließen

Access

... to E-book (Volltext)

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

[Providence, R.I.]: American Mathematical Society, 1994

Published in: DIMACS Series in Discrete Mathematics and Theoretical Computer Science ; v. 18
Gaboardi, Marco [Author]; Jagannathan, Suresh [Author]; Jhala, Ranjit [Author]; Weirich, Stephanie [Author] ; Marco Gaboardi and Suresh Jagannathan and Ranjit Jhala and Stephanie Weirich [Contributor]

Language Based Verification Tools for Functional Programs (Dagstuhl Seminar 16131)

View online
Schließen

Links

... to article via DOI

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2016
Jagannathan, Suresh

Session details: 4.A: medley

View online
Schließen

Access

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Association for Computing Machinery (ACM), 2012

Published in: ACM SIGPLAN Notices, 47 (2012) 1
Jagannathan, Suresh

Session details: Program optimization II

View online
Schließen

Access

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Association for Computing Machinery (ACM), 2011

Published in: ACM SIGPLAN Notices, 46 (2011) 6
Jagannathan, Suresh

Session details: Session 2

View online
Schließen

Access

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Association for Computing Machinery (ACM), 2006

Published in: ACM SIGPLAN Notices, 41 (2006) 9
Jagannathan, Suresh

Continuation-based transformations for coordination languages

View online
Schließen

Access

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Elsevier BV, 2000

Published in: Theoretical Computer Science, 240 (2000) 1, Seite 117-146
Jagannathan, Suresh

Coordination Languages and Models: Communication-passing style for coordination languages

View online
Schließen

Access

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Springer Berlin Heidelberg, 1997

Published in: Coordination Languages and Models (1997), Seite 131-149
Jagannathan, Suresh

Theory and Practice of Parallel Programming: Locality abstractions for parallel and distributed computing

View online
Schließen

Access

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Springer Berlin Heidelberg, 1995

Published in: Theory and Practice of Parallel Programming (1995), Seite 320-345

You did not find what you were looking for?

Purchase suggestion
Are you missing something you need for your research? If you have any suggestions please share them here.

Interlibrary Loan
Please search and order your favorite title in the Interlibrary Loan Portal.

Search in field:

Recently searched for:

You did not find what you were looking for?

> Year of publication

Year of publication