Track Overview
Modern CS in the Real World
Computer Science research did not stop at QuickSort or the LR algorithm. In this track we'll cover topics such as probabilistic algorithms and data structures, new security and distributed algorithms, advances in typing, formal methods, new approaches to concurrency and much more. Why? Because we need to tackle ever more data in shorter periods of time - but our CPUs don't get much faster.
Concurrency helps - but that just brings new problems to tackle, and meanwhile more moving parts just means more things that can fall over if we're not careful. Time to sneak a peek at approaches real companies use to tackle this issues using Computer Science research and results from the last few decades.
From this track
SQL Server On Linux: Will It Perform Or Not?
Will SQL Server perform on Linux better than on Windows? Have you been wondering whether the multi-layer architecture the team revealed recently will hurt SQL Server’s performance? Are you still not convinced about the entire endeavor. Come, listen to the talk, learn about SQL Server’s...
Slava Oks
Core Developer Behind Porting SQL Server to Linux @Microsoft
Property-Based Testing In Practice
Testing is a cornerstone of modern software development. It provides us with a safety net against bugs and regressions – without testing, it would be impossible to write large-scale applications. The traditional approach to testing relies on hard-coded examples: fire some specific inputs into...
Alex Chan
Hypothesis Maintainer & Software Developer @WellcomeTrust
Assuring Crypto Code with Automated Reasoning
Bugs in software are ubiquitous, but the impact of these bugs can vary widely. Sometimes they are largely benign, and at other times they can have catastrophic effects. Bugs in cryptographic software tend to be especially serious. To add to that, cryptographic algorithms are difficult to design...
Aaron Tomb
Research Lead, Software Correctness @Galois
Panel: What's Next for Our Programming Languages?
Types, testability, tooling, paradigms, productivity, managed, native, concurrency, parallelism, performance, asynchrony, integrations, memory management, security, resilience, or, maybe, simple readability? What are the important things crossing the minds of language designers today as they...
Brian Goetz
Java Language Architect @Oracle
Joe Duffy
Pulumi Co-founder & CEO, Previously @Microsoft Director of Engineering for Languages/Compilers
Martin Thompson
High Performance & Low Latency Specialist
Sylvan Clebsch
CTO @Causality
Richard Feldman
Elm Pioneer & Software Engineer @noredink
Power of the Log:LSM & Append Only Data Structures
This talk is about the beauty of sequential access and append only data structures. We'll do this in the context of a little known paper entitled “Log Structured Merge Trees”. LSM describes a surprisingly counterintuitive approach to storing and accessing data in a sequential fashion. It came...
Benjamin Stopford
Author of “Designing Event Driven Systems” & Senior Director @confluentinc
Pony: Co-Designing A Type-System And A Run-Time
Pony is an actor-model, capabilities-secure, native programming language. I will talk about reference capabilities (a type system for data-race freedom influenced by object capabilities and deny guarantee reasoning), the ORCA and MAC protocols for fully concurrent no-stop-the-world garbage...
Sylvan Clebsch
CTO @Causality
Speakers from this track
Slava Oks
Core Developer Behind Porting SQL Server to Linux @Microsoft
Slava Oks has been with Microsoft for almost 20 years. During the tenure he has worked on numerous system technologies; helped to build and ship a number of flagship Microsoft products such as SQL Server, Windows, connectivity drivers for ODBC & OLEDB and more. In 2007 Slava moved to work on...
Read moreFind Slava Oks at:
Alex Chan
Hypothesis Maintainer & Software Developer @WellcomeTrust
Alex is a software developer at the Wellcome Trust in London, writing search backends for the Trust’s collection of artefacts and library books. He also dabbles in open-source Python, including HTTP/2 networking stacks and testing libraries. Outside work, he can usually be found reading books...
Read moreFind Alex Chan at:
Aaron Tomb
Research Lead, Software Correctness @Galois
Dr. Tomb received his B.S., M.S., and Ph.D. in computer science from the University of California, Santa Cruz. His academic work focused on programming language theory, and particularly on the use of advanced programming language technology to improve software reliability. This involves type...
Read more
Brian Goetz
Java Language Architect @Oracle
Brian Goetz is the Java Language Architect at Oracle, and was the specification lead for JSR-335 (Lambda Expressions for the Java Programming Language.) He is the author of the best-selling Java Concurrency in Practice, as well as over 75 articles on Java development, and has been fascinated by...
Read moreFind Brian Goetz at:
Joe Duffy
Pulumi Co-founder & CEO, Previously @Microsoft Director of Engineering for Languages/Compilers
Joe Duffy is Co-founder & CEO of a stealth-mode cloud startup in Seattle, Pulumi. Prior to this, he was Director of Technical Strategy and Engineering in Microsoft's Developer Division, managing all of Microsoft's programming language, compiler, and static analysis products, and driving key...
Read moreFind Joe Duffy at:
Martin Thompson
High Performance & Low Latency Specialist
Martin is a Java Champion with over 2 decades of experience building complex and high-performance computing systems. He is most recently known for his work on Aeron and SBE. Previously at LMAX he was the co-founder and CTO when he created the Disruptor. Prior to LMAX Martin worked for Betfair,...
Read moreFind Martin Thompson at:
Sylvan Clebsch
CTO @Causality
Sylvan Clebsch is the designer of the Pony programming language. He works at Microsoft Research Cambridge in the Programming Language Principles group. He is interested in massively concurrent and distributed systems, garbage collection, type systems, actor-model programming, and trusted...
Read moreFind Sylvan Clebsch at:
Richard Feldman
Elm Pioneer & Software Engineer @noredink
Richard is the author of “Elm in Action” from Manning Publications, and the instructor for the Frontend Masters 2-Day Elm Workshop. When he’s not writing about Elm, teaching Elm, speaking about Elm, or co-hosting the San Francisco Elm meetup, he likes to take a break from his job at...
Read moreFind Richard Feldman at:
Benjamin Stopford
Author of “Designing Event Driven Systems” & Senior Director @confluentinc
Ben is a Senior Director at Confluent (a company that backs Apache Kafka) where he runs the Office of the CTO. He's worked on a wide range of projects from implementing the latest version of Kafka’s replication protocol through to assessing and shaping Confluent's strategy. His...
Read moreFind Benjamin Stopford at:
Track Host
Werner Schuster
Conference Chair & InfoQ Editor Functional Programming, @Wolfram
Werner Schuster (@murphee) sometimes writes software, sometimes writes about software. He focuses on languages, VMs and compilers, HTML5/Javascript, and recently more on performance optimisation.
Read more