DEI Talks | Fluent API: A software engineering technique with type theoretical implications por Yossi Gil

Joseph (Yossi) Gil é Professor Associado da Faculty of Computer Science of the Technion, Israel Institute of Technology. As suas publicações foram em diversas áreas incluindo sistemas distribuídos, processamento de imagem, algoritmos, PRAMs e computação paralela, bases de dados, conceitos de programação orientada para objetos, algoritmos numéricos,… Os seus B.Sc. (in physics summa cum laude), M.Sc. (computer science, summa cum laude) e Ph.D. foram concedidos pela Hebrew University in Jerusalem. A informática teórica, especialmente os lower bounds e os algoritmos, foram o seu berço académico contudo tem também grande interesse pela programação em várias linguagens. O seu tópico de investigação atual é em sistemas e aplicações de machine learning para engenharia de software e algoritmos numéricos.

Junte-se a nós no dia 27 de Abril, às 14:30, na sala B016 da FEUP, para a apresentação de “Fluent API: A software engineering technique with type theoretical implications”.

Abstract:

 A chain of method calls in an OO language, such as a.b().c(d).e(f,g).h().i()… is what the industry calls fluent API. In such a chain, the return value of all but the last invocation, is the receiver of the next invocation. The technique is advertised and used as a powerful software engineering tool. The technique is also used to embed domain specific languages (DSLs), such as SQL, in a host general programming language, such as Java. In this talk, I will present the technique, and the fundamental theoretical questions: How should one design the classes and methods so that fluent API works the way it is supposed to? What is required from the type system of the host programming language to admit certain chains, and forbid others?

The presentation will survey a series of publications showing deep correspondence between type systems and the theory of automata: finite state automata, pushdown automata, etc.

Novos Doutores homenageados na Conferement Ceremony 2022

O Auditório da FEUP receberá no dia 8 de abril, às 17:00, mais uma Conferement Ceremony, que atribuirá a mais honrosa distinção a quem completou o doutoramento e defendeu a sua tese em 2020 e 2021.

Na lista de homenageados encontramos muitos estudantes que decidiram fazer os seus Doutoramentos em Cursos do DEI. A eles os nossos votos de maiores felicidades, profissionais e pessoais.

 

Programa Doutoral em Engenharia Informática

Bruno Miguel Carvalhido Lima

 

Programa Doutoral em Media Digitais

António Alberto Castro Baía Reis

Daniel dos Santos Catalão

Eduardo José Botelho Batista Morais de Sousa

João Miguel Calisto Marçal

Luciano José Santos Reis Moreira

Roberto Ivo Fernandes Vaz (Cum Laude)

 

Doutoramento em Informática (Curso conjunto com a FCUP, UA e UM)

André Filipe Faria dos Santos

Diogo José Domingues Regateiro

Francisco Nuno Teixeira Neves

João Miguel Maia Soares de Resende

Joaquim Magalhães Esteves da Silva

Jorge Miguel Barros da Silva

José Luís da Silva Devezas (Cum Laude)

Liu Chong

Luís Miguel Tomé Nóbrega

Mariana Rafaela Figueiredo Ferreira de Oliveira

Patrícia Raquel Vieira Sousa

Ricardo Jorge Terroso de Araújo

Ricardo Pereira de Magalhães Cruz

Rogério António da Costa Pontes

Rui Jorge Pereira Gonçalves

Sílvia da Conceição Neto Bessa

DEI Talks | JUMPING FINITE AUTOMATA por Prof. Alexander Meduna

Prof. Alexander Meduna (nascido em 1957 em Olomouc, República Checa) é um cientista informático teórico e especialista em desenho de compiladores, linguagens formais e autómatos. É professor de Informática na Brno University of Technology.

Anteriormente, ensinou informática teórica em várias universidades europeias e americanas, incluindo a Universidade do Missouri, onde passou uma década a ensinar tópicos avançados de teoria da linguagem formal. Escreveu mais de noventa artigos relacionados com teoria da computação.

