Workshop SOAP 2020 – Author Index

E G H K M O R S W

	Eichberg, Michael	SOAP '20: "TACAI: An Intermediate Representation ..." TACAI: An Intermediate Representation Based on Abstract Interpretation Michael Reif, Florian Kübler, Dominik Helm, Ben Hermann, Michael Eichberg, and Mira Mezini (TU Darmstadt, Germany; University of Paderborn, Germany) @InProceedings{SOAP20p7, author = {Michael Reif and Florian Kübler and Dominik Helm and Ben Hermann and Michael Eichberg and Mira Mezini}, title = {TACAI: An Intermediate Representation Based on Abstract Interpretation}, booktitle = {Proc.\ SOAP}, publisher = {ACM}, pages = {7-6}, doi = {10.1145/3394451.3397204}, year = {2020}, } Publisher's Version
	Grech, Neville	SOAP '20: "Explaining Bug Provenance ..." Explaining Bug Provenance with Trace Witnesses Jixiang Shen, Xi Wu, Neville Grech, Bernhard Scholz, and Yannis Smaragdakis (University of Sydney, Australia; University of Athens, Greece) @InProceedings{SOAP20p19, author = {Jixiang Shen and Xi Wu and Neville Grech and Bernhard Scholz and Yannis Smaragdakis}, title = {Explaining Bug Provenance with Trace Witnesses}, booktitle = {Proc.\ SOAP}, publisher = {ACM}, pages = {19-18}, doi = {10.1145/3394451.3397206}, year = {2020}, } Publisher's Version
	Helm, Dominik	SOAP '20: "TACAI: An Intermediate Representation ..." TACAI: An Intermediate Representation Based on Abstract Interpretation Michael Reif, Florian Kübler, Dominik Helm, Ben Hermann, Michael Eichberg, and Mira Mezini (TU Darmstadt, Germany; University of Paderborn, Germany) @InProceedings{SOAP20p7, author = {Michael Reif and Florian Kübler and Dominik Helm and Ben Hermann and Michael Eichberg and Mira Mezini}, title = {TACAI: An Intermediate Representation Based on Abstract Interpretation}, booktitle = {Proc.\ SOAP}, publisher = {ACM}, pages = {7-6}, doi = {10.1145/3394451.3397204}, year = {2020}, } Publisher's Version
	Hermann, Ben	SOAP '20: "TACAI: An Intermediate Representation ..." TACAI: An Intermediate Representation Based on Abstract Interpretation Michael Reif, Florian Kübler, Dominik Helm, Ben Hermann, Michael Eichberg, and Mira Mezini (TU Darmstadt, Germany; University of Paderborn, Germany) @InProceedings{SOAP20p7, author = {Michael Reif and Florian Kübler and Dominik Helm and Ben Hermann and Michael Eichberg and Mira Mezini}, title = {TACAI: An Intermediate Representation Based on Abstract Interpretation}, booktitle = {Proc.\ SOAP}, publisher = {ACM}, pages = {7-6}, doi = {10.1145/3394451.3397204}, year = {2020}, } Publisher's Version
	Kübler, Florian	SOAP '20: "TACAI: An Intermediate Representation ..." TACAI: An Intermediate Representation Based on Abstract Interpretation Michael Reif, Florian Kübler, Dominik Helm, Ben Hermann, Michael Eichberg, and Mira Mezini (TU Darmstadt, Germany; University of Paderborn, Germany) @InProceedings{SOAP20p7, author = {Michael Reif and Florian Kübler and Dominik Helm and Ben Hermann and Michael Eichberg and Mira Mezini}, title = {TACAI: An Intermediate Representation Based on Abstract Interpretation}, booktitle = {Proc.\ SOAP}, publisher = {ACM}, pages = {7-6}, doi = {10.1145/3394451.3397204}, year = {2020}, } Publisher's Version
	Mezini, Mira	SOAP '20: "TACAI: An Intermediate Representation ..." TACAI: An Intermediate Representation Based on Abstract Interpretation Michael Reif, Florian Kübler, Dominik Helm, Ben Hermann, Michael Eichberg, and Mira Mezini (TU Darmstadt, Germany; University of Paderborn, Germany) @InProceedings{SOAP20p7, author = {Michael Reif and Florian Kübler and Dominik Helm and Ben Hermann and Michael Eichberg and Mira Mezini}, title = {TACAI: An Intermediate Representation Based on Abstract Interpretation}, booktitle = {Proc.\ SOAP}, publisher = {ACM}, pages = {7-6}, doi = {10.1145/3394451.3397204}, year = {2020}, } Publisher's Version
	Miné, Antoine	SOAP '20: "Value and Allocation Sensitivity ..." Value and Allocation Sensitivity in Static Python Analyses Raphaël Monat, Abdelraouf Ouadjaout, and Antoine Miné (Sorbonne University, France; CNRS, France; LIP6, France) @InProceedings{SOAP20p13, author = {Raphaël Monat and Abdelraouf Ouadjaout and Antoine Miné}, title = {Value and Allocation Sensitivity in Static Python Analyses}, booktitle = {Proc.\ SOAP}, publisher = {ACM}, pages = {13-12}, doi = {10.1145/3394451.3397205}, year = {2020}, } Publisher's Version
	Monat, Raphaël	SOAP '20: "Value and Allocation Sensitivity ..." Value and Allocation Sensitivity in Static Python Analyses Raphaël Monat, Abdelraouf Ouadjaout, and Antoine Miné (Sorbonne University, France; CNRS, France; LIP6, France) @InProceedings{SOAP20p13, author = {Raphaël Monat and Abdelraouf Ouadjaout and Antoine Miné}, title = {Value and Allocation Sensitivity in Static Python Analyses}, booktitle = {Proc.\ SOAP}, publisher = {ACM}, pages = {13-12}, doi = {10.1145/3394451.3397205}, year = {2020}, } Publisher's Version
	O'Hearn, Peter W.	SOAP '20: "Formal Reasoning and the Hacker ..." Formal Reasoning and the Hacker Way (Keynote) Peter W. O'Hearn (University College London, UK; Facebook, UK) @InProceedings{SOAP20p1, author = {Peter W. O'Hearn}, title = {Formal Reasoning and the Hacker Way (Keynote)}, booktitle = {Proc.\ SOAP}, publisher = {ACM}, pages = {1-0}, doi = {10.1145/3394451.3401953}, year = {2020}, } Publisher's Version
	Ouadjaout, Abdelraouf	SOAP '20: "Value and Allocation Sensitivity ..." Value and Allocation Sensitivity in Static Python Analyses Raphaël Monat, Abdelraouf Ouadjaout, and Antoine Miné (Sorbonne University, France; CNRS, France; LIP6, France) @InProceedings{SOAP20p13, author = {Raphaël Monat and Abdelraouf Ouadjaout and Antoine Miné}, title = {Value and Allocation Sensitivity in Static Python Analyses}, booktitle = {Proc.\ SOAP}, publisher = {ACM}, pages = {13-12}, doi = {10.1145/3394451.3397205}, year = {2020}, } Publisher's Version
	Reif, Michael	SOAP '20: "TACAI: An Intermediate Representation ..." TACAI: An Intermediate Representation Based on Abstract Interpretation Michael Reif, Florian Kübler, Dominik Helm, Ben Hermann, Michael Eichberg, and Mira Mezini (TU Darmstadt, Germany; University of Paderborn, Germany) @InProceedings{SOAP20p7, author = {Michael Reif and Florian Kübler and Dominik Helm and Ben Hermann and Michael Eichberg and Mira Mezini}, title = {TACAI: An Intermediate Representation Based on Abstract Interpretation}, booktitle = {Proc.\ SOAP}, publisher = {ACM}, pages = {7-6}, doi = {10.1145/3394451.3397204}, year = {2020}, } Publisher's Version
	Scholz, Bernhard	SOAP '20: "Explaining Bug Provenance ..." Explaining Bug Provenance with Trace Witnesses Jixiang Shen, Xi Wu, Neville Grech, Bernhard Scholz, and Yannis Smaragdakis (University of Sydney, Australia; University of Athens, Greece) @InProceedings{SOAP20p19, author = {Jixiang Shen and Xi Wu and Neville Grech and Bernhard Scholz and Yannis Smaragdakis}, title = {Explaining Bug Provenance with Trace Witnesses}, booktitle = {Proc.\ SOAP}, publisher = {ACM}, pages = {19-18}, doi = {10.1145/3394451.3397206}, year = {2020}, } Publisher's Version
	Shen, Jixiang	SOAP '20: "Explaining Bug Provenance ..." Explaining Bug Provenance with Trace Witnesses Jixiang Shen, Xi Wu, Neville Grech, Bernhard Scholz, and Yannis Smaragdakis (University of Sydney, Australia; University of Athens, Greece) @InProceedings{SOAP20p19, author = {Jixiang Shen and Xi Wu and Neville Grech and Bernhard Scholz and Yannis Smaragdakis}, title = {Explaining Bug Provenance with Trace Witnesses}, booktitle = {Proc.\ SOAP}, publisher = {ACM}, pages = {19-18}, doi = {10.1145/3394451.3397206}, year = {2020}, } Publisher's Version
	Smaragdakis, Yannis	SOAP '20: "Explaining Bug Provenance ..." Explaining Bug Provenance with Trace Witnesses Jixiang Shen, Xi Wu, Neville Grech, Bernhard Scholz, and Yannis Smaragdakis (University of Sydney, Australia; University of Athens, Greece) @InProceedings{SOAP20p19, author = {Jixiang Shen and Xi Wu and Neville Grech and Bernhard Scholz and Yannis Smaragdakis}, title = {Explaining Bug Provenance with Trace Witnesses}, booktitle = {Proc.\ SOAP}, publisher = {ACM}, pages = {19-18}, doi = {10.1145/3394451.3397206}, year = {2020}, } Publisher's Version
	Wu, Xi	SOAP '20: "Explaining Bug Provenance ..." Explaining Bug Provenance with Trace Witnesses Jixiang Shen, Xi Wu, Neville Grech, Bernhard Scholz, and Yannis Smaragdakis (University of Sydney, Australia; University of Athens, Greece) @InProceedings{SOAP20p19, author = {Jixiang Shen and Xi Wu and Neville Grech and Bernhard Scholz and Yannis Smaragdakis}, title = {Explaining Bug Provenance with Trace Witnesses}, booktitle = {Proc.\ SOAP}, publisher = {ACM}, pages = {19-18}, doi = {10.1145/3394451.3397206}, year = {2020}, } Publisher's Version

15 authors

proc time: 0.01