Rena Bakhshi

Postdoctoral researcher

Department of Computer Science
Large-Scale Distributed Systems Section
Vrije Universiteit Amsterdam

Research interests:

Formal Verification Techniques, Protocol Verification
Gossiping Protocols, Distributed Algorithms, Randomized algorithms
Peer-to-Peer & Grid Computing
Semantics of Programming Languages

Publications

2011

R. Bakhshi, J. Endrullis, W. Fokkink and J. Pang, Fast Leader Election in Anonymous Rings with Bounded Expected Delay. In Information Processing Letters, Elsevier, 2011. To appear. [www] [pdf]
R. Bakhshi, D. Gavidia, W. Fokkink, and M. van Steen, A Modeling Framework for Gossip-based Information Spread. In Proc. of 8th Conference on Quantitative Evaluation of SysTems (QEST), IEEE Computer Society Press, 2011. To appear. [pdf]
R. Bakhshi, L. Cloth, W. Fokkink, and B. R. Haverkort. Mean-field framework for performance evaluation of push-pull gossip protocols. In Performance Evaluation 68(2):157-179, Advances in Quantitative Evaluation of Systems - QEST 2009, Elsevier, 2011. [www] [bib] [pdf]

2007-2010

R. Bakhshi, J. Endrullis, S. Endrullis, W. Fokkink and B. Haverkort, Automating the mean-field method for large dynamic networks. In Proc. of 7th Conference on Quantitative Evaluation of SysTems (QEST), pp. 241-350, IEEE Computer Society Press, 2010. [www] [bib] [pdf]
R. Bakhshi, J. Endrullis, W. Fokkink and J. Pang, Brief announcement: Asynchronous bounded expected delay networks. In Proc. of 29th Symposium on Principles of Distributed Computing (PODC), pp. 392-393, ACM, 2010. [www] [bib] [pdf]
R. Bakhshi and A. Fehnker. On the impact of modelling choices for distributed information spread. A comparative study. In Proc. of 6th International Conference on Quantitative Evaluation of SysTems (QEST), Pages 41-50, IEEE Computer Society, 2009. [www] [bib] [pdf]
R. Bakhshi, L. Cloth, W. Fokkink and B. Haverkort. Mean-field analysis for the evaluation of gossip protocols. In Proc. of 6th International Conference on Quantitative Evaluation of SysTems (QEST), Pages 247-256, IEEE Computer Society, 2009. [www] [bib] [pdf]
R. Bakhshi, D. Gavidia, W. Fokkink, and M. van Steen. An Analytical Model of Information Dissemination for a Gossip-based Protocol. In Computer Networks, 53(13):2288-2303, Special Issue on Gossiping in Distributed Systems, Elsevier, 2009. [www] [bib] [pdf]
R. Bakhshi, D. Gavidia, W. Fokkink, and M. van Steen. An Analytical Model of Information Dissemination for a Gossip-based Protocol. In Proc. of 10th International Conference on Distributed Computing and Networking (ICDCN 2009), Volume 5408 of Lecture Notes in Computer Science, Pages 230-242, Springer, 2009. [www] [bib] [pdf]
R. Bakhshi, L. Cloth, W. Fokkink and B. Haverkort. Mean-field analysis for the evaluation of gossip protocols. In ACM SIGMETRICS Performance Evaluation Review, 36(3):31-39, Special Issue on Quantitative Analysis of Gossiping Protocols, December, 2008. [www] [bib] [pdf]
R. Bakhshi, W. Fokkink, J. Pang, and J. van de Pol. Leader Election in Anonymous Rings: Franklin Goes Probabilistic. In Proc. of 5th IFIP International Conference On Theoretical Computer Science (TCS 2008), Volume 273 of IFIP International Federation for Information Processing, Pages 57-72. Springer, 2008. [www] [bib] [pdf]
R. Bakhshi, F. Bonnet, W. Fokkink, B. Haverkort. Formal Analysis Techniques for Gossiping Protocols. In ACM SIGOPS Operating Systems Review, 41(5):28-36, Special Issue on Gossip-Based Networking, October, 2007. [www] [bib] [pdf]
R. Bakhshi and D. Gurov. Verification of Peer-to-Peer Algorithms: a Case Study.
In Combined Proceedings of the Second International Workshop on Coordination and Organization (CoOrg 2006) and the Second International Workshop on Methods and Tools for Coordinating Concurrent, Distributed and Mobile Systems (MTCoord 2006), Volume 181, Pages 35-47. Electronic Notes in Theoretical Computer Science, Elsevier, 2007. [www] [bib] [pdf] [ps]

