Workshops (Oct. 6)

W-PSDS 2014

Oct. 6Meeting Room A
13:40-13:50Welcome and Opening
13:50-14:40Keynote 1
14:40-15:30Session 1
15:50-16:40Keynote 2
16:40-17:30Session 2

WSSR 2014

Oct. 6Meeting Room B
10:10-11:10Invited Talk 1
11:30-12:30Invited Talk 2
14:10-15:30Session 1
15:50-16:50Session 2

Main Conference (Oct. 7 - Oct. 9)

Oct. 7Main Hall
9:00-10:00Keynote: Prof. Paulo Verissimo
10:30-11:45Session 1: Security & Privacy
13:30-14:35Session 2: Reliability of Clouds
15:00-16:30Session 3: Replication & Coordination
mini break
16:45-17:45PhD Forum
Oct. 8Main Hall
9:00-10:00Keynote: Dr. Wei-Ying Ma
10:30-11:45Session 4: Databases and Transaction Processing
13:30-14:35Session 5: Reliable Storage
15:00-16:15Session 6: Algorithms
mini break
16:30-17:45Session 7: Wireless Networks and Cyber-Physical Systems

October 6

W-PSDS 2014 Keynote 1  [13:50-14:40]

Geo-replicated storage with scalable deferred update replication
Speaker: Fernando Pedone, University of Lugano (USI), Switzerland

W-PSDS 2014 Session 1  [14:40-15:30]

Declared Causality in Wide-Area Replicated Storage
Kyle Lady, Minkyong Kim, Brian Noble

The Case for Fast and Invariant-Preserving Geo-Replication
Valter Balegas, Nuno Preguica, Sérgio Duarte, Carla Ferreira, Rodrigo Rodrigues, Mahsa Najafzadeh, Marc Shapiro

W-PSDS 2014 Keynote 2  [15:50-16:40]

SwiftCloud: Fault-Tolerant Geo-Replication Integrated all the Way to the Client Machine
Speaker: Nuno Preguiça, NOVA-LINCS & NOVA University of Lisbon, Portugal

W-PSDS 2014 Session 2  [16:40-17:30]

Mitigating the Spread of a Virus in the Internet
Thanh Dang Nguyen, François Bonnet, Xavier Défago

Latency Amplification: Characterizing the Impact of Web Page Content on Load Times
Cătălin-Alexandru Avram, Kenneth Salem, Bernard Wong

back to timetable

WSSR 2014 Invited Talk 1  [10:10-11:10]

Analog DNA Computing Devices Toward the Control of Molecular Robots
Satoshi Kobayashi, Kazuya Yanagibashi, Ken Komiya, Kenzo Fujimoto, Masami Hagiya

WSSR 2014 Invited Talk 2  [11:30-12:30]

Artificial Chemistry, observation through simulations
Yasuhiro Suzuki

WSSR 2014 Session 1  [14:10-15:30]

Coverage Control Inspired by Bacterial Chemotaxis
Shinsaku Izumi, Shun-Ichi Azuma, Toshiharu Sugie

Locomotion of Metamorphic Robotic System based on Local Information (Extended Abstract)
Fengqi Chen, Yukiko Yamauchi, Shuji Kijima, Masafumi Yamashita

Asynchronous Ring Gathering by Oblivious Robots with Limited Vision
Sayaka Kamei, Anissa Lamani, Fukuhito Ooshita

WSSR 2014 Session 2  [15:50-16:50]

Discovering and Assessing Fine-grained Metrics in Robot Networks Protocols
François Bonnet, Xavier Défago, Franck Petit, Maria Potop-Butucaru, Sebastien Tixeuil

On the Worst-Case Initial Configuration for Conservative Connectivity Preservation
Daichi Kaino and Taisuke Izumi

back to timetable

FTSIS 2014 Keynote  [10:00-11:00]

Computation Partitioning for Mobile Cloud Applications
Speaker: Jian-nong Cao, Hong Kong Polytechnic University

FTSIS 2014 Session 1: User Profile, Social Network, and Privacy  [11:00-12:30]

A Preference Extraction Method Using Installed Applications and Their Descriptions
Seiya Mizuno, Jun Osawa, Takahiro Hara, Shojiro Nishio

Location-based Microblog Viewing System Synchronized with Web Pages
Yuanyuan Wang, Gouki Yasui, Yuji Hosokawa, Yukiko Kawai, Toyokazu Akiyama, Kazutoshi Sumiya

A k-anonymization algorithm on social network data that reduces distances between nodes
Rina Okada, Chiemi Watanabe and Hiroyuki Kitagawa

