Write a Blog >>
Mon 10 Jul 2017 15:02 - 15:04 at Bren 1414 - Lightning Talks Chair(s): Neha Rungta, Yuriy Brun
Mon 10 Jul 2017 15:05 - 16:00 at Bren 1424 - Demonstrations 1

LabPal is a Java library designed to easily create and run experiments on a computer. It provides a user-friendly web console, support for automated plotting, a pause-resume facility, a mechanism for handling data traceability and linking, and the possibility of saving all experiment input and output data in an open format. These functionalities greatly reduce the amount of boilerplate scripting needed to run experiments on a computer, and simplify their re-execution by independent parties.

I am currently the Canada Research Chair in Software Specification, Testing and Verification at Université du Québec à Chicoutimi, Canada, and head of the Formal Computer Science Laboratory (LIF). My research concentrates on automated verification. Current projects include the runtime monitoring of video games, the detection of configuration errors in network devices and the enforcement of navigation sequences in web applications. I also do a bit of databases and computer security. I applied by knowledge in development or consulting projects with Ericsson Canada, Hydro-Québec, Solutions TLM, BlooBuzz, Novum Solutions and Cisco Systems. Among recent distinctions I received, I earned five Best Paper Awards in international conferences. I am a double recipient of the Governor General’s Academic Medal. I am also a Senior Member of both IEEE and ACM.

Mon 10 Jul
Times are displayed in time zone: (GMT-07:00) Tijuana, Baja California change

14:35 - 15:05: Lightning TalksDemonstrations at Bren 1414
Chair(s): Neha RungtaAmazon Web Services, Yuriy BrunUniversity of Massachusetts, Amherst
14:35 - 14:37
Demonstration
Demonstrations
John-Paul OreUniversity of Nebraska-Lincoln, USA, Carrick DetweilerUniversity of Nebraska-Lincoln, USA, Sebastian ElbaumUniversity of Nebraska-Lincoln, USA
DOI
14:37 - 14:39
Demonstration
Demonstrations
Josie HolmesPennsylvania State University, USA, Alex GroceNorthern Arizona University
DOI
14:39 - 14:41
Demonstration
Demonstrations
Thomas WalshUniversity of Sheffield, UK, Gregory KapfhammerAllegheny College, USA, Phil McMinnUniversity of Sheffield
DOI
14:41 - 14:43
Demonstration
Demonstrations
Alessio GambiSaarland University, Germany, Sebastian KapplerSaarland University, Germany, Johannes LampelSaarland University, Germany, Andreas ZellerSaarland University
DOI
14:43 - 14:45
Demonstration
Demonstrations
Sonal MahajanUniversity of Southern California, USA, Abdulmajeed AlameerUniversity of Southern California, USA, Phil McMinnUniversity of Sheffield, William G.J. HalfondUniversity of Southern California
DOI
14:45 - 14:47
Demonstration
Demonstrations
Antoine El-HokayemGrenoble Alpes University, France / Inria, France / CNRS, France, Yliès FalconeUniv. Grenoble Alpes, Inria
DOI
14:47 - 14:49
Demonstration
Demonstrations
Xuan-Bach D. LeSingapore Management University, Singapore, Duc-Hiep ChuNational University of Singapore, David LoSingapore Management University, Claire Le GouesCarnegie Mellon University, Willem VisserStellenbosch University
DOI
14:49 - 14:52
Demonstration
Demonstrations
Ben SpencerUniversity of Oxford, Michael BenediktUniversity of Oxford, UK, Anders MøllerAarhus University, Franck van BreugelYork University, Canada
DOI
14:52 - 14:54
Demonstration
Demonstrations
Vanya YanevaUniversity of Edinburgh, UK, Ajitha RajanUniversity of Edinburgh, UK, Christophe DubachUniversity of Edinburgh
DOI
14:54 - 14:56
Demonstration
Demonstrations
Lennon ChavesFederal University of Amazonas, Brazil, Iury BessaFederal University of Amazonas, Brazil, Lucas C. CordeiroUniversity of Oxford, UK, Eddie LimaSamsung Electronics, Brazil, Daniel KroeningUniversity of Oxford
DOI
14:56 - 14:58
Demonstration
Demonstrations
Sylvain HalléUniversité du Québec à Chicoutimi, Canada, Raphael KhouryUniversité du Québec à Chicoutimi, Canada
DOI
14:58 - 15:00
Demonstration
Demonstrations
Casey CasalnuovoUniversity of California at Davis, USA, Yagnik SuchakUniversity of California at Davis, USA, Baishakhi Ray, Cindy Rubio-GonzálezUniversity of California, Davis
DOI
15:00 - 15:02
Demonstration
Demonstrations
Dmitry NurmuradovUniversity of North Texas, USA, Renee BryceUniversity of North Texas
DOI
15:02 - 15:04
Demonstration
Demonstrations
Sylvain HalléUniversité du Québec à Chicoutimi, Canada
DOI
15:05 - 16:00: Demonstrations 1Demonstrations at Bren 1424
15:05 - 16:00
Demonstration
Demonstrations
Casey CasalnuovoUniversity of California at Davis, USA, Yagnik SuchakUniversity of California at Davis, USA, Baishakhi Ray, Cindy Rubio-GonzálezUniversity of California, Davis
DOI
15:05 - 16:00
Demonstration
Demonstrations
Ben SpencerUniversity of Oxford, Michael BenediktUniversity of Oxford, UK, Anders MøllerAarhus University, Franck van BreugelYork University, Canada
DOI
15:05 - 16:00
Demonstration
Demonstrations
Sylvain HalléUniversité du Québec à Chicoutimi, Canada
DOI
15:05 - 16:00
Demonstration
Demonstrations
Alessio GambiSaarland University, Germany, Sebastian KapplerSaarland University, Germany, Johannes LampelSaarland University, Germany, Andreas ZellerSaarland University
DOI
15:05 - 16:00
Demonstration
Demonstrations
Josie HolmesPennsylvania State University, USA, Alex GroceNorthern Arizona University
DOI
15:05 - 16:00
Demonstration
Demonstrations
Dmitry NurmuradovUniversity of North Texas, USA, Renee BryceUniversity of North Texas
DOI
15:05 - 16:00
Demonstration
Demonstrations
Xuan-Bach D. LeSingapore Management University, Singapore, Duc-Hiep ChuNational University of Singapore, David LoSingapore Management University, Claire Le GouesCarnegie Mellon University, Willem VisserStellenbosch University
DOI