Torna ai risultati della ricercaBando per assegno di ricerca
| Titolo del progetto di ricerca in italiano | Ca' Foscari University of Venice - Research fellowship for specific project:LiSA - Library for Static Analysis |
|---|---|
| Titolo del progetto di ricerca in inglese | Ca' Foscari University of Venice - Research fellowship for specific project:LiSA - Library for Static Analysis |
| Campo principale della ricerca | Computer science |
| Sottocampo della ricerca | Informatics |
| Settore Concorsuale | 01 - Scienze matematiche e informatiche |
| S.S.D | INF/01 - INFORMATICA |
| Descrizione sintetica in italiano | LiSA (Library for Static Analysis) mira a facilitare la creazione e l'implementazione di analizzatori statici basati sulla teoria dell'interpretazione astratta. LiSA fornisce un motore di analisi che funziona su una rappresentazione grafica del flusso di controllo generica ed estensibile del programma da analizzare. Gli interpreti astratti in LiSA sono costruiti per analizzare tale rappresentazione, fornendo un'infrastruttura di analisi unica per tutti gli analizzatori che si baseranno su di essa. Costruire un analizzatore su LiSA si riduce alla scrittura di un parser per il linguaggio che si intende analizzare, traducendo il codice sorgente o il codice compilato verso la rappresentazione del grafico del flusso di controllo di LiSA. Quindi, semplici controlli che ripetono i risultati forniti dalle analisi semantiche di LiSA possono essere facilmente definiti per tradurre le informazioni semantiche in avvertimenti che possono essere di valore per l'utente finale |
| Descrizione sintetica in inglese | LiSA (Library for Static Analysis) aims to ease the creation and implementation of static analyzers based on the Abstract Interpretation theory. LiSA provides an analysis engine that works on a generic and extensible control flow graph representation of the program to analyze. Abstract interpreters in LiSA are built for analyzing such representation, providing a unique analysis infrastructure for all the analyzers that will rely on it. Building an analyzer upon LiSA boils down to writing a parser for the language that one aims to analyze, translating the source code or the compiled code towards the control flow graph representation of LiSA. Then, simple checks iterating over the results provided by the semantic analyses of LiSA can be easily defined to translate semantic information into warnings that can be of value for the final user |
| Data del bando | 30/10/2020 |
| Numero di assegnazioni per anno | 1 |
| Stanziamento annuale (indicativo) | 23787 |
| Periodicità | 12 |
| E' richiesta mobilità internazionale? | yes |
| Paesi in cui può essere condotta la ricerca |
Italy |
| Paesi di residenza dei candidati |
AFRICA EUROPE OCEANIA NORTH AMERICA SOUTH AMERICA ASIA |
| Nazionalità dei candidati |
EUROPE OCEANIA NORTH AMERICA SOUTH AMERICA ASIA AFRICA |
| Sito web del bando | https://www.unive.it/data/28825/ |
| Destinatari dell'assegno di ricerca (of target group) |
Early stage researcher or 0-4 yrs (Post graduate) |
|---|---|
| Il contratto prevede la copertura delle prestazioni sociali? | no |
| Importo annuale | 19367 |
| Valuta | Euro |
| Comprende lo stipendio dell'assegnista | yes |
| Comprende vitto e spese di viaggio | no |
| Comprende il costo della ricerca | no |
| Massima durata dell'assegno (mesi) | 12 |
| Criteri di selezione in italiano (breve descrizione) | TITOLI, PUBBLICAZIONI E COLLOQUIO |
| Criteri di selezione in inglese (breve descrizione) | CV AND INTERVIEW |
| Processo di selezione in italiano (breve descrizione) | TITOLI, PUBBLICAZIONI E COLLOQUIO |
| Processo di selezione in inglese (breve descrizione) | CV AND INTERVIEW |
| Nome dell'Ente finanziatore | UNIVERSITA' CA' FOSCARI VENEZIA |
|---|---|
| Tipologia dell'Ente | Public research |
| Paese dell'Ente | Italy |
| Città | VENEZIA |
| Codice postale | 30123 |
| Indirizzo | DORSO DURO 3246 |
| Sito web | http://www.unive.it |
| segreteria.dais@unive.it | |
| Telefono | 04123486334 |
| L'assegno finanziato/cofinanziato attraverso un EU Research Framework Programme? | No |
|---|
| Data di scadenza del bando | 19/11/2020 - alle ore 00:00 |
|---|---|
| Come candidarsi | https://apps.unive.it/domandeconcorso-en/accesso/dais2020cortesiferraralisa |