Workshop SOAP 2017 – Author Index

A B D E F H K L M N P R S T

	Andreasen, Esben Sparre	SOAP '17: "Systematic Approaches for ..." Systematic Approaches for Increasing Soundness and Precision of Static Analyzers Esben Sparre Andreasen, Anders Møller, and Benjamin Barslev Nielsen (Aarhus University, Denmark) @InProceedings{SOAP17p31, author = {Esben Sparre Andreasen and Anders Møller and Benjamin Barslev Nielsen}, title = {Systematic Approaches for Increasing Soundness and Precision of Static Analyzers}, booktitle = {Proc.\ SOAP}, publisher = {ACM}, pages = {31-30}, doi = {}, year = {2017}, } Article: pldiws17soapmain-soapmainid5-p (type: Full Paper) doi:
	Antoniadis, Tony	SOAP '17: "Porting Doop to Soufflé: ..." Porting Doop to Soufflé: A Tale of Inter-Engine Portability for Datalog-Based Analyses Tony Antoniadis, Konstantinos Triantafyllou, and Yannis Smaragdakis (University of Athens, Greece) @InProceedings{SOAP17p25, author = {Tony Antoniadis and Konstantinos Triantafyllou and Yannis Smaragdakis}, title = {Porting Doop to Soufflé: A Tale of Inter-Engine Portability for Datalog-Based Analyses}, booktitle = {Proc.\ SOAP}, publisher = {ACM}, pages = {25-24}, doi = {}, year = {2017}, } Article: pldiws17soapmain-soapmainid12-p (type: Full Paper) doi:
	Balatsouras, George	SOAP '17: "A Datalog Model of Must-Alias ..." A Datalog Model of Must-Alias Analysis George Balatsouras, Kostas Ferles, George Kastrinis, and Yannis Smaragdakis (University of Athens, Greece; University of Texas at Austin, USA) @InProceedings{SOAP17p7, author = {George Balatsouras and Kostas Ferles and George Kastrinis and Yannis Smaragdakis}, title = {A Datalog Model of Must-Alias Analysis}, booktitle = {Proc.\ SOAP}, publisher = {ACM}, pages = {7-6}, doi = {}, year = {2017}, } Article: pldiws17soapmain-soapmainid11-p (type: Full Paper) doi:
	Dietrich, Jens	SOAP '17: "On the Construction of Soundness ..." On the Construction of Soundness Oracles Jens Dietrich, Li Sui, Shawn Rasheed, and Amjed Tahir (Massey University, New Zealand) @InProceedings{SOAP17p37, author = {Jens Dietrich and Li Sui and Shawn Rasheed and Amjed Tahir}, title = {On the Construction of Soundness Oracles}, booktitle = {Proc.\ SOAP}, publisher = {ACM}, pages = {37-36}, doi = {}, year = {2017}, } Article: pldiws17soapmain-soapmainid7-p (type: Full Paper) doi:
	Eichberg, Michael	SOAP '17: "Hermes: Assessment and Creation ..." Hermes: Assessment and Creation of Effective Test Corpora Michael Reif, Michael Eichberg, Ben Hermann, and Mira Mezini (TU Darmstadt, Germany) @InProceedings{SOAP17p43, author = {Michael Reif and Michael Eichberg and Ben Hermann and Mira Mezini}, title = {Hermes: Assessment and Creation of Effective Test Corpora}, booktitle = {Proc.\ SOAP}, publisher = {ACM}, pages = {43-42}, doi = {}, year = {2017}, } Article: pldiws17soapmain-soapmainid9-p (type: Full Paper) doi:
	Ferles, Kostas	SOAP '17: "A Datalog Model of Must-Alias ..." A Datalog Model of Must-Alias Analysis George Balatsouras, Kostas Ferles, George Kastrinis, and Yannis Smaragdakis (University of Athens, Greece; University of Texas at Austin, USA) @InProceedings{SOAP17p7, author = {George Balatsouras and Kostas Ferles and George Kastrinis and Yannis Smaragdakis}, title = {A Datalog Model of Must-Alias Analysis}, booktitle = {Proc.\ SOAP}, publisher = {ACM}, pages = {7-6}, doi = {}, year = {2017}, } Article: pldiws17soapmain-soapmainid11-p (type: Full Paper) doi:
	Hassanshahi, Behnaz	SOAP '17: "An Efficient Tunable Selective ..." An Efficient Tunable Selective Points-to Analysis for Large Codebases Behnaz Hassanshahi, Raghavendra Kagalavadi Ramesh, Padmanabhan Krishnan, Bernhard Scholz, and Yi Lu (Oracle Labs, Australia; University of Sydney, Australia) @InProceedings{SOAP17p13, author = {Behnaz Hassanshahi and Raghavendra Kagalavadi Ramesh and Padmanabhan Krishnan and Bernhard Scholz and Yi Lu}, title = {An Efficient Tunable Selective Points-to Analysis for Large Codebases}, booktitle = {Proc.\ SOAP}, publisher = {ACM}, pages = {13-12}, doi = {}, year = {2017}, } Article: pldiws17soapmain-soapmainid2-p (type: Full Paper) doi:
	Hermann, Ben	SOAP '17: "SootKeeper: Runtime Reusability ..." SootKeeper: Runtime Reusability for Modular Static Analysis Florian Kübler, Patrick Müller, and Ben Hermann (TU Darmstadt, Germany) @InProceedings{SOAP17p19, author = {Florian Kübler and Patrick Müller and Ben Hermann}, title = {SootKeeper: Runtime Reusability for Modular Static Analysis}, booktitle = {Proc.\ SOAP}, publisher = {ACM}, pages = {19-18}, doi = {}, year = {2017}, } Article: pldiws17soapmain-soapmainid8-p (type: Full Paper) doi: SOAP '17: "Hermes: Assessment and Creation ..." Hermes: Assessment and Creation of Effective Test Corpora Michael Reif, Michael Eichberg, Ben Hermann, and Mira Mezini (TU Darmstadt, Germany) @InProceedings{SOAP17p43, author = {Michael Reif and Michael Eichberg and Ben Hermann and Mira Mezini}, title = {Hermes: Assessment and Creation of Effective Test Corpora}, booktitle = {Proc.\ SOAP}, publisher = {ACM}, pages = {43-42}, doi = {}, year = {2017}, } Article: pldiws17soapmain-soapmainid9-p (type: Full Paper) doi:
	Kastrinis, George	SOAP '17: "A Datalog Model of Must-Alias ..." A Datalog Model of Must-Alias Analysis George Balatsouras, Kostas Ferles, George Kastrinis, and Yannis Smaragdakis (University of Athens, Greece; University of Texas at Austin, USA) @InProceedings{SOAP17p7, author = {George Balatsouras and Kostas Ferles and George Kastrinis and Yannis Smaragdakis}, title = {A Datalog Model of Must-Alias Analysis}, booktitle = {Proc.\ SOAP}, publisher = {ACM}, pages = {7-6}, doi = {}, year = {2017}, } Article: pldiws17soapmain-soapmainid11-p (type: Full Paper) doi:
	Krishnan, Padmanabhan	SOAP '17: "An Efficient Tunable Selective ..." An Efficient Tunable Selective Points-to Analysis for Large Codebases Behnaz Hassanshahi, Raghavendra Kagalavadi Ramesh, Padmanabhan Krishnan, Bernhard Scholz, and Yi Lu (Oracle Labs, Australia; University of Sydney, Australia) @InProceedings{SOAP17p13, author = {Behnaz Hassanshahi and Raghavendra Kagalavadi Ramesh and Padmanabhan Krishnan and Bernhard Scholz and Yi Lu}, title = {An Efficient Tunable Selective Points-to Analysis for Large Codebases}, booktitle = {Proc.\ SOAP}, publisher = {ACM}, pages = {13-12}, doi = {}, year = {2017}, } Article: pldiws17soapmain-soapmainid2-p (type: Full Paper) doi:
	Kübler, Florian	SOAP '17: "SootKeeper: Runtime Reusability ..." SootKeeper: Runtime Reusability for Modular Static Analysis Florian Kübler, Patrick Müller, and Ben Hermann (TU Darmstadt, Germany) @InProceedings{SOAP17p19, author = {Florian Kübler and Patrick Müller and Ben Hermann}, title = {SootKeeper: Runtime Reusability for Modular Static Analysis}, booktitle = {Proc.\ SOAP}, publisher = {ACM}, pages = {19-18}, doi = {}, year = {2017}, } Article: pldiws17soapmain-soapmainid8-p (type: Full Paper) doi:
	Lu, Yi	SOAP '17: "An Efficient Tunable Selective ..." An Efficient Tunable Selective Points-to Analysis for Large Codebases Behnaz Hassanshahi, Raghavendra Kagalavadi Ramesh, Padmanabhan Krishnan, Bernhard Scholz, and Yi Lu (Oracle Labs, Australia; University of Sydney, Australia) @InProceedings{SOAP17p13, author = {Behnaz Hassanshahi and Raghavendra Kagalavadi Ramesh and Padmanabhan Krishnan and Bernhard Scholz and Yi Lu}, title = {An Efficient Tunable Selective Points-to Analysis for Large Codebases}, booktitle = {Proc.\ SOAP}, publisher = {ACM}, pages = {13-12}, doi = {}, year = {2017}, } Article: pldiws17soapmain-soapmainid2-p (type: Full Paper) doi:
	Mezini, Mira	SOAP '17: "Hermes: Assessment and Creation ..." Hermes: Assessment and Creation of Effective Test Corpora Michael Reif, Michael Eichberg, Ben Hermann, and Mira Mezini (TU Darmstadt, Germany) @InProceedings{SOAP17p43, author = {Michael Reif and Michael Eichberg and Ben Hermann and Mira Mezini}, title = {Hermes: Assessment and Creation of Effective Test Corpora}, booktitle = {Proc.\ SOAP}, publisher = {ACM}, pages = {43-42}, doi = {}, year = {2017}, } Article: pldiws17soapmain-soapmainid9-p (type: Full Paper) doi:
	Møller, Anders	SOAP '17: "Systematic Approaches for ..." Systematic Approaches for Increasing Soundness and Precision of Static Analyzers Esben Sparre Andreasen, Anders Møller, and Benjamin Barslev Nielsen (Aarhus University, Denmark) @InProceedings{SOAP17p31, author = {Esben Sparre Andreasen and Anders Møller and Benjamin Barslev Nielsen}, title = {Systematic Approaches for Increasing Soundness and Precision of Static Analyzers}, booktitle = {Proc.\ SOAP}, publisher = {ACM}, pages = {31-30}, doi = {}, year = {2017}, } Article: pldiws17soapmain-soapmainid5-p (type: Full Paper) doi:
	Müller, Patrick	SOAP '17: "SootKeeper: Runtime Reusability ..." SootKeeper: Runtime Reusability for Modular Static Analysis Florian Kübler, Patrick Müller, and Ben Hermann (TU Darmstadt, Germany) @InProceedings{SOAP17p19, author = {Florian Kübler and Patrick Müller and Ben Hermann}, title = {SootKeeper: Runtime Reusability for Modular Static Analysis}, booktitle = {Proc.\ SOAP}, publisher = {ACM}, pages = {19-18}, doi = {}, year = {2017}, } Article: pldiws17soapmain-soapmainid8-p (type: Full Paper) doi:
	Nielsen, Benjamin Barslev	SOAP '17: "Systematic Approaches for ..." Systematic Approaches for Increasing Soundness and Precision of Static Analyzers Esben Sparre Andreasen, Anders Møller, and Benjamin Barslev Nielsen (Aarhus University, Denmark) @InProceedings{SOAP17p31, author = {Esben Sparre Andreasen and Anders Møller and Benjamin Barslev Nielsen}, title = {Systematic Approaches for Increasing Soundness and Precision of Static Analyzers}, booktitle = {Proc.\ SOAP}, publisher = {ACM}, pages = {31-30}, doi = {}, year = {2017}, } Article: pldiws17soapmain-soapmainid5-p (type: Full Paper) doi:
	Park, Jihyeok	SOAP '17: "Revisiting Recency Abstraction ..." Revisiting Recency Abstraction for JavaScript: Towards an Intuitive, Compositional, and Efficient Heap Abstraction Jihyeok Park, Xavier Rival, and Sukyoung Ryu (KAIST, South Korea; CNRS, France; ENS, France; INRIA, France; PSL Research University, France) @InProceedings{SOAP17p1, author = {Jihyeok Park and Xavier Rival and Sukyoung Ryu}, title = {Revisiting Recency Abstraction for JavaScript: Towards an Intuitive, Compositional, and Efficient Heap Abstraction}, booktitle = {Proc.\ SOAP}, publisher = {ACM}, pages = {1-0}, doi = {}, year = {2017}, } Article: pldiws17soapmain-soapmainid6-p (type: Full Paper) doi:
	Ramesh, Raghavendra Kagalavadi	SOAP '17: "An Efficient Tunable Selective ..." An Efficient Tunable Selective Points-to Analysis for Large Codebases Behnaz Hassanshahi, Raghavendra Kagalavadi Ramesh, Padmanabhan Krishnan, Bernhard Scholz, and Yi Lu (Oracle Labs, Australia; University of Sydney, Australia) @InProceedings{SOAP17p13, author = {Behnaz Hassanshahi and Raghavendra Kagalavadi Ramesh and Padmanabhan Krishnan and Bernhard Scholz and Yi Lu}, title = {An Efficient Tunable Selective Points-to Analysis for Large Codebases}, booktitle = {Proc.\ SOAP}, publisher = {ACM}, pages = {13-12}, doi = {}, year = {2017}, } Article: pldiws17soapmain-soapmainid2-p (type: Full Paper) doi:
	Rasheed, Shawn	SOAP '17: "On the Construction of Soundness ..." On the Construction of Soundness Oracles Jens Dietrich, Li Sui, Shawn Rasheed, and Amjed Tahir (Massey University, New Zealand) @InProceedings{SOAP17p37, author = {Jens Dietrich and Li Sui and Shawn Rasheed and Amjed Tahir}, title = {On the Construction of Soundness Oracles}, booktitle = {Proc.\ SOAP}, publisher = {ACM}, pages = {37-36}, doi = {}, year = {2017}, } Article: pldiws17soapmain-soapmainid7-p (type: Full Paper) doi:
	Reif, Michael	SOAP '17: "Hermes: Assessment and Creation ..." Hermes: Assessment and Creation of Effective Test Corpora Michael Reif, Michael Eichberg, Ben Hermann, and Mira Mezini (TU Darmstadt, Germany) @InProceedings{SOAP17p43, author = {Michael Reif and Michael Eichberg and Ben Hermann and Mira Mezini}, title = {Hermes: Assessment and Creation of Effective Test Corpora}, booktitle = {Proc.\ SOAP}, publisher = {ACM}, pages = {43-42}, doi = {}, year = {2017}, } Article: pldiws17soapmain-soapmainid9-p (type: Full Paper) doi:
	Rival, Xavier	SOAP '17: "Revisiting Recency Abstraction ..." Revisiting Recency Abstraction for JavaScript: Towards an Intuitive, Compositional, and Efficient Heap Abstraction Jihyeok Park, Xavier Rival, and Sukyoung Ryu (KAIST, South Korea; CNRS, France; ENS, France; INRIA, France; PSL Research University, France) @InProceedings{SOAP17p1, author = {Jihyeok Park and Xavier Rival and Sukyoung Ryu}, title = {Revisiting Recency Abstraction for JavaScript: Towards an Intuitive, Compositional, and Efficient Heap Abstraction}, booktitle = {Proc.\ SOAP}, publisher = {ACM}, pages = {1-0}, doi = {}, year = {2017}, } Article: pldiws17soapmain-soapmainid6-p (type: Full Paper) doi:
	Ryu, Sukyoung	SOAP '17: "Revisiting Recency Abstraction ..." Revisiting Recency Abstraction for JavaScript: Towards an Intuitive, Compositional, and Efficient Heap Abstraction Jihyeok Park, Xavier Rival, and Sukyoung Ryu (KAIST, South Korea; CNRS, France; ENS, France; INRIA, France; PSL Research University, France) @InProceedings{SOAP17p1, author = {Jihyeok Park and Xavier Rival and Sukyoung Ryu}, title = {Revisiting Recency Abstraction for JavaScript: Towards an Intuitive, Compositional, and Efficient Heap Abstraction}, booktitle = {Proc.\ SOAP}, publisher = {ACM}, pages = {1-0}, doi = {}, year = {2017}, } Article: pldiws17soapmain-soapmainid6-p (type: Full Paper) doi:
	Scholz, Bernhard	SOAP '17: "An Efficient Tunable Selective ..." An Efficient Tunable Selective Points-to Analysis for Large Codebases Behnaz Hassanshahi, Raghavendra Kagalavadi Ramesh, Padmanabhan Krishnan, Bernhard Scholz, and Yi Lu (Oracle Labs, Australia; University of Sydney, Australia) @InProceedings{SOAP17p13, author = {Behnaz Hassanshahi and Raghavendra Kagalavadi Ramesh and Padmanabhan Krishnan and Bernhard Scholz and Yi Lu}, title = {An Efficient Tunable Selective Points-to Analysis for Large Codebases}, booktitle = {Proc.\ SOAP}, publisher = {ACM}, pages = {13-12}, doi = {}, year = {2017}, } Article: pldiws17soapmain-soapmainid2-p (type: Full Paper) doi:
	Smaragdakis, Yannis	SOAP '17: "Porting Doop to Soufflé: ..." Porting Doop to Soufflé: A Tale of Inter-Engine Portability for Datalog-Based Analyses Tony Antoniadis, Konstantinos Triantafyllou, and Yannis Smaragdakis (University of Athens, Greece) @InProceedings{SOAP17p25, author = {Tony Antoniadis and Konstantinos Triantafyllou and Yannis Smaragdakis}, title = {Porting Doop to Soufflé: A Tale of Inter-Engine Portability for Datalog-Based Analyses}, booktitle = {Proc.\ SOAP}, publisher = {ACM}, pages = {25-24}, doi = {}, year = {2017}, } Article: pldiws17soapmain-soapmainid12-p (type: Full Paper) doi: SOAP '17: "A Datalog Model of Must-Alias ..." A Datalog Model of Must-Alias Analysis George Balatsouras, Kostas Ferles, George Kastrinis, and Yannis Smaragdakis (University of Athens, Greece; University of Texas at Austin, USA) @InProceedings{SOAP17p7, author = {George Balatsouras and Kostas Ferles and George Kastrinis and Yannis Smaragdakis}, title = {A Datalog Model of Must-Alias Analysis}, booktitle = {Proc.\ SOAP}, publisher = {ACM}, pages = {7-6}, doi = {}, year = {2017}, } Article: pldiws17soapmain-soapmainid11-p (type: Full Paper) doi:
	Sui, Li	SOAP '17: "On the Construction of Soundness ..." On the Construction of Soundness Oracles Jens Dietrich, Li Sui, Shawn Rasheed, and Amjed Tahir (Massey University, New Zealand) @InProceedings{SOAP17p37, author = {Jens Dietrich and Li Sui and Shawn Rasheed and Amjed Tahir}, title = {On the Construction of Soundness Oracles}, booktitle = {Proc.\ SOAP}, publisher = {ACM}, pages = {37-36}, doi = {}, year = {2017}, } Article: pldiws17soapmain-soapmainid7-p (type: Full Paper) doi:
	Tahir, Amjed	SOAP '17: "On the Construction of Soundness ..." On the Construction of Soundness Oracles Jens Dietrich, Li Sui, Shawn Rasheed, and Amjed Tahir (Massey University, New Zealand) @InProceedings{SOAP17p37, author = {Jens Dietrich and Li Sui and Shawn Rasheed and Amjed Tahir}, title = {On the Construction of Soundness Oracles}, booktitle = {Proc.\ SOAP}, publisher = {ACM}, pages = {37-36}, doi = {}, year = {2017}, } Article: pldiws17soapmain-soapmainid7-p (type: Full Paper) doi:
	Triantafyllou, Konstantinos	SOAP '17: "Porting Doop to Soufflé: ..." Porting Doop to Soufflé: A Tale of Inter-Engine Portability for Datalog-Based Analyses Tony Antoniadis, Konstantinos Triantafyllou, and Yannis Smaragdakis (University of Athens, Greece) @InProceedings{SOAP17p25, author = {Tony Antoniadis and Konstantinos Triantafyllou and Yannis Smaragdakis}, title = {Porting Doop to Soufflé: A Tale of Inter-Engine Portability for Datalog-Based Analyses}, booktitle = {Proc.\ SOAP}, publisher = {ACM}, pages = {25-24}, doi = {}, year = {2017}, } Article: pldiws17soapmain-soapmainid12-p (type: Full Paper) doi:

29 authors

proc time: 0.03