| |
Beardsley, Vincent
|
SPLASH Companion '24: "Static-Dynamic Information ..."
Static-Dynamic Information Flow Control in Rust
Vincent Beardsley
(Ohio State University, USA)
@InProceedings{SPLASH24p16,
author = {Vincent Beardsley},
title = {Static-Dynamic Information Flow Control in Rust},
booktitle = {Proc.\ SPLASH},
publisher = {ACM},
pages = {16-15},
doi = {10.1145/3689491.3691820},
year = {2024},
}
 Publisher's Version
Article: splashcomp24docs-p8-p doi:10.1145/3689491.3691820
|
| |
Bies, Aaron |
SPLASH Companion '24: "Kawa: An Abstract Language ..."
Kawa: An Abstract Language for Scalable and Variable Detection of Spectre Vulnerabilities
Zheyuan Wu, Haoyi Zeng, and Aaron Bies
(Saarland University, Germany)
@InProceedings{SPLASH24p42,
author = {Zheyuan Wu and Haoyi Zeng and Aaron Bies},
title = {Kawa: An Abstract Language for Scalable and Variable Detection of Spectre Vulnerabilities},
booktitle = {Proc.\ SPLASH},
publisher = {ACM},
pages = {42-41},
doi = {10.1145/3689491.3689971},
year = {2024},
}
Publisher's Version
Article: splashcomp24src-p68-p doi:10.1145/3689491.3689971
|
| |
Castro Hernandez, Joel Enrique
|
SPLASH Companion '24: "Understanding Program Visualizations ..."
Understanding Program Visualizations in the Wild
Joel Enrique Castro Hernandez and Olohi Goodness John
(University of California at Berkeley, USA; Smith College, USA)
@InProceedings{SPLASH24p58,
author = {Joel Enrique Castro Hernandez and Olohi Goodness John},
title = {Understanding Program Visualizations in the Wild},
booktitle = {Proc.\ SPLASH},
publisher = {ACM},
pages = {58-57},
doi = {10.1145/3689491.3689975},
year = {2024},
}
Publisher's Version
Article: splashcomp24src-p100-p doi:10.1145/3689491.3689975
|
| |
Cui, Leyi |
SPLASH Companion '24: "A Formal Approach to the Analysis ..."
A Formal Approach to the Analysis of Human-Machine Interaction with Fuzzy Logic
Leyi Cui
(Columbia University, USA)
@InProceedings{SPLASH24p34,
author = {Leyi Cui},
title = {A Formal Approach to the Analysis of Human-Machine Interaction with Fuzzy Logic},
booktitle = {Proc.\ SPLASH},
publisher = {ACM},
pages = {34-33},
doi = {10.1145/3689491.3689969},
year = {2024},
}
Publisher's Version
Article: splashcomp24src-p46-p doi:10.1145/3689491.3689969
|
| |
Erdweg, Sebastian
|
SPLASH Companion '24: "AUTOINC: Incrementality for ..."
AUTOINC: Incrementality for Free
André Pacak, Prashant Kumar, Runqing Xu, and Sebastian Erdweg
(JGU Mainz, Germany)
@InProceedings{SPLASH24p70,
author = {André Pacak and Prashant Kumar and Runqing Xu and Sebastian Erdweg},
title = {AUTOINC: Incrementality for Free},
booktitle = {Proc.\ SPLASH},
publisher = {ACM},
pages = {70-69},
doi = {10.1145/3689491.3691824},
year = {2024},
}
Publisher's Version
Article: splashcomp24posters-p45-p doi:10.1145/3689491.3691824
|
| |
Gabriel, Richard P.
|
SPLASH Companion '24: "AI: Winter of Our Discontent ..."
AI: Winter of Our Discontent (Keynote)
Richard P. Gabriel
(Independent, USA)
@InProceedings{SPLASH24p2,
author = {Richard P. Gabriel},
title = {AI: Winter of Our Discontent (Keynote)},
booktitle = {Proc.\ SPLASH},
publisher = {ACM},
pages = {2-1},
doi = {10.1145/3689491.3700408},
year = {2024},
}
Publisher's Version
Article: splashcomp24key-key2-p doi:10.1145/3689491.3700408
|
| |
Garced, Andrés M. |
SPLASH Companion '24: "Grammar Derivation Visualization ..."
Grammar Derivation Visualization in Automata Theory
Tijana Minić and Andrés M. Garced
(Seton Hall University, USA)
@InProceedings{SPLASH24p50,
author = {Tijana Minić and Andrés M. Garced},
title = {Grammar Derivation Visualization in Automata Theory},
booktitle = {Proc.\ SPLASH},
publisher = {ACM},
pages = {50-49},
doi = {10.1145/3689491.3689977},
year = {2024},
}
Publisher's Version
Article: splashcomp24src-p86-p doi:10.1145/3689491.3689977
|
| |
Johanson, Kevin
|
SPLASH Companion '24: "VESC: Towards Temporal Verification ..."
VESC: Towards Temporal Verification of Smart Contracts
Samuel Larsen, Kevin Johanson, and Yuandong Cyrus Liu
(Grinnell College, USA)
@InProceedings{SPLASH24p54,
author = {Samuel Larsen and Kevin Johanson and Yuandong Cyrus Liu},
title = {VESC: Towards Temporal Verification of Smart Contracts},
booktitle = {Proc.\ SPLASH},
publisher = {ACM},
pages = {54-53},
doi = {10.1145/3689491.3689974},
year = {2024},
}
Publisher's Version
Article: splashcomp24src-p89-p doi:10.1145/3689491.3689974
|
| |
John, Olohi Goodness |
SPLASH Companion '24: "Understanding Program Visualizations ..."
Understanding Program Visualizations in the Wild
Joel Enrique Castro Hernandez and Olohi Goodness John
(University of California at Berkeley, USA; Smith College, USA)
@InProceedings{SPLASH24p58,
author = {Joel Enrique Castro Hernandez and Olohi Goodness John},
title = {Understanding Program Visualizations in the Wild},
booktitle = {Proc.\ SPLASH},
publisher = {ACM},
pages = {58-57},
doi = {10.1145/3689491.3689975},
year = {2024},
}
Publisher's Version
Article: splashcomp24src-p100-p doi:10.1145/3689491.3689975
|
| |
Kumar, Prashant
|
SPLASH Companion '24: "AUTOINC: Incrementality for ..."
AUTOINC: Incrementality for Free
André Pacak, Prashant Kumar, Runqing Xu, and Sebastian Erdweg
(JGU Mainz, Germany)
@InProceedings{SPLASH24p70,
author = {André Pacak and Prashant Kumar and Runqing Xu and Sebastian Erdweg},
title = {AUTOINC: Incrementality for Free},
booktitle = {Proc.\ SPLASH},
publisher = {ACM},
pages = {70-69},
doi = {10.1145/3689491.3691824},
year = {2024},
}
Publisher's Version
Article: splashcomp24posters-p45-p doi:10.1145/3689491.3691824
|
| |
Larsen, Samuel
|
SPLASH Companion '24: "VESC: Towards Temporal Verification ..."
VESC: Towards Temporal Verification of Smart Contracts
Samuel Larsen, Kevin Johanson, and Yuandong Cyrus Liu
(Grinnell College, USA)
@InProceedings{SPLASH24p54,
author = {Samuel Larsen and Kevin Johanson and Yuandong Cyrus Liu},
title = {VESC: Towards Temporal Verification of Smart Contracts},
booktitle = {Proc.\ SPLASH},
publisher = {ACM},
pages = {54-53},
doi = {10.1145/3689491.3689974},
year = {2024},
}
Publisher's Version
Article: splashcomp24src-p89-p doi:10.1145/3689491.3689974
|
| |
Liu, Anrui |
SPLASH Companion '24: "Meerkat: Distributed Reactive ..."
Meerkat: Distributed Reactive Live Semantics with Causal Consistency
Heng Zhong and Anrui Liu
(Fudan University, China; Carnegie Mellon University, USA)
@InProceedings{SPLASH24p62,
author = {Heng Zhong and Anrui Liu},
title = {Meerkat: Distributed Reactive Live Semantics with Causal Consistency},
booktitle = {Proc.\ SPLASH},
publisher = {ACM},
pages = {62-61},
doi = {10.1145/3689491.3691822},
year = {2024},
}
Publisher's Version
Article: splashcomp24posters-p26-p doi:10.1145/3689491.3691822
|
| |
Liu, Craig |
SPLASH Companion '24: "Design of Fractional Permissions ..."
Design of Fractional Permissions for a Gradual Verifier
Craig Liu
(Purdue University, USA)
@InProceedings{SPLASH24p46,
author = {Craig Liu},
title = {Design of Fractional Permissions for a Gradual Verifier},
booktitle = {Proc.\ SPLASH},
publisher = {ACM},
pages = {46-45},
doi = {10.1145/3689491.3689972},
year = {2024},
}
Publisher's Version
Article: splashcomp24src-p73-p doi:10.1145/3689491.3689972
|
| |
Liu, Yuandong Cyrus |
SPLASH Companion '24: "VESC: Towards Temporal Verification ..."
VESC: Towards Temporal Verification of Smart Contracts
Samuel Larsen, Kevin Johanson, and Yuandong Cyrus Liu
(Grinnell College, USA)
@InProceedings{SPLASH24p54,
author = {Samuel Larsen and Kevin Johanson and Yuandong Cyrus Liu},
title = {VESC: Towards Temporal Verification of Smart Contracts},
booktitle = {Proc.\ SPLASH},
publisher = {ACM},
pages = {54-53},
doi = {10.1145/3689491.3689974},
year = {2024},
}
Publisher's Version
Article: splashcomp24src-p89-p doi:10.1145/3689491.3689974
|
| |
Millstein, Todd
|
SPLASH Companion '24: "Everything Is a Program (Even ..."
Everything Is a Program (Even If It's Not) (Keynote)
Todd Millstein
(University of California, Los Angeles, USA)
@InProceedings{SPLASH24p1,
author = {Todd Millstein},
title = {Everything Is a Program (Even If It's Not) (Keynote)},
booktitle = {Proc.\ SPLASH},
publisher = {ACM},
pages = {1-0},
doi = {10.1145/3689491.3700407},
year = {2024},
}
Publisher's Version
Article: splashcomp24key-key1-p doi:10.1145/3689491.3700407
|
| |
Minić, Tijana |
SPLASH Companion '24: "Grammar Derivation Visualization ..."
Grammar Derivation Visualization in Automata Theory
Tijana Minić and Andrés M. Garced
(Seton Hall University, USA)
@InProceedings{SPLASH24p50,
author = {Tijana Minić and Andrés M. Garced},
title = {Grammar Derivation Visualization in Automata Theory},
booktitle = {Proc.\ SPLASH},
publisher = {ACM},
pages = {50-49},
doi = {10.1145/3689491.3689977},
year = {2024},
}
Publisher's Version
Article: splashcomp24src-p86-p doi:10.1145/3689491.3689977
|
| |
Mückenschnabel, Maya |
SPLASH Companion '24: "Algebraic Effect Handlers ..."
Algebraic Effect Handlers with Bidirectional Type-Checking
Maya Mückenschnabel
(Charles University, Czechia)
@InProceedings{SPLASH24p26,
author = {Maya Mückenschnabel},
title = {Algebraic Effect Handlers with Bidirectional Type-Checking},
booktitle = {Proc.\ SPLASH},
publisher = {ACM},
pages = {26-25},
doi = {10.1145/3689491.3689967},
year = {2024},
}
Publisher's Version
Article: splashcomp24src-p22-p doi:10.1145/3689491.3689967
|
| |
Ooi, Ken Jin
|
SPLASH Companion '24: "Automatically Generating an ..."
Automatically Generating an Abstract Interpretation-Based Optimizer from a DSL
Ken Jin Ooi
(National University of Singapore, Singapore)
@InProceedings{SPLASH24p30,
author = {Ken Jin Ooi},
title = {Automatically Generating an Abstract Interpretation-Based Optimizer from a DSL},
booktitle = {Proc.\ SPLASH},
publisher = {ACM},
pages = {30-29},
doi = {10.1145/3689491.3689968},
year = {2024},
}
Publisher's Version
Article: splashcomp24src-p34-p doi:10.1145/3689491.3689968
|
| |
Pacak, André
|
SPLASH Companion '24: "AUTOINC: Incrementality for ..."
AUTOINC: Incrementality for Free
André Pacak, Prashant Kumar, Runqing Xu, and Sebastian Erdweg
(JGU Mainz, Germany)
@InProceedings{SPLASH24p70,
author = {André Pacak and Prashant Kumar and Runqing Xu and Sebastian Erdweg},
title = {AUTOINC: Incrementality for Free},
booktitle = {Proc.\ SPLASH},
publisher = {ACM},
pages = {70-69},
doi = {10.1145/3689491.3691824},
year = {2024},
}
Publisher's Version
Article: splashcomp24posters-p45-p doi:10.1145/3689491.3691824
|
| |
Pelsmaeker, Daniel A. A. |
SPLASH Companion '24: "Ordering Rejectable Stacks ..."
Ordering Rejectable Stacks in SGLR Parsing
Jeff Smits and Daniel A. A. Pelsmaeker
(Delft University of Technology, Netherlands)
@InProceedings{SPLASH24p66,
author = {Jeff Smits and Daniel A. A. Pelsmaeker},
title = {Ordering Rejectable Stacks in SGLR Parsing},
booktitle = {Proc.\ SPLASH},
publisher = {ACM},
pages = {66-65},
doi = {10.1145/3689491.3691823},
year = {2024},
}
Publisher's Version
Article: splashcomp24posters-p33-p doi:10.1145/3689491.3691823
|
| |
Qiu, Yuxin
|
SPLASH Companion '24: "Full-Stack Collaboration for ..."
Full-Stack Collaboration for Robust Heterogeneity-Enabled AI Systems
Yuxin Qiu
(University of California at Riverside, USA)
@InProceedings{SPLASH24p10,
author = {Yuxin Qiu},
title = {Full-Stack Collaboration for Robust Heterogeneity-Enabled AI Systems},
booktitle = {Proc.\ SPLASH},
publisher = {ACM},
pages = {10-9},
doi = {10.1145/3689491.3691817},
year = {2024},
}
Publisher's Version
Article: splashcomp24docs-p5-p doi:10.1145/3689491.3691817
|
| |
Raskind, Joseph
|
SPLASH Companion '24: "A VM-Based Approach for Power ..."
A VM-Based Approach for Power Modeling
Joseph Raskind
(SUNY Binghamton, USA)
@InProceedings{SPLASH24p7,
author = {Joseph Raskind},
title = {A VM-Based Approach for Power Modeling},
booktitle = {Proc.\ SPLASH},
publisher = {ACM},
pages = {7-6},
doi = {10.1145/3689491.3691816},
year = {2024},
}
Publisher's Version
Article: splashcomp24docs-p4-p doi:10.1145/3689491.3691816
|
| |
Rojas Collins, Elias |
SPLASH Companion '24: "Automatic Local Inverse Calculation ..."
Automatic Local Inverse Calculation for Change of Variables
Elias Rojas Collins
(Massachusetts Institute of Technology, USA)
@InProceedings{SPLASH24p38,
author = {Elias Rojas Collins},
title = {Automatic Local Inverse Calculation for Change of Variables},
booktitle = {Proc.\ SPLASH},
publisher = {ACM},
pages = {38-37},
doi = {10.1145/3689491.3689970},
year = {2024},
}
Publisher's Version
Article: splashcomp24src-p54-p doi:10.1145/3689491.3689970
|
| |
Rungta, Neha |
SPLASH Companion '24: "Trillions of Formally Verified ..."
Trillions of Formally Verified Authorizations a Day! (Keynote)
Neha Rungta
(AWS, USA)
@InProceedings{SPLASH24p3,
author = {Neha Rungta},
title = {Trillions of Formally Verified Authorizations a Day! (Keynote)},
booktitle = {Proc.\ SPLASH},
publisher = {ACM},
pages = {3-2},
doi = {10.1145/3689491.3700409},
year = {2024},
}
Publisher's Version
Article: splashcomp24key-key3-p doi:10.1145/3689491.3700409
|
| |
Schwartz, David
|
SPLASH Companion '24: "JMVX: Improving Record-Replay ..."
JMVX: Improving Record-Replay for Managed Languages
David Schwartz
(University of Illinois at Chicago, USA)
@InProceedings{SPLASH24p13,
author = {David Schwartz},
title = {JMVX: Improving Record-Replay for Managed Languages},
booktitle = {Proc.\ SPLASH},
publisher = {ACM},
pages = {13-12},
doi = {10.1145/3689491.3691819},
year = {2024},
}
Publisher's Version
Article: splashcomp24docs-p7-p doi:10.1145/3689491.3691819
|
| |
Smits, Jeff |
SPLASH Companion '24: "Ordering Rejectable Stacks ..."
Ordering Rejectable Stacks in SGLR Parsing
Jeff Smits and Daniel A. A. Pelsmaeker
(Delft University of Technology, Netherlands)
@InProceedings{SPLASH24p66,
author = {Jeff Smits and Daniel A. A. Pelsmaeker},
title = {Ordering Rejectable Stacks in SGLR Parsing},
booktitle = {Proc.\ SPLASH},
publisher = {ACM},
pages = {66-65},
doi = {10.1145/3689491.3691823},
year = {2024},
}
Publisher's Version
Article: splashcomp24posters-p33-p doi:10.1145/3689491.3691823
|
| |
Wu, Zheyuan
|
SPLASH Companion '24: "Kawa: An Abstract Language ..."
Kawa: An Abstract Language for Scalable and Variable Detection of Spectre Vulnerabilities
Zheyuan Wu, Haoyi Zeng, and Aaron Bies
(Saarland University, Germany)
@InProceedings{SPLASH24p42,
author = {Zheyuan Wu and Haoyi Zeng and Aaron Bies},
title = {Kawa: An Abstract Language for Scalable and Variable Detection of Spectre Vulnerabilities},
booktitle = {Proc.\ SPLASH},
publisher = {ACM},
pages = {42-41},
doi = {10.1145/3689491.3689971},
year = {2024},
}
Publisher's Version
Article: splashcomp24src-p68-p doi:10.1145/3689491.3689971
|
| |
Xu, Runqing
|
SPLASH Companion '24: "AUTOINC: Incrementality for ..."
AUTOINC: Incrementality for Free
André Pacak, Prashant Kumar, Runqing Xu, and Sebastian Erdweg
(JGU Mainz, Germany)
@InProceedings{SPLASH24p70,
author = {André Pacak and Prashant Kumar and Runqing Xu and Sebastian Erdweg},
title = {AUTOINC: Incrementality for Free},
booktitle = {Proc.\ SPLASH},
publisher = {ACM},
pages = {70-69},
doi = {10.1145/3689491.3691824},
year = {2024},
}
Publisher's Version
Article: splashcomp24posters-p45-p doi:10.1145/3689491.3691824
|
| |
Zeng, Haoyi
|
SPLASH Companion '24: "Kawa: An Abstract Language ..."
Kawa: An Abstract Language for Scalable and Variable Detection of Spectre Vulnerabilities
Zheyuan Wu, Haoyi Zeng, and Aaron Bies
(Saarland University, Germany)
@InProceedings{SPLASH24p42,
author = {Zheyuan Wu and Haoyi Zeng and Aaron Bies},
title = {Kawa: An Abstract Language for Scalable and Variable Detection of Spectre Vulnerabilities},
booktitle = {Proc.\ SPLASH},
publisher = {ACM},
pages = {42-41},
doi = {10.1145/3689491.3689971},
year = {2024},
}
Publisher's Version
Article: splashcomp24src-p68-p doi:10.1145/3689491.3689971
|
| |
Zhang, Chi |
SPLASH Companion '24: "Step-wise Execution of Data-Centric ..."
Step-wise Execution of Data-Centric Systems
Chi Zhang
(Nanjing University, China)
@InProceedings{SPLASH24p19,
author = {Chi Zhang},
title = {Step-wise Execution of Data-Centric Systems},
booktitle = {Proc.\ SPLASH},
publisher = {ACM},
pages = {19-18},
doi = {10.1145/3689491.3691821},
year = {2024},
}
Publisher's Version
Article: splashcomp24docs-p9-p doi:10.1145/3689491.3691821
|
| |
Zhong, Heng |
SPLASH Companion '24: "Meerkat: Distributed Reactive ..."
Meerkat: Distributed Reactive Live Semantics with Causal Consistency
Heng Zhong and Anrui Liu
(Fudan University, China; Carnegie Mellon University, USA)
@InProceedings{SPLASH24p62,
author = {Heng Zhong and Anrui Liu},
title = {Meerkat: Distributed Reactive Live Semantics with Causal Consistency},
booktitle = {Proc.\ SPLASH},
publisher = {ACM},
pages = {62-61},
doi = {10.1145/3689491.3691822},
year = {2024},
}
Publisher's Version
Article: splashcomp24posters-p26-p doi:10.1145/3689491.3691822
|
| |
Zhong, Youwei |
SPLASH Companion '24: "A Parameterized Framework ..."
A Parameterized Framework for the Formal Verification of Zero-Knowledge Virtual Machines
Youwei Zhong
(Shanghai Jiao Tong University, China)
@InProceedings{SPLASH24p22,
author = {Youwei Zhong},
title = {A Parameterized Framework for the Formal Verification of Zero-Knowledge Virtual Machines},
booktitle = {Proc.\ SPLASH},
publisher = {ACM},
pages = {22-21},
doi = {10.1145/3689491.3689966},
year = {2024},
}
Publisher's Version
Article: splashcomp24src-p13-p doi:10.1145/3689491.3689966
|
| |
Zilberstein, Noam |
SPLASH Companion '24: "Unified Analysis Techniques ..."
Unified Analysis Techniques for Programs with Outcomes
Noam Zilberstein
(Cornell University, USA)
@InProceedings{SPLASH24p4,
author = {Noam Zilberstein},
title = {Unified Analysis Techniques for Programs with Outcomes},
booktitle = {Proc.\ SPLASH},
publisher = {ACM},
pages = {4-3},
doi = {10.1145/3689491.3691814},
year = {2024},
}
Publisher's Version
Article: splashcomp24docs-p1-p doi:10.1145/3689491.3691814
|