Track: Modern CS in the Real World

Location: Pacific DEKJ

Day of week: Wednesday

Applied trends in Computer Science that are likely to affect Software Engineers today.

Track Host:
Adam Wick
Research Lead, Leads Mobile Security/Systems @Galois, & Haskell Lightweight VM Maintainer

Adam Wick leads the systems software group at Galois, Inc., an R&D company in Portland, OR. Galois does research in formal methods, programming language development, operating systems, compiler engineering, and security. Dr. Wick has worked in a variety of fields at all level of the software stack, from hardware synthesis to web applications, but has recently focused on network and operating system security. Amongst his current jobs, he is also the maintainer of the Haskell Lightweight Virtual Machine and oversees Galois' projects using this technology. @acwpdx

10:35am - 11:25am

by Philip Wadler
Haskell, Type Theory, & Functional Programming Theory Contributor

The talk will explain why category theory is of interest for developers. The principle of Propositions as Types describes a correspondence between, on the one hand, propositions and proofs in logic, and, on the other, types and programs in computing. And, on the third hand, we have category theory! Assuming only high school maths, the talk will explain how categories model three basic data types: products (logical and), sums (logical or), and functions (logical...

11:50am - 12:40pm

by Isaac Potoczny-Jones
Founder @Tozny & Authentication and Privacy Specialist

More developers are writing cryptographic code, especially in regulated sectors like health care and financial services, but the code suffers from a combination of poor programming interfaces and a lack of developer training. In one study, 83% of cryptographic flaws (CVEs) were due to programmer misuse of otherwise correct libraries. While solutions like LetsEncrypt have made HTTPS cheaper, encryption of data in transit only covers a small part of the problem...

1:40pm - 2:30pm

Open Space
2:55pm - 3:45pm

by Teme Kahsai
Software Engineer @AWS, previously Research Scientist @NASAAmes

-Abstract will be available soon-

4:10pm - 5:00pm

Abstract Coming Soon

5:25pm - 6:15pm

Abstract Coming Soon