Dissertations

R. Bakhshi. Gossiping Models. Formal Analysis of Epidemic Protocols. PhD Thesis, Vrije Universiteit Amsterdam, Amsterdam, The Netherlands. January, 2011.
[pdf] [www] (Promotie 13 januari 2011, Aula VU, Amsterdam [jpg])
R. Bakhshi. Formal Analysis of Tree-based aggregation protocols. Master's Thesis, Royal Institute of Technology, Stockholm, Sweden. August, 2006.
[pdf] (Diplomutdelning 25 maj 2007, Stadhuset Stockholm [jpg])

Miscellaneous

R. Bakhshi, J. Endrullis, W. Fokkink, and J. Pang. Asynchronous bounded expected delay networks. Technical Report CoRR abs/1003.2084, arXiv, 2010. [www] [bib] [pdf]
R. Bakhshi and W. Fokkink. How Probable is it to Discard an Ace of Hearts? In Liber Amicorum for Roel de Vrijer (Letters and essays dedicated to Roel de Vrijer on the occasion of his 60th birthday). Pages 1-9, Lulu, 2009. [www] [bib] [pdf]
R. Bakhshi, D. Gavidia, W. Fokkink, and M. van Steen. An Analytical Model of Information Dissemination for a Gossip-based Protocol. Technical Report CoRR abs/0810.1571, arXiv, 2008. [www] [bib] [pdf]
R. Bakhshi and D. Gurov. Verification of Peer-to-peer Algorithms: A Case Study. Technical Report, ICT, KTH, May 2006. [www] [ps]

Past Talks

