ABI-ONE ghc program v14.indd - Grace Hopper Celebration of ...

In this paper, we propose a design of a
deterministic, deadlock-free model. Any
program that uses this model is guaranteed
to produce the same output for a given
input. Additionally, the program will never
deadlock.
Encryption-based Access Control in
Social Networks
Presenter: Sonia Jahid (University of
Illinois at Urbana - Champaign)
We propose an architecture that
performs Attribute-based Encryption
(ABE) with efficient revocation in Online
Social Networks. Users create groups by
assigning attributes to their contacts, and
encrypt data so that only people having
enough attributes can decrypt it. Our design
introduces an untrusted proxy by combining
existing ABE, and polynomial revocation
schemes, and provides fine-grained access
avoiding expensive computation. This is very
useful when users interact with a subset of
their friends frequently.
Harnessing Multiple Cores for Efficient
Checkpointing in Grid Systems
Presenter: Tanzima Z. Islam (Purdue
University)
In grid systems, unpredictable evictions
of the guest jobs from the voluntarily
shared computational resources lead to
fluctuating completion times. At the cost of
increased overhead, checkpoint-recovery
technique provides fault-tolerance to these
guest jobs in such a volatile environment.
We propose to leverage multiple cores to
make checkpoint-recovery process efficient
and preliminary results show that reduced
recovery overhead improves the performance
of the guest jobs.
Influence of User Perception, Security
Needs, and Social Factors on Device
Pairing Method Choices
Presenter: Iulia Ion (Swiss Federal
Institute of Technology (ETH Zurich))
Previous studies tried to find the single
most usable device pairing method but
SRC POSTER SESSION
W e d n e s d ay | s e p T 3 0
failed to take into account the variety of
situations in which such methods could
be used in real-life. We show that people
do not always use the easiest method nor
the one they like best: they prefer different
methods in different situations, depending
on the sensitivity of data involved, their time
constraints, and social conventions.
Link Privacy Preservation in Publishing
Online Social Network
Presenter: Na Li (University of Texas at
Arlington)
Many online social network sites (e.g.,
Facebook) regularly publish social
network data to provide further utility to
researching and advertising, which incurs
significant privacy concerns, especially
over sensitive relations. We introduce the
L-diversity model to define a link-privacy
protection and propose a corresponding
algorithm without incurring too much utility
loss. Through experiments on real-world
datasets we demonstrate the effectiveness
of our algorithm and the tradeoff between
utility loss and privacy preservation.
Persim: A Human Activity Simulator for
Pervasive Spaces
Presenter: Shantonu Hossain (University
of Florida)
powerful and verifiable simulation tool
A is needed to accelerate research on
human-centered and pervasive computing.
In this poster, an overview of the Persim
project is given which includes a proposed
standard for dataset representation and an
event driven simulator of human activities
in pervasive spaces. Persim is intended
as a research tool and a shared resource
benefiting several research communities in
evaluating their ideas and algorithms quickly
and with reasonable accuracy.
Power Control for AP-Based Wireless
Networks Under the SINR Interference
Model
Presenter: Shuang Li (Ohio State
University)
In this paper, the power control problem
is considered for single-hop access
point-based wireless networks under the
SINR interference model. We develop
an algorithm that uses only two power
levels with bounded optimality gap for the
utility-independent power control subproblem.
Besides, an asymptotically optimal
two-stage iterative algorithm with much less
complexity is proposed. Further, a heuristic
two-stage greedy algorithm is proposed with
polynomial time complexity.
Predictor Virtualization: A Pay-As-
You-Go Approach to Hardware
Predictors
Presenter: Ioana M. Burcea (University of
Toronto)
Modern processors employ a variety of
predictor-based hardware optimizations
that collect metadata about application
behavior, store it in on-chip lookup tables
and use it to predict and optimize for future
application patterns. Currently, processor
architects use a one-size-fits-all approach
to build hardware predictors that leads
to sub-optimal designs. In this poster, we
present Predictor Virtualization, a pay-asyou-go
solution to hardware prediction that
adapts to the application’s need for predictor
resources.
Principal Contour Extraction and
Contour Classification to Detect
Coronal Loops from the Solar Images
Presenter: Nurcan Durak (University of
Louisville)
We have developed a system that
determines coronal loop existence
from a given Solar image region in two
stages: 1) extracting principal contours from
the solar image regions with the proposed
principal contour extraction method that
44 Anita Borg Institute for Women and Technology | Grace Hopper Celebration of Women in Computing