FTfJP 2022 – Author Index

A C D H K L M N O S W

	Amato, Gianluca	FTfJP '22: "On the Need for a Common API ..." On the Need for a Common API for Abstract Domains of Object-Oriented Programs Gianluca Amato, Maria Chiara Meo, and Francesca Scozzari (Università di Chieti-Pescara, Italy) @InProceedings{FTfJP22p25, author = {Gianluca Amato and Maria Chiara Meo and Francesca Scozzari}, title = {On the Need for a Common API for Abstract Domains of Object-Oriented Programs}, booktitle = {Proc.\ FTfJP}, publisher = {ACM}, pages = {25-24}, doi = {10.1145/3611096.3611100}, year = {2022}, } Publisher's Version
	Cok, David R.	FTfJP '22: "Automated Reasoning Repair ..." Automated Reasoning Repair Amirfarhad Nilizadeh, Gary T. Leavens, and David R. Cok (University of Central Florida, USA; Safer Software Consulting, USA) @InProceedings{FTfJP22p17, author = {Amirfarhad Nilizadeh and Gary T. Leavens and David R. Cok}, title = {Automated Reasoning Repair}, booktitle = {Proc.\ FTfJP}, publisher = {ACM}, pages = {17-16}, doi = {10.1145/3611096.3611099}, year = {2022}, } Publisher's Version FTfJP '22: "Documentation and Educational ..." Documentation and Educational Materials for a 2nd Edition of the Java Modeling Language David R. Cok (Safer Software Consulting, USA) @InProceedings{FTfJP22p41, author = {David R. Cok}, title = {Documentation and Educational Materials for a 2nd Edition of the Java Modeling Language}, booktitle = {Proc.\ FTfJP}, publisher = {ACM}, pages = {41-40}, doi = {10.1145/3611096.3611102}, year = {2022}, } Publisher's Version
	De Koster, Joeri	FTfJP '22: "A Graph-Based Formal Semantics ..." A Graph-Based Formal Semantics of Reactive Programming from First Principles Bjarno Oeyen, Joeri De Koster, and Wolfgang De Meuter (Vrije Universiteit Brussel, Belgium) @InProceedings{FTfJP22p33, author = {Bjarno Oeyen and Joeri De Koster and Wolfgang De Meuter}, title = {A Graph-Based Formal Semantics of Reactive Programming from First Principles}, booktitle = {Proc.\ FTfJP}, publisher = {ACM}, pages = {33-32}, doi = {10.1145/3611096.3611101}, year = {2022}, } Publisher's Version
	De Meuter, Wolfgang	FTfJP '22: "A Graph-Based Formal Semantics ..." A Graph-Based Formal Semantics of Reactive Programming from First Principles Bjarno Oeyen, Joeri De Koster, and Wolfgang De Meuter (Vrije Universiteit Brussel, Belgium) @InProceedings{FTfJP22p33, author = {Bjarno Oeyen and Joeri De Koster and Wolfgang De Meuter}, title = {A Graph-Based Formal Semantics of Reactive Programming from First Principles}, booktitle = {Proc.\ FTfJP}, publisher = {ACM}, pages = {33-32}, doi = {10.1145/3611096.3611101}, year = {2022}, } Publisher's Version
	Homer, Michael	FTfJP '22: "Using Functional Reactive ..." Using Functional Reactive Programming to Define Safe Actor Systems Nick Webster, Marco Servetto, and Michael Homer (Victoria University of Wellington, New Zealand) @InProceedings{FTfJP22p9, author = {Nick Webster and Marco Servetto and Michael Homer}, title = {Using Functional Reactive Programming to Define Safe Actor Systems}, booktitle = {Proc.\ FTfJP}, publisher = {ACM}, pages = {9-8}, doi = {10.1145/3611096.3611098}, year = {2022}, } Publisher's Version
	Kudasov, Nikolai	FTfJP '22: "Formalizing 𝜑-Calculus: ..." Formalizing 𝜑-Calculus: A Purely Object-Oriented Calculus of Decorated Objects Nikolai Kudasov and Violetta Sim (Innopolis University, Russian Federation) @InProceedings{FTfJP22p49, author = {Nikolai Kudasov and Violetta Sim}, title = {Formalizing 𝜑-Calculus: A Purely Object-Oriented Calculus of Decorated Objects}, booktitle = {Proc.\ FTfJP}, publisher = {ACM}, pages = {49-48}, doi = {10.1145/3611096.3611103}, year = {2022}, } Publisher's Version
	Leavens, Gary T.	FTfJP '22: "Automated Reasoning Repair ..." Automated Reasoning Repair Amirfarhad Nilizadeh, Gary T. Leavens, and David R. Cok (University of Central Florida, USA; Safer Software Consulting, USA) @InProceedings{FTfJP22p17, author = {Amirfarhad Nilizadeh and Gary T. Leavens and David R. Cok}, title = {Automated Reasoning Repair}, booktitle = {Proc.\ FTfJP}, publisher = {ACM}, pages = {17-16}, doi = {10.1145/3611096.3611099}, year = {2022}, } Publisher's Version
	Mackay, Julian	FTfJP '22: "Rusty Links in Local Chains ..." Rusty Links in Local Chains James Noble, Julian Mackay, and Tobias Wrigstad (Creative Research & Programming, New Zealand; Victoria University of Wellington, New Zealand; Uppsala University, Sweden) @InProceedings{FTfJP22p1, author = {James Noble and Julian Mackay and Tobias Wrigstad}, title = {Rusty Links in Local Chains}, booktitle = {Proc.\ FTfJP}, publisher = {ACM}, pages = {1-0}, doi = {10.1145/3611096.3611097}, year = {2022}, } Publisher's Version
	Meo, Maria Chiara	FTfJP '22: "On the Need for a Common API ..." On the Need for a Common API for Abstract Domains of Object-Oriented Programs Gianluca Amato, Maria Chiara Meo, and Francesca Scozzari (Università di Chieti-Pescara, Italy) @InProceedings{FTfJP22p25, author = {Gianluca Amato and Maria Chiara Meo and Francesca Scozzari}, title = {On the Need for a Common API for Abstract Domains of Object-Oriented Programs}, booktitle = {Proc.\ FTfJP}, publisher = {ACM}, pages = {25-24}, doi = {10.1145/3611096.3611100}, year = {2022}, } Publisher's Version
	Nilizadeh, Amirfarhad	FTfJP '22: "Automated Reasoning Repair ..." Automated Reasoning Repair Amirfarhad Nilizadeh, Gary T. Leavens, and David R. Cok (University of Central Florida, USA; Safer Software Consulting, USA) @InProceedings{FTfJP22p17, author = {Amirfarhad Nilizadeh and Gary T. Leavens and David R. Cok}, title = {Automated Reasoning Repair}, booktitle = {Proc.\ FTfJP}, publisher = {ACM}, pages = {17-16}, doi = {10.1145/3611096.3611099}, year = {2022}, } Publisher's Version
	Noble, James	FTfJP '22: "Rusty Links in Local Chains ..." Rusty Links in Local Chains James Noble, Julian Mackay, and Tobias Wrigstad (Creative Research & Programming, New Zealand; Victoria University of Wellington, New Zealand; Uppsala University, Sweden) @InProceedings{FTfJP22p1, author = {James Noble and Julian Mackay and Tobias Wrigstad}, title = {Rusty Links in Local Chains}, booktitle = {Proc.\ FTfJP}, publisher = {ACM}, pages = {1-0}, doi = {10.1145/3611096.3611097}, year = {2022}, } Publisher's Version
	Oeyen, Bjarno	FTfJP '22: "A Graph-Based Formal Semantics ..." A Graph-Based Formal Semantics of Reactive Programming from First Principles Bjarno Oeyen, Joeri De Koster, and Wolfgang De Meuter (Vrije Universiteit Brussel, Belgium) @InProceedings{FTfJP22p33, author = {Bjarno Oeyen and Joeri De Koster and Wolfgang De Meuter}, title = {A Graph-Based Formal Semantics of Reactive Programming from First Principles}, booktitle = {Proc.\ FTfJP}, publisher = {ACM}, pages = {33-32}, doi = {10.1145/3611096.3611101}, year = {2022}, } Publisher's Version
	Scozzari, Francesca	FTfJP '22: "On the Need for a Common API ..." On the Need for a Common API for Abstract Domains of Object-Oriented Programs Gianluca Amato, Maria Chiara Meo, and Francesca Scozzari (Università di Chieti-Pescara, Italy) @InProceedings{FTfJP22p25, author = {Gianluca Amato and Maria Chiara Meo and Francesca Scozzari}, title = {On the Need for a Common API for Abstract Domains of Object-Oriented Programs}, booktitle = {Proc.\ FTfJP}, publisher = {ACM}, pages = {25-24}, doi = {10.1145/3611096.3611100}, year = {2022}, } Publisher's Version
	Servetto, Marco	FTfJP '22: "Using Functional Reactive ..." Using Functional Reactive Programming to Define Safe Actor Systems Nick Webster, Marco Servetto, and Michael Homer (Victoria University of Wellington, New Zealand) @InProceedings{FTfJP22p9, author = {Nick Webster and Marco Servetto and Michael Homer}, title = {Using Functional Reactive Programming to Define Safe Actor Systems}, booktitle = {Proc.\ FTfJP}, publisher = {ACM}, pages = {9-8}, doi = {10.1145/3611096.3611098}, year = {2022}, } Publisher's Version
	Sim, Violetta	FTfJP '22: "Formalizing 𝜑-Calculus: ..." Formalizing 𝜑-Calculus: A Purely Object-Oriented Calculus of Decorated Objects Nikolai Kudasov and Violetta Sim (Innopolis University, Russian Federation) @InProceedings{FTfJP22p49, author = {Nikolai Kudasov and Violetta Sim}, title = {Formalizing 𝜑-Calculus: A Purely Object-Oriented Calculus of Decorated Objects}, booktitle = {Proc.\ FTfJP}, publisher = {ACM}, pages = {49-48}, doi = {10.1145/3611096.3611103}, year = {2022}, } Publisher's Version
	Webster, Nick	FTfJP '22: "Using Functional Reactive ..." Using Functional Reactive Programming to Define Safe Actor Systems Nick Webster, Marco Servetto, and Michael Homer (Victoria University of Wellington, New Zealand) @InProceedings{FTfJP22p9, author = {Nick Webster and Marco Servetto and Michael Homer}, title = {Using Functional Reactive Programming to Define Safe Actor Systems}, booktitle = {Proc.\ FTfJP}, publisher = {ACM}, pages = {9-8}, doi = {10.1145/3611096.3611098}, year = {2022}, } Publisher's Version
	Wrigstad, Tobias	FTfJP '22: "Rusty Links in Local Chains ..." Rusty Links in Local Chains James Noble, Julian Mackay, and Tobias Wrigstad (Creative Research & Programming, New Zealand; Victoria University of Wellington, New Zealand; Uppsala University, Sweden) @InProceedings{FTfJP22p1, author = {James Noble and Julian Mackay and Tobias Wrigstad}, title = {Rusty Links in Local Chains}, booktitle = {Proc.\ FTfJP}, publisher = {ACM}, pages = {1-0}, doi = {10.1145/3611096.3611097}, year = {2022}, } Publisher's Version

18 authors

proc time: 0.02