Ganesan Ramalingam - researchr profile publications

researchr

You are not signed in
Sign in
Sign up

Publications with a 'Ganesan Ramalingam' as author, editor, or advisor:

Checking Linearizability of Encapsulated Extended OperationsOren Zomer, Guy Golan-Gueta, G. Ramalingam, Mooly Sagiv. ESOP 2014: 311-330 [doi]
Bottom-up shape analysis using LISFBhargav S. Gulavani, Supratik Chakraborty, G. Ramalingam, Aditya V. Nori. TOPLAS, 33(5):17, 2011. [doi]
Identifying procedural structure in Cobol programsJohn Field, G. Ramalingam. sigsoft, 24(5):1-10, 1999. [doi]
Safe Transferable RegionsGowtham Kaki, G. Ramalingam. ECOOP 2018: [doi]
Reference count analysis with shallow aliasingAkash Lal, G. Ramalingam. ipl, 111(2):57-63, 2010. [doi]
From typestate verification to interpretable deep models (invited talk abstract)Eran Yahav, Stephen J. Fink, Nurit Dor, G. Ramalingam, Emmanuel Geay. ISSTA 2019: 4-5 [doi]
Automatic scalable atomicity via semantic lockingGuy Golan-Gueta, G. Ramalingam, Mooly Sagiv, Eran Yahav. ppopp 2015: 31-41 [doi]
Mining quantified temporal rules: Formalism, algorithms, and evaluationDavid Lo, G. Ramalingam, Venkatesh Prasad Ranganath, Kapil Vaswani. SCP, 77(6):743-759, 2012. [doi]
Scaling Ordered Stream Processing on Shared-Memory MulticoresGuna Prasaad, G. Ramalingam, Kaushik Rajan. birte 2019: [doi]
Automatic fine-grain locking using shape propertiesGuy Golan-Gueta, Nathan Grasso Bronson, Alex Aiken, G. Ramalingam, Mooly Sagiv, Eran Yahav. OOPSLA 2011: 225-242 [doi]
Global Software Servicing: Observational Experiences at MicrosoftShilpa Bugde, Nachiappan Nagappan, Sriram K. Rajamani, G. Ramalingam. icgse 2008: 182-191 [doi]
Intel 4 CMOS Technology Featuring Advanced FinFET Transistors optimized for High Density and High-Performance ComputingB. Sell, S. An, J. Armstrong, D. Bahr, B. Bains, R. Bambery, K. Bang, D. Basu, S. Bendapudi, D. Bergstrom, R. Bhandavat, S. Bhowmick, M. Buehler, D. Caselli, S. Cekli, Vrsk. Chaganti, Y. J. Chang, K. Chikkadi, T. Chu, T. Crimmins, G. Darby, C. Ege, P. Elfick, T. Elko-Hansen, S. Fang, C. Gaddam, M. Ghoneim, H. Gomez, S. Govindaraju, Z. Guo, Walid M. Hafez, M. Haran, M. Hattendorf, S. Hu, A. Jain, S. Jaloviar, M. Jang, J. Kameswaran, V. Kapinus, A. Kennedy, S. Klopcic, D. Krishnan, J. Leib, Y. T. Lin, N. Lindert, G. Liu, O. Loh, Y. Luo, S. Mani, M. Mleczko, S. Mocherla, P. Packan, M. Paik, A. Paliwal, R. Pandey, K. Patankar, L. Pipes, P. Plekhanov, Chetan Prasad, M. Prince, G. Ramalingam, R. Ramaswamy, J. Riley, J. R. Sanchez Perez, J. Sandford, A. Sathe, F. Shah, H. Shim, S. Subramanian, S. Tandon, M. Tanniru, D. Thakurta, T. Troeger, X. Wang, C. Ward, A. Welsh, S. Wickramaratne, J. Wnuk, S. Q. Xu, P. Yashar, J. Yaung, K. Yoon, N. Young. vlsit 2022: 282-283 [doi]
Dagstuhl seminar review: consistency in distributed systemsBettina Kemme, André Schiper, G. Ramalingam, Marc Shapiro. sigact, 45(1):67-89, 2014. [doi]
Generalized lattice agreementJose M. Falerio, Sriram K. Rajamani, Kaushik Rajan, G. Ramalingam, Kapil Vaswani. podc 2012: 125-134 [doi]
Automatic Scalable Atomicity via Semantic LockingGuy Golan-Gueta, G. Ramalingam, Mooly Sagiv, Eran Yahav. topc, 3(4), 2017. [doi]
Concurrent libraries with foresightGuy Golan-Gueta, G. Ramalingam, Mooly Sagiv, Eran Yahav. PLDI 2013: 263-274 [doi]
Composing concurrency controlOfri Ziv, Alex Aiken, Guy Golan-Gueta, G. Ramalingam, Mooly Sagiv. PLDI 2015: 240-249 [doi]
A Framework For Efficient Modular Heap AnalysisRavichandhran Madhavan, G. Ramalingam, Kapil Vaswani. FTPL, 1(4):269-381, 2015. [doi]
Checking Observational Purity of ProceduresHimanshu Arora, Raghavan Komondoor, G. Ramalingam. FASE 2019: 228-243 [doi]
Modular Heap Analysis for Higher-Order ProgramsRavichandhran Madhavan, G. Ramalingam, Kapil Vaswani. SAS 2012: 370-387 [doi]
Automatic semantic lockingGuy Golan-Gueta, G. Ramalingam, Mooly Sagiv, Eran Yahav. ppopp 2014: 385-386 [doi]
CScale - A Programming Model for Scalable and Reliable Distributed ApplicationsJose Faleiro, Sriram K. Rajamani, Kaushik Rajan, G. Ramalingam, Kapil Vaswani. monterey 2012: 148-156 [doi]
35th IARCS Annual Conference on Foundation of Software Technology and Theoretical Computer Science, FSTTCS 2015, December 16-18, 2015, Bangalore, IndiaPrahladh Harsha, G. Ramalingam, editors, Volume 45 of LIPIcs, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, 2015. [doi]
Asynchronous Resilient LinearizabilitySagar Chordia, Sriram K. Rajamani, Kaushik Rajan, Ganesan Ramalingam, Kapil Vaswani. wdag 2013: 164-178 [doi]
Purity Analysis: An Abstract Interpretation FormulationRavichandhran Madhavan, Ganesan Ramalingam, Kapil Vaswani. SAS 2011: 7-24 [doi]
Broom: Sweeping Out Garbage Collection from Big Data SystemsIonel Gog, Jana Giceva, Malte Schwarzkopf, Kapil Vaswani, Dimitrios Vytiniotis, Ganesan Ramalingam, Manuel Costa, Derek Gordon Murray, Steven Hand, Michael Isard. hotos 2015: [doi]
Autocalib: automatic traffic camera calibration at scaleRomil Bhardwaj, Gopi Krishna Tummala, Ganesan Ramalingam, Ramachandran Ramjee, Prasun Sinha. sensys 2017: [doi]
Representation dependence testing using program inversionAditya Kanade, Rajeev Alur, Sriram K. Rajamani, Ganesan Ramalingam. FSE 2010: 277-286 [doi]
Consistency in Distributed Systems (Dagstuhl Seminar 13081)Bettina Kemme, Ganesan Ramalingam, André Schiper, Marc Shapiro, Kapil Vaswani. dagstuhl-reports, 3(2):92-126, 2013. [doi]
AutoCalib: Automatic Traffic Camera Calibration at ScaleRomil Bhardwaj, Gopi Krishna Tummala, Ganesan Ramalingam, Ramachandran Ramjee, Prasun Sinha. tosn, 14(3-4), 2018. [doi]
Fault tolerance via idempotenceGanesan Ramalingam, Kapil Vaswani. POPL 2013: 249-262 [doi]
Autocalib: automatic traffic camera calibration at scaleRomil Bhardwaj, Gopi Krishna Tummala, Ganesan Ramalingam, Ramachandran Ramjee, Prasun Sinha. sensys 2017: [doi]
Safe programmable speculative parallelismPrakash Prabhu, Ganesan Ramalingam, Kapil Vaswani. PLDI 2010: 50-61 [doi]

runs on WebDSL