Skip to content

Commit

Permalink
Added links of the publications
Browse files Browse the repository at this point in the history
  • Loading branch information
@olivieriluca
olivieriluca committed Feb 24, 2024
1 parent 2cb4cf9 commit bab590c
Showing 1 changed file with 14 additions and 14 deletions.
28 changes: 14 additions & 14 deletions index.html
View file
Original file line number Diff line number Diff line change
Expand Up @@ -26,7 +26,7 @@ <h1>Luca Olivieri, PhD</h1>
<p class="lead">Assistant Professor (non-tenure) | Ca' Foscari University of Venice</p>
</header>

<nav class="navbar navbar-expand-lg navbar-dark bg-dark justify-content-center">
<nav class="navbar navbar-expand-sm sticky-top navbar-dark bg-dark justify-content-center ">
<ul class="navbar-nav">
<li class="nav-item"><a class="nav-link" href="#about">About</a></li>
<li class="nav-item"><a class="nav-link" href="#publications">Publications</a></li>
Expand All @@ -38,7 +38,7 @@ <h1>Luca Olivieri, PhD</h1>
<section id="about" class="container py-5">
<h2>About Me</h2>
<p>I am an Assistant Professor (no-tenure track) in Computer Science working in software verification based on formal methods at <a href="https://www.unive.it/data/people/25543514">Ca' Foscari University of Venice</a>. I received my Ph.D. in Computer Science, certified <em>Doctor Europaeus</em>, from the <a href="https://www.di.univr.it/?ent=persona&id=35528&lang=en">University of Verona</a> (Italy) in April 2023.
My PhD thesis titled <em>Blockchain Software Verification and Optimization</em> was in part carried out at the <a href="https://www.univ-rennes.fr/">University of Rennes 1</a> (France). I earned a B.Sc and M.Sc. in Computer Science and Engineering from the University of Verona. After my M.Sc., I was hired as a Software Engineer and Research Scientist in the R&amp;D team of JuliaSoft/<a href="http://www.corvallis.it">Corvallis</a> from April 2018 to June 2023. In these companies, my major contribution was developing Julia, an industrial static analyzer based on abstract interpretation for Java and C#. I also contributed to <a href="https://codesecure.com/learn/grammatech-acquires-juliasoft-to-expand-reach-of-codesonar-sast-platform-to-java-and-c/">integrating</a> Julia into the <a href="https://codesecure.com/our-products/codesonar/">CodeSonar</a> analyzer of <a href="https://www.grammatech.com">GrammaTech Inc</a>. In July 2023, I joined Ca’ Foscary University of Venice and the <a href="https://ssv.dais.unive.it/">Software and System Verification (SSV)]</a> group as a research fellow and currently I am an assistant professor (no-tenure track).
My PhD thesis titled <em>Blockchain Software Verification and Optimization</em> was in part carried out at the <a href="https://www.univ-rennes.fr/">University of Rennes 1</a> (France). I earned a B.Sc and M.Sc. in Computer Science and Engineering from the University of Verona. After my M.Sc., I was hired as a Software Engineer and Research Scientist in the R&amp;D team of JuliaSoft/<a href="http://www.corvallis.it">Corvallis</a> from April 2018 to June 2023. In these companies, my major contribution was developing Julia, an industrial static analyzer based on abstract interpretation for Java and C#. I also contributed to <a href="https://codesecure.com/learn/grammatech-acquires-juliasoft-to-expand-reach-of-codesonar-sast-platform-to-java-and-c/">integrating</a> Julia into the <a href="https://codesecure.com/our-products/codesonar/">CodeSonar</a> analyzer of <a href="https://www.grammatech.com">GrammaTech Inc</a>. In July 2023, I joined Ca’ Foscary University of Venice and the <a href="https://ssv.dais.unive.it/">Software and System Verification (SSV)</a> group as a research fellow and currently I am an assistant professor (no-tenure track).
</p>
<p>You can find my full CV <a href="lo_cv.pdf">here</a></p>
</section>
Expand All @@ -48,34 +48,34 @@ <h2>Publications</h2>
<ul>
<li><strong>2024</strong></li>
<ul>
<li><strong>Luca Olivieri</strong> and Luca Pasetto. <em>Towards Compliance of Smart Contracts with the European Union Data Act</em>. 5th Workshop on Artificial Intelligence and Formal Verification, Logic, Automata, and Synthesis (OVERLAY 2023)</li>
<li><strong>Luca Olivieri</strong>, Luca Negrini, Vincenzo Arceri, Thomas Jensen, and Fausto Spoto. <em>Design and Implementation of Static Analyses for Tezos Smart Contracts<em>. ACM Journal of Distributed Ledger Technologies: Research and Practice</li>
<li><strong>Luca Olivieri</strong> and Luca Pasetto. <em>Towards Compliance of Smart Contracts with the European Union Data Act</em>. 5th Workshop on Artificial Intelligence and Formal Verification, Logic, Automata, and Synthesis (OVERLAY 2023). [<a href="https://ceur-ws.org/Vol-3629">link</a>]</li>
<li><strong>Luca Olivieri</strong>, Luca Negrini, Vincenzo Arceri, Thomas Jensen, and Fausto Spoto. <em>Design and Implementation of Static Analyses for Tezos Smart Contracts</em>. ACM Journal of Distributed Ledger Technologies: Research and Practice. [<a href="https://doi.org/10.1145/3643567">link</a>]</li>
</ul>
<li><strong>2023</strong></li>
<ul>
<li><strong>Luca Olivieri</strong>, Luca Negrini, Vincenzo Arceri, Fabio Tagliaferro, Pietro Ferrara, Agostino Cortesi, and Fausto Spoto. <em>Information Flow Analysis for Detecting Non-Determinism in Blockchain</em>. 37th European Conference on Object-Oriented Programming (ECOOP 2023)</li>
<li>Marco Crosara, <strong>Luca Olivieri</strong>, Fausto Spoto, and Fabio Tagliaferro <em>Fungible and non-fungible tokens with snapshots in Java</em>. Cluster Computing: The Journal of Networks, Software Tools and Applications</li>
<li><strong>Luca Olivieri</strong>, Luca Negrini, Thomas Jensen, and Fausto Spoto.<em>MichelsonLiSA: A Static Analyzer for Tezos</em>. 4th Workshop on Blockchain theoRy and ApplicatIoNs (BRAIN 2023)</li>
<li><strong>Luca Olivieri</strong>, Luca Negrini, Vincenzo Arceri, Fabio Tagliaferro, Pietro Ferrara, Agostino Cortesi, and Fausto Spoto. <em>Information Flow Analysis for Detecting Non-Determinism in Blockchain</em>. 37th European Conference on Object-Oriented Programming (ECOOP 2023). [<a href="https://doi.org/10.4230/LIPIcs.ECOOP.2023.23">link</a>]</li>
<li>Marco Crosara, <strong>Luca Olivieri</strong>, Fausto Spoto, and Fabio Tagliaferro <em>Fungible and non-fungible tokens with snapshots in Java</em>. Cluster Computing: The Journal of Networks, Software Tools and Applications. [<a href="https://doi.org/10.1007/s10586-022-03756-3">link</a>]</li>
<li><strong>Luca Olivieri</strong>, Luca Negrini, Thomas Jensen, and Fausto Spoto. <em>MichelsonLiSA: A Static Analyzer for Tezos</em>. 4th Workshop on Blockchain theoRy and ApplicatIoNs (BRAIN 2023). [<a href="https://doi.org/10.1109/PerComWorkshops56833.2023.10150247">link</a>]</li>
</ul>
<li><strong>2022</strong></li>
<ul>
<li><strong>Luca Olivieri</strong>, Fabio Tagliaferro, Vincenzo Arceri, Marco Ruaro, Luca Negrini, Agostino Cortesi, Pietro Ferrara and Fausto Spoto. <em>Ensuring determinism in blockchain software with GoLiSA: an industrial experience report</em>. 11th International Workshop on the State Of the Art in Program Analysis (SOAP 2022)</li>
<li><strong>Luca Olivieri</strong>, Fabio Tagliaferro, Vincenzo Arceri, Marco Ruaro, Luca Negrini, Agostino Cortesi, Pietro Ferrara and Fausto Spoto. <em>Ensuring determinism in blockchain software with GoLiSA: an industrial experience report</em>. 11th International Workshop on the State Of the Art in Program Analysis (SOAP 2022). [<a href="https://doi.org/10.1145/3520313.3534658">link</a>]</li>

