Fluid Reset
December 
8th
 at 
9:30am
RSVPs Closed
Text goes here
X

Check-In & Networking

Check-In & Networking

6:00 PM

ReFab

A premiere eco­chic clothing company that creates artful fashion out of upcycled clothing and textiles.

R. Harrison

CEO Barkbook

Facebook Software Engineering Workshop

A FULL DAY OF PRESENTATIONS FROM WORLD LEADING SOFTWARE ENGINEERING RESEARCHERS

Friday
, 
December 
08
 at 
9:30am
RSVPs Closed
Text goes here
X

ABOUT

The Facebook Software Engineering workshop will bring together academics and industrialists working on advanced techniques for faster deployment of reliable software at scale.

 

The workshop is a one day series of talks and discussions for leading software engineering researchers and practitioners. The workshop open to all academics and practicing software engineers to register.


Registration is now closed. 

WHERE & WHEN

Friday
, 
December 
08
 at 
9:30am

Workshop Talks

Check-In with tea and coffee


9:30

Welcome & Introductions

Mark Harman 

10:00

Fuzz Testing with Inferred Grammars

Andreas Zeller

10:30

Want to Promote Tech Diversity? Use GenderMag

Margaret Burnett 

11:15

A Verification Technique for Deterministic Parallel Programs

Marieke Huisman 

12:00

Lunch & Networking

Food Provided

12:45

Interactive and Automated Debugging for Big Data Analytics

Miryung Kim 

14:00 

Move Fast and Prove Things: Adventures of a theoretical computer scientist inside Facebook Software Engineering

Peter O'Hearn 

14:45 

Managing Safety Cases in Model-Based Software Systems

Marsha Chechik 

15:30

Tea Break


16:15

How Bots Disrupt Software Development

Margaret-Anne Storey

17:00

Wrap-Up

Closing Remarks

17:45

End of Workshop


18:00

Speakers

Marsha Chechik

Professor in Computer Science

University of Toronto


Marsha's main research interests are in the use of formal methods to improve the quality of software including scalable automated verification techniques among others.

Peter O'Hearn

Engineering Manager
Facebook


Peter is an Engineering Manager working with the Static Analysis Tools team in the Facebook London Engineering office. He came to Facebook in 2013 with the acquisition of the verification startup Monoidics. His research has been in the broad areas of programming languages and logic, ranging from new logics and mathematical models to industrial applications of formal proof.


Andreas Zeller

full professor for Software Engineering Saarland University

 

Andreas' research concerns the analysis of complex software systems, their security properties, and their development process. He was inducted as Fellow of the ACM for his contributions to automated debugging and mining software archives. In 2011, he received an ERC Advanced Grant, Europe's highest and most prestigious individual research grant, for work on specification mining and test case generation.

Margaret Burnett

Distinguished Professor

Oregon State University


Margaret’s research focuses on people who are engaged in some form of software development. She pioneered the use of information foraging theory in the domain of software debugging, and leads the team that created GenderMag, a software inspection process that uncovers gender inclusiveness issues in software from spreadsheets to programming environments.

Marieke Huisman

Marieke Huisman

Professor in Computer Science

University of Twente

 

Marieke develops static and dynamic verification techniques for concurrent and distributed software. Her ultimate aim is to develop automated analysis techiques that help software developers to write better and more reliable software.

Miryung Kim

associate professor in Computer Science

UCLA

 

Miryung's research focuses on software engineering, specifically on software evolution. She develops software analysis algorithms and development tools to improve programmer productivity and her recent research focuses on software engineering support for big data systems and understanding data scientists in software development organizations

Margaret-Anne Storey

Professor of Computer Science and Canada Research Chair In Human And Social Aspects Of Software Engineering, University Of Victoria

 

Margaret-Anne's Research Passion is to Improve How Real World Developers Collaborate With Each Other And How They Can More Effectively Leverage Big Data, Visualization, Social Software And Collaborative Tools In Their Work.

Your Host

Mark Harman

Mark is an engineering manager at Facebook and a part time professor of Software Engineering in the Department of Computer Science at University College London. His scientific work centers around software analysis and testing and Search Based Software Engineering (SBSE), a field of engineering I co-founded in the late 1990s.

HostS

Mark Harman & Yue Jia

Mark is an Engineering Manager at Facebook and a part time professor of Software Engineering in the Department of Computer Science at University College London. His scientific work centers around software analysis and testing and Search Based Software Engineering (SBSE), a field of engineering he co-founded in the late 1990s.


Yue is a software engineer at Facebook and a part time lecturer of software engineering in the Department of Computer Science at University College London. My research interests are in the areas of software analysis and testing and Search Based Software Engineering 


#FacebookSoftwareEngineeringWorkshop

SHOW US HOW YOU

#LIVEGREEN

Proud of how your company lives green while making green? Have a sustainable idea or question you’d like to share with like­minded innovators?


Tag your Tweets and Instagram photos with #LiveGreenMakeGreen and share your vision of social change with other workshop attendees!

RSVPs Closed
Text goes here
X

#FBSoftwareEngWorkshop

Share with Friends
Facebook
Twitter
LinkedIn
Link
Powered by
CONTACT THE ORGANIZER
Google   Outlook   iCal   Yahoo
Sorry, RSVPs have closed.