Sign in
Author
|
Conference
|
Journal
|
Organization
|
Year
|
DOI
Look for results that meet for the following criteria:
since
equal to
before
between
and
Search in all fields of study
Limit my searches in the following fields of study
Agriculture Science
Arts & Humanities
Biology
Chemistry
Computer Science
Economics & Business
Engineering
Environmental Sciences
Geosciences
Material Science
Mathematics
Medicine
Physics
Social Science
Multidisciplinary
Co-authors
(99)
Mooly Sagiv
19
John Field
17
Kapil Vaswani
14
Thomas W. Reps
13
Eran Yahav
13
Conferences
(21)
SAS(WSA)
6
POPL
5
Dagstuhl Seminars
4
APLAS
3
WCRE
3
Journals
(16)
SIGPLAN
14
TOPLAS
6
IPL
5
SCP
2
Algorithmica
2
Keywords
(224)
Embed
Subscribe
Academic
Authors
Ganesan Ramalingam
Ganesan Ramalingam,Microsoft,Programming Languages,Software Engineering,Algorithms & Theory
Edit
Ganesan Ramalingam
Microsoft
Publications:
110
|
Citations:
1709
Fields:
Programming Languages
,
Software Engineering
,
Algorithms & Theory
View FAQ about top research areas and Fields of study
Collaborated with
99 co-authors
from 1960 to 2012
|
Cited by
1631 authors
Cumulative
Annual
Sort by:
Publications
(110)
BibTeX
|
RIS
|
RefWorks
Download
Generalized lattice agreement
Jose M. Falerio
,
Sriram Rajamani
,
Kaushik Rajan
,
G. Ramalingam
,
Kapil Vaswani
Published in 2012.
Modular Heap Analysis For Higher Order Programs
Ravichandhran Madhavan
,
Ganesan Ramalingam
,
Kapil Vaswani
Published in 2012.
Mining quantified temporal rules: Formalism, algorithms, and evaluation
(
Citations: 1
)
David Lo
,
Ganesan Ramalingam
,
Venkatesh-Prasad Ranganath
,
Kapil Vaswani
Published in 2011.
Purity Analysis: An Abstract Interpretation Formulation
(
Citations: 1
)
Ravichandhran Madhavan
,
Ganesan Ramalingam
,
Kapil Vaswani
Published in 2011.
Automatic fine-grain locking using shape properties
Guy Golan-Gueta
,
Nathan Bronson
,
Alex Aiken
,
G. Ramalingam
,
Mooly Sagiv
,
Eran Yahav
Journal:
Sigplan Notices - SIGPLAN
, pp. 225-242, 2011
Sort by:
Citations
(1709 times by 1343 publications)
Detecting Fair Non-Termination in Multithreaded Programs
Mohamed Faouzi Atig
,
Ahmed Bouajjani
,
Michael Emmi
,
Akash Lal
Published in 2012.
Computer-Aided Recoding to Create Structured and Analyzable System Models
Pramod Chandraiah
,
Rainer Dömer
Journal:
ACM Transactions in Embedded Computing Systems - TECS
, pp. 1-27, 2012
Streaming transducers for algorithmic verification of single-pass list-processing programs
(
Citations: 5
)
Rajeev Alur
,
Pavol Černý
Journal:
Sigplan Notices - SIGPLAN
, pp. 599-610, 2011
Delay-bounded scheduling
(
Citations: 6
)
Michael Emmi
,
Shaz Qadeer
,
Zvonimir Rakamarić
Journal:
Sigplan Notices - SIGPLAN
, pp. 411-422, 2011
WCET Analysis of Component-Based Systems Using Timing Traces
(
Citations: 2
)
Adam Betts
,
Amine Marref
Conference:
International Conference on Engineering of Complex Computer Systems - ICECCS
, 2011
Comments