| |
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},
}
|
| |
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},
}
|
| |
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},
}
|
| |
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},
}
|
| |
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},
}
|
| |
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},
}
|
| |
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},
}
|
| |
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},
}
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},
}
|
| |
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},
}
|
| |
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},
}
|
| |
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},
}
|
| |
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},
}
|
| |
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},
}
|
| |
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},
}
|
| |
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},
}
|
| |
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},
}
|
| |
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},
}
|
| |
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},
}
|
| |
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},
}
|
| |
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},
}
|
| |
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},
}
|
| |
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},
}
|
| |
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},
}
|
| |
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},
}
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},
}
|
| |
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},
}
|
| |
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},
}
|
| |
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},
}
|