Workshop SOAP 2016 – Author Index

A B D E G K N R S W Z

	Arzt, Steven	SOAP '16: "Towards Cross-Platform Cross-Language ..." Towards Cross-Platform Cross-Language Analysis with Soot Steven Arzt, Tobias Kussmaul, and Eric Bodden (TU Darmstadt, Germany; Fraunhofer SIT, Germany; University of Paderborn, Germany; Fraunhofer IEM, Germany) @InProceedings{SOAP16p1, author = {Steven Arzt and Tobias Kussmaul and Eric Bodden}, title = {Towards Cross-Platform Cross-Language Analysis with Soot}, booktitle = {Proc.\ SOAP}, publisher = {ACM}, pages = {1-0}, doi = {}, year = {2016}, }
	Bodden, Eric	SOAP '16: "Toward an Automated Benchmark ..." Toward an Automated Benchmark Management System Lisa Nguyen Quang Do, Michael Eichberg, and Eric Bodden (Fraunhofer IEM, Germany; TU Darmstadt, Germany; University of Paderborn, Germany) @InProceedings{SOAP16p13, author = {Lisa Nguyen Quang Do and Michael Eichberg and Eric Bodden}, title = {Toward an Automated Benchmark Management System}, booktitle = {Proc.\ SOAP}, publisher = {ACM}, pages = {13-12}, doi = {}, year = {2016}, } SOAP '16: "Towards Cross-Platform Cross-Language ..." Towards Cross-Platform Cross-Language Analysis with Soot Steven Arzt, Tobias Kussmaul, and Eric Bodden (TU Darmstadt, Germany; Fraunhofer SIT, Germany; University of Paderborn, Germany; Fraunhofer IEM, Germany) @InProceedings{SOAP16p1, author = {Steven Arzt and Tobias Kussmaul and Eric Bodden}, title = {Towards Cross-Platform Cross-Language Analysis with Soot}, booktitle = {Proc.\ SOAP}, publisher = {ACM}, pages = {1-0}, doi = {}, year = {2016}, }
	Brown, Fraser	SOAP '16: "LifeJacket: Verifying Precise ..." LifeJacket: Verifying Precise Floating-Point Optimizations in LLVM Andres Nötzli and Fraser Brown (Stanford University, USA) @InProceedings{SOAP16p25, author = {Andres Nötzli and Fraser Brown}, title = {LifeJacket: Verifying Precise Floating-Point Optimizations in LLVM}, booktitle = {Proc.\ SOAP}, publisher = {ACM}, pages = {25-24}, doi = {}, year = {2016}, }
	Do, Lisa Nguyen Quang	SOAP '16: "Toward an Automated Benchmark ..." Toward an Automated Benchmark Management System Lisa Nguyen Quang Do, Michael Eichberg, and Eric Bodden (Fraunhofer IEM, Germany; TU Darmstadt, Germany; University of Paderborn, Germany) @InProceedings{SOAP16p13, author = {Lisa Nguyen Quang Do and Michael Eichberg and Eric Bodden}, title = {Toward an Automated Benchmark Management System}, booktitle = {Proc.\ SOAP}, publisher = {ACM}, pages = {13-12}, doi = {}, year = {2016}, }
	Eichberg, Michael	SOAP '16: "Toward an Automated Benchmark ..." Toward an Automated Benchmark Management System Lisa Nguyen Quang Do, Michael Eichberg, and Eric Bodden (Fraunhofer IEM, Germany; TU Darmstadt, Germany; University of Paderborn, Germany) @InProceedings{SOAP16p13, author = {Lisa Nguyen Quang Do and Michael Eichberg and Eric Bodden}, title = {Toward an Automated Benchmark Management System}, booktitle = {Proc.\ SOAP}, publisher = {ACM}, pages = {13-12}, doi = {}, year = {2016}, }
	Guyer, Samuel Z.	SOAP '16: "Iceberg: A Tool for Static ..." Iceberg: A Tool for Static Analysis of Java Critical Sections Michael D. Shah and Samuel Z. Guyer (Tufts University, USA) @InProceedings{SOAP16p7, author = {Michael D. Shah and Samuel Z. Guyer}, title = {Iceberg: A Tool for Static Analysis of Java Critical Sections}, booktitle = {Proc.\ SOAP}, publisher = {ACM}, pages = {7-6}, doi = {}, year = {2016}, }
	Kussmaul, Tobias	SOAP '16: "Towards Cross-Platform Cross-Language ..." Towards Cross-Platform Cross-Language Analysis with Soot Steven Arzt, Tobias Kussmaul, and Eric Bodden (TU Darmstadt, Germany; Fraunhofer SIT, Germany; University of Paderborn, Germany; Fraunhofer IEM, Germany) @InProceedings{SOAP16p1, author = {Steven Arzt and Tobias Kussmaul and Eric Bodden}, title = {Towards Cross-Platform Cross-Language Analysis with Soot}, booktitle = {Proc.\ SOAP}, publisher = {ACM}, pages = {1-0}, doi = {}, year = {2016}, }
	Nötzli, Andres	SOAP '16: "LifeJacket: Verifying Precise ..." LifeJacket: Verifying Precise Floating-Point Optimizations in LLVM Andres Nötzli and Fraser Brown (Stanford University, USA) @InProceedings{SOAP16p25, author = {Andres Nötzli and Fraser Brown}, title = {LifeJacket: Verifying Precise Floating-Point Optimizations in LLVM}, booktitle = {Proc.\ SOAP}, publisher = {ACM}, pages = {25-24}, doi = {}, year = {2016}, }
	Rountev, Atanas	SOAP '16: "On the Unsoundness of Static ..." On the Unsoundness of Static Analysis for Android GUIs Yan Wang, Hailong Zhang, and Atanas Rountev (Ohio State University, USA) @InProceedings{SOAP16p19, author = {Yan Wang and Hailong Zhang and Atanas Rountev}, title = {On the Unsoundness of Static Analysis for Android GUIs}, booktitle = {Proc.\ SOAP}, publisher = {ACM}, pages = {19-18}, doi = {}, year = {2016}, }
	Shah, Michael D.	SOAP '16: "Iceberg: A Tool for Static ..." Iceberg: A Tool for Static Analysis of Java Critical Sections Michael D. Shah and Samuel Z. Guyer (Tufts University, USA) @InProceedings{SOAP16p7, author = {Michael D. Shah and Samuel Z. Guyer}, title = {Iceberg: A Tool for Static Analysis of Java Critical Sections}, booktitle = {Proc.\ SOAP}, publisher = {ACM}, pages = {7-6}, doi = {}, year = {2016}, }
	Wang, Yan	SOAP '16: "On the Unsoundness of Static ..." On the Unsoundness of Static Analysis for Android GUIs Yan Wang, Hailong Zhang, and Atanas Rountev (Ohio State University, USA) @InProceedings{SOAP16p19, author = {Yan Wang and Hailong Zhang and Atanas Rountev}, title = {On the Unsoundness of Static Analysis for Android GUIs}, booktitle = {Proc.\ SOAP}, publisher = {ACM}, pages = {19-18}, doi = {}, year = {2016}, }
	Zhang, Hailong	SOAP '16: "On the Unsoundness of Static ..." On the Unsoundness of Static Analysis for Android GUIs Yan Wang, Hailong Zhang, and Atanas Rountev (Ohio State University, USA) @InProceedings{SOAP16p19, author = {Yan Wang and Hailong Zhang and Atanas Rountev}, title = {On the Unsoundness of Static Analysis for Android GUIs}, booktitle = {Proc.\ SOAP}, publisher = {ACM}, pages = {19-18}, doi = {}, year = {2016}, }

13 authors

proc time: 0.66