Chalmers tekniska högskola

Hela organisationen

Visar 81 publikationer

2024

Sensitivity by Parametricity

Elisabet Lobo Vesga, Alejandro Russo, Marco Gaboardi et al
Proceedings of the ACM on Programming Languages (OOPSLA2)
Artikel i vetenskaplig tidskrift
2024

Towards a GDPR-compliant cloud architecture with data privacy controlled through sticky policies

Maria Emilia Cambronero, Miguel A. Martínez-Pietro, Luis Fernando Llana Diaz et al
PeerJ Computer Science
Artikel i vetenskaplig tidskrift
2023

From Fine- to Coarse-Grained Dynamic Information Flow Control and Back

Marco Vassena, Alejandro Russo, Deepak Garg et al
Foundations and Trends in Programming Languages (1), p. 1-117
Artikel i vetenskaplig tidskrift
2023

Cheap and secure metatransactions on the blockchain using hash-based authorisation and preferred batchers

William Hughes, Tobias Magnusson, Alejandro Russo et al
Blockchain: Research and Applications (2)
Artikel i vetenskaplig tidskrift
2023

HasTEE - Programming Trusted Execution Environments with Haskell

Abhiroop Sarkar, Robert Krook, Alejandro Russo et al
Haskell 2023 - Proceedings of the 16th ACM SIGPLAN International Symposium on Haskell, Co-located with ICFP 2023, p. 72-88
Paper i proceeding
2023

Calculating Function Sensitivity for Synthetic Data Algorithms

Markus Pettersson, Johannes Ljung Ekeroth, Alejandro Russo
PROCEEDINGS OF THE 2023 35TH SYMPOSIUM ON IMPLEMENTATION AND APPLICATION OF FUNCTIONAL LANGUAGES, IFL 2023
Paper i proceeding
2023

MUTAGEN: Reliable Coverage-Guided, Property-Based Testing using Exhaustive Mutations

Claudio Agustin Mista, Alejandro Russo
Proceedings - 2023 IEEE 16th International Conference on Software Testing, Verification and Validation, ICST 2023, p. 176-187
Paper i proceeding
2021

Practical normalization by evaluation for EDSLs

Nachiappan Valliappan, Alejandro Russo, Sam Lindley
Haskell 2021 - Proceedings of the 14th ACM SIGPLAN International Symposium on Haskell, co-located with ICFP 2021, p. 56-70
Paper i proceeding
2021

MultiCall: A Transaction-batching Interpreter for Ethereum

William Hughes, Alejandro Russo, Gerardo Schneider
BSCI 2021 - Proceedings of the 3rd ACM International Symposium on Blockchain and Secure Critical Infrastructure, co-located with ASIA CCS 2021, p. 25-35
Paper i proceeding
2021

A Programming Language for Data Privacy with Accuracy Estimations

Elisabet Lobo Vesga, Alejandro Russo, Marco Gaboardi
ACM Transactions on Programming Languages and Systems (2)
Artikel i vetenskaplig tidskrift
Ladda ner till din dator
Kan inte exportera fler än 10000 publikationer samtidigt

Ladda ner publikationslistor

Du kan ladda ner denna lista till din dator.

Export i APA, Vancouver, IEEE som text, RTF/Word eller html-format.

Som inloggad användare hittar du ytterligare funktioner i MyResearch.

Du kan även exportera direkt till Zotero eller Mendeley genom webbläsarplugins. Dessa hittar du här:

Zotero Connector
Mendeley Web Importer

Tjänsten SwePub erbjuder uttag av Researchs listor i andra format, till exempel kan du få uttag av publikationer enligt Harvard och Oxford i .RIS, BibTex och RefWorks-format.

RSS-flöde

Använder du en RSS-läsare eller vill göra en integration kan du använda denna länk som ger dig de senaste publikationerna i RSS-format.

Publikationer för Chalmers tekniska högskola

Det finns inga projekt som matchar sökfrågan Persons.PersonData.IdentifierCid:russo
Det kan finnas fler projekt, men du måste vara inloggad som anställd på Chalmers för att kunna se dem.
Det finns inga personer som matchar sökfrågan Persons.PersonData.IdentifierCid:russo