Travelled to:1 × Austria
1 × Canada
1 × China
1 × Cyprus
1 × Czech Republic
1 × Finland
1 × France
1 × Germany
1 × Italy
1 × Portugal
2 × The Netherlands
2 × United Kingdom
6 × USA
Collaborated with:T.N.Nguyen K.J.Sullivan Y.Long R.Dyer ∅ G.T.Leavens H.A.Nguyen T.Sondag Y.D.Liu G.Upadhyaya B.Gharaibeh J.M.Chang S.M.Kautz W.Rowcliffe H.Narayanappa M.S.Bansal Y.Hanna S.Basu J.Xu J.Maddox S.L.Mooney J.Tao S.M.Shaner M.J.Islam G.Nguyen R.Pan Syeda Khairunnesa Samantha A.T.Nguyen T.T.Nguyen W.G.Griswold Y.Song Y.Cai M.Shonle N.Tewari
Talks about:effect (5) design (5) implicit (4) languag (4) aspect (4) scale (4) larg (4) softwar (3) program (3) modular (3)
Person: Hridesh Rajan
DBLP: Rajan:Hridesh
Contributed to:
2015
2015
2015
2014
2013
20132013
2011
201120102010
2010
2009
20092008200520052004200420032018201920162017Wrote 25 papers:
- ECOOP-2015-LongLR #morphism #polymorphism
- Intensional Effect Polymorphism (YL, YDL, HR), pp. 346–370.
- ICSE-v2-2015-Rajan #programming
- Capsule-Oriented Programming (HR), pp. 611–614.
- ICSE-v2-2015-RajanNL0 #behaviour #repository #scalability #specification
- Inferring Behavioral Specifications from Large-scale Repositories by Leveraging Collective Intelligence (HR, TNN, GTL, RD), pp. 579–582.
- OOPSLA-2015-UpadhyayaR #abstraction #concurrent #effectiveness #java #message passing #thread #virtual machine
- Effectively mapping linguistic abstractions for message-passing concurrency to threads on the Java virtual machine (GU, HR), pp. 840–859.
- FSE-2014-Nguyen0NR #api #corpus #mining #scalability
- Mining preconditions of APIs in large-scale code corpus (HAN, RD, TNN, HR), pp. 166–177.
- ASE-2013-NguyenNNNR #case study #evolution
- A study of repetitiveness of code changes in software evolution (HAN, ATN, TTN, TNN, HR), pp. 180–190.
- GPCE-2013-0001RN #abstract syntax tree #declarative #fine-grained #mining #source code
- Declarative visitors to ease fine-grained source code mining with full history on billions of AST nodes (RD, HR, TNN), pp. 23–32.
- ICSE-2013-DyerNRN #framework #named #repository #scalability
- Boa: a language and infrastructure for analyzing ultra-large-scale software repositories (RD, HAN, HR, TNN), pp. 422–431.
- CGO-2011-SondagR #manycore #symmetry
- Phase-based tuning for better utilization of performance-asymmetric multicore processors (TS, HR), pp. 11–20.
- FASE-2011-GharaibehRC #framework #question
- Analyzing Software Updates: Should You Build a Dynamic Updating Infrastructure? (BG, HR, JMC), pp. 371–385.
- GPCE-2010-LongMSR #concurrent
- Implicit invocation meets safe, implicit concurrency (YL, SLM, TS, HR), pp. 63–72.
- OOPSLA-2010-RajanKR #composition #concurrent #design pattern
- Concurrency by modularity: design patterns, a case in point (HR, SMK, WR), pp. 790–805.
- PASTE-2010-NarayanappaBR
- Property-aware program sampling (HN, MSB, HR), pp. 45–52.
- ESEC-FSE-2009-HannaBR #automation #automaton #behaviour #composition #independence #verification
- Behavioral automata composition for automatic topology independent verification of parameterized systems (YH, SB, HR), pp. 325–334.
- ESOP-2009-RajanTSL #composition #design #named #policy #verification #web #web service
- Tisa: A Language Design and Modular Verification Technique for Temporal Policies in Web Services (HR, JT, SMS, GTL), pp. 333–347.
- ECOOP-2008-RajanL #named #quantifier
- Ptolemy: A Language with Quantified, Typed Events (HR, GTL), pp. 155–179.
- ESEC-FSE-2005-SullivanGSCSTR #aspect-oriented #design #information management #interface
- Information hiding interfaces for aspect-oriented design (KJS, WGG, YS, YC, MS, NT, HR), pp. 166–175.
- ICSE-2005-RajanS #design #named #object-oriented
- Classpects: unifying aspect- and object-oriented language design (HR, KJS), pp. 59–68.
- ASE-2004-XuRS #aspect-oriented #comprehension
- Understanding Aspects via Implicit Invocation (JX, HR, KJS), pp. 332–335.
- ICSE-2004-Rajan #integration
- One More Step in the Direction of Modularized Integration Concerns (HR), pp. 36–38.
- ESEC-FSE-2003-RajanS #aspect-oriented #design #named
- Eos: instance-level aspects for integrated system design (HR, KJS), pp. 291–306.
- ESEC-FSE-2018-MaddoxLR #scalability
- Large-scale study of substitutability in the presence of effects (JM, YL, HR), pp. 528–538.
- ESEC-FSE-2019-IslamNPR #debugging #learning
- A comprehensive study on deep learning bug characteristics (MJI, GN, RP, HR), pp. 510–520.
- OOPSLA-2016-LongLR #programming
- First-class effect reflection for effect-guided programming (YL, YDL, HR), pp. 820–837.
- OOPSLA-2017-SamanthaNNR #mining #problem #specification
- Exploiting implicit beliefs to resolve sparse usage problem in usage-based specification mining (SKS, HAN, TNN, HR), p. 29.