Improvement of Pk-Anonymization
Miho Kakizawa, Chiemi Watanabe, Ryo Furukawa, Tsubasa Takahashi

FTSIS 2014 Session 2: Sensor Network and Stream Processing  [14:00-15:30]

SeRAVi: a Spatio-Temporal Data Distribution Visualization System for Mobile Sensor Data Retrieval
Haruka Sazaki, Akimitsu Kanzaki, Takahiro Hara, Shojiro Nishio

Service-Controlled Networking: Dynamic In-Network Data Fusion for Hetrogeneous Sensor Networks
Mianxiong Dong, Takashi Kimata, Koji Zettsu

An Efficient Indexing Method for Mobile Sensor Data Collection on Integrated Sensor Networks
Ryo Kawasumi, Tomoki Yoshihisa, Takahiro Hara, Shojiro Nishio

Real-time-aware Embedded DSMS Applicable to Advanced Driver Assistance Systems
Satoshi Katsunuma, Shinya Honda, Kenya Sato, Yousuke Watanabe, Yukikazu Nakamoto, Hiroaki Takada

FTSIS 2014 Session 3: Energy Efficiency and Query Processing  [15:50-17:40]

Adaptive Erasure Correction Coding for Energy Efficient Dependable Storage Systems
Kousuke Ota, Viet Ta Hong, Haruhiko Kaneko

Energy Efficient Storage Management Cooperated with Data Intensive Applications in Virtual Machines
Shunsuke Yagai and Saneyasu Yamaguchi

Optimizing Concurrent Query Execution on Modern Multisocket Multicore Platform
Fang Xi, Takeshi Mishima, Haruo Yokota

kNN search utilizing index of the minimum road travel time in time-dependent road networks
Yuka Komai, Nguyen Duong Hong, Takahiro Hara, Shojiro Nishio

An Approach to Dynamically Adapting Distributed System Architecture
Jingtao Sun, Ichiro Satoh

back to timetable

October 7

Session 1: Security & Privacy (Chair: Sonia Ben Mokhtar, INSA Lyon, France)  [10:30-11:45]

Paper 1.
PROPS : A PRivacy-preserving lOcation Proof System
Sébastien Gambs, Marc-Olivier Killijian, Matthieu Roy, Moussa Traoré

Paper 2.
Gemini: An Emergency Line of Defense against Phishing Attacks
Zhang Xu, Haining Wang, Sushil Jajodia

Paper 3.
A Practical Experience on the Impact of Plugins in Web Security
José Fonseca, Marco Vieira

back to timetable

Session 2: Reliability of Clouds (Chair: Rui Oliveira, Univ. Minho, Portugal)  [13:30-14:35]

Paper 4.
Improving Cloud Service Resilience using Brownout-Aware Load-Balancing
Cristian Klein, Alessandro Vittorio Papadopoulos, Manfred Dellkrantz, Jonas Dürango, Martina Maggio, Karl-Erik Årzén, Francisco Hernández-Rodriguez, Erik Elmroth

Paper 5.
Practical Experience Report: The Performance of Paxos in the Cloud
Parisa Jalili Marandi, Samuel Benz, Fernando Pedone, Kenneth P. Birman

Short paper 1.
Transfer as a Service: Towards a Cost-Effective Model for Multi-Site Cloud Data Management
Radu Tudoran, Alexandru Costan, Gabriel Antoniu

back to timetable

Session 3: Replication & Coordination (Chair: Michel Raynal, IRISA & Univ. Rennes 1, France)  [15:00-16:30]

Paper 6.
Optimistic Parallel State-Machine Replication
Parisa Jalili Marandi, Fernando Pedone

Paper 7.
ZooFence: Principled Service Partitioning and Application to the ZooKeeper Coordination Service
Raluca Halalai, Pierre Sutra, Etienne Rivière, Pascal Felber

Paper 8.
DATAFLASKS: epidemic store for massive scale systems
Francisco Maia, Miguel Matos, Ricardo Vilaça, Jose Pereira, Rui Oliveira, Etienne Rivière

Short paper 2.
Make the Leader Work: Executive Deferred Update Replication
Maciej Kokociński, Tadeusz Kobus, Paweł T. Wojciechowski

back to timetable

PhD Forum (Chair: Jun Miyazaki, Tokyo Tech., Japan)  [16:45-17:45]

A Convex Hull Query Processing Method in MANETs
Yuka Komai, Takahiro Hara, Shojiro Nishio

