@conference{342d96ef11504b968636fb94f1b4d580,
  title    = "Modular Static Analysis of Actor Programs",
  abstract = "Existing static analyses for actor programs ex- plicitely model all possible execution interleavings. Because the number of interleavings increases exponentially with the number of actors and messages exchanged, such analyses scale poorly. We describe the first modular analysis for actor programs, that analyzes each actor in separation of each other. This analysis over-approximate over the diferent interleavings without explicitly modeling them, rendering it scalable. We demonstrate its enhanced scalability by comparing the analysis of the Savina benchmark suite with a non-modular analysis and our new modular analysis. Our technique succeeds in analyzing all of the Savina benchmarks in a matter of seconds, while the non-modular analysis times out on more than half of these benchmarks. Moreover, we show that the precision of our modular remains on par with the precision of the non-modular analysis.",
  keywords = "abstract interpretation, actors, static analysis, modular analysis",
  author   = "Quentin Sti{\'e}venart and Jens Nicolay and {De Roover}, Coen and {De Meuter}, Wolfgang",
  year     = "2017",
  month    = "12",
  day      = "5",
  language = "English",
  note     = "BElgian-NEtherlands eVOLution seminar 2017, BENEVOL ; Conference date: 04-12-2017 Through 05-12-2017",
  url      = "http://ansymore.uantwerpen.be/events/benevol2017",
}

{"_id":"62GYArdwWtrYHgdu6","bibbaseid":"stivenart-nicolay-deroover-demeuter-modularstaticanalysisofactorprograms-2017","author_short":["Stiévenart, Q.","Nicolay, J.","De Roover, C.","De Meuter, W."],"bibdata":{"bibtype":"conference","type":"conference","title":"Modular Static Analysis of Actor Programs","abstract":"Existing static analyses for actor programs ex- plicitely model all possible execution interleavings. Because the number of interleavings increases exponentially with the number of actors and messages exchanged, such analyses scale poorly. We describe the first modular analysis for actor programs, that analyzes each actor in separation of each other. This analysis over-approximate over the diferent interleavings without explicitly modeling them, rendering it scalable. We demonstrate its enhanced scalability by comparing the analysis of the Savina benchmark suite with a non-modular analysis and our new modular analysis. Our technique succeeds in analyzing all of the Savina benchmarks in a matter of seconds, while the non-modular analysis times out on more than half of these benchmarks. Moreover, we show that the precision of our modular remains on par with the precision of the non-modular analysis.","keywords":"abstract interpretation, actors, static analysis, modular analysis","author":[{"firstnames":["Quentin"],"propositions":[],"lastnames":["Stiévenart"],"suffixes":[]},{"firstnames":["Jens"],"propositions":[],"lastnames":["Nicolay"],"suffixes":[]},{"propositions":[],"lastnames":["De Roover"],"firstnames":["Coen"],"suffixes":[]},{"propositions":[],"lastnames":["De Meuter"],"firstnames":["Wolfgang"],"suffixes":[]}],"year":"2017","month":"12","day":"5","language":"English","note":"BElgian-NEtherlands eVOLution seminar 2017, BENEVOL ; Conference date: 04-12-2017 Through 05-12-2017","url":"http://ansymore.uantwerpen.be/events/benevol2017","bibtex":"@conference{342d96ef11504b968636fb94f1b4d580,\n title = \"Modular Static Analysis of Actor Programs\",\n abstract = \"Existing static analyses for actor programs ex- plicitely model all possible execution interleavings. Because the number of interleavings increases exponentially with the number of actors and messages exchanged, such analyses scale poorly. We describe the first modular analysis for actor programs, that analyzes each actor in separation of each other. This analysis over-approximate over the diferent interleavings without explicitly modeling them, rendering it scalable. We demonstrate its enhanced scalability by comparing the analysis of the Savina benchmark suite with a non-modular analysis and our new modular analysis. Our technique succeeds in analyzing all of the Savina benchmarks in a matter of seconds, while the non-modular analysis times out on more than half of these benchmarks. Moreover, we show that the precision of our modular remains on par with the precision of the non-modular analysis.\",\n keywords = \"abstract interpretation, actors, static analysis, modular analysis\",\n author = \"Quentin Sti{\\'e}venart and Jens Nicolay and {De Roover}, Coen and {De Meuter}, Wolfgang\",\n year = \"2017\",\n month = \"12\",\n day = \"5\",\n language = \"English\",\n note = \"BElgian-NEtherlands eVOLution seminar 2017, BENEVOL ; Conference date: 04-12-2017 Through 05-12-2017\",\n url = \"http://ansymore.uantwerpen.be/events/benevol2017\",\n}","author_short":["Stiévenart, Q.","Nicolay, J.","De Roover, C.","De Meuter, W."],"key":"342d96ef11504b968636fb94f1b4d580","id":"342d96ef11504b968636fb94f1b4d580","bibbaseid":"stivenart-nicolay-deroover-demeuter-modularstaticanalysisofactorprograms-2017","role":"author","urls":{"Paper":"http://ansymore.uantwerpen.be/events/benevol2017"},"keyword":["abstract interpretation","actors","static analysis","modular analysis"],"metadata":{"authorlinks":{}}},"bibtype":"conference","biburl":"http://soft.vub.ac.be/~cderoove/works.bib","dataSources":["abyQtmN3vDJoFXPPD"],"keywords":["abstract interpretation","actors","static analysis","modular analysis"],"search_terms":["modular","static","analysis","actor","programs","stiévenart","nicolay","de roover","de meuter"],"title":"Modular Static Analysis of Actor Programs","year":2017}