JetBrains Research: doelen, projecten en kansen JetBrains Research: Goals, Projects, and Opportunities

De symbiotische relatie tussen bedrijfsleven en wetenschap is essentieel, zeker in het snel ontwikkelende vakgebied van software engineering. Universiteiten zijn van oudsher de centra van wetenschappelijk onderzoek, maar de behoefte aan innovatieve oplossingen en baanbrekende vooruitgang heeft ertoe geleid dat steeds meer bedrijven hun eigen onderzoeksprogramma's opzetten. JetBrains is een voorbeeld van een bedrijf met zo'n eigen programma. JetBrains Research doet wetenschappelijk en toegepast onderzoek op uiteenlopende gebieden, waaronder informatica, software engineering, robotica, marktonderzoek, computationele biologie en meer. In deze talk vertelt Anton Podkopaev, hoofd van het Programming Languages and Tools Laboratory bij JetBrains Research, over een aantal onderzoeksrichtingen en projecten, hun belang en impact op de producten van JetBrains, en de mogelijkheden om je bij het team aan te sluiten. Spreker: Anton Podkopaev Agenda: 00:00 - Introductie van Anton 01:30 - Bedrijfsleven vs. wetenschap 04:10 - JetBrains Research 06:50 - Introductie van de labs van JetBrains Research 14:15 - Enkele projecten van JetBrains Research 16:30 - Kom bij JetBrains Research! 18:34 - Introductie tot weak memory models 19:22 - Sequential consistency 22:03 - Dekker's lock 24:52 - Oorzaken van store buffering-gedrag 38:49 - Bestaande weak memory models 39:17 - IMM, een framework voor compilatiecorrectheid 41:10 - Andere gerelateerde projecten van het PLT-lab Presentatie: https://drive.google.com/file/d/1zkpExxewihgulEQt6POnyFelll1o-Ojo/view?usp=sharing #JetBrainsResearch #Weakmemorymodels #PLTlab

The symbiotic relationship between industry and academia is vital, especially in the rapidly developing area of software engineering. While universities have traditionally been hubs for academic research, the need for innovative solutions and cutting-edge advancements has led to a growing trend of industries initiating their own research programs. JetBrains is one example of a company creating its own such program. JetBrains Research conducts scientific and applied research spanning a variety of fields, including computer science, software engineering, robotics, market research, computational biology, and more. In this talk, Anton Podkopaev, Head of the Programming Languages and Tools Laboratory at JetBrains Research, will talk about some of the research directions and projects, their importance and impact on JetBrains products, and opportunities for joining the team. Speaker: Anton Podkopaev Agenda: 00:00 - Anton's intro 01:30 - Industry vs. Academia 04:10 - JetBrains Research 06:50 - Introduction of JetBrains Research labs 14:15 - Some projects of JetBrains Research 16:30 - Join JetBrains Research! 18:34 - Introduction to weak memory models 19:22 - Sequential consistency 22:03 - Dekker's lock 24:52 - Reasons for store buffering behavior 38:49 - Existing weak memory models 39:17 - IMM, compilation correctness framework 41:10 - Other related projects of PLT lab Presentation: https://drive.google.com/file/d/1zkpExxewihgulEQt6POnyFelll1o-Ojo/view?usp=sharing #JetBrainsResearch #Weakmemorymodels #PLTlab