Workshop Erlang 2017 – Author Index

A B C F H I K L S T Y

	Aceto, Luca	Erlang '17: "eAOP: An Aspect Oriented Programming ..." eAOP: An Aspect Oriented Programming Framework for Erlang Ian Cassar, Adrian Francalanza, Luca Aceto, and Anna Ingólfsdóttir (University of Malta, Malta; Reykjavik University, Iceland) @InProceedings{Erlang17p25, author = {Ian Cassar and Adrian Francalanza and Luca Aceto and Anna Ingólfsdóttir}, title = {eAOP: An Aspect Oriented Programming Framework for Erlang}, booktitle = {Proc.\ Erlang}, publisher = {ACM}, pages = {25-24}, doi = {}, year = {2017}, } Article: icfpws17erlangmain-erlangmainid1-p (type: Full Paper (12 pages)) doi:
	Aronis, Stavros	Erlang '17: "The Shared-Memory Interferences ..." The Shared-Memory Interferences of Erlang/OTP Built-Ins Stavros Aronis and Konstantinos Sagonas (Uppsala University, Sweden) @InProceedings{Erlang17p49, author = {Stavros Aronis and Konstantinos Sagonas}, title = {The Shared-Memory Interferences of Erlang/OTP Built-Ins}, booktitle = {Proc.\ Erlang}, publisher = {ACM}, pages = {49-48}, doi = {}, year = {2017}, } Article: icfpws17erlangmain-erlangmainid10-p (type: Full Paper (12 pages)) doi:
	Azuma, Kagumi	Erlang '17: "Distributed Memory Architecture ..." Distributed Memory Architecture for High-Level Synthesis of Embedded Controllers from Erlang Kagumi Azuma, Nagisa Ishiura, Nobuaki Yoshida, and Hiroyuki Kanbara (Kwansei Gakuin University, Japan; ASTEM RI/KYOTO, Japan) @InProceedings{Erlang17p13, author = {Kagumi Azuma and Nagisa Ishiura and Nobuaki Yoshida and Hiroyuki Kanbara}, title = {Distributed Memory Architecture for High-Level Synthesis of Embedded Controllers from Erlang}, booktitle = {Proc.\ Erlang}, publisher = {ACM}, pages = {13-12}, doi = {}, year = {2017}, } Article: icfpws17erlangmain-erlangmainid2-p (type: Full Paper (12 pages)) doi:
	Bozó, István	Erlang '17: "Towards Change-Driven Testing ..." Towards Change-Driven Testing Viktória Fördős, István Bozó, and Melinda Tóth (Klarna, Sweden; ELTE Eötvös Loránd University, Hungary) @InProceedings{Erlang17p73, author = {Viktória Fördős and István Bozó and Melinda Tóth}, title = {Towards Change-Driven Testing}, booktitle = {Proc.\ Erlang}, publisher = {ACM}, pages = {73-72}, doi = {}, year = {2017}, } Article: icfpws17erlangmain-erlangmainid5-p (type: Short Paper (2 pages)) doi:
	Cassar, Ian	Erlang '17: "eAOP: An Aspect Oriented Programming ..." eAOP: An Aspect Oriented Programming Framework for Erlang Ian Cassar, Adrian Francalanza, Luca Aceto, and Anna Ingólfsdóttir (University of Malta, Malta; Reykjavik University, Iceland) @InProceedings{Erlang17p25, author = {Ian Cassar and Adrian Francalanza and Luca Aceto and Anna Ingólfsdóttir}, title = {eAOP: An Aspect Oriented Programming Framework for Erlang}, booktitle = {Proc.\ Erlang}, publisher = {ACM}, pages = {25-24}, doi = {}, year = {2017}, } Article: icfpws17erlangmain-erlangmainid1-p (type: Full Paper (12 pages)) doi:
	Fördős, Viktória	Erlang '17: "Towards Change-Driven Testing ..." Towards Change-Driven Testing Viktória Fördős, István Bozó, and Melinda Tóth (Klarna, Sweden; ELTE Eötvös Loránd University, Hungary) @InProceedings{Erlang17p73, author = {Viktória Fördős and István Bozó and Melinda Tóth}, title = {Towards Change-Driven Testing}, booktitle = {Proc.\ Erlang}, publisher = {ACM}, pages = {73-72}, doi = {}, year = {2017}, } Article: icfpws17erlangmain-erlangmainid5-p (type: Short Paper (2 pages)) doi:
	Francalanza, Adrian	Erlang '17: "eAOP: An Aspect Oriented Programming ..." eAOP: An Aspect Oriented Programming Framework for Erlang Ian Cassar, Adrian Francalanza, Luca Aceto, and Anna Ingólfsdóttir (University of Malta, Malta; Reykjavik University, Iceland) @InProceedings{Erlang17p25, author = {Ian Cassar and Adrian Francalanza and Luca Aceto and Anna Ingólfsdóttir}, title = {eAOP: An Aspect Oriented Programming Framework for Erlang}, booktitle = {Proc.\ Erlang}, publisher = {ACM}, pages = {25-24}, doi = {}, year = {2017}, } Article: icfpws17erlangmain-erlangmainid1-p (type: Full Paper (12 pages)) doi:
	Harrison, Joseph R.	Erlang '17: "Towards an Isabelle/HOL Formalisation ..." Towards an Isabelle/HOL Formalisation of Core Erlang Joseph R. Harrison (University of Kent, UK) @InProceedings{Erlang17p61, author = {Joseph R. Harrison}, title = {Towards an Isabelle/HOL Formalisation of Core Erlang}, booktitle = {Proc.\ Erlang}, publisher = {ACM}, pages = {61-60}, doi = {}, year = {2017}, } Article: icfpws17erlangmain-erlangmainid9-p (type: Full Paper (12 pages)) doi:
	Ingólfsdóttir, Anna	Erlang '17: "eAOP: An Aspect Oriented Programming ..." eAOP: An Aspect Oriented Programming Framework for Erlang Ian Cassar, Adrian Francalanza, Luca Aceto, and Anna Ingólfsdóttir (University of Malta, Malta; Reykjavik University, Iceland) @InProceedings{Erlang17p25, author = {Ian Cassar and Adrian Francalanza and Luca Aceto and Anna Ingólfsdóttir}, title = {eAOP: An Aspect Oriented Programming Framework for Erlang}, booktitle = {Proc.\ Erlang}, publisher = {ACM}, pages = {25-24}, doi = {}, year = {2017}, } Article: icfpws17erlangmain-erlangmainid1-p (type: Full Paper (12 pages)) doi:
	Ishiura, Nagisa	Erlang '17: "Distributed Memory Architecture ..." Distributed Memory Architecture for High-Level Synthesis of Embedded Controllers from Erlang Kagumi Azuma, Nagisa Ishiura, Nobuaki Yoshida, and Hiroyuki Kanbara (Kwansei Gakuin University, Japan; ASTEM RI/KYOTO, Japan) @InProceedings{Erlang17p13, author = {Kagumi Azuma and Nagisa Ishiura and Nobuaki Yoshida and Hiroyuki Kanbara}, title = {Distributed Memory Architecture for High-Level Synthesis of Embedded Controllers from Erlang}, booktitle = {Proc.\ Erlang}, publisher = {ACM}, pages = {13-12}, doi = {}, year = {2017}, } Article: icfpws17erlangmain-erlangmainid2-p (type: Full Paper (12 pages)) doi:
	Kanbara, Hiroyuki	Erlang '17: "Distributed Memory Architecture ..." Distributed Memory Architecture for High-Level Synthesis of Embedded Controllers from Erlang Kagumi Azuma, Nagisa Ishiura, Nobuaki Yoshida, and Hiroyuki Kanbara (Kwansei Gakuin University, Japan; ASTEM RI/KYOTO, Japan) @InProceedings{Erlang17p13, author = {Kagumi Azuma and Nagisa Ishiura and Nobuaki Yoshida and Hiroyuki Kanbara}, title = {Distributed Memory Architecture for High-Level Synthesis of Embedded Controllers from Erlang}, booktitle = {Proc.\ Erlang}, publisher = {ACM}, pages = {13-12}, doi = {}, year = {2017}, } Article: icfpws17erlangmain-erlangmainid2-p (type: Full Paper (12 pages)) doi:
	Lukács, Dániel	Erlang '17: "Structuring Erlang BEAM Control ..." Structuring Erlang BEAM Control Flow Dániel Lukács and Melinda Tóth (ELTE Eötvös Loránd University, Hungary) @InProceedings{Erlang17p37, author = {Dániel Lukács and Melinda Tóth}, title = {Structuring Erlang BEAM Control Flow}, booktitle = {Proc.\ Erlang}, publisher = {ACM}, pages = {37-36}, doi = {}, year = {2017}, } Article: icfpws17erlangmain-erlangmainid8-p (type: Full Paper (12 pages)) doi:
	Sagonas, Konstantinos	Erlang '17: "The Shared-Memory Interferences ..." The Shared-Memory Interferences of Erlang/OTP Built-Ins Stavros Aronis and Konstantinos Sagonas (Uppsala University, Sweden) @InProceedings{Erlang17p49, author = {Stavros Aronis and Konstantinos Sagonas}, title = {The Shared-Memory Interferences of Erlang/OTP Built-Ins}, booktitle = {Proc.\ Erlang}, publisher = {ACM}, pages = {49-48}, doi = {}, year = {2017}, } Article: icfpws17erlangmain-erlangmainid10-p (type: Full Paper (12 pages)) doi:
	Shishkin, Evgeniy	Erlang '17: "Construction and Formal Verification ..." Construction and Formal Verification of a Fault-Tolerant Distributed Mutual Exclusion Algorithm Evgeniy Shishkin (JSC InfoTeCS, Russia) @InProceedings{Erlang17p1, author = {Evgeniy Shishkin}, title = {Construction and Formal Verification of a Fault-Tolerant Distributed Mutual Exclusion Algorithm}, booktitle = {Proc.\ Erlang}, publisher = {ACM}, pages = {1-0}, doi = {}, year = {2017}, } Article: icfpws17erlangmain-erlangmainid4-p (type: Full Paper (12 pages)) doi:
	Tóth, Melinda	Erlang '17: "Structuring Erlang BEAM Control ..." Structuring Erlang BEAM Control Flow Dániel Lukács and Melinda Tóth (ELTE Eötvös Loránd University, Hungary) @InProceedings{Erlang17p37, author = {Dániel Lukács and Melinda Tóth}, title = {Structuring Erlang BEAM Control Flow}, booktitle = {Proc.\ Erlang}, publisher = {ACM}, pages = {37-36}, doi = {}, year = {2017}, } Article: icfpws17erlangmain-erlangmainid8-p (type: Full Paper (12 pages)) doi: Erlang '17: "Towards Change-Driven Testing ..." Towards Change-Driven Testing Viktória Fördős, István Bozó, and Melinda Tóth (Klarna, Sweden; ELTE Eötvös Loránd University, Hungary) @InProceedings{Erlang17p73, author = {Viktória Fördős and István Bozó and Melinda Tóth}, title = {Towards Change-Driven Testing}, booktitle = {Proc.\ Erlang}, publisher = {ACM}, pages = {73-72}, doi = {}, year = {2017}, } Article: icfpws17erlangmain-erlangmainid5-p (type: Short Paper (2 pages)) doi:
	Yoshida, Nobuaki	Erlang '17: "Distributed Memory Architecture ..." Distributed Memory Architecture for High-Level Synthesis of Embedded Controllers from Erlang Kagumi Azuma, Nagisa Ishiura, Nobuaki Yoshida, and Hiroyuki Kanbara (Kwansei Gakuin University, Japan; ASTEM RI/KYOTO, Japan) @InProceedings{Erlang17p13, author = {Kagumi Azuma and Nagisa Ishiura and Nobuaki Yoshida and Hiroyuki Kanbara}, title = {Distributed Memory Architecture for High-Level Synthesis of Embedded Controllers from Erlang}, booktitle = {Proc.\ Erlang}, publisher = {ACM}, pages = {13-12}, doi = {}, year = {2017}, } Article: icfpws17erlangmain-erlangmainid2-p (type: Full Paper (12 pages)) doi:

17 authors

proc time: 0.02