Anúncios

Repescagem Test

20 janeiro 2020, 11:58 • João Fernando Ferreira

Dear Students,

if you are planning to attend the Repescagem Test, you are required to register on Fénix. The registration deadline is: 27 Jan 1pm


Moreover, to help you prepare, the second test and its solutions are now available.

If you have any questions, do not hesitate in contacting me.

All the best,
João

Grades

16 janeiro 2020, 01:17 • João Fernando Ferreira

Dear students,

the provisional final grades have been uploaded (direct link).


If you have any questions, please do not hesitate in contacting me.

All the best,
João

Invited Lecture, 19 December

18 dezembro 2019, 18:06 • João Fernando Ferreira

The lecture on the 19th December will be delivered by Prof. José Santos.

ABSTRACT: The dynamic nature of JavaScript, together with its complex semantics, makes it a difficult target for logic-based verification techniques. I will present JaVerT: a semi-automatic verification tool chain for JavaScript based on separation logic. JaVerT targets functionally correct specifications of critical JavaScript software, in particular focusing on small Node.js libraries that have high usability: for example, those describing well-known data structures, such as a priority queue. JaVerT provides a wide variety of built-in abstractions so that our specifications are straightforward, despite the underlying complexity of the JavaScript semantics.
The talk will consist of a demo of JaVerT, illustrating how it can be used to specify and verify a JavaScript priority queue implementation. It will showcase the abstractions provided by JaVerT for reasoning about the JavaScript semantics, with an emphasis on objects, prototype chains, and function closures, as well as the infrastructure for supporting arbitrary user-defined recursive predicates.

FAQ: Second Project

16 dezembro 2019, 11:48 • João Fernando Ferreira

The FAQ for the 2nd project was updated with information that might be useful for your submission. 
I updated it on Friday, but I realised today that the changes I have done were not saved. If you have any problems accessing it, please let me know as soon as possible.

Second Project

2 dezembro 2019, 11:12 • João Fernando Ferreira

The Second Project is now available in Section Projects.
The deadline for the second project is the 18th of December, 2019

If something is unclear in the project assignment, don't hesitate to ask!

Good Luck!