[Pl-seminar] 14th February: Cindy Rubio-González: Path-Based Function Embedding and Its Application to Error-Handling Specification Mining

[Aviral Goel]

Hi,

This seminar is happening tomorrow.

*Date:* Thursday, February 14th 2019
*Location:* Ryder 431 <https://goo.gl/maps/qcu64TNsemP2>
*Time:* 10:00 AM to 11:30 AM
*Faculty Host:* Frank Tip


On Tue, Feb 5, 2019, 12:59 PM Aviral Goel <goel.av at husky.neu.edu wrote:

> *Date:* Thursday, February 14th 2019
> *Location:* Ryder 431 <https://goo.gl/maps/qcu64TNsemP2>
> *Time:* 10:00 AM to 11:30 AM
> *Faculty Host:* Frank Tip
>
> Path-Based Function Embedding and Its Application to Error-Handling
> Specification Mining
> <http://prl.ccs.neu.edu/seminars.html#gonzalez-path-based-function-embedding-and-its-application-to-error-handling-specification-mining>
>
> *Cindy Rubio-González*
>
> *Abstract*
>
> Identifying relationships among program elements is useful for program
> understanding, debugging, and analysis. One such kind of relationship is
> synonymy. Function synonyms are functions that play a similar role in code;
> examples include functions that perform initialization for different device
> drivers, and functions that implement different symmetric-key encryption
> schemes. Function synonyms are not necessarily semantically equivalent and
> can be syntactically dissimilar; consequently, approaches for identifying
> code clones or functional equivalence cannot be used to identify them. In
> this talk I will present our recent work Func2vec, a technique that learns
> an embedding that maps each function to a vector in a continuous vector
> space such that vectors for function synonyms are in close proximity. We
> compute the function embedding by training a neural network on sentences
> generated using random walks over the interprocedural control-flow graph.
> We show the effectiveness of Func2vec at identifying function synonyms in
> the Linux kernel, and its applicability to the problem of mining
> error-handling specifications in Linux file systems and drivers.
>
> *Bio*
>
> Cindy Rubio-Gonzalez is an Assistant Professor of Computer Science at the
> University of California, Davis. Prior to that position, she was a
> Postdoctoral Researcher in the EECS Department at the University of
> California, Berkeley. She received her Ph.D. in Computer Science from the
> University of Wisconsin--Madison in 2012. Cindy's work spans the areas of
> Programming Languages and Software Engineering, with a focus on program
> analysis for automated bug finding, program optimization,and software
> reproducibility. She is particularly interested in the reliability and
> performance of systems software and scientific computing applications. She
> currently leads the BugSwarm project,which collects and automatically
> reproduces thousands of real-world bugs from public software repositories.
> Among other awards, Cindy is a recipient of an NSF CAREER award 2018,
> Hellman Fellowship 2017, and UC Davis CAMPOS Faculty Award 2014.
>
> Best,
> Aviral
>
-------------- next part --------------
HTML attachment scrubbed and removed