Travelled to:1 × Austria
1 × Cyprus
1 × France
2 × Spain
2 × United Kingdom
3 × USA
Collaborated with:J.Hatcliff K.Vaswani M.B.Dwyer G.Jung G.Ramalingam D.Lo Robby G.Jayaraman X.Deng J.V.Deshmukh S.K.Rajamani G.Ramalingam T.Amtoft A.Banerjee M.Hoosier T.Wallentine W.Deng A.Childs J.Greenwald P.Shanti G.Singh
Talks about:program (5) compon (4) slice (4) evalu (4) concurr (3) system (3) model (3) algorithm (2) quantifi (2) environ (2)
Person: Venkatesh Prasad Ranganath
DBLP: Ranganath:Venkatesh_Prasad
Contributed to:
2010
2009
2012
20062005
2005
20042004
2003
20032009Wrote 12 papers:
- ESOP-2010-DeshmukhRRV #concurrent #logic #proving
- Logical Concurrency Control from Sequential Proofs (JVD, GR, VPR, KV), pp. 226–245.
- ASPLOS-2009-RajamaniRRV #named #source code
- ISOLATOR: dynamically ensuring isolation in comcurrent programs (SKR, GR, VPR, KV), pp. 181–192.
- WCRE-J-2009-LoRRV12 #algorithm #evaluation #mining #quantifier
- Mining quantified temporal rules: Formalism, algorithms, and evaluation (DL, GR, VPR, KV), pp. 743–759.
- TACAS-2006-DwyerHHRRW #concurrent #effectiveness #object-oriented #reduction #slicing #source code
- Evaluating the Effectiveness of Slicing for Model Reduction of Concurrent Object-Oriented Programs (MBD, JH, MH, VPR, R, TW), pp. 73–89.
- ESOP-2005-RanganathABDH #slicing
- A New Foundation for Control-Dependence and Slicing for Modern Program Structures (VPR, TA, AB, MBD, JH), pp. 77–93.
- FASE-2005-JayaramanRH #eclipse #java #named #slicing
- Kaveri: Delivering the Indus Java Program Slicer to Eclipse (GJ, VPR, JH), pp. 269–272.
- CC-2004-RanganathH #concurrent #dependence #java #slicing #source code
- Pruning Interference and Ready Dependence for Slicing Concurrent Java Programs (VPR, JH), pp. 39–56.
- FASE-2004-ChildsGRDDHJSS #analysis #component #development #ide #named #synthesis #verification
- Cadena: An Integrated Development Environment for Analysis, Synthesis, and Verification of Component-Based Systems (AC, JG, VPR, XD, MBD, JH, GJ, PS, GS), pp. 160–164.
- FASE-2004-JungHR #component #corba #correlation #framework
- A Correlation Framework for the CORBA Component Model (GJ, JH, VPR), pp. 144–159.
- ICSE-2003-HatcliffDDJR #analysis #component #development #named #verification
- Cadena: An Integrated Development, Analysis, and Verification Environment for Component-based Systems (JH, XD, MBD, GJ, VPR), pp. 160–173.
- PEPM-2003-HatcliffDDJRR #component #corba #design #partial evaluation #slicing
- Slicing and partial evaluation of CORBA component model designs for avionics system (JH, WD, MBD, GJ, VPR, R), pp. 1–2.
- WCRE-1999-LoRRV99a #algorithm #evaluation #mining #quantifier
- Mining Quantified Temporal Rules: Formalism, Algorithms, and Evaluation (DL, GR, VPR, KV), pp. 62–71.