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

[Aviral Goel]

*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