| |
Allen, Nicholas
|
SOAP '19: "Commit-Time Incremental Analysis ..."
Commit-Time Incremental Analysis
Padmanabhan Krishnan, Rebecca O'Donoghue, Nicholas Allen, and Yi Lu
(Oracle, Australia)
@InProceedings{SOAP19p31,
author = {Padmanabhan Krishnan and Rebecca O'Donoghue and Nicholas Allen and Yi Lu},
title = {Commit-Time Incremental Analysis},
booktitle = {Proc.\ SOAP},
publisher = {ACM},
pages = {31-30},
doi = {10.1145/3315568.3329968},
year = {2019},
}
 Publisher's Version
Article: pldiws19soapmain-id6-p doi:10.1145/3315568.3329968
|
| |
Balldin, Hampus
|
SOAP '19: "MetaDL: Analysing Datalog ..."
MetaDL: Analysing Datalog in Datalog
Alexandru Dura, Hampus Balldin, and Christoph Reichenbach
(Lund University, Sweden)
@InProceedings{SOAP19p43,
author = {Alexandru Dura and Hampus Balldin and Christoph Reichenbach},
title = {MetaDL: Analysing Datalog in Datalog},
booktitle = {Proc.\ SOAP},
publisher = {ACM},
pages = {43-42},
doi = {10.1145/3315568.3329970},
year = {2019},
}
Publisher's Version
Article: pldiws19soapmain-id8-p doi:10.1145/3315568.3329970
|
| |
Bodden, Eric |
SOAP '19: "Know Your Analysis: How Instrumentation ..."
Know Your Analysis: How Instrumentation Aids Understanding Static Analysis
Philipp Dominik Schubert, Richard Leer, Ben Hermann, and Eric Bodden
(University of Paderborn, Germany; Fraunhofer IEM, Germany)
@InProceedings{SOAP19p13,
author = {Philipp Dominik Schubert and Richard Leer and Ben Hermann and Eric Bodden},
title = {Know Your Analysis: How Instrumentation Aids Understanding Static Analysis},
booktitle = {Proc.\ SOAP},
publisher = {ACM},
pages = {13-12},
doi = {10.1145/3315568.3329965},
year = {2019},
}
Publisher's Version
Article: pldiws19soapmain-id2-p doi:10.1145/3315568.3329965
SOAP '19: "SootDiff: Bytecode Comparison ..."
SootDiff: Bytecode Comparison across Different Java Compilers
Andreas Dann, Ben Hermann, and Eric Bodden
(University of Paderborn, Germany; Fraunhofer IEM, Germany)
@InProceedings{SOAP19p19,
author = {Andreas Dann and Ben Hermann and Eric Bodden},
title = {SootDiff: Bytecode Comparison across Different Java Compilers},
booktitle = {Proc.\ SOAP},
publisher = {ACM},
pages = {19-18},
doi = {10.1145/3315568.3329966},
year = {2019},
}
Publisher's Version
Article: pldiws19soapmain-id3-p doi:10.1145/3315568.3329966
|
| |
Dann, Andreas
|
SOAP '19: "SootDiff: Bytecode Comparison ..."
SootDiff: Bytecode Comparison across Different Java Compilers
Andreas Dann, Ben Hermann, and Eric Bodden
(University of Paderborn, Germany; Fraunhofer IEM, Germany)
@InProceedings{SOAP19p19,
author = {Andreas Dann and Ben Hermann and Eric Bodden},
title = {SootDiff: Bytecode Comparison across Different Java Compilers},
booktitle = {Proc.\ SOAP},
publisher = {ACM},
pages = {19-18},
doi = {10.1145/3315568.3329966},
year = {2019},
}
Publisher's Version
Article: pldiws19soapmain-id3-p doi:10.1145/3315568.3329966
|
| |
Dura, Alexandru |
SOAP '19: "MetaDL: Analysing Datalog ..."
MetaDL: Analysing Datalog in Datalog
Alexandru Dura, Hampus Balldin, and Christoph Reichenbach
(Lund University, Sweden)
@InProceedings{SOAP19p43,
author = {Alexandru Dura and Hampus Balldin and Christoph Reichenbach},
title = {MetaDL: Analysing Datalog in Datalog},
booktitle = {Proc.\ SOAP},
publisher = {ACM},
pages = {43-42},
doi = {10.1145/3315568.3329970},
year = {2019},
}
Publisher's Version
Article: pldiws19soapmain-id8-p doi:10.1145/3315568.3329970
|
| |
Emre, Mehmet
|
SOAP '19: "Fixpoint Reuse for Incremental ..."
Fixpoint Reuse for Incremental JavaScript Analysis
Lawton Nichols, Mehmet Emre, and Ben Hardekopf
(University of California at Santa Barbara, USA)
@InProceedings{SOAP19p7,
author = {Lawton Nichols and Mehmet Emre and Ben Hardekopf},
title = {Fixpoint Reuse for Incremental JavaScript Analysis},
booktitle = {Proc.\ SOAP},
publisher = {ACM},
pages = {7-6},
doi = {10.1145/3315568.3329964},
year = {2019},
}
Publisher's Version
Article: pldiws19soapmain-id1-p doi:10.1145/3315568.3329964
|
| |
Goldsmith, Simon
|
SOAP '19: "Adventures in Commercial-Grade ..."
Adventures in Commercial-Grade Static Analysis (Keynote)
Simon Goldsmith
(Synopsys, USA)
@InProceedings{SOAP19p1,
author = {Simon Goldsmith},
title = {Adventures in Commercial-Grade Static Analysis (Keynote)},
booktitle = {Proc.\ SOAP},
publisher = {ACM},
pages = {1-0},
doi = {10.1145/3315568.3338015},
year = {2019},
}
Publisher's Version
Article: pldiws19soapmain-key1-p doi:10.1145/3315568.3338015
|
| |
Hardekopf, Ben
|
SOAP '19: "Fixpoint Reuse for Incremental ..."
Fixpoint Reuse for Incremental JavaScript Analysis
Lawton Nichols, Mehmet Emre, and Ben Hardekopf
(University of California at Santa Barbara, USA)
@InProceedings{SOAP19p7,
author = {Lawton Nichols and Mehmet Emre and Ben Hardekopf},
title = {Fixpoint Reuse for Incremental JavaScript Analysis},
booktitle = {Proc.\ SOAP},
publisher = {ACM},
pages = {7-6},
doi = {10.1145/3315568.3329964},
year = {2019},
}
Publisher's Version
Article: pldiws19soapmain-id1-p doi:10.1145/3315568.3329964
|
| |
Hermann, Ben |
SOAP '19: "Know Your Analysis: How Instrumentation ..."
Know Your Analysis: How Instrumentation Aids Understanding Static Analysis
Philipp Dominik Schubert, Richard Leer, Ben Hermann, and Eric Bodden
(University of Paderborn, Germany; Fraunhofer IEM, Germany)
@InProceedings{SOAP19p13,
author = {Philipp Dominik Schubert and Richard Leer and Ben Hermann and Eric Bodden},
title = {Know Your Analysis: How Instrumentation Aids Understanding Static Analysis},
booktitle = {Proc.\ SOAP},
publisher = {ACM},
pages = {13-12},
doi = {10.1145/3315568.3329965},
year = {2019},
}
Publisher's Version
Article: pldiws19soapmain-id2-p doi:10.1145/3315568.3329965
SOAP '19: "SootDiff: Bytecode Comparison ..."
SootDiff: Bytecode Comparison across Different Java Compilers
Andreas Dann, Ben Hermann, and Eric Bodden
(University of Paderborn, Germany; Fraunhofer IEM, Germany)
@InProceedings{SOAP19p19,
author = {Andreas Dann and Ben Hermann and Eric Bodden},
title = {SootDiff: Bytecode Comparison across Different Java Compilers},
booktitle = {Proc.\ SOAP},
publisher = {ACM},
pages = {19-18},
doi = {10.1145/3315568.3329966},
year = {2019},
}
Publisher's Version
Article: pldiws19soapmain-id3-p doi:10.1145/3315568.3329966
|
| |
Krishnan, Padmanabhan
|
SOAP '19: "Commit-Time Incremental Analysis ..."
Commit-Time Incremental Analysis
Padmanabhan Krishnan, Rebecca O'Donoghue, Nicholas Allen, and Yi Lu
(Oracle, Australia)
@InProceedings{SOAP19p31,
author = {Padmanabhan Krishnan and Rebecca O'Donoghue and Nicholas Allen and Yi Lu},
title = {Commit-Time Incremental Analysis},
booktitle = {Proc.\ SOAP},
publisher = {ACM},
pages = {31-30},
doi = {10.1145/3315568.3329968},
year = {2019},
}
Publisher's Version
Article: pldiws19soapmain-id6-p doi:10.1145/3315568.3329968
|
| |
Leer, Richard
|
SOAP '19: "Know Your Analysis: How Instrumentation ..."
Know Your Analysis: How Instrumentation Aids Understanding Static Analysis
Philipp Dominik Schubert, Richard Leer, Ben Hermann, and Eric Bodden
(University of Paderborn, Germany; Fraunhofer IEM, Germany)
@InProceedings{SOAP19p13,
author = {Philipp Dominik Schubert and Richard Leer and Ben Hermann and Eric Bodden},
title = {Know Your Analysis: How Instrumentation Aids Understanding Static Analysis},
booktitle = {Proc.\ SOAP},
publisher = {ACM},
pages = {13-12},
doi = {10.1145/3315568.3329965},
year = {2019},
}
Publisher's Version
Article: pldiws19soapmain-id2-p doi:10.1145/3315568.3329965
|
| |
Lu, Yi |
SOAP '19: "Commit-Time Incremental Analysis ..."
Commit-Time Incremental Analysis
Padmanabhan Krishnan, Rebecca O'Donoghue, Nicholas Allen, and Yi Lu
(Oracle, Australia)
@InProceedings{SOAP19p31,
author = {Padmanabhan Krishnan and Rebecca O'Donoghue and Nicholas Allen and Yi Lu},
title = {Commit-Time Incremental Analysis},
booktitle = {Proc.\ SOAP},
publisher = {ACM},
pages = {31-30},
doi = {10.1145/3315568.3329968},
year = {2019},
}
Publisher's Version
Article: pldiws19soapmain-id6-p doi:10.1145/3315568.3329968
|
| |
Nichols, Lawton
|
SOAP '19: "Fixpoint Reuse for Incremental ..."
Fixpoint Reuse for Incremental JavaScript Analysis
Lawton Nichols, Mehmet Emre, and Ben Hardekopf
(University of California at Santa Barbara, USA)
@InProceedings{SOAP19p7,
author = {Lawton Nichols and Mehmet Emre and Ben Hardekopf},
title = {Fixpoint Reuse for Incremental JavaScript Analysis},
booktitle = {Proc.\ SOAP},
publisher = {ACM},
pages = {7-6},
doi = {10.1145/3315568.3329964},
year = {2019},
}
Publisher's Version
Article: pldiws19soapmain-id1-p doi:10.1145/3315568.3329964
|
| |
O'Donoghue, Rebecca
|
SOAP '19: "Commit-Time Incremental Analysis ..."
Commit-Time Incremental Analysis
Padmanabhan Krishnan, Rebecca O'Donoghue, Nicholas Allen, and Yi Lu
(Oracle, Australia)
@InProceedings{SOAP19p31,
author = {Padmanabhan Krishnan and Rebecca O'Donoghue and Nicholas Allen and Yi Lu},
title = {Commit-Time Incremental Analysis},
booktitle = {Proc.\ SOAP},
publisher = {ACM},
pages = {31-30},
doi = {10.1145/3315568.3329968},
year = {2019},
}
Publisher's Version
Article: pldiws19soapmain-id6-p doi:10.1145/3315568.3329968
|
| |
O'Hara, Steven |
SOAP '19: "Modernizing Parsing Tools: ..."
Modernizing Parsing Tools: Parsing and Analysis with Object-Oriented Programming
Steven O'Hara and Rocky Slavin
(University of Texas at San Antonio, USA)
@InProceedings{SOAP19p25,
author = {Steven O'Hara and Rocky Slavin},
title = {Modernizing Parsing Tools: Parsing and Analysis with Object-Oriented Programming},
booktitle = {Proc.\ SOAP},
publisher = {ACM},
pages = {25-24},
doi = {10.1145/3315568.3329967},
year = {2019},
}
Publisher's Version
Article: pldiws19soapmain-id4-p doi:10.1145/3315568.3329967
|
| |
Reichenbach, Christoph
|
SOAP '19: "MetaDL: Analysing Datalog ..."
MetaDL: Analysing Datalog in Datalog
Alexandru Dura, Hampus Balldin, and Christoph Reichenbach
(Lund University, Sweden)
@InProceedings{SOAP19p43,
author = {Alexandru Dura and Hampus Balldin and Christoph Reichenbach},
title = {MetaDL: Analysing Datalog in Datalog},
booktitle = {Proc.\ SOAP},
publisher = {ACM},
pages = {43-42},
doi = {10.1145/3315568.3329970},
year = {2019},
}
Publisher's Version
Article: pldiws19soapmain-id8-p doi:10.1145/3315568.3329970
|
| |
Schubert, Philipp Dominik
|
SOAP '19: "Know Your Analysis: How Instrumentation ..."
Know Your Analysis: How Instrumentation Aids Understanding Static Analysis
Philipp Dominik Schubert, Richard Leer, Ben Hermann, and Eric Bodden
(University of Paderborn, Germany; Fraunhofer IEM, Germany)
@InProceedings{SOAP19p13,
author = {Philipp Dominik Schubert and Richard Leer and Ben Hermann and Eric Bodden},
title = {Know Your Analysis: How Instrumentation Aids Understanding Static Analysis},
booktitle = {Proc.\ SOAP},
publisher = {ACM},
pages = {13-12},
doi = {10.1145/3315568.3329965},
year = {2019},
}
Publisher's Version
Article: pldiws19soapmain-id2-p doi:10.1145/3315568.3329965
|
| |
Slavin, Rocky |
SOAP '19: "Modernizing Parsing Tools: ..."
Modernizing Parsing Tools: Parsing and Analysis with Object-Oriented Programming
Steven O'Hara and Rocky Slavin
(University of Texas at San Antonio, USA)
@InProceedings{SOAP19p25,
author = {Steven O'Hara and Rocky Slavin},
title = {Modernizing Parsing Tools: Parsing and Analysis with Object-Oriented Programming},
booktitle = {Proc.\ SOAP},
publisher = {ACM},
pages = {25-24},
doi = {10.1145/3315568.3329967},
year = {2019},
}
Publisher's Version
Article: pldiws19soapmain-id4-p doi:10.1145/3315568.3329967
|
| |
Turimbetov, Ilyas
|
SOAP '19: "Program Analysis for Process ..."
Program Analysis for Process Migration
Buse Yilmaz, Ilyas Turimbetov, and Didem Unat
(Koç University, Turkey)
@InProceedings{SOAP19p37,
author = {Buse Yilmaz and Ilyas Turimbetov and Didem Unat},
title = {Program Analysis for Process Migration},
booktitle = {Proc.\ SOAP},
publisher = {ACM},
pages = {37-36},
doi = {10.1145/3315568.3329969},
year = {2019},
}
Publisher's Version
Article: pldiws19soapmain-id7-p doi:10.1145/3315568.3329969
|
| |
Unat, Didem
|
SOAP '19: "Program Analysis for Process ..."
Program Analysis for Process Migration
Buse Yilmaz, Ilyas Turimbetov, and Didem Unat
(Koç University, Turkey)
@InProceedings{SOAP19p37,
author = {Buse Yilmaz and Ilyas Turimbetov and Didem Unat},
title = {Program Analysis for Process Migration},
booktitle = {Proc.\ SOAP},
publisher = {ACM},
pages = {37-36},
doi = {10.1145/3315568.3329969},
year = {2019},
}
Publisher's Version
Article: pldiws19soapmain-id7-p doi:10.1145/3315568.3329969
|
| |
Yilmaz, Buse
|
SOAP '19: "Program Analysis for Process ..."
Program Analysis for Process Migration
Buse Yilmaz, Ilyas Turimbetov, and Didem Unat
(Koç University, Turkey)
@InProceedings{SOAP19p37,
author = {Buse Yilmaz and Ilyas Turimbetov and Didem Unat},
title = {Program Analysis for Process Migration},
booktitle = {Proc.\ SOAP},
publisher = {ACM},
pages = {37-36},
doi = {10.1145/3315568.3329969},
year = {2019},
}
Publisher's Version
Article: pldiws19soapmain-id7-p doi:10.1145/3315568.3329969
|