A Distributed NameNode Cluster for a Highly-Available Hadoop Distributed File System
Yonghwan Kim, Tadashi Araragi, Junya Nakamura, Toshimitsu Masuzawa

Practical Encoded Processing
Dmitrii Kuvaiskii, Christof Fetzer

Keyword search with path-based filtering over XML streams
Savong Bou, Toshiyuki Amagasa, Hiroyuki Kitagawa

A Prototype of Power Saving Storage Method RAPoSDA
Satoshi Hikida, Hiroki Oguri, Haruo Yokota

A Study on Efficient Event Monitoring in Dense Mobile Wireless Sensor Networks
Kazuya Matsuo, Keisuke Goto, Akimitsu Kanzaki, Takahiro Hara, Shojiro Nishio

Chained signatures for secure program execution
Sergei Arnautov, Christof Fetzer

An Efficient Static Taint-Analysis Detecting Exploitable-Points on ARM Binaries
Ki-Jin Eom, Choong-Hyun Choi, Joon-Young Paik, Eun-Sun Cho

Building a Strongly Consistent Multi-Site File System
Raluca Halalai, Leandro Pacheco de Sousa

Adaptive Redundant Data Allocation Using Unused Blocks for Improving Access Efficiency in Dependable Storage Systems
Ta Hong Viet

Improving the throughput of wireless LAN by tuning carrier sense threshold of access points based on node positions detected by a visible light tag system
Kodai Murakami, Tatsuya Ito, Susumu Ishihara

back to timetable

October 8

Session 4: Databases and Transaction Processing (Chair: Fernando Pedone, USI, Switzerland)  [10:30-11:45]

Paper 9.
On the Support of Versioning in Distributed Key-Value Stores
Pascal Felber, Marcelo Pasin, Etienne Rivière, Valerio Schiavoni, Pierre Sutra, Fábio Coelho, Miguel Matos, Rui Oliveira, Ricardo Vilaça

Paper 10.
Transaction Management using Causal Snapshot Isolation in Partially Replicated Databases
Vinit Padhye, Gowtham Rajappan, Anand Tripathi

Paper 11.
pH1: A Transactional Middleware for NoSQL
Fábio Coelho, Francisco Cruz, Ricardo Vilaça, Jose Pereira, Rui Oliveira

back to timetable

Session 5: Reliable Storage (Chair: Jun Miyazaki, Tokyo Tech., Japan)  [13:30-14:35]

Paper 12.
Exploiting Decoding Computational Locality to Improve the I/O Performance of an XOR-coded Storage Cluster under Concurrent Failures
Shiyi Li, Xubin He, Shenggang Wan, Yuhua Guo, Ping Huang, Di Chen, Qiang Cao, Changsheng Xie

Paper 13.
A Stack-Based Single Disk Failure Recovery Scheme for Erasure Coded Storage Systems
Yingxun Fu, Jiwu Shu, Xianghong Luo

Short paper 3.
Fast Repair for Single Failure in Erasure-coded Distributed Storage Systems
Huayu Zhang, Hui Li, Bing Zhu, Jun Chen

back to timetable

Session 6: Algorithms (Chair: Taisuke Izumi, Nagoya Tech., Japan)  [15:00-16:15]

Paper 14.
Self-Stabilizing Byzantine Broadcast
Alexandre Maurer, Sébastien Tixeuil

Paper 15.
Fair Synchronization in the Presence of Process Crashes and its Weakest Failure Detector
Carole Delporte-Gallet, Hugues Fauconnier, Michel Raynal

Paper 16.
Convergence Verification of Asynchronous Iterations
Yoshisato Sakai

back to timetable

Session 7: Wireless Networks and Cyber-Physical Systems (Chair: Joerg Kaiser, Univ. Magdeburg, Germany)  [16:30-17:45]

Paper 17.
Dependable Admission Control for Mission-Critical Mobile Applications in Wireless Mesh Networks
Timo Lindhorst, Edgar Nett, Burkhard Weseloh

Paper 18.
PCTopk: Privacy- and Correctness-Preserving Functional Top-k Query on Un-trusted Data Storage in Two-tiered Sensor Networks
Yao-Tung Tsou, Yung-Li Hu, Yennun Huang, Sy-Yen Kuo

Paper 19.
Device Collaboration for Stability Assurance in Distributed Cyber-Physical Systems
Tao Li, Jiannong Cao

back to timetable

October 9

Session 8: Nominated papers I (Chair: Xavier Défago, JAIST, Japan)  [10:30-11:45]

Paper 20. [Best Student Paper]
ACaZoo: A Distributed Key-Value Store based on Replicated LSM-Trees
Panagiotis Garefalakis, Panagiotis Papadopoulos, Kostas Magoutis

