| |
Ancona, Davide
|
FTfJP '23: "Runtime Verification of Hash ..."
Runtime Verification of Hash Code in Mutable Classes
Davide Ancona, Angelo Ferrando, and Viviana Mascardi
(University of Genoa, Italy)
@InProceedings{FTfJP23p33,
author = {Davide Ancona and Angelo Ferrando and Viviana Mascardi},
title = {Runtime Verification of Hash Code in Mutable Classes},
booktitle = {Proc.\ FTfJP},
publisher = {ACM},
pages = {33-32},
doi = {10.1145/3605156.3606452},
year = {2023},
}
 Publisher's Version
|
| |
Ângelo, Pedro |
FTfJP '23: "Gradual Guarantee for FJ with ..."
Gradual Guarantee for FJ with lambda-Expressions
Pedro Ângelo, Viviana Bono, Mariangiola Dezani-Ciancaglini, and Mário Florido
(University of Porto, Portugal; University of Turin, Italy)
@InProceedings{FTfJP23p41,
author = {Pedro Ângelo and Viviana Bono and Mariangiola Dezani-Ciancaglini and Mário Florido},
title = {Gradual Guarantee for FJ with lambda-Expressions},
booktitle = {Proc.\ FTfJP},
publisher = {ACM},
pages = {41-40},
doi = {10.1145/3605156.3606453},
year = {2023},
}
Publisher's Version
 Published Artifact
