Export Citations
Save this search
Please login to be able to save your searches and receive alerts for new content matching your search criteria.
- research-articleJune 2024
Calculating Function Sensitivity for Synthetic Data Algorithms
IFL '23: Proceedings of the 35th Symposium on Implementation and Application of Functional LanguagesArticle No.: 6, Pages 1–12https://doi.org/10.1145/3652561.3652567Differential privacy (DP) provides a robust framework for ensuring individual privacy while analyzing population data. To achieve DP, statistical noise is added to query results before publication, but accurately determining the required noise is ...
Practical normalization by evaluation for EDSLs
Haskell 2021: Proceedings of the 14th ACM SIGPLAN International Symposium on HaskellPages 56–70https://doi.org/10.1145/3471874.3472983Embedded domain-specific languages (eDSLs) are typically implemented in a rich host language, such as Haskell, using a combination of deep and shallow embedding techniques. While such a combination enables programmers to exploit the execution mechanism ...
Towards secure IoT programming in Haskell
Haskell 2020: Proceedings of the 13th ACM SIGPLAN International Symposium on HaskellPages 136–150https://doi.org/10.1145/3406088.3409027IoT applications are often developed in programming languages with low-level abstractions, where a seemingly innocent mistake might lead to severe security vulnerabilities. Current IoT development tools make it hard to identify these vulnerabilities as ...