Paper 21.
End-to-End Congestion Control for Content-Based Networks
Amirhossein Malekpour, Antonio Carzaniga, Fernando Pedone

Paper 22. [Best Paper]
HardPaxos: Replication Hardened Against Hardware Errors
Diogo Behrens, Dmitrii Kuvaiskii, Christof Fetzer

back to timetable

Session 9: Nominated papers II & Fault Detection (Chair: António Casimiro, Univ. Lisbon, Portugal)  [13:30-14:35]

Paper 23.
Towards a Practical Survivable Intrusion Tolerant Replication System
Marco Platania, Daniel Obenshain, Thomas Tantillo, Ricky Sharma, Yair Amir

Paper 24.
Byzantine Fault Tolerance from Intrusion Detection
Sisi Duan, Karl Levitt, Hein Meling, Sean Peisert, Haibin Zhang

Short paper 4.
LO|FA|MO: Fault Detection and Systemic Awareness for the QUonG computing system
Roberto Ammendola, Andrea Biagioni, Ottorino Frezza, Francesca Lo Cicero, Alessandro Lonardo, Pier Stanislao Paolucci, Davide Rossetti, Francesco Simula, Laura Tosoratto, Piero Vicini

back to timetable

Session 10: Network (Chair: Sébastien Tixeuil, LIP6,UPMC, France)  [15:00-16:15]

Paper 25.
FullReview: Practical Accountability in Presence of Selfish Nodes
Amadou Diarra, Sonia Ben Mokhtar, Pierre-Louis Aublin, Vivien Quéma

Paper 26.
Overnesia: a Resilient Overlay Network for Virtual Super-Peers
João Leitão, Luis Rodrigues

Paper 27.
AcTinG: Accurate Freerider Tracking in Gossip
Sonia Ben Mokhtar, Jérémie Decouchant, Vivien Quéma

back to timetable

Session 11: Reliability of Software and Networks (Chair: Luís E. T. Rodrigues, Univ. Lisbon, Portugal)  [16:30-17:45]

Paper 28.
Accurate and Efficient Counting in Dynamic Networks
Zhiwei Yang, Weigang Wu, Yishun Chen, Xiaola Lin

Paper 29.
A Systematic Approach for Low-Latency and Robust Detection of Software Aging
Rivalino Matias, Artur Andrzejak, Fumio Machida, Diego Elias, Kishor Trivedi

Paper 30.
Modeling Reliability Requirements in Coordinated Node and Link Mapping
Riccardo Guerzoni, Zoran Despotovic, Riccardo Trivisonno, Ishan Vaishnavi

back to timetable

October 7, 9:00-10:00 (Chair: Takahiro Hara, Osaka Univ., Japan)

Computing and Communications Resilience: the keystone of modern global applications  [slides]

Speaker: Paulo Jorge Esteves Veríssimo, University of Luxembourg, Luxembourg

Abstract: Computing and communications have become commodities which societies largely depend on. However, security and dependability are often neglected, and partial fixes have been the usual way to mend specific problems and situations. The large-scale systems composing today's internet-cloud complex must be able to cope as well with performance crises, as with cascading failures, massive attacks, or persistent stealth threats. Yet, the society has been incurring ever larger cyber risks, without an effective protection, which can no longer be assured by classical paradigms.

In consequence, some researchers have been arguing for the need of a paradigm shift that may result in a comprehensive approach to all those threats, from first principles. Architecting and designing for resilience is just the concept of simultaneously coping with accidental and malicious faults, providing protection in an incremental way, and automatically adapting to a dynamic range of severity and persistence of threats, some of which maybe a priori unknown. This talk illustrates the problem and some avenues for solutions, suggesting that, with the adequate techniques, automatic and adaptive security and dependability can be achieved, against a varying range of threats.

