One of the most common forms of data collection that you hear about in today's society is websites collecting usage information from their users. When used in the right hands, it's an incredibly helpful tool that helps you learn how to better your website or product! One such tool that makes collecting this information easy is Google Analytics. Be sure to have your social media blog (with ability to edit HTML, like Tumblr) or your own website ready as we delve into the code and show how easy it is to implement some basic tracking to your website!

Multi-robot systems are now being used in industry. For example, hundreds of robots navigate autonomously in Amazon fulfillment centers to move inventory pods all the way from their storage locations to the inventory stations that need the products they store (and vice versa).

The increasing demand for computing power in big data analytics and machine learning applications have imposed new challenges in software systems to accelerate the computations on massively parallel hardware. In this talk, I will explain the new challenges of parallel computing with two motivating examples: User-Defined Aggregations (UDAs) and Stochastic Gradient Descent (SGD), which are two important routines in data analytics and machine learning and are hard to benefit from parallel computing.

Computer systems today are often heterogeneous and include accelerators like Graphic Processing Units (GPUs), due to their high performance and energy efficiency. Further, with the end of Moore's Law scaling for VLSI technology,instead of increased transistor counts, customization via specialized building blocks is expected to be the main source of performance improvement. Thus architectural heterogeneity is on the rise. But it poses a productivity challenge for application developers, with the need to write multiple versions of programs using platform-specific APIs.

Software controls every device, system, and infrastructure serving our society. The rapid growth of complexity and high demand for human resources makes the task of building software tedious and error-prone. With techniques to automated reasoning, we hope to get more trustworthy, secure, and efficient programs; and in this talk, I will overview how such techniques can be built on top of solvers for Satisfiability Modulo Theories (SMT). SMT-based tools not only reveal bugs but also synthesize proofs that no bugs can ever occur.

Despite decades of investigation, software systems remain vulnerable to code defects. Even fewer assurance guarantees can be made about the reliability of new domains such as autonomous systems that are controlled by neural networks. The structure of a neural network poses significant challenges in reasoning about its lifetime operational behavior in a complex real-world environment.

Virtual and augmented reality are at the forefront of graphics research. The limits of these technologies are still being explored, and in this workshop we'll discuss a few tools, such as the Windows Mixed Reality Simulator, that allow you to experiment with mixed reality, even without purchasing a headset!

With the massive amount of data that exists in our world, it's increasingly impossible to view our raw data and make sense of it. This is where data visualization tools come into play. Power BI is one such tool which allows us to place our data in a visual, more comprehensible, context. In this workshop, we'll be analyzing the data we've gathered from our Google Analytics talk to see how our website has performed over the semester.

(No prior programming knowledge or knowledge about Power BI is required.)

Raspberry pi's are tiny affordable single-board computers that are nearly the size of a credit card. They enable you creating a portable version of your project with just a power source and, if you want an IoT device, an internet connection. They're a huge advantage for any hardware project due to their size and versatility! In this workshop, we'll be going over a basic project using this handy device!

Minimal programming experience required. If you have a raspberry pi, feel free to bring it to the workshop!