| |
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
Article: pldiws20soapmain-id5-p doi:10.1145/3394451.3397204
|
| |
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
Article: pldiws20soapmain-id2-p doi:10.1145/3394451.3397206
|
| |
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
Article: pldiws20soapmain-id5-p doi:10.1145/3394451.3397204
|
| |
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
Article: pldiws20soapmain-id5-p doi:10.1145/3394451.3397204
|
| |
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
Article: pldiws20soapmain-id5-p doi:10.1145/3394451.3397204
|
| |
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
Article: pldiws20soapmain-id5-p doi:10.1145/3394451.3397204
|
| |
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
Article: pldiws20soapmain-id1-p doi:10.1145/3394451.3397205
|
| |
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
Article: pldiws20soapmain-id1-p doi:10.1145/3394451.3397205
|
| |
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
Article: pldiws20soapmain-key1-p doi:10.1145/3394451.3401953
|
| |
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
Article: pldiws20soapmain-id1-p doi:10.1145/3394451.3397205
|
| |
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
Article: pldiws20soapmain-id5-p doi:10.1145/3394451.3397204
|
| |
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
Article: pldiws20soapmain-id2-p doi:10.1145/3394451.3397206
|
| |
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
Article: pldiws20soapmain-id2-p doi:10.1145/3394451.3397206
|
| |
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
Article: pldiws20soapmain-id2-p doi:10.1145/3394451.3397206
|
| |
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
Article: pldiws20soapmain-id2-p doi:10.1145/3394451.3397206
|