Biography: Paulo Esteves Veríssimo is a Professor of the University of Luxembourg Faculty of Science, Technology and Communication (FSTC), since fall 2014, and head of the CritiX group (Critical and Extreme Security and Dependability) at SnT, the Interdisciplinary Centre for Security, Reliability and Trust at the same University ( He is adjunct Professor of the ECE Dept., Carnegie Mellon University. Previously, he has been a Professor of the Univ. of Lisbon, member of the Board of the same university and Director of LaSIGE ( He is currently Chair of the IFIP WG 10.4 on Dependable Computing and Fault-Tolerance and vice-Chair of the Steering Committee of the IEEE/IFIP DSN conference. Veríssimo is Fellow of the IEEE and Fellow of the ACM, and he is associate editor of the Elsevier Int’l Journal on Critical Infrastructure Protection. He is currently interested in secure and dependable distributed architectures, middleware and algorithms for: adaptability and safety of real-time networked embedded systems; and resilience of large-scale systems and critical infrastructures. He is author of over 170 peer-refereed publications and co-author of 5 books. Google Scholar Citations profile:

back to timetable

October 8, 9:00-10:00 (Chair: Masaru Kitsuregawa, Univ. Tokyo, Japan)

Building a Scalable System for Machine Comprehension of Text  [slides]

Speaker: Wei-Ying Ma, Microsoft Research

Abstract: In recent years, we have seen dramatic improvements in parallel machine learning, large-scale knowledge mining, and big computing infrastructure, which are boosting the capacity to process and understand data at an unprecedented scale. With the ability to build big models and big graphs from big data, I believe we are a step closer to tackling the challenge of machine comprehension of text. In this talk, I will introduce an initiative at Microsoft Research to develop a scalable system that integrates the power of different representations (structured, continuous, and discrete) of meanings and provides real time serving and search capabilities that will allow machines to comprehend natural language for question answering and task completion.

Biography: Dr. Wei-Ying Ma is an Assistant Managing Director at Microsoft Research Asia, where he oversees multiple research groups, including Web Search and Data Management, Natural Language Computing, Knowledge Mining, Machine Learning, and Internet Economics and Computational Advertising. He and his team of researchers have developed many key technologies that have been transferred to Microsoft's Applications and Services Group, including Bing Search Engine and Microsoft Advertising. He has published more than 250 papers at international conferences and in journals. He is a Fellow of the IEEE and a Distinguished Scientist of the ACM. He served on the editorial boards of ACM Transactions on Information System (TOIS) and is a member of the International World Wide Web (WWW) Conferences Steering Committee. In recent years, he has served as program co-chair of WWW 2008 and as general co-chair of ACM SIGIR 2011. More information about him can be found at

back to timetable

October 9, 9:00-10:00 (Chair: Haruo Yokota, Tokyo Tech., Japan)

Humanware: A Biologically Inspired Approach for Innovation in Information Technology

Speaker: Shojiro Nishio, Osaka University, Japan

Abstract: Information technology has been developing remarkably in both hardware and software. People are now closely interconnected through information networks which together form a complex and dynamic supra-network. We need to adopt new approaches to innovation that are aligned with our rapidly changing social environment. In order to do so, it is more important than ever before to promote research toward the construction of systems that are complex, but at the same time flexible, robust and sustainable. One urgent challenge in information technology is the development of an entirely new concept: "humanware," which incorporates the same principles as a biological system. Our concept of humanware is considered the third ware complementing hardware and software technologies, and it addresses the flows of information linking humans and the resulting transformation of human relationships. To acquire skills related to humanware, it is essential to understand the "information dynamics" required to construct an information society attuned to both humans and the environment. It is also necessary to understand "cognitive dynamics," the dynamics of higher brain functions for receiving, understanding, and generating information, as well as "biological dynamics," the dynamics of biological systems to adapt to people and the environment. In this talk, we first discuss the importance of humanware for creating innovation in information technology, and then introduce our ongoing Humanware Innovation Program supported by the Program for Leading Graduate School of the MEXT (the Ministry of Education, Culture, Sports, Science and Technology in Japan). This program aims at fostering leaders to construct flexible, robust, and sustainable systems that support an ever-changing social environment based on the concept of humanware.

Biography: Dr. Shojiro Nishio received his B.E., M.E., and Ph.D. degrees from Kyoto University in Japan, in 1975, 1977, and 1980, respectively. He has been a full professor at Osaka University since August 1992, and was bestowed the prestigious title "Distinguished Professor of Osaka University" in July 2013. He served as a Vice President and Trustee of Osaka University from August 2007 to August 2011. Dr. Nishio has authored or co-authored more than 600 refereed journal and conference papers. He served as the Program Committee Co-Chairs for several international conferences including DOOD 1989, VLDB 1995, and IEEE ICDE 2005. He has also served as an editor of several renowned journals including IEEE Trans. on Knowledge and Data Engineering, VLDB Journal, ACM Trans. on Internet Technology, and Data & Knowledge Engineering. Dr. Nishio has received numerous awards for his research contributions, including the Medal with Purple Ribbon from the Government of Japan in 2011. He is also a Fellow of IEEE, IEICE and IPSJ, and is a member of four learned societies, including ACM.

back to timetable