The challenge to manage Online Conference Event can consume your time and effort and overwhelm you. But no more - DocHub is here to take the effort out of editing and completing your documents. You can forget about spending hours adjusting, signing, and organizing papers and stressing about data safety. Our platform provides industry-leading data protection measures, so you don’t need to think twice about trusting us with your privat information.
DocHub works with different file formats and is available across multiple systems.
so hello everybody im going to talk about jillian a multi-language platform for symbolic testing and verification um this is very much joint work with my um co-authors jose used to be at imperial and has just moved to a academic job at the technical university in um lisbon petter is on the chat so if you please ask questions you can ask questions such as what on earth does she mean here or maybe some more technical questions on something that i happen to say if you want more details but he is uh extremely proficient at uh at uh on this work and so well be able to answer your questions very well and uh maybe the interesting ones we could also talk about at the um end sasha is a phd student with me so ive been working on jillian um for well the first publication was um this year in pldi uh this uh work is for real world languages its working with javascript and c and even though ive only just published ive actually been working on javascript verification since um 2012. so theres a
