<!DOCTYPE html>
<html>
<head>
<title></title>
</head>
<body><div><div>A reminder to everyone and the *strongest* encouragement to attend today's faculty candidate talk by Baris Kasikci of EPFL, who is interviewing for a Lecturer position in the Systems and Networks Research Group.<br></div>
<div> </div>
<div>Baris's work on finding concurrency-related bugs in modern, multi-threaded software for multi-core machines is widely known.<br></div>
<div> </div>
<div>Broad attendance across *all* research groups at faculty candidates' talks is vital--it shows candidates that our department is a vibrant intellectual community. Your participation in this important part of the department's intellectual life very warmly appreciated!<br></div>
<div> </div>
<div>Title, abstract, and bio follow below.<br></div>
<div> </div>
<div>See you there,<br></div>
<div>-Brad, <a href="mailto:bkarp@cs.ucl.ac.uk">bkarp@cs.ucl.ac.uk</a><br></div>
<div> <br></div>
<p style="font-family: Calibri, sans-serif; font-size: 11pt; margin: 0cm 0cm 0.0001pt;">---------------------------------------------------------------------------------------------------<br></p><p style="font-family: Calibri, sans-serif; font-size: 11pt; margin: 0cm 0cm 0.0001pt;"> <br></p><p style="font-family: Calibri, sans-serif; font-size: 11pt; margin: 0cm 0cm 0.0001pt;"><b><span class="size" style="font-size:14pt">UCL CS Faculty Candidate Talk</span></b><br></p><p style="font-family: Calibri, sans-serif; font-size: 11pt; margin: 0cm 0cm 0.0001pt;"><b><span class="size" style="font-size:14pt"> </span></b><br></p><p style="font-family: Calibri, sans-serif; font-size: 11pt; margin: 0cm 0cm 0.0001pt;"><b><span class="size" style="font-size:14pt"> </span></b><br></p><p style="font-family: Calibri, sans-serif; font-size: 11pt; margin: 0cm 0cm 0.0001pt;"><b>Title: Stamping Out Concurrency Bugs</b><br></p><p style="font-family: Calibri, sans-serif; font-size: 11pt; margin: 0cm 0cm 0.0001pt;"> <br></p><p style="font-family: Calibri, sans-serif; font-size: 11pt; margin: 0cm 0cm 0.0001pt;"><b>Speaker: Dr. Baris Kasikci, Scientific Collaborator & Postdoctoral Researcher, Ecole Polytechnique Fédérale de Lausanne (EPFL)
<a href="http://www.bariskasikci.org/" style="text-decoration: underline; color: rgb(5, 99, 193);"><span class="colour" style="color:windowtext">http://www.bariskasikci.org/</span></a> </b><br></p><p style="font-family: Calibri, sans-serif; font-size: 11pt; margin: 0cm 0cm 0.0001pt;"> <br></p><p style="font-family: Calibri, sans-serif; font-size: 11pt; margin: 0cm 0cm 0.0001pt;"><b><span class="colour" style="color:red">Location and time: Roberts 309, 2 – 3.30pm, Friday 4 March</span></b><span class="colour" style="color:red"></span><br></p><p style="font-family: Calibri, sans-serif; font-size: 11pt; margin: 0cm 0cm 0.0001pt;"> <br></p><p style="font-family: Calibri, sans-serif; font-size: 11pt; margin: 0cm 0cm 0.0001pt;"><b>Abstract:</b><br></p><p style="font-family: Calibri, sans-serif; font-size: 11pt; margin: 0cm 0cm 0.0001pt;"> <br></p><p style="font-family: Calibri, sans-serif; font-size: 11pt; margin: 0cm 0cm 0.0001pt;">The shift to multi-core architectures in the past ten years pushed developers to write concurrent software to leverage hardware parallelism. The transition to multi-core hardware happened at a more rapid pace than the evolution of associated
programming techniques and tools, which made it difficult to write concurrent programs that are both efficient and correct. Failures due to concurrency bugs are often hard to reproduce and fix, and can cause significant losses.<br></p><p style="font-family: Calibri, sans-serif; font-size: 11pt; margin: 0cm 0cm 0.0001pt;"> <br></p><p style="font-family: Calibri, sans-serif; font-size: 11pt; margin: 0cm 0cm 0.0001pt;">In this talk, I will first give an overview of the techniques we developed for the detection, root cause diagnosis, and classification of concurrency bugs. Then, I will discuss how the techniques we developed have been adopted at Microsoft
and Intel. I will then discuss in detail Gist, a technique for the root cause diagnosis of failures. Gist uses hybrid static-dynamic program analysis and gathers information from real user executions to isolate root causes of failures. Gist is highly accurate
and efficient, even for failures that rarely occur in production. Finally, I will close by describing future work I plan to do toward solving the challenges posed to software systems by emerging technology trends.<br></p><p style="font-family: Calibri, sans-serif; font-size: 11pt; margin: 0cm 0cm 0.0001pt;"> <br></p><p style="font-family: Calibri, sans-serif; font-size: 11pt; margin: 0cm 0cm 0.0001pt;"><b>Bio:</b><br></p><p style="font-family: Calibri, sans-serif; font-size: 11pt; margin: 0cm 0cm 0.0001pt;"> <br></p><p style="font-family: Calibri, sans-serif; font-size: 11pt; margin: 0cm 0cm 0.0001pt;">Baris Kasikci completed his Ph.D. in the Dependable Systems Laboratory (DSLAB) at EPFL, advised by George Candea. His research is centered around developing techniques, tools, and environments that help developers build more reliable
and secure software. He is interested in finding solutions that allow programmers to better reason about their code, and that efficiently detect bugs, classify them, and diagnose their root cause. He especially focuses on bugs that manifest in production,
because they are hard and time-consuming. He is also interested in efficient runtime instrumentation, hardware and runtime support for enhancing system security, and program analysis under various memory models.<br></p><p style="font-family: Calibri, sans-serif; font-size: 11pt; margin: 0cm 0cm 0.0001pt;"> <br></p><p style="font-family: Calibri, sans-serif; font-size: 11pt; margin: 0cm 0cm 0.0001pt;">Baris is one of the four recipients of the VMware 2014-2015 Graduate Fellowship. During his Ph.D., he interned at Microsoft Research, VMware, and Intel. Before starting his Ph.D., he worked as a software engineer for four years, mainly
developing real-time embedded systems software. Before joining EPFL, he was working for Siemens Corporate Technology. More details can be found at
<a href="http://www.bariskasikci.org/" style="text-decoration: underline; color: rgb(5, 99, 193);">http://www.bariskasikci.org/</a>.<br></p><p style="font-family: Calibri, sans-serif; font-size: 11pt; margin: 0cm 0cm 0.0001pt;"> <br></p><p style="font-family: Calibri, sans-serif; font-size: 11pt; margin: 0cm 0cm 0.0001pt;"> <br></p><p style="font-family: Calibri, sans-serif; font-size: 11pt; margin: 0cm 0cm 0.0001pt;">END<br></p><p style="font-family: Calibri, sans-serif; font-size: 11pt; margin: 0cm 0cm 0.0001pt;"> <br></p><p style="font-family: Calibri, sans-serif; font-size: 11pt; margin: 0cm 0cm 0.0001pt;"> <br></p><p style="font-family: Calibri, sans-serif; font-size: 11pt; margin: 0cm 0cm 0.0001pt;"><b><span style="">Lisa Howard</span></b><br></p><p style="font-family: Calibri, sans-serif; font-size: 11pt; margin: 0cm 0cm 0.0001pt;"><span style="">PA & HR Administrator</span><br></p><p style="font-family: Calibri, sans-serif; font-size: 11pt; margin: 0cm 0cm 0.0001pt;"><span style="">UCL Department of Computer Science</span><br></p><p style="font-family: Calibri, sans-serif; font-size: 11pt; margin: 0cm 0cm 0.0001pt;"><span style="">Malet Place Engineering Building, Room 5.22</span><br></p><p style="margin: 0cm 0cm 12pt; font-family: Calibri, sans-serif; font-size: 11pt;"><span class="font" style="font-family:'Calibri Light', sans-serif">External Phone: 020 3108 1622<br>
Internal Phone: 51622</span></p><p style="margin: 0cm 0cm 12pt; font-family: Calibri, sans-serif; font-size: 11pt;"><span class="font" style="font-family:'Calibri Light', sans-serif"> </span><br></p><p style="font-family: Calibri, sans-serif; font-size: 11pt; margin: 0cm 0cm 0.0001pt;"> <br></p><div> </div>
<div> </div>
<div> </div>
<div> </div>
</div>
<div> </div>
</body>
</html>