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

 

Schedule:

 

 

Day 1

09:30- 10:00 – Tea and coffee/ pastries  

10:00 – 10:30 - Andrew Rice, Department of Computer Science and Technology, University of Cambridge - Detecting Argument Selection Defects (Slides, Videos: 480p, 720p)

10:30 - 11:00 - Miltos Allamanis, Microsoft Research - Detecting Variable Misuses with Gated Graph Neural Networks (Slides, Videos: 480p, 720p)

11:00 - 11:30 - Michael Pradel, Technische Universität Darmstadt - Learning to Find Bugs (Slides, Videos: 480p, 720p)

11:30 – 13:00 - Lunch

13:00 – 13:30 - Swarat Chaudhuri, Computer Science Department, Rice University, Texas, USA - Learning to Synthesize Programs (Slides, Videos: 480p, 720p)

13:30 – 14:30 - Breaking the Shackles of the Cloud

14:30 – 15:00 - Tea and coffee

15:00 – 15:30 - Charles Sutton, School of Informatics, University of Edinburgh, UK - Mining Semantic Loop Idioms from Big Code

15:30  - 16:00 - Marc Brockschmidt, Microsoft Research - Bimodal Program Analysis in the Wild (Slides, Videos: 480p, 720p)

16:00  - 16:30 – Discussion

 

Day 2

09:30- 10:00 – Tea and coffee/ pastries 

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

10:30 - 11:00 - Annie Louis, School of Informatics, University of Edinburgh, UK - Detecting Uninformative Comments in Software

11:00 – 11:30 - Christoph Treude, School of Computer Science, University of Adelaide, Australia - Bimodal Software Documentation (Slides, Videos: 480p, 720p)

11:30 - 12:00 - Lori Pollock, Department of Computer and Information Sciences, University of Delaware, USA - Exploring Action Unit Granularity for Automatically Generating Natural Language Descriptions for Methods (Slides, Videos: 480p, 720p)

12:00 – 13:00 - Lunch

13:00 – 13:30 - Abram Hindle, Department of Computing Science, University of Alberta, Canada - Unnatural Nets (Slides, Videos: 480p, 720p)

13:30 – 14:30 - Freeform

14:30 – 15:00 -  Tea and coffee

15:00 – 15:30 - Uri Alon, Computer Science Department, Technion - Israel Institute of Technology, Israel - Automatic Feature Generation for Predicting Program Properties 

15:30 - 16:00 - Santanu Dash, CREST Centre, SSE Group, Department of Computer Science, UCL, UK - Information-theoretic Refinement of Nominal Types

16:00 - 16:30 – Discussion

 

Registration: Registration is now closed

 

 

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 Louis, School 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. Andrew Rice, Department of Computer Science and Technology, University of Cambridge

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. Matthieu Jimenez, SnT, University of Luxembourg

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

20. Justyna Petke, CREST 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

24. Sergio Giro, prodo.ai

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

26. Taolue Chen, Department of Computer Science and Information Systems, Birkbeck University of London, UK

27. David Clark, CREST Centre, SSE Group, Department of Computer Science, UCL, UK

28. Liam Atkinson, Prodo.ai

29. Charles Sutton, School of Informatics, University of Edinburgh, UK

30. Dan Bruce, CREST Centre, SSE Group, Department of Computer Science, UCL, UK

31. Hector D Menendez, CREST Centre, SSE Group, Department of Computer Science, UCL, UK

32. Eirini Vlassi Pandi, School of Informatics, University of Edinburgh, UK

33. Iason Papapanagiotakis-Bousy, CREST Centre, SSE Group, Department of Computer Science, UCL, UK 

34. Afnan A. Al-Subaihin, CREST Centre, SSE Group, Department of Computer Science, UCL, UK

35. Joseph Kalash, Department of Computer Science, UCL, UK

36. Andy Gordon, Microsoft Research Cambridge

37. Robert White, CREST Centre, SSE Group, Department of Computer Science, UCL, UK

38. Pushmeet Kohli, DeepMind

39. Mike Papadakis, SnT, University of Luxembourg

40. Zheng Gao, CREST Centre, SSE Group, Department of Computer Science, UCL, UK

41. Carlos Gavidia, CREST Centre, SSE Group, Department of Computer Science, UCL, UK

42. Matheus Paixao, CREST Centre, SSE Group, Department of Computer Science, UCL, UK

43. Leandro Oliveira de Souza, Universidade Federal da Bahia, Brazil

 

Photos: