DEI às quartas

JaVerT 2.0: Compositional Symbolic Execution for JavaScript 


The dynamic nature of JavaScript and its complex semantics make it a difficult target for program analysis and verification. We will present JaVerT 2.0, a JavaScript Verification and Testing Toolchain that combines symbolic execution and compositional program reasoning based on separation logic. JaVerT 2.0 supports scalable whole-program symbolic testing, full verification, and, for the first time, automatic compositional testing based on bi-abduction. The meta-theory underpinning JaVerT 2.0 is developed modularly, streamlining the proofs and informing the implementation. We will give an overview of the architecture and metatheory of JaVerT 2.0 and illustrate how it can be used in the verification and testing of JavaScript programs, using the example of a simple expression evaluator. Further details can be found in the eponymous paper to be presented at POPL'19 and in the original JaVerT paper published in POPL'18.

access_time 12 de dezembro de 2018 às 12:15
place IST Alameda - Room 0.19 (Informática II building) and IST TagusPark - Room 2N1.5 (through videoconference)
face José Fragoso Santos

Interactive theorem proving and software verification 


Successes in the formal verification of sizeable programs, such as the CompCert C compiler, the seL4 microkernel, and the verified implementation of OpenSSL HMAC, show the growing importance of interactive theorem provers (ITPs) such as Coq and Isabelle/HOL. However, verification using ITPs continues to be an expert’s job. In this talk I will present my work on tools and methods that aim to make interactive theorem proving technology and software verification more accessible to non-experts. I will talk about my work on structure editing of handwritten mathematics and the initial steps towards a system that can formally verify handwritten calculational proofs without the need to learn the specific syntax and intricacies of ITPs.

access_time 05 de dezembro de 2018 às 13:30
place IST Alameda - Room 0.19 (Informática II building) and IST TagusPark - Room 2N1.5 (through videoconference)
face Prof. Alexandra Mendes

Nonvisual Interaction: From Wearables to Tabletops 


Enabling access to computing devices is likely to have a huge impact on people's quality of life. Every once in a while, new technologies are devised and impact the way we communicate, work and even, how we have fun. Paradigmatically, it is often the case that a new technology empowers the general able-bodied user and fosters exclusion of people with disabilities. In this talk, I will present research projects that aimed to understand the benefits and flaws of modern technologies and how they can be improved for people with different abilities. Particularly, I will present a series of research projects on how we can make touchscreen devices more accessible for blind people. From wearable devices that convey haptic feedback to smartphones that understand Braille input and tabletops that feature multiple sound sources.

access_time 28 de novembro de 2018 às 13:30
place IST TagusPark - Room 2N 1.5 and IST Alameda - Room 0.19 - Informática II building (through videoconference)
face Prof. Hugo Nicolau

Talk with Professor Pedro Monteiro 


The guest speaker at the next DEI Wednesday Event will be Pedro Monteiro, Professor at the Departament of Computer Science and Engineering of Instituto Superior Técnico (IST) - Universidade de Lisboa since 2016 and a senior researcher at INESC-ID Lisboa. He is also a visiting researcher at Instituto Gulbenkian de Ciência (IGC).

access_time 14 de novembro de 2018 às 13:30
place IST Alameda - Room 0.19 (Informática II building) and IST TagusPark - Room 2N1.1 (through videoconference)
face Professor Pedro Monteiro

CIO@IST Oitava Sessão com o Eng. Pedro Afonso CEO da AXIANS 


O Eng. Pedro Afonso tem a seu cargo a liderança e a estratégia de desenvolvimento das operações Axians em Portugal, África, e em alguns mercados europeus – Comissão Europeia e Instituições Europeias e Internacionais. Integra o Board da VINCI Energies Portugal, e tem assento no Strategic Comittée South Europe da Axians. Faz ainda parte do Conselho Estratégico para a Economia Digital da Confederação Industrial Portuguesa.

access_time 07 de novembro de 2018 às 13:30
place IST Alameda - Salão Nobre, IST TagusPark - Salas 0.65 a 0.69 (por streaming)
face Eng. Pedro Afonso

Filtro por período  filter_list