| |
Bailly, Arnaud
|
FUNARCH '24: "Applying Continuous Formal ..."
Applying Continuous Formal Methods to Cardano (Experience Report)
James Chapman, Arnaud Bailly, and Polina Vinogradova
(IOHK, United Kingdom; IOHK, France; IOHK, Canada)
@InProceedings{FUNARCH24p43,
author = {James Chapman and Arnaud Bailly and Polina Vinogradova},
title = {Applying Continuous Formal Methods to Cardano (Experience Report)},
booktitle = {Proc.\ FUNARCH},
publisher = {ACM},
pages = {43-42},
doi = {10.1145/3677998.3678222},
year = {2024},
}
 Publisher's Version
Article: icfpws24funarchmain-id5-p (type: Full Paper (Experience Report, 6 pages + references)) doi:10.1145/3677998.3678222
|
| |
Chapman, James
|
FUNARCH '24: "Applying Continuous Formal ..."
Applying Continuous Formal Methods to Cardano (Experience Report)
James Chapman, Arnaud Bailly, and Polina Vinogradova
(IOHK, United Kingdom; IOHK, France; IOHK, Canada)
@InProceedings{FUNARCH24p43,
author = {James Chapman and Arnaud Bailly and Polina Vinogradova},
title = {Applying Continuous Formal Methods to Cardano (Experience Report)},
booktitle = {Proc.\ FUNARCH},
publisher = {ACM},
pages = {43-42},
doi = {10.1145/3677998.3678222},
year = {2024},
}
Publisher's Version
Article: icfpws24funarchmain-id5-p (type: Full Paper (Experience Report, 6 pages + references)) doi:10.1145/3677998.3678222
|
| |
Crestani, Marcus |
FUNARCH '24: "Bidirectional Data Transformations ..."
Bidirectional Data Transformations
Marcus Crestani, Markus Schlegel, and Marco Schneider
(Active Group, Germany)
@InProceedings{FUNARCH24p71,
author = {Marcus Crestani and Markus Schlegel and Marco Schneider},
title = {Bidirectional Data Transformations},
booktitle = {Proc.\ FUNARCH},
publisher = {ACM},
pages = {71-70},
doi = {10.1145/3677998.3678224},
year = {2024},
}
Publisher's Version
Article: icfpws24funarchmain-id4-p (type: Full Paper (Research Paper, 12 pages + 2 pages of references)) doi:10.1145/3677998.3678224
|
| |
Friedman, Daniel P.
|
FUNARCH '24: "F3: A Compiler for Feature ..."
F3: A Compiler for Feature Engineering
Weixi Ma, Siyu Wang, Arnaud Venet, Junhua Gu, Subbu Subramanian, Rocky Liu, Yafei Yang, and Daniel P. Friedman
(Meta, USA; Indiana University, USA)
@InProceedings{FUNARCH24p15,
author = {Weixi Ma and Siyu Wang and Arnaud Venet and Junhua Gu and Subbu Subramanian and Rocky Liu and Yafei Yang and Daniel P. Friedman},
title = {F3: A Compiler for Feature Engineering},
booktitle = {Proc.\ FUNARCH},
publisher = {ACM},
pages = {15-14},
doi = {10.1145/3677998.3678220},
year = {2024},
}
Publisher's Version
Article: icfpws24funarchmain-id2-p (type: Full Paper (Research Paper, 12 pages + 2 pages of references)) doi:10.1145/3677998.3678220
|
| |
Gu, Junhua
|
FUNARCH '24: "F3: A Compiler for Feature ..."
F3: A Compiler for Feature Engineering
Weixi Ma, Siyu Wang, Arnaud Venet, Junhua Gu, Subbu Subramanian, Rocky Liu, Yafei Yang, and Daniel P. Friedman
(Meta, USA; Indiana University, USA)
@InProceedings{FUNARCH24p15,
author = {Weixi Ma and Siyu Wang and Arnaud Venet and Junhua Gu and Subbu Subramanian and Rocky Liu and Yafei Yang and Daniel P. Friedman},
title = {F3: A Compiler for Feature Engineering},
booktitle = {Proc.\ FUNARCH},
publisher = {ACM},
pages = {15-14},
doi = {10.1145/3677998.3678220},
year = {2024},
}
Publisher's Version
Article: icfpws24funarchmain-id2-p (type: Full Paper (Research Paper, 12 pages + 2 pages of references)) doi:10.1145/3677998.3678220
|
| |
Kaufmann, Marc
|
FUNARCH '24: "Continuations: What Have They ..."
Continuations: What Have They Ever Done for Us? (Experience Report)
Marc Kaufmann and Bogdan Popa
(Central European University, Austria; Independent, Romania)
@InProceedings{FUNARCH24p57,
author = {Marc Kaufmann and Bogdan Popa},
title = {Continuations: What Have They Ever Done for Us? (Experience Report)},
booktitle = {Proc.\ FUNARCH},
publisher = {ACM},
pages = {57-56},
doi = {10.1145/3677998.3678223},
year = {2024},
}
Publisher's Version
Article: icfpws24funarchmain-id1-p (type: Full Paper (Experience Report, 6 pages + references)) doi:10.1145/3677998.3678223
|
| |
Liu, Rocky
|
FUNARCH '24: "F3: A Compiler for Feature ..."
F3: A Compiler for Feature Engineering
Weixi Ma, Siyu Wang, Arnaud Venet, Junhua Gu, Subbu Subramanian, Rocky Liu, Yafei Yang, and Daniel P. Friedman
(Meta, USA; Indiana University, USA)
@InProceedings{FUNARCH24p15,
author = {Weixi Ma and Siyu Wang and Arnaud Venet and Junhua Gu and Subbu Subramanian and Rocky Liu and Yafei Yang and Daniel P. Friedman},
title = {F3: A Compiler for Feature Engineering},
booktitle = {Proc.\ FUNARCH},
publisher = {ACM},
pages = {15-14},
doi = {10.1145/3677998.3678220},
year = {2024},
}
Publisher's Version
Article: icfpws24funarchmain-id2-p (type: Full Paper (Research Paper, 12 pages + 2 pages of references)) doi:10.1145/3677998.3678220
|
| |
Ma, Weixi
|
FUNARCH '24: "F3: A Compiler for Feature ..."
F3: A Compiler for Feature Engineering
Weixi Ma, Siyu Wang, Arnaud Venet, Junhua Gu, Subbu Subramanian, Rocky Liu, Yafei Yang, and Daniel P. Friedman
(Meta, USA; Indiana University, USA)
@InProceedings{FUNARCH24p15,
author = {Weixi Ma and Siyu Wang and Arnaud Venet and Junhua Gu and Subbu Subramanian and Rocky Liu and Yafei Yang and Daniel P. Friedman},
title = {F3: A Compiler for Feature Engineering},
booktitle = {Proc.\ FUNARCH},
publisher = {ACM},
pages = {15-14},
doi = {10.1145/3677998.3678220},
year = {2024},
}
Publisher's Version
Article: icfpws24funarchmain-id2-p (type: Full Paper (Research Paper, 12 pages + 2 pages of references)) doi:10.1145/3677998.3678220
|
| |
Popa, Bogdan
|
FUNARCH '24: "Continuations: What Have They ..."
Continuations: What Have They Ever Done for Us? (Experience Report)
Marc Kaufmann and Bogdan Popa
(Central European University, Austria; Independent, Romania)
@InProceedings{FUNARCH24p57,
author = {Marc Kaufmann and Bogdan Popa},
title = {Continuations: What Have They Ever Done for Us? (Experience Report)},
booktitle = {Proc.\ FUNARCH},
publisher = {ACM},
pages = {57-56},
doi = {10.1145/3677998.3678223},
year = {2024},
}
Publisher's Version
Article: icfpws24funarchmain-id1-p (type: Full Paper (Experience Report, 6 pages + references)) doi:10.1145/3677998.3678223
|
| |
Sampellegrini, Marco
|
FUNARCH '24: "Architecting Functional Programs ..."
Architecting Functional Programs (Keynote)
Marco Sampellegrini
(Independent, Milan, Italy)
@InProceedings{FUNARCH24p1,
author = {Marco Sampellegrini},
title = {Architecting Functional Programs (Keynote)},
booktitle = {Proc.\ FUNARCH},
publisher = {ACM},
pages = {1-0},
doi = {10.1145/3677998.3678219},
year = {2024},
}
Publisher's Version
Article: icfpws24funarchmain-key1-p (type: Keynote (1 Page)) doi:10.1145/3677998.3678219
|
| |
Schlegel, Markus |
FUNARCH '24: "Bidirectional Data Transformations ..."
Bidirectional Data Transformations
Marcus Crestani, Markus Schlegel, and Marco Schneider
(Active Group, Germany)
@InProceedings{FUNARCH24p71,
author = {Marcus Crestani and Markus Schlegel and Marco Schneider},
title = {Bidirectional Data Transformations},
booktitle = {Proc.\ FUNARCH},
publisher = {ACM},
pages = {71-70},
doi = {10.1145/3677998.3678224},
year = {2024},
}
Publisher's Version
Article: icfpws24funarchmain-id4-p (type: Full Paper (Research Paper, 12 pages + 2 pages of references)) doi:10.1145/3677998.3678224
|
| |
Schneider, Marco |
FUNARCH '24: "Bidirectional Data Transformations ..."
Bidirectional Data Transformations
Marcus Crestani, Markus Schlegel, and Marco Schneider
(Active Group, Germany)
@InProceedings{FUNARCH24p71,
author = {Marcus Crestani and Markus Schlegel and Marco Schneider},
title = {Bidirectional Data Transformations},
booktitle = {Proc.\ FUNARCH},
publisher = {ACM},
pages = {71-70},
doi = {10.1145/3677998.3678224},
year = {2024},
}
Publisher's Version
Article: icfpws24funarchmain-id4-p (type: Full Paper (Research Paper, 12 pages + 2 pages of references)) doi:10.1145/3677998.3678224
|
| |
Sottile, Matthew |
FUNARCH '24: "Design and Implementation ..."
Design and Implementation of a Verified Interpreter for Additive Manufacturing Programs (Experience Report)
Matthew Sottile and Mohit Tekriwal
(Lawrence Livermore National Laboratory, USA)
@InProceedings{FUNARCH24p29,
author = {Matthew Sottile and Mohit Tekriwal},
title = {Design and Implementation of a Verified Interpreter for Additive Manufacturing Programs (Experience Report)},
booktitle = {Proc.\ FUNARCH},
publisher = {ACM},
pages = {29-28},
doi = {10.1145/3677998.3678221},
year = {2024},
}
Publisher's Version
Article: icfpws24funarchmain-id3-p (type: Full Paper (Experience Report, 7 pages + references)) doi:10.1145/3677998.3678221
|
| |
Subramanian, Subbu |
FUNARCH '24: "F3: A Compiler for Feature ..."
F3: A Compiler for Feature Engineering
Weixi Ma, Siyu Wang, Arnaud Venet, Junhua Gu, Subbu Subramanian, Rocky Liu, Yafei Yang, and Daniel P. Friedman
(Meta, USA; Indiana University, USA)
@InProceedings{FUNARCH24p15,
author = {Weixi Ma and Siyu Wang and Arnaud Venet and Junhua Gu and Subbu Subramanian and Rocky Liu and Yafei Yang and Daniel P. Friedman},
title = {F3: A Compiler for Feature Engineering},
booktitle = {Proc.\ FUNARCH},
publisher = {ACM},
pages = {15-14},
doi = {10.1145/3677998.3678220},
year = {2024},
}
Publisher's Version
Article: icfpws24funarchmain-id2-p (type: Full Paper (Research Paper, 12 pages + 2 pages of references)) doi:10.1145/3677998.3678220
|
| |
Tekriwal, Mohit
|
FUNARCH '24: "Design and Implementation ..."
Design and Implementation of a Verified Interpreter for Additive Manufacturing Programs (Experience Report)
Matthew Sottile and Mohit Tekriwal
(Lawrence Livermore National Laboratory, USA)
@InProceedings{FUNARCH24p29,
author = {Matthew Sottile and Mohit Tekriwal},
title = {Design and Implementation of a Verified Interpreter for Additive Manufacturing Programs (Experience Report)},
booktitle = {Proc.\ FUNARCH},
publisher = {ACM},
pages = {29-28},
doi = {10.1145/3677998.3678221},
year = {2024},
}
Publisher's Version
Article: icfpws24funarchmain-id3-p (type: Full Paper (Experience Report, 7 pages + references)) doi:10.1145/3677998.3678221
|
| |
Venet, Arnaud
|
FUNARCH '24: "F3: A Compiler for Feature ..."
F3: A Compiler for Feature Engineering
Weixi Ma, Siyu Wang, Arnaud Venet, Junhua Gu, Subbu Subramanian, Rocky Liu, Yafei Yang, and Daniel P. Friedman
(Meta, USA; Indiana University, USA)
@InProceedings{FUNARCH24p15,
author = {Weixi Ma and Siyu Wang and Arnaud Venet and Junhua Gu and Subbu Subramanian and Rocky Liu and Yafei Yang and Daniel P. Friedman},
title = {F3: A Compiler for Feature Engineering},
booktitle = {Proc.\ FUNARCH},
publisher = {ACM},
pages = {15-14},
doi = {10.1145/3677998.3678220},
year = {2024},
}
Publisher's Version
Article: icfpws24funarchmain-id2-p (type: Full Paper (Research Paper, 12 pages + 2 pages of references)) doi:10.1145/3677998.3678220
|
| |
Vinogradova, Polina |
FUNARCH '24: "Applying Continuous Formal ..."
Applying Continuous Formal Methods to Cardano (Experience Report)
James Chapman, Arnaud Bailly, and Polina Vinogradova
(IOHK, United Kingdom; IOHK, France; IOHK, Canada)
@InProceedings{FUNARCH24p43,
author = {James Chapman and Arnaud Bailly and Polina Vinogradova},
title = {Applying Continuous Formal Methods to Cardano (Experience Report)},
booktitle = {Proc.\ FUNARCH},
publisher = {ACM},
pages = {43-42},
doi = {10.1145/3677998.3678222},
year = {2024},
}
Publisher's Version
Article: icfpws24funarchmain-id5-p (type: Full Paper (Experience Report, 6 pages + references)) doi:10.1145/3677998.3678222
|
| |
Wang, Siyu
|
FUNARCH '24: "F3: A Compiler for Feature ..."
F3: A Compiler for Feature Engineering
Weixi Ma, Siyu Wang, Arnaud Venet, Junhua Gu, Subbu Subramanian, Rocky Liu, Yafei Yang, and Daniel P. Friedman
(Meta, USA; Indiana University, USA)
@InProceedings{FUNARCH24p15,
author = {Weixi Ma and Siyu Wang and Arnaud Venet and Junhua Gu and Subbu Subramanian and Rocky Liu and Yafei Yang and Daniel P. Friedman},
title = {F3: A Compiler for Feature Engineering},
booktitle = {Proc.\ FUNARCH},
publisher = {ACM},
pages = {15-14},
doi = {10.1145/3677998.3678220},
year = {2024},
}
Publisher's Version
Article: icfpws24funarchmain-id2-p (type: Full Paper (Research Paper, 12 pages + 2 pages of references)) doi:10.1145/3677998.3678220
|
| |
Yang, Yafei
|
FUNARCH '24: "F3: A Compiler for Feature ..."
F3: A Compiler for Feature Engineering
Weixi Ma, Siyu Wang, Arnaud Venet, Junhua Gu, Subbu Subramanian, Rocky Liu, Yafei Yang, and Daniel P. Friedman
(Meta, USA; Indiana University, USA)
@InProceedings{FUNARCH24p15,
author = {Weixi Ma and Siyu Wang and Arnaud Venet and Junhua Gu and Subbu Subramanian and Rocky Liu and Yafei Yang and Daniel P. Friedman},
title = {F3: A Compiler for Feature Engineering},
booktitle = {Proc.\ FUNARCH},
publisher = {ACM},
pages = {15-14},
doi = {10.1145/3677998.3678220},
year = {2024},
}
Publisher's Version
Article: icfpws24funarchmain-id2-p (type: Full Paper (Research Paper, 12 pages + 2 pages of references)) doi:10.1145/3677998.3678220
|