Junte-se a nós no dia 7 de Abril, às 14:30, na sala I-105 da FEUP, para a apresentação de JUMPING FINITE AUTOMATA

Abstract:

This talk proposes a new investigation area in automata theory — jumping finite automata. These automata work like classical finite automata except that they read input words discontinuously — that is, after reading a symbol, they can jump over some symbols within the words and continue their computation from there. The talk gives several results concerning jumping finite automata in terms of commonly investigated areas of automata theory, such as closure properties. Most importantly, it achieves several results that demonstrate differences between jumping finite automata and classical finite automata. In its conclusion, the talk  formulates several open problems and suggests future investigation areas.

O seu último livro é o Handbook of Mathematical Models for Languages and Computation

Meduna, Alexander; Tomko, Martin, Horacek, Petr (2019)

The Institution of Engineering and Technology, Stevenage, UK, ISBN: 978-1-78561-660-0

https://www.amazon.ae/Handbook-Mathematical-Models-Languages-Computation/dp/1785616595

Alguns dos livros anteriores:

  • Meduna, Alexander (2000). Automata and Languages: Theory and Applications. Springer Science & Business Media. ISBN 9781852330743.
  • Meduna, Alexander (2007). Elements of Compiler Design. CRC Press. ISBN 9781420063233.
  • Meduna, Alexander (2014). Formal Languages and Computation: Models and Their Applications. CRC Press. ISBN 9781466513457.
  • Meduna, Alexander; Švec, Martin (2005). Grammars with Context Conditions and Their Applications. John Wiley & Sons. ISBN 9780471736554.
  • Meduna, Alexander; Techet, Jiří (2010). Scattered Context Grammars and Their Applications. WIT Press. ISBN 9781845644260.
  • Meduna, Alexander; Zemek, Petr (2014). Regulated Grammars and Automata. Springer. ISBN 9781493903696.
  • Meduna, Alexander; Soukup, Ondřej (2017). Modern Language Models and Computation: Theory with Applications. Springer. ISBN 9783319630991.

Palestra | “Análise Musical Interactiva usando a DFT e Distribuições de Classes de Altura a partir de ficheiros MIDI” por Fabian C. Moss

Fabien C. Moss é Investigador em Cultural Analytics na Universidade de Amesterdão (UvA). Trabalhando com grandes conjuntos de dados simbólicos de partituras musicais e anotações harmónicas, é  principalmente interessado em Análise Musical Computacional, Teoria Musical, Cognição Musical, e a sua relação mútua. A sua investigação é intrinsecamente interdisciplinar e tem como objetivo fazer a ponte entre as humanidades e as ciências, recorrendo a métodos e conceitos da Musicologia e Teoria Musical, Matemática, Recuperação de Informação Musical, Ciência de Dados e Aprendizagem de Máquinas, Psicologia e Cognição Musical, e Humanidades Digitais.

Junte-se a nós no dia 4 de Abril, às 14:30, na sala B015 da FEUP, para a apresentação de “Análise Musical Interactiva usando a DFT e Distribuições de Classes de Altura a partir de ficheiros MIDI”.

Pelo autor:

“A transformação discreta de Fourier (DFT) é um processo fundamental do processamento de sinais digitais e comummente utilizada para extrair periodicidades de sinais.

No entanto, nos últimos anos, os teóricos da música matemática começaram a explorar o potencial da DFT quando aplicada não ao tempo mas ao domínio das classes de altura, onde as periodicidades são dadas por divisões iguais da oitava [1-3]. No início deste ano, introduzimos as wavescapes [4], um método de visualização das relações hierárquicas de classe pitch em peças de música.

Com base neste trabalho, estamos atualmente a desenvolver midiVERTO [5], uma aplicação web interativa para analisar ficheiros MIDI utilizando o DFT, que permite aos utilizadores criar wavescapes e inspecionar a dinâmica das distribuições de classe pitch a vários níveis hierárquicos. Na minha apresentação, vou apresentar brevemente o trabalho teórico subjacente seguido de um tutorial sobre como utilizar a aplicação para análise musical.

