Interactive Graph Exploration for Comprehension of Static Analysis ResultsDoctoral Symposium
PhD Candidate
My research goal is to provide efficient interfaces for analyzing and comprehending the behaviour of large heterogeneous systems. I work under the supervision of Prof. Joanne Atlee. I am a member of the Waterloo Formal Methods Group (WatForm), which is a joint Computer Science and Electrical Computer Engineering research group that investigates mathematical methods to aid in the design and verification of software systems.
My work focuses on evaluating and applying visual analytics, graph visualization, and program comprehension techniques to facilitate program-analysis comprehension and software debugging. I use interactive software models to enable the engineers to query, explore, and identify undesired behaviour of their programs.
Fri 21 MayDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
18:25 - 19:55 | Early PhD #3DS - Doctoral Symposium at DS Room 3 Chair(s): Sebastian Uchitel Universidad de Buenos Aires / Imperial College Advisor(s): Nazareno AguirreUniversity of Rio Cuarto and CONICET, Sebastian ElbaumUniversity of Virginia, David RosenblumNational Univeristy of Singapore | ||
18:25 30mDoctoral symposium paper | Towards a testing tool that learns to testDoctoral Symposium DS - Doctoral Symposium Olivia Rodriguez Valdes Open Universiteit Pre-print | ||
18:55 30mDoctoral symposium paper | A functional paradigm for Capacity Planning of Cloud Computing WorkloadsDoctoral Symposium DS - Doctoral Symposium Carlos Diego Cavalcanti Pereira CESAR School Pre-print | ||
19:25 30mDoctoral symposium paper | Interactive Graph Exploration for Comprehension of Static Analysis ResultsDoctoral Symposium DS - Doctoral Symposium Rafael F. Toledo University of Waterloo Pre-print | ||
