DISSERTATION DEFENSE Department of Computer Science and Engineering, University of South Carolina Emerging Wireless Sensor Networks in Intertidal Zones and for Tracking Targets Candidate: Miao Xu Advisor: Dr. Wenyuan Xu Date: Monday, March 23, 2015 Time: 10:00am Place: Swearingen (3A00, Deans Conference Room) Abstract Wireless sensor networks (WSNs), which consist of a large number of low-power, low-cost sensor nodes, are promising because they can continuously and remotely monitor our surroundings with few human involvements. For example, we have witnessed sensor applications that monitor the habitat environment of wild animals or monitor the health condition of infrastructures. These traditional WSNs are typically used as monitoring applications and deployed at various terrestrials. In this dissertation, however, we examine two different types of 0emerging sensor applications, which are WSNs deployed in intertidal zones (IT-WSNs) and WSNs deployed for tracking targets (TT-WSNs). Alternately submerged and laid bare by tides, the wireless channels in IT-WSNs are intermittent and could be unavailable up to 24 hours, which makes IT-WSNs unique compared with terrestrial WSNs. In the first part of this dissertation, we examine some problems that are caused by the influence of tides. First, we study the time synchronization problem in IT-WSNs. Due to the intermittent wireless channels, traditional resynchronization schemes cannot be directly applied to IT-WSNs. To prolong the resynchronization interval, we propose a temperature-aware compensation scheme that continuously adjusts the clock locally without any resynchronization messages. Second, we examine the low-power embedded systems for the sensor nodes in IT-WSNs. Battery powered, the nodes in WSNs typically employ duty-cycling schemes to reduce the average power. To further reduce the power consumption, we study the channel-aware features for radio transceivers given that the channels are intermittent. We also propose to develop an automation platform that automatically finds the most power saving configuration of IO pins. Finally, we investigate environment-aware MAC protocols in Part I. Many existing WSNs are proposed for monitoring physical phenomena, but few of them study the applications for tracking targets. In the second part of this dissertation, we examine the TT-WSNs that are deployed for tracking a target such as some endangered animals. Since the data exchanged in TT-WSNs are typically associated with the target's location information, the data privacy is important to the users. In addition, once deployed, the networks are typically left unattended, which makes the privacy issue even more challenging. Although many cryptography-based solutions have been proposed to solve the problem, we are interested in non-cryptography schemes because cryptography-based methods cannot cope with node compromise. Based on the observation that message content is important in TT-WSNs, we propose a content-aware data dissemination scheme for TT-WSNs to achieve better data privacy and higher data availability with less energy cost.

WIC meeting. March 5th, 6pm, room 3A75: Carol Wallace, Kate Ingram, and Tracy Cobb from Blue Cross Blue Shield. More information

This Friday, Ioannis Rekleitis from the Department of Computer Science and Engineering will be speaking at 2:30 - 3:20 pm in LeConte 312. Abstract The last few years, robots have moved from the pages of science fiction books into our everyday reality. Currently, robots are used in scientific exploration, manufacturing, entertainment, and household maintenance. While the above advances were made possible by recent improvements in sensors, actuators, and computing elements, the research of today is focused on the computational aspects of robotics. This talk presents an overview of algorithmic problems related to robotics, with the particular focus on increasing the autonomy of robotic systems in challenging environments. In particular I would discuss the use of discrete structures such as graphs to efficiently solve robotic problems. Cooperative Localization Mapping and Exploration employs teams of robots in order to construct accurate representations of the environment and of the robots' pose. The problem of coverage has found applications ranging from vacuum cleaning to humanitarian mine removal. A family of algorithms will be presented that solve the coverage problem efficiently in terms of distance travelled. Finally, I will present some current work on the problem of searching under uncertainty. The work that I will present has a strong algorithmic flavour, while it is validated in real hardware. Bio Ioannis Rekleitis is currently an Assistant Professor at the Computer Science and Engineering Department at the College of Engineering and Computing, University of South Carolina. Previously he was an Adjunct Professor at the School of Computer Science, McGill University. Between 2004 and 2007 he was a visiting fellow at the Canadian Space Agency. During 2004 he was at McGill University as a Research Associate in the Centre for Intelligent Machines with Professor Gregory Dudek in the Mobile Robotics Lab (MRL). Between 2002 and 2003, he was a Postdoctoral Fellow at the Carnegie Mellon University in the Sensor Based Planning Lab with Professor Howie Choset. He was granted his Ph.D. from the School of Computer Science, McGill University, Montreal, Quebec, Canada in 2002 under the supervision of Professors Gregory Dudek and Evangelos Milios. Thesis title: "Cooperative Localization and Multi-Robot Exploration". His Research has focused on mobile robotics and in particular in the area of cooperating intelligent agents with application to multi-robot cooperative localization, mapping, exploration and coverage. His interests extend to computer vision and sensor networks. He has worked with underwater, terrestrial, aerial, and space robots. Ioannis Rekleitis has published more than sixty journal and conference papers. His work can be found online at: http://www.cse.sc.edu/~yiannisr/

More information here.