[1] Amiot (2016). Music Through Fourier Space: Discrete Fourier Transform in Music Theory. Springer.

[2] Noll (2019). Insiders’ Choice: Studying Pitch Class Sets Through Their Discrete Fourier Transformations. InMathematics and Computation in Music (pp. 371–378). Springer. https://doi.org/10.1007/978-3-030-21392-3_32

[3] Tymoczko & Yust (2019). Fourier Phase and Pitch-Class Sum. In Mathematics and Computation in Music (pp. 46–58). Springer. https://doi.org/10.1007/978-3-030-21392-3_4

[4] Viaccoz, C., Harasim, D., Moss, F. C., & Rohrmeier, M. (2022). Wavescapes: A visual hierarchical analysis of tonality using the discrete Fourier transform. Musicae Scientiaehttps://doi.org/10.1177/10298649211034906

[5] Harasim, D., Affatato, G., & Moss, F. C. (2022). midiVERTO: A Web Application to Visualize Tonality in Real Time. arXiv:2203.13158 [cs]http://arxiv.org/abs/2203.13158

CreativityTalks | Prof. António Sampaio da Nóvoa será o próximo convidado

Há muitos “futurismos” que sugerem uma educação sem escolas, baseada nas imensas possibilidades das tecnologias e da inteligência artificial. Estes “futurismos” ganharam força com a pandemia e as diferentes formas de isolamento a que temos estado sujeitos. Mas a educação não se faz em “confinamento”, exige sempre uma relação, um encontro, um trabalho conjunto. Não é o momento de anunciar a “morte da escola”, mas antes a inventar de novo.

Inventar de novo a Escola” será  o tema da 6ª Creativity Talk, apresentado pelo Professor *António Sampaio da Nóvoa, no dia 17 de março, às 18:00, no Anfiteatro Nobre da FEUP (B032).

A sessão será moderada por Amélia Lopes, Professora Catedrática e Presidente do Conselho Cientifico da Faculdade de Psicologia e de Ciências da Educação da Universidade do Porto.

A participação presencial na palestra requer uma inscrição (gratuita) no Eventbrite (lugares disponíveis à lotação da sala pela ordem de registo).

Se não conseguir comparecer presencialmente na sessão, poderá assistir através do seguinte endereço: https://youtu.be/V2I0h0EQBO0

*Bio

António Sampaio da Nóvoa é Professor Catedrático da Universidade de Lisboa. É Doutor em História pela Universidade de Paris IV-Sorbonne e Doutor em Ciências da Educação pela Universidade de Genebra. Foi Reitor da Universidade de Lisboa entre 2006 e 2013. Foi Embaixador de Portugal junto da UNESCO entre 2018 e 2021.

1984 Revisitado: Terá George Orwell sido um optimista?

Debate sobre a privacidade na era digital – 03/02, 14:30, online

 A obra prima de George Orwell «1984» que oferece hoje uma descrição quase realista do vastíssimo sistema de fiscalização em que passaram a assentar as democracias capitalistas. A eletrónica permite, pela primeira vez na história da humanidade, reunir nos mesmos instrumentos e nos mesmos gestos o trabalho e a fiscalização exercida sobre o trabalhador. O Big Brother já não é uma figura de estilo – converteu-se numa vulgaridade quotidiana.

É esta obra que servirá de inspiração para o Workshop promovido pelo Programa Doutoral em Media Digitais da U.Porto, a ter lugar online no dia 3 de fevereiro, pelas 14:30.

A tarde será dedicada à temática da privacidade na era digital e pretende abordar as suas múltiplas implicações na atualidade e perspetivar as futuras – nomeadamente no que diz respeito à transparência/opacidade dos sistemas digitais e a sua relação com a literacia digital, o capitalismo da vigilância, algoritmos de previsão, entre outros.

Para ajudar nesta reflexão, a sessão abrirá com uma palestra pelo Professor Luís Borges Gouveia (Universidade Fernando Pessoa/CITCEM – Centro de Investigação Transdisciplinar «Cultura, Espaço e Memória»), a que seguirá uma mesa redonda com Amílcar Correia (Diretor-Adjunto do Jornal Público), Arlindo Oliveira (Presidente do INESC) e Filipe Vilas Boas (Artista).

