G. Ramalingam

发表

C. P. Rangan, G. Ramalingam, C. Rangan, 1988, Inf. Process. Lett..

Michael Isard, Steven Hand, Derek Gordon Murray, 2015, HotOS.

G. Ramalingam, G. Prasaad, K. Rajan, 2018, BIRTE.

Eran Yahav, G. Ramalingam, Eran Yahav, 2004, PLDI '04.

Avik Chaudhuri, Sriram K. Rajamani, G. Ramalingam, 2008, CCS.

T. Henzinger, G. Ramalingam, M. Sagiv, 2007 .

T. Henzinger, G. Ramalingam, R. Manevich, 2006 .

Kapil Vaswani, Ganesan Ramalingam, Madhavan Ravichandhran, 2015 .

Eran Yahav, G. Ramalingam, M. Sagiv, 2008 .

Stephen J. Fink, Eran Yahav, G. Ramalingam, 2008, ISSTA '06.

Avik Chaudhuri, Sriram K. Rajamani, Ganesan Ramalingam, 2008 .

Eran Yahav, Shmuel Sagiv, Guy Golan-Gueta, 2013, PLDI.

Thomas W. Reps, G. Ramalingam, T. Reps, 1996, Theor. Comput. Sci..

Raymond E. Miller, Junehwa Song, G. Ramalingam, 1999, Multimedia Systems.

Leo Joskowicz, Raymond E. Miller, Junehwa Song, 1999, Algorithmica.

Junehwa Song, Ganesan Ramalingam, Byoung-Kee Yi, 1996, Proceedings 1996 IEEE Symposium on Visual Languages.

Thomas W. Reps, G. Ramalingam, T. Reps, 1994, Inf. Process. Lett..

Frank Tip, John Field, G. Ramalingam, 1995, POPL '95.

Eran Yahav, G. Ramalingam, M. Sagiv, 2017, ACM Trans. Parallel Comput..

Eran Yahav, Shmuel Sagiv, Guy Golan-Gueta, 2015, PPoPP.

Thomas Reps, Ganesan Ramalingam, T. Reps, 2016 .

Frank Tip, John Field, G. Ramalingam, 1999, POPL '99.

Roman Manevich, Shmuel Sagiv, Josh Berdine, 2008, SAS.

Eran Yahav, Noam Rinetzky, Arnd Poetzsch-Heffter, 2007, ESOP.

Eran Yahav, Roman Manevich, Shmuel Sagiv, 2005, VMCAI.

Rajeev Alur, Aditya Kanade, Sriram K. Rajamani, 2010, FSE '10.

Deepak Goyal, Shmuel Sagiv, John Field, 2002, PLDI '02.

Thomas W. Reps, G. Ramalingam, T. Reps, 1993, POPL '93.

Saurabh Sinha, Raghavan Komondoor, G. Ramalingam, 2007, 14th Working Conference on Reverse Engineering (WCRE 2007).

Roman Manevich, Shmuel Sagiv, John Field, 2004, SAS.

Shmuel Sagiv, Guy Golan-Gueta, G. Ramalingam, 2014, ESOP.

Roman Manevich, Shmuel Sagiv, Josh Berdine, 2008, CAV.

André Schiper, Marc Shapiro, Bettina Kemme, 2014, SIGA.

A. Schiper, M. Shapiro, G. Ramalingam, 2018 .

Alexander Aiken, Shmuel Sagiv, Guy Golan-Gueta, 2015, PLDI.

G. Ramalingam, Kapil Vaswani, G. Ramalingam, 2013, POPL.

Jyotirmoy V. Deshmukh, G. Ramalingam, Kapil Vaswani, 2010, Log. Methods Comput. Sci..

Eran Yahav, Stephen J. Fink, Nurit Dor, 2006, TSEM.

G. Ramalingam, G. Ramalingam, 1994, TOPL.

C. Pandu Rangan, Ganesan Ramalingam, G. Ramalingam, 1990, Inf. Process. Lett..

Sriram K. Rajamani, G. Ramalingam, Kapil Vaswani, 2012, PODC '12.

Eran Yahav, Mooly Sagiv, Ganesan Ramalingam, 2016 .

Roman Manevich, Shmuel Sagiv, Byron Cook, 2007, TACAS.

Ravichandhran Madhavan, Kapil Vaswani, Ganesan Ramalingam, 2015, Found. Trends Program. Lang..

Supratik Chakraborty, G. Ramalingam, Aditya V. Nori, 2011, TOPL.

Ravichandhran Madhavan, G. Ramalingam, Kapil Vaswani, 2011, SAS.

Supratik Chakraborty, G. Ramalingam, Aditya V. Nori, 2009, SAS.

T. Reps, G. Ramalingam, 1996, Theor. Comput. Sci..

Sriram K. Rajamani, G. Ramalingam, Kapil Vaswani, 2013, DISC.

Eran Yahav, Alexander Aiken, Shmuel Sagiv, 2011, OOPSLA '11.

Thomas Reps, Ganesan Ramalingam, T. Reps, 2016 .

Thomas W. Reps, G. Ramalingam, T. Reps, 1991, AMAST.

G. Ramalingam, G. Ramalingam, 1999, TOPL.

Eran Yahav, Mooly Sagiv, Guy Golan-Gueta, 2013, PLDI.