Haskell '23: "HasTEE: Programming Trusted ..."
HasTEE: Programming Trusted Execution Environments with Haskell
Abhiroop Sarkar, Robert Krook, Alejandro Russo, and Koen Claessen
(Chalmers University of Technology, Sweden)
@InProceedings{Haskell23p120,
author = {Abhiroop Sarkar and Robert Krook and Alejandro Russo and Koen Claessen},
title = {HasTEE: Programming Trusted Execution Environments with Haskell},
booktitle = {Proc.\ Haskell},
publisher = {ACM},
pages = {120-119},
doi = {10.1145/3609026.3609731},
year = {2023},
}
Publisher's Version
Published Artifact
Artifacts Available
Haskell '23: "The Essence of Reactivity ..."
The Essence of Reactivity
Ivan Perez and Frank Dedden
(KBR @ NASA Ames Research Center, USA; System F Computing, Netherlands)
@InProceedings{Haskell23p52,
author = {Ivan Perez and Frank Dedden},
title = {The Essence of Reactivity},
booktitle = {Proc.\ Haskell},
publisher = {ACM},
pages = {52-51},
doi = {10.1145/3609026.3609727},
year = {2023},
}
Publisher's Version
Haskell '23: "falsify: Internal Shrinking ..."
falsify: Internal Shrinking Reimagined for Haskell
Edsko de Vries
(Well-Typed LLP, UK)
@InProceedings{Haskell23p154,
author = {Edsko de Vries},
title = {falsify: Internal Shrinking Reimagined for Haskell},
booktitle = {Proc.\ Haskell},
publisher = {ACM},
pages = {154-153},
doi = {10.1145/3609026.3609733},
year = {2023},
}
Publisher's Version
Haskell '23: "Don’t Go Down the Rabbit ..."
Don’t Go Down the Rabbit Hole: Reprioritizing Enumeration for Property-Based Testing
Segev Elazar Mittelman, Aviel Resnick, Ivan Perez, Alwyn E. Goodloe, and Leonidas Lampropoulos
(University of Maryland at College Park, USA; University of Pennsylvania, USA; KBR @ NASA Ames Research Center, USA; NASA Langley Research Center, USA)
@InProceedings{Haskell23p103,
author = {Segev Elazar Mittelman and Aviel Resnick and Ivan Perez and Alwyn E. Goodloe and Leonidas Lampropoulos},
title = {Don’t Go Down the Rabbit Hole: Reprioritizing Enumeration for Property-Based Testing},
booktitle = {Proc.\ Haskell},
publisher = {ACM},
pages = {103-102},
doi = {10.1145/3609026.3609730},
year = {2023},
}
Publisher's Version
Published Artifact
Artifacts Available
Haskell '23: "This Is Driving Me Loopy: ..."
This Is Driving Me Loopy: Efficient Loops in Arrowized Functional Reactive Programs
Finnbar Keating and Michael B. Gale
(University of Warwick, UK; GitHub, UK)
@InProceedings{Haskell23p35,
author = {Finnbar Keating and Michael B. Gale},
title = {This Is Driving Me Loopy: Efficient Loops in Arrowized Functional Reactive Programs},
booktitle = {Proc.\ Haskell},
publisher = {ACM},
pages = {35-34},
doi = {10.1145/3609026.3609726},
year = {2023},
}
Publisher's Version
Published Artifact
Artifacts Available
Haskell '23: "Don’t Go Down the Rabbit ..."
Don’t Go Down the Rabbit Hole: Reprioritizing Enumeration for Property-Based Testing
Segev Elazar Mittelman, Aviel Resnick, Ivan Perez, Alwyn E. Goodloe, and Leonidas Lampropoulos
(University of Maryland at College Park, USA; University of Pennsylvania, USA; KBR @ NASA Ames Research Center, USA; NASA Langley Research Center, USA)
@InProceedings{Haskell23p103,
author = {Segev Elazar Mittelman and Aviel Resnick and Ivan Perez and Alwyn E. Goodloe and Leonidas Lampropoulos},
title = {Don’t Go Down the Rabbit Hole: Reprioritizing Enumeration for Property-Based Testing},
booktitle = {Proc.\ Haskell},
publisher = {ACM},
pages = {103-102},
doi = {10.1145/3609026.3609730},
year = {2023},
}
Publisher's Version
Published Artifact
Artifacts Available
Haskell '23: "Haskell Library for Safer ..."
Haskell Library for Safer Virtual Machine Introspection (Experience Report)
Takato Otsuka and Hideya Iwasaki
(University of Electro-Communications, Japan; Meiji University, Japan)
@InProceedings{Haskell23p137,
author = {Takato Otsuka and Hideya Iwasaki},
title = {Haskell Library for Safer Virtual Machine Introspection (Experience Report)},
booktitle = {Proc.\ Haskell},
publisher = {ACM},
pages = {137-136},
doi = {10.1145/3609026.3609732},
year = {2023},
}
Publisher's Version
Haskell '23: "This Is Driving Me Loopy: ..."
This Is Driving Me Loopy: Efficient Loops in Arrowized Functional Reactive Programs
Finnbar Keating and Michael B. Gale
(University of Warwick, UK; GitHub, UK)
@InProceedings{Haskell23p35,
author = {Finnbar Keating and Michael B. Gale},
title = {This Is Driving Me Loopy: Efficient Loops in Arrowized Functional Reactive Programs},
booktitle = {Proc.\ Haskell},
publisher = {ACM},
pages = {35-34},
doi = {10.1145/3609026.3609726},
year = {2023},
}
Publisher's Version
Published Artifact
Artifacts Available
Haskell '23: "HasTEE: Programming Trusted ..."
HasTEE: Programming Trusted Execution Environments with Haskell
Abhiroop Sarkar, Robert Krook, Alejandro Russo, and Koen Claessen
(Chalmers University of Technology, Sweden)
@InProceedings{Haskell23p120,
author = {Abhiroop Sarkar and Robert Krook and Alejandro Russo and Koen Claessen},
title = {HasTEE: Programming Trusted Execution Environments with Haskell},
booktitle = {Proc.\ Haskell},
publisher = {ACM},
pages = {120-119},
doi = {10.1145/3609026.3609731},
year = {2023},
}
Publisher's Version
Published Artifact
Artifacts Available
Haskell '23: "An Exceptional Actor System ..."
An Exceptional Actor System (Functional Pearl)
Patrick Redmond and Lindsey Kuper
(University of California at Santa Cruz, USA)
@InProceedings{Haskell23p69,
author = {Patrick Redmond and Lindsey Kuper},
title = {An Exceptional Actor System (Functional Pearl)},
booktitle = {Proc.\ Haskell},
publisher = {ACM},
pages = {69-68},
doi = {10.1145/3609026.3609728},
year = {2023},
}
Publisher's Version
Published Artifact
Artifacts Available
Haskell '23: "Don’t Go Down the Rabbit ..."
Don’t Go Down the Rabbit Hole: Reprioritizing Enumeration for Property-Based Testing
Segev Elazar Mittelman, Aviel Resnick, Ivan Perez, Alwyn E. Goodloe, and Leonidas Lampropoulos
(University of Maryland at College Park, USA; University of Pennsylvania, USA; KBR @ NASA Ames Research Center, USA; NASA Langley Research Center, USA)
@InProceedings{Haskell23p103,
author = {Segev Elazar Mittelman and Aviel Resnick and Ivan Perez and Alwyn E. Goodloe and Leonidas Lampropoulos},
title = {Don’t Go Down the Rabbit Hole: Reprioritizing Enumeration for Property-Based Testing},
booktitle = {Proc.\ Haskell},
publisher = {ACM},
pages = {103-102},
doi = {10.1145/3609026.3609730},
year = {2023},
}
Publisher's Version
Published Artifact
Artifacts Available
Haskell '23: "Effect Handlers for Programmable ..."
Effect Handlers for Programmable Inference
Minh Nguyen, Roly Perera, Meng Wang, and Steven Ramsay
(University of Bristol, UK)
@InProceedings{Haskell23p86,
author = {Minh Nguyen and Roly Perera and Meng Wang and Steven Ramsay},
title = {Effect Handlers for Programmable Inference},
booktitle = {Proc.\ Haskell},
publisher = {ACM},
pages = {86-85},
doi = {10.1145/3609026.3609729},
year = {2023},
}
Publisher's Version
Haskell '23: "Haskell Library for Safer ..."
Haskell Library for Safer Virtual Machine Introspection (Experience Report)
Takato Otsuka and Hideya Iwasaki
(University of Electro-Communications, Japan; Meiji University, Japan)
@InProceedings{Haskell23p137,
author = {Takato Otsuka and Hideya Iwasaki},
title = {Haskell Library for Safer Virtual Machine Introspection (Experience Report)},
booktitle = {Proc.\ Haskell},
publisher = {ACM},
pages = {137-136},
doi = {10.1145/3609026.3609732},
year = {2023},
}
Publisher's Version
Haskell '23: "Effect Handlers for Programmable ..."
Effect Handlers for Programmable Inference
Minh Nguyen, Roly Perera, Meng Wang, and Steven Ramsay
(University of Bristol, UK)
@InProceedings{Haskell23p86,
author = {Minh Nguyen and Roly Perera and Meng Wang and Steven Ramsay},
title = {Effect Handlers for Programmable Inference},
booktitle = {Proc.\ Haskell},
publisher = {ACM},
pages = {86-85},
doi = {10.1145/3609026.3609729},
year = {2023},
}
Publisher's Version
Haskell '23: "Don’t Go Down the Rabbit ..."
Don’t Go Down the Rabbit Hole: Reprioritizing Enumeration for Property-Based Testing
Segev Elazar Mittelman, Aviel Resnick, Ivan Perez, Alwyn E. Goodloe, and Leonidas Lampropoulos
(University of Maryland at College Park, USA; University of Pennsylvania, USA; KBR @ NASA Ames Research Center, USA; NASA Langley Research Center, USA)
@InProceedings{Haskell23p103,
author = {Segev Elazar Mittelman and Aviel Resnick and Ivan Perez and Alwyn E. Goodloe and Leonidas Lampropoulos},
title = {Don’t Go Down the Rabbit Hole: Reprioritizing Enumeration for Property-Based Testing},
booktitle = {Proc.\ Haskell},
publisher = {ACM},
pages = {103-102},
doi = {10.1145/3609026.3609730},
year = {2023},
}
Publisher's Version
Published Artifact
Artifacts Available
Haskell '23: "The Essence of Reactivity ..."
The Essence of Reactivity
Ivan Perez and Frank Dedden
(KBR @ NASA Ames Research Center, USA; System F Computing, Netherlands)
@InProceedings{Haskell23p52,
author = {Ivan Perez and Frank Dedden},
title = {The Essence of Reactivity},
booktitle = {Proc.\ Haskell},
publisher = {ACM},
pages = {52-51},
doi = {10.1145/3609026.3609727},
year = {2023},
}
Publisher's Version
Haskell '23: "Effect Handlers for Programmable ..."
Effect Handlers for Programmable Inference
Minh Nguyen, Roly Perera, Meng Wang, and Steven Ramsay
(University of Bristol, UK)
@InProceedings{Haskell23p86,
author = {Minh Nguyen and Roly Perera and Meng Wang and Steven Ramsay},
title = {Effect Handlers for Programmable Inference},
booktitle = {Proc.\ Haskell},
publisher = {ACM},
pages = {86-85},
doi = {10.1145/3609026.3609729},
year = {2023},
}
Publisher's Version
Haskell '23: "An Exceptional Actor System ..."
An Exceptional Actor System (Functional Pearl)
Patrick Redmond and Lindsey Kuper
(University of California at Santa Cruz, USA)
@InProceedings{Haskell23p69,
author = {Patrick Redmond and Lindsey Kuper},
title = {An Exceptional Actor System (Functional Pearl)},
booktitle = {Proc.\ Haskell},
publisher = {ACM},
pages = {69-68},
doi = {10.1145/3609026.3609728},
year = {2023},
}
Publisher's Version
Published Artifact
Artifacts Available
Haskell '23: "Don’t Go Down the Rabbit ..."
Don’t Go Down the Rabbit Hole: Reprioritizing Enumeration for Property-Based Testing
Segev Elazar Mittelman, Aviel Resnick, Ivan Perez, Alwyn E. Goodloe, and Leonidas Lampropoulos
(University of Maryland at College Park, USA; University of Pennsylvania, USA; KBR @ NASA Ames Research Center, USA; NASA Langley Research Center, USA)
@InProceedings{Haskell23p103,
author = {Segev Elazar Mittelman and Aviel Resnick and Ivan Perez and Alwyn E. Goodloe and Leonidas Lampropoulos},
title = {Don’t Go Down the Rabbit Hole: Reprioritizing Enumeration for Property-Based Testing},
booktitle = {Proc.\ Haskell},
publisher = {ACM},
pages = {103-102},
doi = {10.1145/3609026.3609730},
year = {2023},
}
Publisher's Version
Published Artifact
Artifacts Available
Haskell '23: "HasTEE: Programming Trusted ..."
HasTEE: Programming Trusted Execution Environments with Haskell
Abhiroop Sarkar, Robert Krook, Alejandro Russo, and Koen Claessen
(Chalmers University of Technology, Sweden)
@InProceedings{Haskell23p120,
author = {Abhiroop Sarkar and Robert Krook and Alejandro Russo and Koen Claessen},
title = {HasTEE: Programming Trusted Execution Environments with Haskell},
booktitle = {Proc.\ Haskell},
publisher = {ACM},
pages = {120-119},
doi = {10.1145/3609026.3609731},
year = {2023},
}
Publisher's Version
Published Artifact
Artifacts Available
Haskell '23: "HasTEE: Programming Trusted ..."
HasTEE: Programming Trusted Execution Environments with Haskell
Abhiroop Sarkar, Robert Krook, Alejandro Russo, and Koen Claessen
(Chalmers University of Technology, Sweden)
@InProceedings{Haskell23p120,
author = {Abhiroop Sarkar and Robert Krook and Alejandro Russo and Koen Claessen},
title = {HasTEE: Programming Trusted Execution Environments with Haskell},
booktitle = {Proc.\ Haskell},
publisher = {ACM},
pages = {120-119},
doi = {10.1145/3609026.3609731},
year = {2023},
}
Publisher's Version
Published Artifact
Artifacts Available
Haskell '23: "Effect Handlers for Programmable ..."
Effect Handlers for Programmable Inference
Minh Nguyen, Roly Perera, Meng Wang, and Steven Ramsay
(University of Bristol, UK)
@InProceedings{Haskell23p86,
author = {Minh Nguyen and Roly Perera and Meng Wang and Steven Ramsay},
title = {Effect Handlers for Programmable Inference},
booktitle = {Proc.\ Haskell},
publisher = {ACM},
pages = {86-85},
doi = {10.1145/3609026.3609729},
year = {2023},
}
Publisher's Version
Haskell '23: "The Evolution of Effects (Keynote) ..."
The Evolution of Effects (Keynote)
Nicolas Wu
(Imperial College London, UK)
@InProceedings{Haskell23p18,
author = {Nicolas Wu},
title = {The Evolution of Effects (Keynote)},
booktitle = {Proc.\ Haskell},
publisher = {ACM},
pages = {18-17},
doi = {10.1145/3609026.3615581},
year = {2023},
}
Publisher's Version
Haskell '23: "Haskell for Choice-Based Learning ..."
Haskell for Choice-Based Learning (Keynote)
Ningning Xie
(Google DeepMind, Canada; University of Toronto, Canada)
@InProceedings{Haskell23p1,
author = {Ningning Xie},
title = {Haskell for Choice-Based Learning (Keynote)},
booktitle = {Proc.\ Haskell},
publisher = {ACM},
pages = {1-0},
doi = {10.1145/3609026.3615580},
year = {2023},
}
Publisher's Version