</ul>
<li><strong>2021</strong></li>
<ul>
<li>Pietro Ferrara, <strong>Luca Olivieri</strong> and Fausto Spoto. <em>Static Privacy Analysis by Flow Reconstruction of Tainted Data</em>. International Journal of Software Engineering and Knowledge Engineering.</li>
<li>Marco Crosara, <strong>Luca Olivieri</strong>, Fausto Spoto and Fabio Tagliaferro. <em>Re-engineering ERC-20 smart contracts with efficient snapshots for the Java virtual machine</em>. 2021 Third International Conference on Blockchain Computing and Applications (BCCA 2021)</li>
<li><strong>Luca Olivieri</strong>, Fausto Spoto and Fabio Tagliaferro.<em>On-Chain Smart Contract Verification over Tendermint</em>. 5th Workshop on Trusted Smart Contracts (WTSC 2021)</li>
<li>Marco RA Bozzetti, <strong>Luca Olivieri</strong> and Fausto Spoto.<em>Cybersecurity Impacts of the Covid-19 Pandemic in Italy</em>. 5th Italian Conference on Cybersecurity (ITASEC 2021)</li>
<li>Pietro Ferrara, <strong>Luca Olivieri</strong> and Fausto Spoto. <em>Static Privacy Analysis by Flow Reconstruction of Tainted Data</em>. International Journal of Software Engineering and Knowledge Engineering. [<a href="https://doi.org/10.1142/S0218194021500303">link</a>]</li>
<li>Marco Crosara, <strong>Luca Olivieri</strong>, Fausto Spoto and Fabio Tagliaferro. <em>Re-engineering ERC-20 smart contracts with efficient snapshots for the Java virtual machine</em>. 2021 Third International Conference on Blockchain Computing and Applications (BCCA 2021). [<a href="https://doi.org/10.1109/BCCA53669.2021.9657047">link</a>]</li>
<li><strong>Luca Olivieri</strong>, Fausto Spoto and Fabio Tagliaferro. <em>On-Chain Smart Contract Verification over Tendermint</em>. 5th Workshop on Trusted Smart Contracts (WTSC 2021). [<a href="https://doi.org/10.1007/978-3-662-63958-0_28">link</a>]</li>
<li>Marco RA Bozzetti, <strong>Luca Olivieri</strong> and Fausto Spoto. <em>Cybersecurity Impacts of the Covid-19 Pandemic in Italy</em>. 5th Italian Conference on Cybersecurity (ITASEC 2021). [<a href="https://ceur-ws.org/Vol-2940">link</a>]</li>
</ul>
<li><strong>2020</strong></li>
<ul>
<li>Pietro Ferrara, <strong>Luca Olivieri</strong> and Fausto Spoto. <em>BackFlow: Backward Context-Sensitive Flow Reconstruction of Taint Analysis Results</em>. 21st International Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI 2020)</li>
<li>Pietro Ferrara, <strong>Luca Olivieri</strong> and Fausto Spoto. <em>BackFlow: Backward Context-Sensitive Flow Reconstruction of Taint Analysis Results</em>. 21st International Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI 2020). [<a href="https://doi.org/10.1007/978-3-030-39322-9_2">link</a>]</li>
</ul>
<li><strong>2018</strong></li>
<ul>
<li>Pietro Ferrara, <strong>Luca Olivieri</strong> and Fausto Spoto. <em>Tailoring taint analysis to GDPR</em>. 6th Annual Privacy Forum (APF 2018)</li>
<li>Pietro Ferrara, <strong>Luca Olivieri</strong> and Fausto Spoto. <em>Tailoring taint analysis to GDPR</em>. 6th Annual Privacy Forum (APF 2018). [<a href="https://doi.org/10.1007/978-3-030-02547-2_4">link</a>]</li>
</ul>
</ul>
</section>
Expand Down

0 comments on commit bab590c

Please sign in to comment.