O evento será realizado no Zoom https://bit.ly/35qpn9x, com transmissão em direto através do Youtube https://bit.ly/34lwLTl

Using IEEE Software & System Engineering Standards to Support America’s Army Gaming Development

Lecture DEI Series
Date: July 26th
Time: 17:30
Room: I-105
Speaker: Susan K. “Kathy” Land
Affiliation: Program Manager US Department of Defense
Abstract
Every organization faces their own unique challenges when developing software, none more so than America’s Army (www.americasarmy.com). Americab s Army (AA) is a computer game produced by the US Army to promote Army recruiting and the seven core values of Loyalty, Duty, Respect, Selfless-Service, Honor, Integrity and Personal Courage. From 2005 to 2007, Ms. Land was the Production Planner responsible for the successful Americab s Army Special Forces/Overmatch release, which hosted over 8 million registered players world wide for the PC version of the game.
During her talk she will describe some of the classic software engineering challenges and market pressures associated with commercial game production as the AA Project Office moved into the competitive domain of commercial game development and how they were successful with a little help from classic software engineering and IEEE software and system engineering standards.
Short Bio
Ms. Susan K. (Kathy) Land is an acknowledged expert and author in the field of software engineering standardization, software process improvement, and engineering project management. As 2018 Vice President of IEEE Technical Activities, Ms. Land expanded the focus on diversity, entrepreneurship, future directions, young professionals, and standards. Ms. Land demonstrated senior executive leadership experience in a career spanning industry and government systems and software product acquisition and development.
Ms. Land is an IEEE Fellow receiving numerous awards for performance and service, which include the Northrop Grumman/TASC President’s Coin, Huntsville Professional of the Year, Huntsville Association of Technical Societies Moquin Award, IEEE Computer Society (CS) Richard E. Merwin Award and the IEEE Standards Association Standards Medallion. She served as the 2009 president of the IEEE CS, three terms on the IEEE Board of Directors, and two terms as a member of the IEEE-USA Board of Directors. More at www.susankathyland.com.

Reinventing computing for a data-driven world

Lecture DEI Series
Date: July 26th
Time: 16:15
Room: I-105
Speaker: DEJAN S. MILOJICIC
Affiliation: Hewlett Packard Labs
Abstract
Data explosion is not coming it’s here, and it’s only getting bigger. The next stage of technology will need to accommodate unprecedented amounts of data driven by 100s of billions of devices and sensors that comprise the Internet of Things stretching our technology capabilities to the limit and beyond. At the same time, we’re operating in an increasingly insecure, unmanageable and risky environment from a technology, business and societal perspective. If we don’t find a way to change todays computing architectures, they simply won’t be able to keep up and the we won’t be able to obtain the resources needed to power and sustain them.
In this talk, I will present how Hewlett Packard Labs address these radical changes by innovating technology in the areas of photonics, silicon design, memory driven computing, security, AI, and edge. By working closely from customer requirements and focusing on HPE productization opportunities, we deliver innovation that matters. I will provide specific examples of research projects, such as unconventional architectures, programming, and accelerators, new approaches to security, etc. This way we are able to address the limits imposed by post-Mooreb s Law and the onslaught of generated data.
Short Bio
Dejan is a distinguished technologist at Hewlett Packard Labs, Palo Alto, CA (1998-) leading system software teams over 4 continents and projects with budgets of hundreds US$M. He worked at the OSF Research Institute in Cambridge, MA and at the Mihajlo Pupin Institute in Belgrade, Serbia. Milojicic received his PhD from Kaiserslautern University, Germany; and his MSc/BSc from Belgrade University, Serbia. He was a technical director of the Open Cirrus Cloud Computing Testbed, with academic, industrial and government sites in the US, Europe, and Asia. He has published 2 books and 180 papers; he has 37 granted patents. He is an IEEE Fellow (2010) and ACM Distinguished Engineer (2008). Milojicic was on 8 PhD thesis committees and taught Cloud management course at SJSU. As president of the IEEE Computer Society (2014), he started Technology Predictions, the top viewed CS news. As the industry engagement chair, he started IEEE Infrastructure’18 conference”

