Blog Archives

Oussama Beroual completes his PhD

Oussama Beroual, a PhD under the supervision of Pr. Sylvain Hallé, has successfully defended his thesis on May 25th, 2018.

His thesis, entitled Automated Detection and Repair of User Interface Bugs in Web Applications, proposed new techniques to fix bugs present in web applications.

Read more ›



Tom Canac earns his Master’s Degree

Tom Canac, an M.Sc. student under the supervision of Pr. Sylvain Hallé, has submitted the final version of his Master’s thesis in July 2018. Tom’s project involved the development of a modular and integrated testing suite for web applications, called CowTest. This library allows a web site developer to integrate and interact with different existing testing systems inside a single interface;

Read more ›



Cornipickle presented at WAQ 2018

The largest French-speaking digital event in North America – Web à Québec – was presented from April 10 to 12 in Quebec City, Canada. Some 1,500 participants gathered at this 8th edition, where the head of UQAC’s formal computer lab (LIF), Sylvain Hallé, also took part as a speaker.

Read more ›



Quentin Betti earns an FRQNT scholarship

The Fonds de recherche Québec — Nature et Technologies (FRQNT) has awarded a scholarship to Quentin Betti, currently a PhD student at LIF. This scholarship, from the International Internships Program, will allow Quentin to spend six months at the Georgia Institute of Technology under the supervision of Pr.

Read more ›



Francis Guérin completes his Master’s Degree

Francis Guérin, an M.Sc. student under the supervision of Pr. Sylvain Hallé, has just submitted the final version of his Master’s thesis. Francis’ project involved the development of applications of the Cornipickle system, which can detect various kinds of bugs in the graphical user interface of web sites.

Read more ›



Two new research papers for LIF researchers

Professors Sylvain Hallé and Raphaël Khoury, both members of LIF, have just learned that two of their research papers have been accepted for presentation at the ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA), to be held in Santa Barbara, CA, next July.

Read more ›



New technical report on BeepBeep

Professor Sylvain Hallé has just published a detailed technical report summarizing the works done at LIF on the field of Complex Event Processing.

Many problems in Computer Science can be framed as the computation of queries over sequences, or “streams” of data units called events.

Read more ›



A new paper for two LIF students

LIF students Francis Guérin and Oussama Beroual have just learned that their research paper, titled “Searching for Behavioural Bugs with Stateful Test Oracles in Web Crawlers”, has been accepted at the 10th International Workshop on Search-Based Software Testing (SBST 2017). The workshop will be hosted as part of the ACM/IEEE International Conference on Software Engineering (ICSE) in Buenos Aires,

Read more ›



The Best Paper Award for two LIF Professors

Prof. Sylvain Hallé and Raphaël Khoury, members of LIF, won the Best Paper Award at the 20th International IEEE EDOC Conference, held in Vienna last September. Their paper, titled Decentralized Enforcement of Artifact Lifecycles, was co-authored with Yliès Falcone and Antoine El-Hokayem from Université Grenoble-Alpes in France.

Read more ›

Tags:

Open Ph.D. position in Malware Detection (Fall 2016)

Detecting Malware through Execution Trace Monitoring

Laboratoire d’Informatique Formelle
Université du Québec à Chicoutimi
Chicoutimi, Québec, Canada

The Formal Computer Science Laboratory (http://liflab.ca) is seeking high-quality applications for a fully-funded PhD position in Malware Detection. Candidates should be highly self-motivated,

Read more ›

Tags: , , ,

Top