Travelled to:1 × Croatia
1 × France
1 × Ireland
1 × Italy
3 × USA
Collaborated with:K.Sen M.Naik H.S.Gunawi C.Park M.Shlimovich D.Gay T.Leesatapornwongsa M.Hao J.F.Lukman X.Yu Jianwu Xu G.Jin Hui Zhang 0002 G.Jiang
Talks about:program (3) cloud (3) test (3) deadlock (2) predict (2) analysi (2) effect (2) detect (2) dynam (2) check (2)
Person: Pallavi Joshi
DBLP: Joshi:Pallavi
Contributed to:
2014
2011
2010
2009
2009
2008
2007
2016Wrote 8 papers:
- OSDI-2014-LeesatapornwongsaHJLG #debugging #model checking #named #performance #semantics
- SAMC: Semantic-Aware Model Checking for Fast Discovery of Deep Bugs in Cloud Systems (TL, MH, PJ, JFL, HSG), pp. 399–414.
- OOPSLA-2011-JoshiGS #injection #multi #named #programmable
- PREFAIL: a programmable tool for multiple-failure injection (PJ, HSG, KS), pp. 171–188.
- FSE-2010-JoshiNSG #detection #dynamic analysis #effectiveness
- An effective dynamic analysis for detecting generalized deadlocks (PJ, MN, KS, DG), pp. 327–336.
- CAV-2009-JoshiNPS #concurrent #framework #named #source code #testing
- CalFuzzer: An Extensible Active Testing Framework for Concurrent Programs (PJ, MN, CSP, KS), pp. 675–681.
- PLDI-2009-JoshiPSN #detection #program analysis #random
- A randomized dynamic program analysis technique for detecting real deadlocks (PJ, CSP, KS, MN), pp. 110–120.
- ASE-2008-JoshiS #java #parallel #predict #source code #thread #type system
- Predictive Typestate Checking of Multithreaded Java Programs (PJ, KS), pp. 288–296.
- ESEC-FSE-2007-JoshiSS #effectiveness #predict #testing
- Predictive testing: amplifying the effectiveness of software testing (PJ, KS, MS), pp. 561–564.
- ASPLOS-2016-YuJXJZJ #monitoring #named #workflow
- CloudSeer: Workflow Monitoring of Cloud Infrastructures via Interleaved Logs (XY, PJ, JX, GJ, HZ0, GJ), pp. 489–502.