Zeeshan Sahil folio

Two English-language poems, entitled Love and Malika/Queen, by Zeeshan Sahil

Corresponding Voices Volume 3 (complete)

The full issue of Corresponding Voices volume 3, featuring Faiz Ahmed Faiz, Ana María Fuster Lavín, Christopher Kennedy, Tonia León, Zeeshan Sahil, and edited by Pedro Cuperman

Ambient health monitoring: the smartphone as a body sensor network component

Inertial measurement units used in commercial body sensor networks (e.g. animation suits) are inefficient, difficult to use and expensive when adapted for movement science applications concerning medical and sports science. However, due to advances in micro-electro mechanical sensors, these inertial sensors have become ubiquitous in mobile computing technologies such as smartphones. Smartphones generally use inertial sensors to enhance the interface usability. This paper investigates the use of a smartphone’s inertial sensing capability as a component in body sensor networks. It discusses several topics centered on inertial sensing: body sensor networks, smartphone networks and a prototype framework for integrating these and other heterogeneous devices. The proposed solution is a smartphone application that gathers, processes and filters sensor data for the purpose of tracking physical activity. All networking functionality is achieved by Skeletrix, a framework for gathering and organizing motion data in online repositories that are conveniently accessible to researchers, healthcare professionals and medical care workers

Checking-in on Network Functions

When programming network functions, changes within a packet tend to have consequences---side effects which must be accounted for by network programmers or administrators via arbitrary logic and an innate understanding of dependencies. Examples of this include updating checksums when a packet's contents has been modified or adjusting a payload length field of a IPv6 header if another header is added or updated within a packet. While static-typing captures interface specifications and how packet contents should behave, it does not enforce precise invariants around runtime dependencies like the examples above. Instead, during the design phase of network functions, programmers should be given an easier way to specify checks up front, all without having to account for and keep track of these consequences at each and every step during the development cycle. In keeping with this view, we present a unique approach for adding and generating both static checks and dynamic contracts for specifying and checking packet processing operations. We develop our technique within an existing framework called NetBricks and demonstrate how our approach simplifies and checks common dependent packet and header processing logic that other systems take for granted, all without adding much overhead during development.Comment: ANRW 2019 ~ https://irtf.org/anrw/2019/program.htm