Michael Coblenz - Universidade de Maryland
22 de janeiro de 2021, 14h30. - 22 de janeiro de 2021, 15h30
Zoom (veja link abaixo)
Hospedado por: Jin Guo
Alguns programas blockchain (contratos inteligentes) incluíram sérias vulnerabilidades de segurança. Para descartar algumas dessas vulnerabilidades, estávamos interessados ​​em usar um sistema de tipo forte. No entanto, sistemas de tipos fortes podem dificultar o uso de uma linguagem. Em particular, a propriedade, o tipo de tipo e os ativos que queríamos usar fornecem garantias de segurança, não tiveram ampla adoção conjunta em linguagens populares e resultam em desafios significativos de usabilidade. Para criar o Obsidian, uma nova linguagem que utiliza esses conceitos, desenvolvemos o PLIERS, um processo de design que incorpora dados do usuário na criação de linguagens de programação. Para avaliar nosso design, realizamos um estudo empírico com 20 participantes comparando Obsidian com Solidity, que é a linguagem mais comumente usada para escrever contratos inteligentes atualmente. Observamos que os participantes do Obsidian foram capazes de completar com sucesso mais tarefas de programação do que os participantes do Solidity. Também descobrimos que os participantes do Solidity geralmente inseriam bugs relacionados a ativos, que a Obsidian detecta em tempo de compilação.
Michael Coblenz é pós-doutorando Basili na Universidade de Maryland. Sua pesquisa se concentra em técnicas para projetar e avaliar linguagens de programação para tornar os engenheiros de software mais eficazes. No processo, ele cria e avalia linguagens de programação. Os exemplos incluem imutabilidade em linguagens orientadas a objetos (Glacier) e em sistemas de tipos fortes em linguagens de contratos inteligentes (Obsidian). Ele possui um Ph.D. em ciência da computação pela Carnegie Mellon University. Anteriormente, ele foi engenheiro de software sênior na Apple.
Link de zoom: https://mcgill.zoom.us/j/92616954585 (é necessário fazer login no zoom)
Recepção após a palestra na cidade reunida: https://gather.town/app/3qgGGqVmX8sDW2Zb/Reception