Dynamic Application Autotuning for Approximate Computing

Lecture DEI Series
Date: July 15th
Time: 11:00
Room: Auditório B – INESCTEC
Speaker: Cristina Silvano
Affiliation: Dept. of Electronics, Information and Bioengineering, Politecnico di Milano, Italy
Abstract
Several classes of applications can expose at runtime a set of software knobs (including application parameters and code transformations) to trade-off the quality of the results and the throughput. Resource management and application autotuning are key issues for enabling computing systems to adjust their behavior in the face of changing conditions, operating environments, usage contexts and resource availability while meeting energy-efficiency and Quality-of-Service requirements.
This talk will present dynamic autotuning techniques for the multi-objective optimization of applications to tune software knobs in an adaptive scenario to trade-off accuracy versus performance. Machine learning techniques are used to predict the system behavior based on a set of training data. The main challenge is to exploit design-time and run-time concepts to lead to an effective way of “self-aware” computing. The talk also presents the application of dynamic autotuning techniques to energy-efficient HPC systems.
Short Bio
Cristina Silvano is a Full Professor of Computer Engineering at the Politecnico di Milano, Dept. of Electronics, Information and Bioengineering. In 2017, she has been elevated IEEE Fellow “for contributions to energy-efficient computer architectures”. Her research focuses on computer architectures and Electronic Design Automation, with emphasis on power-aware design of embedded systems, design space exploration of energy-efficient computer architectures and application autotuning for manycore architectures and High-Performance Computing. She was Project Coordinator of three European projects: H2020-FET-HPC ANTAREX-671623 (2015-2018), FP7-2PARMA-248716 (2010-2013) and FP7-MULTICUBE-216693 (2008-2010). She is an active member of the scientific community and she regularly serves in several international program committees. She also organized 15 international conferences/workshops as Program Chair or General Chair. She is Associate Editor of ACM Trans. on Architecture and Code Optimization (TACO) and IEEE Trans. on Computers. She served as Independent Expert Reviewer for the European Commission and for several science foundations. Her scientific production consists of more than 160 publications.”

Dealing with memory latency in the age of big data

Lecture DEI Series
Date: June 25th
Time: 14:00
Room: Auditório A – INESCTEC
Speaker: Walid A. Najjar
Affiliation: Department of Computer Science & Engineering University of California Riverside
Abstract
For over two decades the gap between processor and memory speeds has been the most daunting challenge in computer architecture. The advent of big data applications has exacerbated the problem. Traditional multi-core architecture mitigate memory latency through the use of massive cache hierarchies that take up over 80% of the chip area and a proportional percentage of the energy budget. However, big data applications exhibit very poor data locality and cannot benefits from large cache hierarchies. Such applications will be fully impacted by memory latency. Hardware multithreaded architectures have the ability to mask memory latency by context switching between ready threads when a memory access is performed. Classical hardware multithreaded architectures, such as barrel processors (e.g. the UltraSparc and the Cray XMT), must maintain a full state for every thread which requires a lot of resources. FPGAs allow us the opportunity to configure custom or semi-custom processing cores for specific applications.
In this talk I will describe the implementation of data processing applications on the latency masking Filament architecture using semi-custom data paths.
Short Bio
Walid A. Najjar is a Professor in the Department of Computer Science and Engineering at the University of California Riverside. His areas of research include computer architectures and compilers for parallel and high-performance computing, embedded systems, FPGA-based code acceleration and reconfigurable computing.
Walid received a B.E. in Electrical Engineering from the American University of Beirut in 1979, and the M.S. and Ph.D. in Computer Engineering from the University of Southern California in 1985 and 1988 respectively. From 1989 to 2000 he was on the faculty of the Department of Computer Science at Colorado State University, before that he was with the USC-Information Sciences Institute. He was elected Fellow of the IEEE and the AAAS.”