Pairwise interaction model for gossip protocols.
ROCKS workshop, Satellite event of ETAPS 2011,
Saarbruecken, Germany, March 27, 2011. [pdf]
Mean-Field Method for Large Dynamic Gossip Networks.
Dagstuhl Seminar 10271, Verification over discrete-continuous boundaries,
Schloss Dagstuhl, Germany, July 7, 2010. [pdf]
Analysis of gossip protocols.
CS Seminar, Vrije Universiteit Amsterdam, Amsterdam, June 1, 2010. [pdf]
Mean-Field Analysis for Large Dynamic Networks.
Dagstuhl Seminar 10051, Quantitative and Qualitative Analysis of Network Protocols,
Schloss Dagstuhl, Germany, February 2, 2010. [pdf]
Analyzing an information spread for a gossip-based protocol.
IPA Herfstdagen 2009, Noordwijk aan Zee, November 27, 2009. [www]
MOVES seminar, RTWH Aachen, November 20, 2009. [www] [pdf]
Mean-field analysis for the evaluation of gossip protocols.
TCS seminar, Amsterdam, October 9, 2009. [www] [pdf]
6th International Conference on Quantitative Evaluation of SysTems (QEST'09), Budapest, Hungary, September 16, 2009. [www] [pdf]
An Analytical Model of Information Dissemination for a Gossip-based Protocol.
Dutch Dependability Day (DDD'09), University of Twente, Enschede, May 12, 2009. [www] [pdf]
Leader Election in Anonymous Rings: Franklin Goes Probabilistic.
5th IFIP International Conference on Theoretical Computer Science (TCS 2008), TC1 Track of the 20th IFIP World Computer Congress, Milano, Italy, September 9, 2008. [pdf]
Probabilistic Finite-State Leader Election Algorithm in Anonymous Rings.
TCS seminar, Amsterdam, April 18, 2008. [www]
PAM, CWI, Amsterdam, April 16, 2008. [www]
What is gossip and how to analyse it
IPA Herfstdagen 2007 (Open session), Deurne, November 28, 2007. [www]
Gossiping or spamming?
TDPV workshop, Leiden, November 13, 2007. [www]
Formal Analysis of Tree-based Aggregation Protocols.
TCS seminar, Amsterdam, February 23, 2007. [www]
Verification of Peer-to-Peer Algorithms: a Case Study.
PAM, CWI, Amsterdam, February 14, 2007. [www]
2nd International Workshop on Methods and Tools for Coordinating Concurrent, Distributed and Mobile Systems (MTCoord'06),
Bologna, Italy, June 13, 2006. [pdf]

Teaching

Protocol validation (exercise classes, fall term, 2009-2010)
Distributed Algorithms (exercise classes, spring term, 2008-2009)
Protocol validation (exercise classes, spring term, 2007-2008)

Past Events

Summer Schools

International Summer School on Engineering Methods
and Tools for Software Safety and Security.
Gymnasium Marktoberdorf
Marktoberdorf, Germany, 5 -17 August, 2008. [www]
3rd International School on Rewriting (ISR 2008).
Obergurgl University Centre of the University of Innsbruck
Obergurgl, Austria, 21 - 26 July 2008. [www]
International Summer School on Collective Intelligence & Evolution.
Vrije Universiteit Amsterdam
Amsterdam, 20 - 24 August 2007. [www]
7th International School on Formal Methods for the Design of Computer,
Communication and Software Systems: Performance Evaluation.
Bertinoro, Forli, Italy, 28 May - 2 June 2007. [www]

Courses

Writing a Research Proposal.
Onderwijscentrum VU, 7 October 2010. [www]
University teacher training programme.
Onderwijscentrum VU, 17 September 2009 - 01 September 2010. [www]
IPA Hergsdagen on "Quantitative Methods for Embedded Systems".
Hotel Astoria, Noordwijk aan Zee, 23 - 27 November 2009. [www]
IPA Course Software Technology & Engineering 2009.
Technische Universiteit Eindhoven
Eindhoven, 2 - 5 June 2009. [www]
IPA-ASCI Lentedagen on Algorithms for Data Analysis and Visualization
Conferentiehotel Guldenberg, Helvoirt, 15 - 17 April 2009. [www]
IPA Course Formal Methods 2008.
Technische Universiteit Eindhoven
Eindhoven, 23 - 27 June 2008. [www]
IPA Lentedagen on Integrating Formal Methods.
Hotel 't Paviljoen, Rhenen, 7 - 9 May 2008. [www]
IPA Hergsdagen on "Beyond Turing".
Conference center Willibrordhaeghe, Deurne, 26 - 30 November 2007. [www]
IPA Basic Course on Algorithms & Complexity.
Technische Universiteit Eindhoven
Eindhoven, 25 - 29 June 2007. [www]
IPA Lentedagen on Service-oriented Computing.
Kapellerput, Heeze, 3 - 5 April 2007. [www]
PhD Success and Personal Effectiveness.
"Blooming", Bergen, Alkmaar, 26 - 27 February, 12 - 13 March 2007;
"De Roos", Amsterdam, 26 March 2007.[www]

Workshops

ROCKS workshop, Satellite event of ETAPS 2011.
Saarbruecken, Germany, March 26 - 27, 2011. [www]
Verification over discrete-continuous boundaries.
Schloss Dagstuhl, Wadern, 4 - 9 July 2010. [www]
Quantitative and Qualitative Analysis of Network Protocols.
Schloss Dagstuhl, Wadern, 1 - 5 February 2010. [www]
Two Decades of Probabilistic Verification -- Reflections and Perspectives Workshop.
Lorentz Center, Leiden, 12 - 16 November 2007. [www]
Gossip-based Computer Networking Workshop.
Lorentz Center, Leiden, 18 - 22 December 2006. [www]
Combined the Second International Workshop on Coordination
and Organization (CoOrg 2006) and the Second International Workshop on
Methods and Tools for Coordinating Concurrent, Distributed and
Mobile Systems (MTCoord 2006). Satellite Workshops of Coordination 06.
Bologna, Italy, 13 June 2006. [www]

Contacts

De Boelelaan 1081a, 1081HV, Amsterdam, Netherlands
tel.: +31 (0)20 59 87748
email: ,
room: P-4.30
Sep. 20 - Dec. 20, 2008: I'm working at NICTA, office: WS5.21
223 Anzac Parade, Kensington, NSW 2052, Australia
tel.: +61 2 8306 0786

Created by: Rana Bakhshi,
Last modified: June 8, 2011

Rena Bakhshi

Postdoctoral researcher

Research interests:

Publications

2011

2007-2010

Dissertations

Miscellaneous

Past Talks

Teaching

Past Events

Summer Schools

Courses

Workshops

Links

Contacts