February 2020 - Stack@CS Reading Group

[Sysreading] Reading group for 03/05/2020: Software validation and verification
by Ya Xiao 27 Feb '20

27 Feb '20

Hey folks, After a few weeks discussing deep learning techniques, we will start a new topic about software validation and verification. *Topic*: Software validation and verification *Paper*: ICSE 2018: Lange et al. "A static verification framework for message passing in Go using behavioural types <https://dl.acm.org/doi/abs/10.1145/3180155.3180157>" *Where*: KW2 2225 *When*: 12:00 pm - 1:00 pm. Thursday, March 5th, 2020. Please RSVP <https://docs.google.com/spreadsheets/d/1PUpFKcw6i2t3fNdAF-wh0EZRDzQFQihGQjJ…> here, Thank you! Best, Ya

1 1

[Sysreading] Reading group for 02/27/2020: Deep learning for software engineering tasks
by Ya Xiao 20 Feb '20

20 Feb '20

Hey all, This week we will continue to read a paper about deep learning solutions for software engineering tasks. After a couple of papers starting from high level code representations, let's see how deep learning work on binary code. *Topic*: Deep learning in software engineering tasks *Paper*: NDSS 2019: Zuo et al. "Neural Machine Translation Inspired Binary Code Similarity Comparison beyond Function Pairs <https://www.ndss-symposium.org/wp-content/uploads/2019/02/ndss2019_11-4_Zuo…> " *Where*: KW2 2225 *When*: 12:00 pm - 1:00 pm. Thursday, February 20th, 2020. Please RSVP <https://docs.google.com/spreadsheets/d/1OSEr4jVBVQLkdtYL5zHPGs3oGoP5Xf4Pt-W…> here. Thanks! Best, Ya

1 0

[Sysreading] Reading group for 01/20/2020: Deep learning in software engineering tasks
by Ya Xiao 13 Feb '20

13 Feb '20

Hey all, This week we will start the topic deep learning for software engineering tasks. *Topic*: Deep learning in software engineering tasks *Paper*: POPL 2019: Alon et al. code2vec: Learning Distributed Representations of Code <https://dl.acm.org/doi/pdf/10.1145/3290353?download=true> *Where*: KW2 2225 *When*: 12:00 pm - 1:00 pm. Thursday, February 20th, 2020. Please RSVP here <https://docs.google.com/spreadsheets/d/1-O5_5_4XTQ2hhdiRkQIEkJNNX8lJDZKezm6…> so that I can order enough food. Thanks! Best, Ya

1 0

[Sysreading] Reading group for 01/13/2020: Finding graph representation of programs
by Ya Xiao 06 Feb '20

06 Feb '20

Hey all, We will continue the topic about graph representation for programs in deep learning. Next week, we will discuss a NeurIPS 2019 paper. *Topic*: Finding graph representation of programs *Paper*: NeurIPS 2019: NeurlPS 2019: Zhou et al. "Devign: Effective Vulnerability Identification by Learning Comprehensive Program Semantics via Graph Neural Networks" <https://arxiv.org/abs/1909.03496> *Where*: KW2 2225 *When*: 12:00 pm - 1:00 pm. Thursday, February 13th, 2020. Please RSVP here <https://docs.google.com/spreadsheets/d/13FwUMNvtKcp8aL6ZuXrlaVlOK5c9pV25k1y…> so that I can order enough food. Thank you. Best, Ya

1 0