THESIS DEFENSE Department of Computer Science and Engineering, University of South Carolina Planning A Virtual Lab for Analysis of Malware Candidate: Subhro Sankha Kar Advisor: Dr. Marco Valtorta Date: Friday, February 20, 2015 Time: 10:00 am Place: Swearingen (3A00, Dean’s Conference Room) Abstract I will present a study of the development and availability of different virtual infrastructure platforms and methods of virtualization for the Intel architecture. I will discuss various approaches to deployment and management of a virtual lab that can be used for the study of operating systems and the analysis of malware. My approach is to deploy a para-virtualized analysis lab that is functionally equivalent to the Red Hat malware analysis lab and that uses open source software. I will show how I completed this task using OpenStack, a platform that was not designed for malware analysis. I will present instructions for the deployment and management of such a virtual infrastructure, compare its cost to that of a full hardware lab, and show how the para-virtualized lab overcomes countermeasures taken by a typical piece of malware when running in a virtualized environment

COLLOQUIUM Gregory Gay Department of Computer Science and Engineering University of Minnesota Date: February 13, 2015 Time: 0930-1100 Place: Swearingen 1A03 (Faculty Lounge) Abstract There are two key artifacts necessary to test software, the test data - inputs given to the system under test (SUT) - and the oracle - which judges the correctness of the resulting execution. Substantial research efforts have been devoted towards the creation of effective test inputs, but relatively little attention has been paid to the creation of oracles. The specification of test oracles remains challenging for many domains, such as real-time embedded systems, where small changes in timing or sensory input may cause large behavioral differences. Models of such systems, often built for analysis and simulation before the development of the final system, are appealing for reuse as oracles. These models, however, typically represent an idealized system, abstracting away certain considerations such as non-deterministic timing behavior and sensor noise. Thus, even with the same test data, the model’s behavior may fail to match an acceptable behavior of the SUT, leading to many false positives reported by the oracle. This talk will present an automated framework that can adjust, or steer, the behavior of the model to better match the behavior of the SUT in order to reduce the rate of false positives. This model steering is limited by a set of constraints (defining acceptable differences in behavior) and is based on a search process attempting to minimize a numeric dissimilarity metric. This framework allows non-deterministic, but bounded, behavior differences, while preventing future mismatches, by guiding the oracl--within limits--to match the execution of the SUT. Results show that steering significantly increases SUT-oracle conformance with minimal masking of real faults and, thus, has significant potential for reducing false positives and, consequently, development costs. Gregory Gay is a Ph.D. candidate and NSF graduate fellow in the Department of Computer Science and Engineering at the University of Minnesota, working with the Critical Systems research group. His research interests include automated testing and analysis--with an emphasis on test oracle construction--and search-based software engineering. Greg previously received his BS and MS from West Virginia University and has held short-term research positions at NASA's Ames Research Center and the Chinese Academy of Sciences.

What: Women in Computing / ACM Joint Meeting When: Thursday, February 12th at 6:00pm Where: 2A14  

1. Come show off your CS knowledge with a game of Jeopardy! WiC vs ACM... Who will win???
2. If you are interested in participating in Fix-IT day (Feb. 28th) this semester we will also discuss the logistics!

Added Incentives: PIZZA!!! More Info

COLLOQUIUM Department of Computer Science and Engineering University of South Carolina Mai Zheng Department of Computer Science and Engineering The Ohio State University Date: February 6, 2015 Time: 0930-1100 Place: Swearingen 1A03 (Faculty Lounge) Abstract Storage system failures are extremely damaging---if your browser crashes you sigh, but when your family photos disappear you cry. So we need highly reliable storage systems that can keep data safe even under failures. Such high standard of reliability is far from trivial to provide, particularly when high performance must be achieved. This leads to complex and error-prone code---even at a low defect rate of one bug per thousand lines, the millions of lines of code in a commercial online transaction processing (OLTP) database can harbor thousands of bugs. In this talk, I will focus on two of my research efforts to better understand the reliability of data storage systems under failures. First, I will discuss a framework for evaluating solid-state drives (SSDs). This work uncovers five failure behaviors of SSDs, including bit corruption, shorn writes, non-serializable writes, metadata corruption, and total device failure. The surprising results provide important implications to the design of higher-level storage software and have led to the enhancement of power loss protection in some latest SSDs. In the second part, I will detail a framework to expose and diagnose atomicity, consistency, isolation, and durability (ACID) violations in databases under failures. Using the framework, we study eight widely-used databases. Surprisingly, all eight databases exhibit erroneous behavior. For the open-source databases, we are able to diagnose the root causes using our framework, and for the proprietary commercial databases we can reproducibly induce data loss. Mai Zheng is a Ph.D. candidate in the Department of Computer Science and Engineering at The Ohio State University. His research spans software reliability,storage systems, parallel and distributed systems, operating systems, and high-performance computing. He has been in close collaboration with HP Labs since 2012. His work appears in venues such as OSDI, FAST, PPoPP, as well as in ZDNet, Splashdot, Infoworld, and the RISKS Digest. Mai earned his bachelor's degree from Qingdao University in 2006 and his master's degree from University of Science and Technology of China in 2009.