Author
|
Conference
|
Journal
|
Organization
|
Year
|
DOI
Look for results that meet for the following criteria:
since
equal to
before
between
and
Search in all domains
Limit my searches in the following domains
Agriculture Science
Arts & Humanities
Biology
Chemistry
Computer Science
Economics & Business
Engineering
Environmental Sciences
Geosciences
Material Science
Mathematics
Medicine
Physics
Social Science
Multidisciplinary
Co-authors
(82)
John Field
17
Thomas W. Reps
13
Roman Manevich
12
Eran Yahav
12
Mooly Sagiv
11
Conferences
(21)
SAS(WSA)
6
POPL
5
Dagstuhl Seminars
4
WCRE
3
PLDI
2
Journals
(15)
SIGPLAN
9
IPL
5
TOPLAS
5
SCP
2
Algorithmica
2
Keywords
(190)
Embed
Subscribe
Academic
Authors
Ganesan Ramalingam
Edit
Ganesan Ramalingam
Microsoft
Publications: 95
|
Citations: 1684
|
G-Index: 39
|
H-Index: 22
The information is calculated based on the tens of millions of scholarly articles currently discoverable within Microsoft Academic Search. As more content gets indexed, the accuracy and completeness will continue to improve.
Interests:
Programming Languages
,
Software Engineering
,
Algorithms & Theory
View FAQ about top research area and research interests
Collaborated with
82 co-authors
from 1960 to 2011
; Cited by
1587 authors
Homepage
|
Bing
Cumulative
Annual
Order by:
Publications
(95)
BibTeX
|
RIS
|
RefWorks
Download
Synthesis and characterization of one dimensional semiconducting nanorods and nanobelts
G. Ramalingam
,
J. Madhavan
,
P. Sagayaraj
,
S. Selvakumar
,
R. Gunaseelan
,
R. Jerald Vijay
Published in 2011.
Development of CdS nanorods of high aspect ratio under hydrothermal conditions with PEG template
N. S. Nirmala Jothi
,
P. Dennis Christy
,
A. R. Baby Suganthi
,
G. Ramalingam
,
P. Sagayaraj
Journal:
Journal of Crystal Growth - J CRYST GROWTH
, vol. 316, no. 1, pp. 126-131, 2011
Special issue on Partial Evaluation and Program Manipulation (selected papers from PEPM 2007)
G. Ramalingam
,
Eelco Visser
Journal:
Science of Computer Programming - SCP
, vol. 76, no. 6, pp. 467-468, 2011
Safe programmable speculative parallelism
(
Citations: 4
)
Prakash Prabhu
,
Ganesan Ramalingam
,
Kapil Vaswani
Conference:
SIGPLAN Conference on Programming Language Design and Implementation - PLDI
, pp. 50-61, 2010
Sequential verification of serializability
(
Citations: 2
)
H. Attiya
,
G. Ramalingam
,
Noam Rinetzky
Conference:
ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages - POPL
, pp. 31-42, 2010
Order by:
Citations
(1684 times by 1321 publications)
Streaming transducers for algorithmic verification of single-pass list-processing programs
(
Citations: 2
)
Rajeev Alur
,
Pavol Černý
Published in 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
Precise reasoning for programs using containers
(
Citations: 2
)
Isil Dillig
,
Thomas Dillig
,
Alex Aiken
Published in 2011.
INTEGRA: fast multi-bit flip-flop clustering for clock power saving based on interval graphs
(
Citations: 2
)
Iris Hui-Ru Jiang
,
Chih-Long Chang
,
Yu-Ming Yang
,
Evan Y.-W. Tsai
,
Lancer S.-F. Chen
Conference:
International Symposium on Physical Design - ISPD
, pp. 115-122, 2011
Proving linearizability with temporal logic
(
Citations: 2
)
Simon Bäumler
,
Gerhard Schellhorn
,
Bogdan Tofan
,
Wolfgang Reif
Journal:
Formal Aspects of Computing - FAC
, vol. 23, no. 1, pp. 91-112, 2011
Comments