Computer Science
Past Presentations
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...
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...
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...
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...
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...
CRDTs and the Quest for Distributed Consistency
We all know how to build applications that rely on a central server. However, such centralisation is not always desirable, and recently there has been new interest in developing decentralised applications. Blockchains inevitably come up in that conversation, but when you examine them critically,...
Interviews
SQL Server On Linux: Will It Perform Or Not?
What have you been working on recently?
Two years ago there was a business decision to put SQL Server on Linux; so, as the engineering team, we have to figure out the “How” part. The task is technically challenging: tens of millions of lines of code that continues growing on a monthly basis, with over 500 developers working on it. The Drawbridge project, which I became...
Read Full InterviewCRDTs and the Quest for Distributed Consistency
What are you working on lately?
I've been at the University of Cambridge, doing research full time now, which is really cool, I get to go deep into interesting topics. Most of my work there has been on CRDTs, which is what I shall talk about in the talk. That is, data structures which can be modified on several different devices at the same time by several different...
Read Full InterviewHow Performance Optimizations Shatter Security Boundaries
What is the focus of your work today?
The work of our Secure Systems group at Graz University of Technology focuses on the secure and efficient implementation of (cryptographic) algorithms, security architectures as well as side-channel and fault attacks. Personally, my main focus is on microarchitectural side-channel attacks on personal computers and mobile devices. We...
Read Full Interview