| |
Barash, Mikhail
|
SPLASH Companion '23: "Involving Users in Design ..."
Involving Users in Design of a Widely Used Language: A Case of ECMAScript (JavaScript) Standardization
Mikhail Barash, Yulia Startsev, and Rolf Martin Glomsrud
(University of Bergen, Norway; Mozilla, Germany)
@InProceedings{SPLASH23p49,
author = {Mikhail Barash and Yulia Startsev and Rolf Martin Glomsrud},
title = {Involving Users in Design of a Widely Used Language: A Case of ECMAScript (JavaScript) Standardization},
booktitle = {Proc.\ SPLASH},
publisher = {ACM},
pages = {49-48},
doi = {10.1145/3618305.3623603},
year = {2023},
}
 Publisher's Version
SPLASH Companion '23: "Towards Reusable GUI Structures ..."
Towards Reusable GUI Structures
Knut Anders Stokke, Mikhail Barash, and Jaakko Järvi
(University of Bergen, Norway; University of Turku, Finland)
@InProceedings{SPLASH23p73,
author = {Knut Anders Stokke and Mikhail Barash and Jaakko Järvi},
title = {Towards Reusable GUI Structures},
booktitle = {Proc.\ SPLASH},
publisher = {ACM},
pages = {73-72},
doi = {10.1145/3618305.3623611},
year = {2023},
}
Publisher's Version
|
| |
Blackshear, Sam |
SPLASH Companion '23: "Sui Move: Modern Blockchain ..."
Sui Move: Modern Blockchain Programming with Objects
Adam Welc and Sam Blackshear
(Mysten Labs, USA)
@InProceedings{SPLASH23p55,
author = {Adam Welc and Sam Blackshear},
title = {Sui Move: Modern Blockchain Programming with Objects},
booktitle = {Proc.\ SPLASH},
publisher = {ACM},
pages = {55-54},
doi = {10.1145/3618305.3623605},
year = {2023},
}
Publisher's Version
|
| |
Carvalho, Luís
|
SPLASH Companion '23: "Semantic Versioning for Python ..."
Semantic Versioning for Python Programs
Luís Carvalho
(NOVA University Lisbon, Portugal; NOVA-LINCS, Portugal)
@InProceedings{SPLASH23p13,
author = {Luís Carvalho},
title = {Semantic Versioning for Python Programs},
booktitle = {Proc.\ SPLASH},
publisher = {ACM},
pages = {13-12},
doi = {10.1145/3618305.3623589},
year = {2023},
}
Publisher's Version
|
| |
Considine, Breandan |
SPLASH Companion '23: "A Pragmatic Approach to Syntax ..."
A Pragmatic Approach to Syntax Repair
Breandan Considine
(McGill University, Canada)
@InProceedings{SPLASH23p19,
author = {Breandan Considine},
title = {A Pragmatic Approach to Syntax Repair},
booktitle = {Proc.\ SPLASH},
publisher = {ACM},
pages = {19-18},
doi = {10.1145/3618305.3623591},
year = {2023},
}
Publisher's Version
|
| |
Davila Mateu, Marta
|
SPLASH Companion '23: "Synthesizing Recursive Programs ..."
Synthesizing Recursive Programs through Dataflow Constraints
Marta Davila Mateu
(University of Southern California, USA)
@InProceedings{SPLASH23p25,
author = {Marta Davila Mateu},
title = {Synthesizing Recursive Programs through Dataflow Constraints},
booktitle = {Proc.\ SPLASH},
publisher = {ACM},
pages = {25-24},
doi = {10.1145/3618305.3623595},
year = {2023},
}
Publisher's Version
|
| |
Freeman, Julia
|
SPLASH Companion '23: "Historiographer: Strongly-Consistent ..."
Historiographer: Strongly-Consistent Distributed Reactive Programming with Minimal Locking
Julia Freeman and Timothy Zhou
(Francis Marion University, USA; University of Illinois at Urbana-Champaign, USA)
@InProceedings{SPLASH23p31,
author = {Julia Freeman and Timothy Zhou},
title = {Historiographer: Strongly-Consistent Distributed Reactive Programming with Minimal Locking},
booktitle = {Proc.\ SPLASH},
publisher = {ACM},
pages = {31-30},
doi = {10.1145/3618305.3623597},
year = {2023},
}
Publisher's Version
|
| |
Glomsrud, Rolf Martin
|
SPLASH Companion '23: "Involving Users in Design ..."
Involving Users in Design of a Widely Used Language: A Case of ECMAScript (JavaScript) Standardization
Mikhail Barash, Yulia Startsev, and Rolf Martin Glomsrud
(University of Bergen, Norway; Mozilla, Germany)
@InProceedings{SPLASH23p49,
author = {Mikhail Barash and Yulia Startsev and Rolf Martin Glomsrud},
title = {Involving Users in Design of a Widely Used Language: A Case of ECMAScript (JavaScript) Standardization},
booktitle = {Proc.\ SPLASH},
publisher = {ACM},
pages = {49-48},
doi = {10.1145/3618305.3623603},
year = {2023},
}
Publisher's Version
|
| |
Gomes, Luís |
SPLASH Companion '23: "Transforming Ideas into Code: ..."
Transforming Ideas into Code: Visual Sketching for ML Development
Luís Gomes
(Carnegie Mellon University, USA; University of Porto, Portugal)
@InProceedings{SPLASH23p10,
author = {Luís Gomes},
title = {Transforming Ideas into Code: Visual Sketching for ML Development},
booktitle = {Proc.\ SPLASH},
publisher = {ACM},
pages = {10-9},
doi = {10.1145/3618305.3623588},
year = {2023},
}
Publisher's Version
|
| |
Hoobergs, Jesse
|
SPLASH Companion '23: "Modular Educational Languages ..."
Modular Educational Languages
Jesse Hoobergs
(KU Leuven, Belgium)
@InProceedings{SPLASH23p28,
author = {Jesse Hoobergs},
title = {Modular Educational Languages},
booktitle = {Proc.\ SPLASH},
publisher = {ACM},
pages = {28-27},
doi = {10.1145/3618305.3623596},
year = {2023},
}
Publisher's Version
|
| |
Irie, Hidetsugu
|
SPLASH Companion '23: "A Functional Reactive Programming ..."
A Functional Reactive Programming Language for Wirelessly Connected Shape-Changeable Chiplet-Based Computers
Yusuke Izawa, Junichiro Kadomoto, Hidetsugu Irie, and Shuichi Sakai
(IBM Research, Japan; University of Tokyo, Japan)
@InProceedings{SPLASH23p64,
author = {Yusuke Izawa and Junichiro Kadomoto and Hidetsugu Irie and Shuichi Sakai},
title = {A Functional Reactive Programming Language for Wirelessly Connected Shape-Changeable Chiplet-Based Computers},
booktitle = {Proc.\ SPLASH},
publisher = {ACM},
pages = {64-63},
doi = {10.1145/3618305.3623608},
year = {2023},
}
Publisher's Version
|
| |
Izawa, Yusuke |
SPLASH Companion '23: "A Functional Reactive Programming ..."
A Functional Reactive Programming Language for Wirelessly Connected Shape-Changeable Chiplet-Based Computers
Yusuke Izawa, Junichiro Kadomoto, Hidetsugu Irie, and Shuichi Sakai
(IBM Research, Japan; University of Tokyo, Japan)
@InProceedings{SPLASH23p64,
author = {Yusuke Izawa and Junichiro Kadomoto and Hidetsugu Irie and Shuichi Sakai},
title = {A Functional Reactive Programming Language for Wirelessly Connected Shape-Changeable Chiplet-Based Computers},
booktitle = {Proc.\ SPLASH},
publisher = {ACM},
pages = {64-63},
doi = {10.1145/3618305.3623608},
year = {2023},
}
Publisher's Version
|
| |
Jain, Rijul
|
SPLASH Companion '23: "Generating Domain-Specific ..."
Generating Domain-Specific Programs for Diagram Authoring with Large Language Models
Rijul Jain, Wode Ni, and Joshua Sunshine
(Williams College, USA; Carnegie Mellon University, USA)
@InProceedings{SPLASH23p76,
author = {Rijul Jain and Wode Ni and Joshua Sunshine},
title = {Generating Domain-Specific Programs for Diagram Authoring with Large Language Models},
booktitle = {Proc.\ SPLASH},
publisher = {ACM},
pages = {76-75},
doi = {10.1145/3618305.3623612},
year = {2023},
}
Publisher's Version
|
| |
Järvi, Jaakko |
SPLASH Companion '23: "Towards Reusable GUI Structures ..."
Towards Reusable GUI Structures
Knut Anders Stokke, Mikhail Barash, and Jaakko Järvi
(University of Bergen, Norway; University of Turku, Finland)
@InProceedings{SPLASH23p73,
author = {Knut Anders Stokke and Mikhail Barash and Jaakko Järvi},
title = {Towards Reusable GUI Structures},
booktitle = {Proc.\ SPLASH},
publisher = {ACM},
pages = {73-72},
doi = {10.1145/3618305.3623611},
year = {2023},
}
Publisher's Version
|
| |
Ji, Ruyi |
SPLASH Companion '23: "Scaling up Program Synthesis ..."
Scaling up Program Synthesis to Efficient Algorithms
Ruyi Ji
(Peking University, China)
@InProceedings{SPLASH23p4,
author = {Ruyi Ji},
title = {Scaling up Program Synthesis to Efficient Algorithms},
booktitle = {Proc.\ SPLASH},
publisher = {ACM},
pages = {4-3},
doi = {10.1145/3618305.3623586},
year = {2023},
}
Publisher's Version
|
| |
Kadomoto, Junichiro
|
SPLASH Companion '23: "A Functional Reactive Programming ..."
A Functional Reactive Programming Language for Wirelessly Connected Shape-Changeable Chiplet-Based Computers
Yusuke Izawa, Junichiro Kadomoto, Hidetsugu Irie, and Shuichi Sakai
(IBM Research, Japan; University of Tokyo, Japan)
@InProceedings{SPLASH23p64,
author = {Yusuke Izawa and Junichiro Kadomoto and Hidetsugu Irie and Shuichi Sakai},
title = {A Functional Reactive Programming Language for Wirelessly Connected Shape-Changeable Chiplet-Based Computers},
booktitle = {Proc.\ SPLASH},
publisher = {ACM},
pages = {64-63},
doi = {10.1145/3618305.3623608},
year = {2023},
}
Publisher's Version
|
| |
Köhler, Mirko |
SPLASH Companion '23: "Safe Combination of Data-Centric ..."
Safe Combination of Data-Centric and Operation-Centric Consistency
Mirko Köhler and Guido Salvaneschi
(TU Darmstadt, Germany; University of St. Gallen, Switzerland)
@InProceedings{SPLASH23p70,
author = {Mirko Köhler and Guido Salvaneschi},
title = {Safe Combination of Data-Centric and Operation-Centric Consistency},
booktitle = {Proc.\ SPLASH},
publisher = {ACM},
pages = {70-69},
doi = {10.1145/3618305.3623610},
year = {2023},
}
Publisher's Version
|
| |
Larose, Octave
|
SPLASH Companion '23: "Dynamic Library Compartmentalization ..."
Dynamic Library Compartmentalization
Octave Larose
(University of Kent, UK)
@InProceedings{SPLASH23p52,
author = {Octave Larose},
title = {Dynamic Library Compartmentalization},
booktitle = {Proc.\ SPLASH},
publisher = {ACM},
pages = {52-51},
doi = {10.1145/3618305.3623604},
year = {2023},
}
Publisher's Version
|
| |
Lorenz, David H. |
SPLASH Companion '23: "ReactCOP: Modular and Scalable ..."
ReactCOP: Modular and Scalable Web Development with Context-Oriented Programming
David H. Lorenz and Ofir Shmuel
(Open University of Israel, Israel)
@InProceedings{SPLASH23p67,
author = {David H. Lorenz and Ofir Shmuel},
title = {ReactCOP: Modular and Scalable Web Development with Context-Oriented Programming},
booktitle = {Proc.\ SPLASH},
publisher = {ACM},
pages = {67-66},
doi = {10.1145/3618305.3623609},
year = {2023},
}
Publisher's Version
|
| |
Ni, Wode
|
SPLASH Companion '23: "Generating Domain-Specific ..."
Generating Domain-Specific Programs for Diagram Authoring with Large Language Models
Rijul Jain, Wode Ni, and Joshua Sunshine
(Williams College, USA; Carnegie Mellon University, USA)
@InProceedings{SPLASH23p76,
author = {Rijul Jain and Wode Ni and Joshua Sunshine},
title = {Generating Domain-Specific Programs for Diagram Authoring with Large Language Models},
booktitle = {Proc.\ SPLASH},
publisher = {ACM},
pages = {76-75},
doi = {10.1145/3618305.3623612},
year = {2023},
}
Publisher's Version
|
| |
Nosáľ, Milan |
SPLASH Companion '23: "JaMaBuild: Mass Building of ..."
JaMaBuild: Mass Building of Java Projects
Matúš Sulír and Milan Nosáľ
(Technical University of Košice, Slovakia; ValeSoft, Slovakia)
@InProceedings{SPLASH23p58,
author = {Matúš Sulír and Milan Nosáľ},
title = {JaMaBuild: Mass Building of Java Projects},
booktitle = {Proc.\ SPLASH},
publisher = {ACM},
pages = {58-57},
doi = {10.1145/3618305.3623613},
year = {2023},
}
Publisher's Version
|
| |
Pečimúth, Andrej
|
SPLASH Companion '23: "Remote Just-in-Time Compilation ..."
Remote Just-in-Time Compilation for Dynamic Languages
Andrej Pečimúth
(Charles University, Czechia; Oracle Labs, Czechia)
@InProceedings{SPLASH23p1,
author = {Andrej Pečimúth},
title = {Remote Just-in-Time Compilation for Dynamic Languages},
booktitle = {Proc.\ SPLASH},
publisher = {ACM},
pages = {1-0},
doi = {10.1145/3618305.3623593},
year = {2023},
}
Publisher's Version
|
| |
Phipathananunth, Siraphob |
SPLASH Companion '23: "Towards the Formal Verification ..."
Towards the Formal Verification of Wigderson’s Algorithm
Siraphob Phipathananunth
(Yale University, USA)
@InProceedings{SPLASH23p40,
author = {Siraphob Phipathananunth},
title = {Towards the Formal Verification of Wigderson’s Algorithm},
booktitle = {Proc.\ SPLASH},
publisher = {ACM},
pages = {40-39},
doi = {10.1145/3618305.3623600},
year = {2023},
}
Publisher's Version
|
| |
Ribeiro, Francisco
|
SPLASH Companion '23: "Large Language Models for ..."
Large Language Models for Automated Program Repair
Francisco Ribeiro
(INESC Tec, Portugal; Universidade do Minho, Portugal)
@InProceedings{SPLASH23p7,
author = {Francisco Ribeiro},
title = {Large Language Models for Automated Program Repair},
booktitle = {Proc.\ SPLASH},
publisher = {ACM},
pages = {7-6},
doi = {10.1145/3618305.3623587},
year = {2023},
}
Publisher's Version
|
| |
Roth, Tobias |
SPLASH Companion '23: "Reusing Single-Language Analyses ..."
Reusing Single-Language Analyses for Static Analysis of Multi-language Programs
Tobias Roth
(TU Darmstadt, Germany)
@InProceedings{SPLASH23p16,
author = {Tobias Roth},
title = {Reusing Single-Language Analyses for Static Analysis of Multi-language Programs},
booktitle = {Proc.\ SPLASH},
publisher = {ACM},
pages = {16-15},
doi = {10.1145/3618305.3623590},
year = {2023},
}
Publisher's Version
|
| |
Rothkopf, Raven |
SPLASH Companion '23: "Rose: Extensible Autodiff ..."
Rose: Extensible Autodiff on the Web
Raven Rothkopf
(Barnard College, USA)
@InProceedings{SPLASH23p46,
author = {Raven Rothkopf},
title = {Rose: Extensible Autodiff on the Web},
booktitle = {Proc.\ SPLASH},
publisher = {ACM},
pages = {46-45},
doi = {10.1145/3618305.3623602},
year = {2023},
}
Publisher's Version
|
| |
Sakai, Shuichi
|
SPLASH Companion '23: "A Functional Reactive Programming ..."
A Functional Reactive Programming Language for Wirelessly Connected Shape-Changeable Chiplet-Based Computers
Yusuke Izawa, Junichiro Kadomoto, Hidetsugu Irie, and Shuichi Sakai
(IBM Research, Japan; University of Tokyo, Japan)
@InProceedings{SPLASH23p64,
author = {Yusuke Izawa and Junichiro Kadomoto and Hidetsugu Irie and Shuichi Sakai},
title = {A Functional Reactive Programming Language for Wirelessly Connected Shape-Changeable Chiplet-Based Computers},
booktitle = {Proc.\ SPLASH},
publisher = {ACM},
pages = {64-63},
doi = {10.1145/3618305.3623608},
year = {2023},
}
Publisher's Version
|
| |
Salvaneschi, Guido |
SPLASH Companion '23: "Extensible Testing for Infrastructure ..."
Extensible Testing for Infrastructure as Code
David Spielmann, Daniel Sokolowski, and Guido Salvaneschi
(University of St. Gallen, Switzerland)
@InProceedings{SPLASH23p61,
author = {David Spielmann and Daniel Sokolowski and Guido Salvaneschi},
title = {Extensible Testing for Infrastructure as Code},
booktitle = {Proc.\ SPLASH},
publisher = {ACM},
pages = {61-60},
doi = {10.1145/3618305.3623607},
year = {2023},
}
Publisher's Version
SPLASH Companion '23: "Safe Combination of Data-Centric ..."
Safe Combination of Data-Centric and Operation-Centric Consistency
Mirko Köhler and Guido Salvaneschi
(TU Darmstadt, Germany; University of St. Gallen, Switzerland)
@InProceedings{SPLASH23p70,
author = {Mirko Köhler and Guido Salvaneschi},
title = {Safe Combination of Data-Centric and Operation-Centric Consistency},
booktitle = {Proc.\ SPLASH},
publisher = {ACM},
pages = {70-69},
doi = {10.1145/3618305.3623610},
year = {2023},
}
Publisher's Version
|
| |
Shi, Zhan |
SPLASH Companion '23: "Partial Gradual Dependent ..."
Partial Gradual Dependent Type Theory
Zhan Shi
(Kyoto University, Japan)
@InProceedings{SPLASH23p22,
author = {Zhan Shi},
title = {Partial Gradual Dependent Type Theory},
booktitle = {Proc.\ SPLASH},
publisher = {ACM},
pages = {22-21},
doi = {10.1145/3618305.3623594},
year = {2023},
}
Publisher's Version
|
| |
Shmuel, Ofir |
SPLASH Companion '23: "ReactCOP: Modular and Scalable ..."
ReactCOP: Modular and Scalable Web Development with Context-Oriented Programming
David H. Lorenz and Ofir Shmuel
(Open University of Israel, Israel)
@InProceedings{SPLASH23p67,
author = {David H. Lorenz and Ofir Shmuel},
title = {ReactCOP: Modular and Scalable Web Development with Context-Oriented Programming},
booktitle = {Proc.\ SPLASH},
publisher = {ACM},
pages = {67-66},
doi = {10.1145/3618305.3623609},
year = {2023},
}
Publisher's Version
|
| |
Sokolowski, Daniel |
SPLASH Companion '23: "Extensible Testing for Infrastructure ..."
Extensible Testing for Infrastructure as Code
David Spielmann, Daniel Sokolowski, and Guido Salvaneschi
(University of St. Gallen, Switzerland)
@InProceedings{SPLASH23p61,
author = {David Spielmann and Daniel Sokolowski and Guido Salvaneschi},
title = {Extensible Testing for Infrastructure as Code},
booktitle = {Proc.\ SPLASH},
publisher = {ACM},
pages = {61-60},
doi = {10.1145/3618305.3623607},
year = {2023},
}
Publisher's Version
|
| |
Spielmann, David |
SPLASH Companion '23: "Extensible Testing for Infrastructure ..."
Extensible Testing for Infrastructure as Code
David Spielmann, Daniel Sokolowski, and Guido Salvaneschi
(University of St. Gallen, Switzerland)
@InProceedings{SPLASH23p61,
author = {David Spielmann and Daniel Sokolowski and Guido Salvaneschi},
title = {Extensible Testing for Infrastructure as Code},
booktitle = {Proc.\ SPLASH},
publisher = {ACM},
pages = {61-60},
doi = {10.1145/3618305.3623607},
year = {2023},
}
Publisher's Version
|
| |
Startsev, Yulia |
SPLASH Companion '23: "Involving Users in Design ..."
Involving Users in Design of a Widely Used Language: A Case of ECMAScript (JavaScript) Standardization
Mikhail Barash, Yulia Startsev, and Rolf Martin Glomsrud
(University of Bergen, Norway; Mozilla, Germany)
@InProceedings{SPLASH23p49,
author = {Mikhail Barash and Yulia Startsev and Rolf Martin Glomsrud},
title = {Involving Users in Design of a Widely Used Language: A Case of ECMAScript (JavaScript) Standardization},
booktitle = {Proc.\ SPLASH},
publisher = {ACM},
pages = {49-48},
doi = {10.1145/3618305.3623603},
year = {2023},
}
Publisher's Version
|
| |
Stokke, Knut Anders |
SPLASH Companion '23: "Towards Reusable GUI Structures ..."
Towards Reusable GUI Structures
Knut Anders Stokke, Mikhail Barash, and Jaakko Järvi
(University of Bergen, Norway; University of Turku, Finland)
@InProceedings{SPLASH23p73,
author = {Knut Anders Stokke and Mikhail Barash and Jaakko Järvi},
title = {Towards Reusable GUI Structures},
booktitle = {Proc.\ SPLASH},
publisher = {ACM},
pages = {73-72},
doi = {10.1145/3618305.3623611},
year = {2023},
}
Publisher's Version
|
| |
Sulír, Matúš |
SPLASH Companion '23: "JaMaBuild: Mass Building of ..."
JaMaBuild: Mass Building of Java Projects
Matúš Sulír and Milan Nosáľ
(Technical University of Košice, Slovakia; ValeSoft, Slovakia)
@InProceedings{SPLASH23p58,
author = {Matúš Sulír and Milan Nosáľ},
title = {JaMaBuild: Mass Building of Java Projects},
booktitle = {Proc.\ SPLASH},
publisher = {ACM},
pages = {58-57},
doi = {10.1145/3618305.3623613},
year = {2023},
}
Publisher's Version
|
| |
Sunshine, Joshua |
SPLASH Companion '23: "Generating Domain-Specific ..."
Generating Domain-Specific Programs for Diagram Authoring with Large Language Models
Rijul Jain, Wode Ni, and Joshua Sunshine
(Williams College, USA; Carnegie Mellon University, USA)
@InProceedings{SPLASH23p76,
author = {Rijul Jain and Wode Ni and Joshua Sunshine},
title = {Generating Domain-Specific Programs for Diagram Authoring with Large Language Models},
booktitle = {Proc.\ SPLASH},
publisher = {ACM},
pages = {76-75},
doi = {10.1145/3618305.3623612},
year = {2023},
}
Publisher's Version
|
| |
Welc, Adam
|
SPLASH Companion '23: "Sui Move: Modern Blockchain ..."
Sui Move: Modern Blockchain Programming with Objects
Adam Welc and Sam Blackshear
(Mysten Labs, USA)
@InProceedings{SPLASH23p55,
author = {Adam Welc and Sam Blackshear},
title = {Sui Move: Modern Blockchain Programming with Objects},
booktitle = {Proc.\ SPLASH},
publisher = {ACM},
pages = {55-54},
doi = {10.1145/3618305.3623605},
year = {2023},
}
Publisher's Version
|
| |
Wilson, Katrina |
SPLASH Companion '23: "Clearing the Trail: Motivations ..."
Clearing the Trail: Motivations for Maintenance Work in Open Source
Katrina Wilson
(Bucknell University, USA)
@InProceedings{SPLASH23p34,
author = {Katrina Wilson},
title = {Clearing the Trail: Motivations for Maintenance Work in Open Source},
booktitle = {Proc.\ SPLASH},
publisher = {ACM},
pages = {34-33},
doi = {10.1145/3618305.3623598},
year = {2023},
}
Publisher's Version
|
| |
Ye, Haolin
|
SPLASH Companion '23: "An Optimal Structure-Aware ..."
An Optimal Structure-Aware Code Difference Framework with MaxSAT-Solver
Haolin Ye
(McGill University, Canada)
@InProceedings{SPLASH23p43,
author = {Haolin Ye},
title = {An Optimal Structure-Aware Code Difference Framework with MaxSAT-Solver},
booktitle = {Proc.\ SPLASH},
publisher = {ACM},
pages = {43-42},
doi = {10.1145/3618305.3623601},
year = {2023},
}
Publisher's Version
|
| |
Zegarelli, Antonio
|
SPLASH Companion '23: "Design and Implementation ..."
Design and Implementation of Facets of Dynamic Policies
Antonio Zegarelli
(IMDEA Software Institute, Spain)
@InProceedings{SPLASH23p37,
author = {Antonio Zegarelli},
title = {Design and Implementation of Facets of Dynamic Policies},
booktitle = {Proc.\ SPLASH},
publisher = {ACM},
pages = {37-36},
doi = {10.1145/3618305.3623599},
year = {2023},
}
Publisher's Version
|
| |
Zhou, Timothy |
SPLASH Companion '23: "Historiographer: Strongly-Consistent ..."
Historiographer: Strongly-Consistent Distributed Reactive Programming with Minimal Locking
Julia Freeman and Timothy Zhou
(Francis Marion University, USA; University of Illinois at Urbana-Champaign, USA)
@InProceedings{SPLASH23p31,
author = {Julia Freeman and Timothy Zhou},
title = {Historiographer: Strongly-Consistent Distributed Reactive Programming with Minimal Locking},
booktitle = {Proc.\ SPLASH},
publisher = {ACM},
pages = {31-30},
doi = {10.1145/3618305.3623597},
year = {2023},
}
Publisher's Version
|