Archive submitted (500 kB)
Artifacts Available
|
| |
Bach Poulsen, Casper
|
FTfJP '23: "Verifying Well-Typedness Preservation ..."
Verifying Well-Typedness Preservation of Refactorings using Scope Graphs
Luka Miljak, Casper Bach Poulsen, and Flip van Spaendonck
(TU Delft, Netherlands; TU Eindhoven, Netherlands)
@InProceedings{FTfJP23p57,
author = {Luka Miljak and Casper Bach Poulsen and Flip van Spaendonck},
title = {Verifying Well-Typedness Preservation of Refactorings using Scope Graphs},
booktitle = {Proc.\ FTfJP},
publisher = {ACM},
pages = {57-56},
doi = {10.1145/3605156.3606455},
year = {2023},
}
Publisher's Version
|
| |
Böhler, Timon |
FTfJP '23: "Using Rewrite Strategies for ..."
Using Rewrite Strategies for Efficient Functional Automatic Differentiation
Timon Böhler, David Richter, and Mira Mezini
(TU Darmstadt, Germany; hessian.AI, Germany)
@InProceedings{FTfJP23p65,
author = {Timon Böhler and David Richter and Mira Mezini},
title = {Using Rewrite Strategies for Efficient Functional Automatic Differentiation},
booktitle = {Proc.\ FTfJP},
publisher = {ACM},
pages = {65-64},
doi = {10.1145/3605156.3606456},
year = {2023},
}
Publisher's Version
|
| |
Bono, Viviana |
FTfJP '23: "Gradual Guarantee for FJ with ..."
Gradual Guarantee for FJ with lambda-Expressions
Pedro Ângelo, Viviana Bono, Mariangiola Dezani-Ciancaglini, and Mário Florido
(University of Porto, Portugal; University of Turin, Italy)
@InProceedings{FTfJP23p41,
author = {Pedro Ângelo and Viviana Bono and Mariangiola Dezani-Ciancaglini and Mário Florido},
title = {Gradual Guarantee for FJ with lambda-Expressions},
booktitle = {Proc.\ FTfJP},
publisher = {ACM},
pages = {41-40},
doi = {10.1145/3605156.3606453},
year = {2023},
}
Publisher's Version
Published Artifact
Archive submitted (500 kB)
Artifacts Available
|
| |
Cardenas, Sergio
|
FTfJP '23: "Points-to Analysis for Context-Oriented ..."
Points-to Analysis for Context-Oriented JavaScript Programs
Sergio Cardenas, Paul Leger, Hiroaki Fukuda, and Nicolás Cardozo
(University of Los Andes, Colombia; Universidad Católica del Norte, Chile; Shibaura Institute of Technology, Japan)
@InProceedings{FTfJP23p25,
author = {Sergio Cardenas and Paul Leger and Hiroaki Fukuda and Nicolás Cardozo},
title = {Points-to Analysis for Context-Oriented JavaScript Programs},
booktitle = {Proc.\ FTfJP},
publisher = {ACM},
pages = {25-24},
doi = {10.1145/3605156.3606451},
year = {2023},
}
Publisher's Version
|
| |
Cardozo, Nicolás |
FTfJP '23: "Points-to Analysis for Context-Oriented ..."
Points-to Analysis for Context-Oriented JavaScript Programs
Sergio Cardenas, Paul Leger, Hiroaki Fukuda, and Nicolás Cardozo
(University of Los Andes, Colombia; Universidad Católica del Norte, Chile; Shibaura Institute of Technology, Japan)
@InProceedings{FTfJP23p25,
author = {Sergio Cardenas and Paul Leger and Hiroaki Fukuda and Nicolás Cardozo},
title = {Points-to Analysis for Context-Oriented JavaScript Programs},
booktitle = {Proc.\ FTfJP},
publisher = {ACM},
pages = {25-24},
doi = {10.1145/3605156.3606451},
year = {2023},
}
Publisher's Version
|
| |
Dezani-Ciancaglini, Mariangiola
|
FTfJP '23: "Gradual Guarantee for FJ with ..."
Gradual Guarantee for FJ with lambda-Expressions
Pedro Ângelo, Viviana Bono, Mariangiola Dezani-Ciancaglini, and Mário Florido
(University of Porto, Portugal; University of Turin, Italy)
@InProceedings{FTfJP23p41,
author = {Pedro Ângelo and Viviana Bono and Mariangiola Dezani-Ciancaglini and Mário Florido},
title = {Gradual Guarantee for FJ with lambda-Expressions},
booktitle = {Proc.\ FTfJP},
publisher = {ACM},
pages = {41-40},
doi = {10.1145/3605156.3606453},
year = {2023},
}
Publisher's Version
Published Artifact
Archive submitted (500 kB)
Artifacts Available
|
| |
Ferrando, Angelo
|
FTfJP '23: "Runtime Verification of Hash ..."
Runtime Verification of Hash Code in Mutable Classes
Davide Ancona, Angelo Ferrando, and Viviana Mascardi
(University of Genoa, Italy)
@InProceedings{FTfJP23p33,
author = {Davide Ancona and Angelo Ferrando and Viviana Mascardi},
title = {Runtime Verification of Hash Code in Mutable Classes},
booktitle = {Proc.\ FTfJP},
publisher = {ACM},
pages = {33-32},
doi = {10.1145/3605156.3606452},
year = {2023},
}
Publisher's Version
|
| |
Florido, Mário |
FTfJP '23: "Gradual Guarantee for FJ with ..."
Gradual Guarantee for FJ with lambda-Expressions
Pedro Ângelo, Viviana Bono, Mariangiola Dezani-Ciancaglini, and Mário Florido
(University of Porto, Portugal; University of Turin, Italy)
@InProceedings{FTfJP23p41,
author = {Pedro Ângelo and Viviana Bono and Mariangiola Dezani-Ciancaglini and Mário Florido},
title = {Gradual Guarantee for FJ with lambda-Expressions},
booktitle = {Proc.\ FTfJP},
publisher = {ACM},
pages = {41-40},
doi = {10.1145/3605156.3606453},
year = {2023},
}
Publisher's Version
Published Artifact
Archive submitted (500 kB)
Artifacts Available
|
| |
Fukuda, Hiroaki |
FTfJP '23: "Points-to Analysis for Context-Oriented ..."
Points-to Analysis for Context-Oriented JavaScript Programs
Sergio Cardenas, Paul Leger, Hiroaki Fukuda, and Nicolás Cardozo
(University of Los Andes, Colombia; Universidad Católica del Norte, Chile; Shibaura Institute of Technology, Japan)
@InProceedings{FTfJP23p25,
author = {Sergio Cardenas and Paul Leger and Hiroaki Fukuda and Nicolás Cardozo},
title = {Points-to Analysis for Context-Oriented JavaScript Programs},
booktitle = {Proc.\ FTfJP},
publisher = {ACM},
pages = {25-24},
doi = {10.1145/3605156.3606451},
year = {2023},
}
Publisher's Version
|
| |
Jacobs, Bart
|
FTfJP '23: "Verifying C++ Dynamic Binding ..."
Verifying C++ Dynamic Binding
Niels Mommen and Bart Jacobs
(KU Leuven, Belgium)
@InProceedings{FTfJP23p1,
author = {Niels Mommen and Bart Jacobs},
title = {Verifying C++ Dynamic Binding},
booktitle = {Proc.\ FTfJP},
publisher = {ACM},
pages = {1-0},
doi = {10.1145/3605156.3606448},
year = {2023},
}
Publisher's Version
|
| |
Lee, Edward
|
FTfJP '23: "Dependency-Free Capture Tracking ..."
Dependency-Free Capture Tracking
Edward Lee, Kavin Satheeskumar, and Ondřej Lhoták
(University of Waterloo, Canada)
@InProceedings{FTfJP23p49,
author = {Edward Lee and Kavin Satheeskumar and Ondřej Lhoták},
title = {Dependency-Free Capture Tracking},
booktitle = {Proc.\ FTfJP},
publisher = {ACM},
pages = {49-48},
doi = {10.1145/3605156.3606454},
year = {2023},
}
Publisher's Version
|
| |
Leger, Paul |
FTfJP '23: "Points-to Analysis for Context-Oriented ..."
Points-to Analysis for Context-Oriented JavaScript Programs
Sergio Cardenas, Paul Leger, Hiroaki Fukuda, and Nicolás Cardozo
(University of Los Andes, Colombia; Universidad Católica del Norte, Chile; Shibaura Institute of Technology, Japan)
@InProceedings{FTfJP23p25,
author = {Sergio Cardenas and Paul Leger and Hiroaki Fukuda and Nicolás Cardozo},
title = {Points-to Analysis for Context-Oriented JavaScript Programs},
booktitle = {Proc.\ FTfJP},
publisher = {ACM},
pages = {25-24},
doi = {10.1145/3605156.3606451},
year = {2023},
}
Publisher's Version
|
| |
Lhoták, Ondřej |
FTfJP '23: "Dependency-Free Capture Tracking ..."
Dependency-Free Capture Tracking
Edward Lee, Kavin Satheeskumar, and Ondřej Lhoták
(University of Waterloo, Canada)
@InProceedings{FTfJP23p49,
author = {Edward Lee and Kavin Satheeskumar and Ondřej Lhoták},
title = {Dependency-Free Capture Tracking},
booktitle = {Proc.\ FTfJP},
publisher = {ACM},
pages = {49-48},
doi = {10.1145/3605156.3606454},
year = {2023},
}
Publisher's Version
|
| |
Loulergue, Frédéric |
FTfJP '23: "Towards Verified Scalable ..."
Towards Verified Scalable Parallel Computing with Coq and Spark
Frédéric Loulergue and Jolan Philippe
(University of Orléans, France; IMT Atlantique, France)
@InProceedings{FTfJP23p17,
author = {Frédéric Loulergue and Jolan Philippe},
title = {Towards Verified Scalable Parallel Computing with Coq and Spark},
booktitle = {Proc.\ FTfJP},
publisher = {ACM},
pages = {17-16},
doi = {10.1145/3605156.3606450},
year = {2023},
}
Publisher's Version
|
| |
Low, Daniel Yu Hian |
FTfJP '23: "Constructing Structured SSA ..."
Constructing Structured SSA from FJ
Kenny Zhuo Ming Lu and Daniel Yu Hian Low
(Singapore University of Technology and Design, Singapore)
@InProceedings{FTfJP23p73,
author = {Kenny Zhuo Ming Lu and Daniel Yu Hian Low},
title = {Constructing Structured SSA from FJ},
booktitle = {Proc.\ FTfJP},
publisher = {ACM},
pages = {73-72},
doi = {10.1145/3605156.3606457},
year = {2023},
}
Publisher's Version
|
| |
Lu, Kenny Zhuo Ming |
FTfJP '23: "Constructing Structured SSA ..."
Constructing Structured SSA from FJ
Kenny Zhuo Ming Lu and Daniel Yu Hian Low
(Singapore University of Technology and Design, Singapore)
@InProceedings{FTfJP23p73,
author = {Kenny Zhuo Ming Lu and Daniel Yu Hian Low},
title = {Constructing Structured SSA from FJ},
booktitle = {Proc.\ FTfJP},
publisher = {ACM},
pages = {73-72},
doi = {10.1145/3605156.3606457},
year = {2023},
}
Publisher's Version
|
| |
Mascardi, Viviana
|
FTfJP '23: "Runtime Verification of Hash ..."
Runtime Verification of Hash Code in Mutable Classes
Davide Ancona, Angelo Ferrando, and Viviana Mascardi
(University of Genoa, Italy)
@InProceedings{FTfJP23p33,
author = {Davide Ancona and Angelo Ferrando and Viviana Mascardi},
title = {Runtime Verification of Hash Code in Mutable Classes},
booktitle = {Proc.\ FTfJP},
publisher = {ACM},
pages = {33-32},
doi = {10.1145/3605156.3606452},
year = {2023},
}
Publisher's Version
|
| |
Mezini, Mira |
FTfJP '23: "Using Rewrite Strategies for ..."
Using Rewrite Strategies for Efficient Functional Automatic Differentiation
Timon Böhler, David Richter, and Mira Mezini
(TU Darmstadt, Germany; hessian.AI, Germany)
@InProceedings{FTfJP23p65,
author = {Timon Böhler and David Richter and Mira Mezini},
title = {Using Rewrite Strategies for Efficient Functional Automatic Differentiation},
booktitle = {Proc.\ FTfJP},
publisher = {ACM},
pages = {65-64},
doi = {10.1145/3605156.3606456},
year = {2023},
}
Publisher's Version
|
| |
Miljak, Luka |
FTfJP '23: "Verifying Well-Typedness Preservation ..."
Verifying Well-Typedness Preservation of Refactorings using Scope Graphs
Luka Miljak, Casper Bach Poulsen, and Flip van Spaendonck
(TU Delft, Netherlands; TU Eindhoven, Netherlands)
@InProceedings{FTfJP23p57,
author = {Luka Miljak and Casper Bach Poulsen and Flip van Spaendonck},
title = {Verifying Well-Typedness Preservation of Refactorings using Scope Graphs},
booktitle = {Proc.\ FTfJP},
publisher = {ACM},
pages = {57-56},
doi = {10.1145/3605156.3606455},
year = {2023},
}
Publisher's Version
|
| |
Mommen, Niels |
FTfJP '23: "Verifying C++ Dynamic Binding ..."
Verifying C++ Dynamic Binding
Niels Mommen and Bart Jacobs
(KU Leuven, Belgium)
@InProceedings{FTfJP23p1,
author = {Niels Mommen and Bart Jacobs},
title = {Verifying C++ Dynamic Binding},
booktitle = {Proc.\ FTfJP},
publisher = {ACM},
pages = {1-0},
doi = {10.1145/3605156.3606448},
year = {2023},
}
Publisher's Version
|
| |
Philippe, Jolan
|
FTfJP '23: "Towards Verified Scalable ..."
Towards Verified Scalable Parallel Computing with Coq and Spark
Frédéric Loulergue and Jolan Philippe
(University of Orléans, France; IMT Atlantique, France)
@InProceedings{FTfJP23p17,
author = {Frédéric Loulergue and Jolan Philippe},
title = {Towards Verified Scalable Parallel Computing with Coq and Spark},
booktitle = {Proc.\ FTfJP},
publisher = {ACM},
pages = {17-16},
doi = {10.1145/3605156.3606450},
year = {2023},
}
Publisher's Version
|
| |
Rehman, Baber
|
FTfJP '23: "Correctness-by-Construction ..."
Correctness-by-Construction Meets Refinement Types
Baber Rehman
(University of Hong Kong, China)
@InProceedings{FTfJP23p9,
author = {Baber Rehman},
title = {Correctness-by-Construction Meets Refinement Types},
booktitle = {Proc.\ FTfJP},
publisher = {ACM},
pages = {9-8},
doi = {10.1145/3605156.3606449},
year = {2023},
}
Publisher's Version
|
| |
Richter, David |
FTfJP '23: "Using Rewrite Strategies for ..."
Using Rewrite Strategies for Efficient Functional Automatic Differentiation
Timon Böhler, David Richter, and Mira Mezini
(TU Darmstadt, Germany; hessian.AI, Germany)
@InProceedings{FTfJP23p65,
author = {Timon Böhler and David Richter and Mira Mezini},
title = {Using Rewrite Strategies for Efficient Functional Automatic Differentiation},
booktitle = {Proc.\ FTfJP},
publisher = {ACM},
pages = {65-64},
doi = {10.1145/3605156.3606456},
year = {2023},
}
Publisher's Version
|
| |
Satheeskumar, Kavin
|
FTfJP '23: "Dependency-Free Capture Tracking ..."
Dependency-Free Capture Tracking
Edward Lee, Kavin Satheeskumar, and Ondřej Lhoták
(University of Waterloo, Canada)
@InProceedings{FTfJP23p49,
author = {Edward Lee and Kavin Satheeskumar and Ondřej Lhoták},
title = {Dependency-Free Capture Tracking},
booktitle = {Proc.\ FTfJP},
publisher = {ACM},
pages = {49-48},
doi = {10.1145/3605156.3606454},
year = {2023},
}
Publisher's Version
|
| |
Van Spaendonck, Flip
|
FTfJP '23: "Verifying Well-Typedness Preservation ..."
Verifying Well-Typedness Preservation of Refactorings using Scope Graphs
Luka Miljak, Casper Bach Poulsen, and Flip van Spaendonck
(TU Delft, Netherlands; TU Eindhoven, Netherlands)
@InProceedings{FTfJP23p57,
author = {Luka Miljak and Casper Bach Poulsen and Flip van Spaendonck},
title = {Verifying Well-Typedness Preservation of Refactorings using Scope Graphs},
booktitle = {Proc.\ FTfJP},
publisher = {ACM},
pages = {57-56},
doi = {10.1145/3605156.3606455},
year = {2023},
}
Publisher's Version
|