The 55th CREST Open Workshop - Bimodal Program Analysis

Date: 30th and 31st October 2017

Venue: Friends House, 173-177 Euston Road, London NW1 2BJ

Overview:

Software is bimodal:  it interlinks two channels, an algorithmic channel aimed at devices and a natural language channel aimed at developers.  Most research has focused on one channel or the other, not their interplay. Simultaneously considering both channels promises a new source of constraints for improving program analysis and software engineering tools.  For example, names in program text can be exploited to refine a type lattice.  The CREST Open Workshop on PL and NLP will explore how to identify and exploit these cross-channel connections.

Organisers: 

Earl Barr, CREST Centre, SSE Group, Department of Computer Science, UCL, UK 

Santanu Dash, CREST Centre, SSE Group, Department of Computer Science, UCL,UK

 

Speakers: 

Miltos Allamanis, Microsoft Research 

Uri Alon, Computer Science Department, Technion - Israel Institute of Technology, Israel - Automatic Feature Generation for Predicting Program Properties 

Marc Brockschmidt, Microsoft Research

Swarat Chaudhuri, Computer Science Department, Rice University, Texas, USA

Santanu Dash, CREST Centre, SSE Group, Department of Computer Science, UCL,UK

Abram Hindle, Department of Computing Science, University of Alberta, Canada - Abstract and Bio

Annie Louis, School of Informatics, University of Edinburgh, UK

Mark MarronMicrosoft Research 

Lori Pollock, Department of Computer and Information Sciences, University of Delaware, USA

Michael Pradel, Department of Computer Science, Technische Universität Darmstadt, Germany

Andrew Rice, Digital Technology Group, University of Cambridge, UK

Martin Robillard, School of Computer Science, McGill University, Canada - Blending Code and Text Analysis to Detect Fragile Comments

Christoph Treude, School of Computer Science, University of Adelaide, Australia - Bimodal Software Documentation

 

Registration:

Participants can register for a COW by sending an email to registration-cow@cs.ucl.ac.uk. Please enclose the following information in your email:

  1. Name:
  2. Affiliation:
  3. Personal or organisational web page URL:
  4. Twitter (optional):
  5. Do you agree on the terms of FRPNA:
  6. Any dietary requirements or allergies:

Spaces for COWs are limited. When registering for a COW we recommend holding off on travel and accommodation bookings until you receive the confirmation of registration from the workshop organiser, to avoid disappointment.

 

This workshop is supported by the following sponsors:

Registered attendees:

1. Miltos Allamanis, Microsoft Research 

2. Earl Barr, CREST Centre, SSE Group, Department of Computer Science, UCL, UK 

3. Santanu Dash, CREST Centre, SSE Group, Department of Computer Science, UCL,UK

4. Annie LouisSchool of Informatics, University of Edinburgh, UK

5. Christoph Treude, School of Computer Science, University of Adelaide, Australia

6. Chaiyong Ragkhitwetsagul, CREST Centre, SSE Group, Department of Computer Science, UCL, UK

7. Lori Pollock, Department of Computer and Information Sciences, University of Delaware, USA

8. Marc Brockschmidt, Microsoft Research

9. Michael Pradel, Department of Computer Science, Technische Universität Darmstadt, Germany

10. Swarat Chaudhuri, Computer Science Department, Rice University, Texas, USA

11. Derek Jones, Knowledge Software, UK

12. Uri Alon, Computer Science Department, Technion - Israel Institute of Technology, Israel

13. Abram Hindle, Department of Computing Science, University of Alberta, Canada

14. Mark MarronMicrosoft Research 

15. Martin Robillard, School of Computer Science, McGill University, Canada

16. Nicolas Gold, CREST Centre, SSE Group, Department of Computer Science, UCL, UK

17. Lorenzo Cavallaro, Systems Security Research Lab, Royal Holloway, University of London, UK 

18. Maqsood Ahmad, University of Trento, Italy

19. Federica SarroCREST Centre, SSE Group, Department of Computer Science, UCL,UK

20. Justyna PetkeCREST Centre, SSE Group, Department of Computer Science, UCL, UK

21. Fabio Pierazzi, Machine Learning and Cybersecurity, Royal Holloway University of London

22. Nassim Seghir, CREST Centre, SSE Group, Department of Computer Science, UCL, UK

23. Andrew Rice, Digital Technology Group, University of Cambridge, UK

24. Sergio Giro, prodo.ai

25. Marco Castelluccio, Università di Napoli Federico II, Italy & Mozilla Corporation

 

This page was last modified on 20 Sep 2017.