- PPL-devel - BUGSENG Mailman

[GIT] ppl/ppl(master): Added missing acronym.
by Roberto Bagnara 28 Dec '13

28 Dec '13

Module: ppl/ppl Branch: master Commit: e296eb896b6de97708300660cb3ebf0d93c2419f URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=e296eb896b6d… Author: Roberto Bagnara <roberto.bagnara(a)bugseng.com> Date: Sat Dec 28 09:52:16 2013 +0100 Added missing acronym. --- doc/ppl_citations.bib | 8 ++++---- 1 files changed, 4 insertions(+), 4 deletions(-) diff --git a/doc/ppl_citations.bib b/doc/ppl_citations.bib index 0d36b29..2d44d17 100644 --- a/doc/ppl_citations.bib +++ b/doc/ppl_citations.bib @@ -470,7 +470,7 @@ Summarizing: Author = "G. Amato and F. Scozzari", Title = "Localizing Widening and Narrowing", Booktitle = "Static Analysis: - Proceedings of the 20th International Symposium", + Proceedings of the 20th International Symposium (SAS 2013)", Address = "Seattle, USA", Series = "Lecture Notes in Computer Science", Editor = "F. Logozzo and M. F{\"a}hndrich", @@ -1808,7 +1808,7 @@ Summarizing: Title = "Efficient Generation of Correctness Certificates for the Abstract Domain of Polyhedra", Booktitle = "Static Analysis: - Proceedings of the 20th International Symposium", + Proceedings of the 20th International Symposium (SAS 2013)", Address = "Seattle, USA", Series = "Lecture Notes in Computer Science", Editor = "F. Logozzo and M. F{\"a}hndrich", @@ -3625,7 +3625,7 @@ Summarizing: Author = "N. Partush and E. Yahav", Title = "Abstract Semantic Differencing for Numerical Programs", Booktitle = "Static Analysis: - Proceedings of the 20th International Symposium", + Proceedings of the 20th International Symposium (SAS 2013)", Address = "Seattle, WA, USA", Editor = "F. Logozzo and M. F{\"a}hndrich", Publisher = "Springer-Verlag, Berlin", @@ -4200,7 +4200,7 @@ Summarizing: Author = "R. Sharma and S. Gupta and B. Hariharan and A. Aiken and AV. Nori", Title = "Verification as Learning Geometric Concepts", Booktitle = "Static Analysis: - Proceedings of the 20th International Symposium", + Proceedings of the 20th International Symposium (SAS 2013)", Address = "Seattle, USA", Series = "Lecture Notes in Computer Science", Editor = "F. Logozzo and M. F{\"a}hndrich",

1 0

[GIT] ppl/ppl(master): Added missing quote.
by Roberto Bagnara 28 Dec '13

28 Dec '13

Module: ppl/ppl Branch: master Commit: 7f06ec32ba1c7adfad33b86d54f7482afcfc8607 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=7f06ec32ba1c… Author: Roberto Bagnara <roberto.bagnara(a)bugseng.com> Date: Sat Dec 28 09:51:31 2013 +0100 Added missing quote. --- doc/ppl_citations.bib | 5 +++-- 1 files changed, 3 insertions(+), 2 deletions(-) diff --git a/doc/ppl_citations.bib b/doc/ppl_citations.bib index 576c8a2..0d36b29 100644 --- a/doc/ppl_citations.bib +++ b/doc/ppl_citations.bib @@ -1804,8 +1804,9 @@ Summarizing: } @Inproceedings{FouiheMP13, - Author = "A. Fouilhe and D. Monniaux and M. P{\'e}rin, - Title = "Efficient Generation of Correctness Certificates for the Abstract Domain of Polyhedra", + Author = "A. Fouilhe and D. Monniaux and M. P{\'e}rin", + Title = "Efficient Generation of Correctness Certificates + for the Abstract Domain of Polyhedra", Booktitle = "Static Analysis: Proceedings of the 20th International Symposium", Address = "Seattle, USA",

1 0

[GIT] ppl/ppl(master): Braces restored.
by Roberto Bagnara 28 Dec '13

28 Dec '13

Module: ppl/ppl Branch: master Commit: d54fe90f1b5346477848a6aef21e7021720c67cf URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=d54fe90f1b53… Author: Roberto Bagnara <roberto.bagnara(a)bugseng.com> Date: Sat Dec 28 09:50:51 2013 +0100 Braces restored. --- doc/ppl_citations.bib | 4 ++-- 1 files changed, 2 insertions(+), 2 deletions(-) diff --git a/doc/ppl_citations.bib b/doc/ppl_citations.bib index 8a7baab..576c8a2 100644 --- a/doc/ppl_citations.bib +++ b/doc/ppl_citations.bib @@ -1777,7 +1777,7 @@ Summarizing: Month = jul, Year = 2005, Note = "In German", - Abstract = "Diese Arbeit beschreibt eine intra- und auch + Abstract = "{Diese Arbeit beschreibt eine intra- und auch interprozedurale Datenflussanalyse, welche an jedem Programmpunkt statisch die Beziehungen, die zwischen den Programmvariablen gelten, bestimmen k\"onnen. Die @@ -1800,7 +1800,7 @@ Summarizing: der linearen Algebra die affinen Beziehungen, welche zwischen den Programmvariablen an einem bestimmten Programmpunkt gelten, erkennen. Die Behandlung von - Prozeduraufrufen steht dabei im Vordergrund." + Prozeduraufrufen steht dabei im Vordergrund.}" } @Inproceedings{FouiheMP13,

1 0

[GIT] ppl/ppl(master): Book title corrected.
by Roberto Bagnara 28 Dec '13

28 Dec '13

Module: ppl/ppl Branch: master Commit: dd62f522295c254dc0135f745b2e6202fafcd6f5 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=dd62f522295c… Author: Roberto Bagnara <roberto.bagnara(a)bugseng.com> Date: Sat Dec 28 09:49:06 2013 +0100 Book title corrected. --- doc/ppl_citations.bib | 6 ++++-- 1 files changed, 4 insertions(+), 2 deletions(-) diff --git a/doc/ppl_citations.bib b/doc/ppl_citations.bib index ca66833..8a7baab 100644 --- a/doc/ppl_citations.bib +++ b/doc/ppl_citations.bib @@ -2129,7 +2129,8 @@ Summarizing: @Inproceedings{MihailaSS13, Author = "P.-L. Garoche and T. Kahsai and C. Tinelli", Title = "Incremental Invariant Generation Using Logic-Based Automatic Abstract Transformers", - Booktitle = "Proceedings of the 5th International Symposium on {NASA} Formal Methods, {NFM} 2013", + Booktitle = "NASA Formal Methods: + Proceedings of the 5th International Symposium (NFM 2013)", Editor = "G. Brat and N. Rungta and A. Venet", Address = "Moffett Field, CA, USA", Pages = "139--154", @@ -3475,7 +3476,8 @@ Summarizing: @Inproceedings{MihailaSS13, Author = "B. Mihaila and A. Sepp and A. Simon", Title = "Widening as Abstract Domain", - Booktitle = "Proceedings of the 5th International Symposium on {NASA} Formal Methods, {NFM} 2013", + Booktitle = "NASA Formal Methods: + Proceedings of the 5th International Symposium (NFM 2013)", Editor = "G. Brat and N. Rungta and A. Venet", Address = "Moffett Field, CA, USA", Pages = "170--174",

1 0

[GIT] ppl/ppl(master): Fixed book title and capitalization.
by Roberto Bagnara 28 Dec '13

28 Dec '13

Module: ppl/ppl Branch: master Commit: c7077da9f4f885a688f5d86a0d96e01cf92df631 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=c7077da9f4f8… Author: Roberto Bagnara <roberto.bagnara(a)bugseng.com> Date: Sat Dec 28 09:46:05 2013 +0100 Fixed book title and capitalization. --- doc/ppl_citations.bib | 8 +++++--- 1 files changed, 5 insertions(+), 3 deletions(-) diff --git a/doc/ppl_citations.bib b/doc/ppl_citations.bib index 9a5bbf9..ca66833 100644 --- a/doc/ppl_citations.bib +++ b/doc/ppl_citations.bib @@ -4583,14 +4583,16 @@ Summarizing: @Inproceedings{UpadrastaC13, Author = "R. Upadrasta and A. Cohen", - Title = "Sub-polyhedral Scheduling Using (Unit-)Two-variable-per-inequality Polyhedra", - Booktitle = "Proceedings of the 40th Annual {ACM SIGPLAN-SIGACT} Symposium on Principles of Programming Languages, {POPL '13}", + Title = "Sub-Polyhedral Scheduling Using (Unit-)Two-Variable-Per-Inequality + Polyhedra", + Booktitle = "Proceedings of the 40th Annual ACM SIGPLAN-SIGACT Symposium on + Principles of Programming Languages (POPL 2013)", Year = 2013, ISBN = "978-1-4503-1832-7", Address = "Rome, Italy", Pages = "483--496", Publisher = "ACM Press, New York, USA", - Note = "Also published in SIGPLAN Notices, Volume 48, Number 1.", + Note = "Also published in SIGPLAN Notices, Volume 48, Number 1", Abstract = "Polyhedral compilation has been successful in the design and implementation of complex loop nest optimizers and parallelizing compilers. The algorithmic complexity and

1 0

[GIT] ppl/ppl(master): Fixed capitalization.
by Roberto Bagnara 28 Dec '13

28 Dec '13

Module: ppl/ppl Branch: master Commit: ad1c963050ecc71d93407654e5690779a211e547 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=ad1c963050ec… Author: Roberto Bagnara <roberto.bagnara(a)bugseng.com> Date: Sat Dec 28 09:43:48 2013 +0100 Fixed capitalization. --- doc/ppl_citations.bib | 2 +- 1 files changed, 1 insertions(+), 1 deletions(-) diff --git a/doc/ppl_citations.bib b/doc/ppl_citations.bib index 7429236..9a5bbf9 100644 --- a/doc/ppl_citations.bib +++ b/doc/ppl_citations.bib @@ -3107,7 +3107,7 @@ Summarizing: @Article{LarsenLTW13, Author = "K. G. Larsen and A. Legay and L.-M. Traonouez and A. Wasowski", - Title = "Robust synthesis for real-time systems", + Title = "Robust Synthesis for Real-Time Systems", Journal = "Theoretical Computer Science", Publisher = "Elsevier", Volume = 515,

1 0

[GIT] ppl/ppl(master): Book title fixed.
by Roberto Bagnara 28 Dec '13

28 Dec '13

Module: ppl/ppl Branch: master Commit: 0409614d62f1e4abcbe51dd96bb6683471d4b678 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=0409614d62f1… Author: Roberto Bagnara <roberto.bagnara(a)bugseng.com> Date: Sat Dec 28 09:42:52 2013 +0100 Book title fixed. --- doc/ppl_citations.bib | 4 +++- 1 files changed, 3 insertions(+), 1 deletions(-) diff --git a/doc/ppl_citations.bib b/doc/ppl_citations.bib index f4b7d46..7429236 100644 --- a/doc/ppl_citations.bib +++ b/doc/ppl_citations.bib @@ -3015,7 +3015,9 @@ Summarizing: Author = "B. K{\"o}pf and A. Rybalchenko ", Title = "Automation of Quantitative Information-Flow Analysis", Booktitle = "Formal Methods for Dynamical Systems: - 13th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, {SFM} 2013", + 13th International School on Formal Methods for + the Design of Computer, Communication, and Software Systems + (SFM 2013)", Address = "Bertinoro, Italy", Series = "Lecture Notes in Computer Science", Editor = "M. Bernardo and E. de Vink and A. Di Pierro and H. Wiklicky",

1 0

[GIT] ppl/ppl(master): Book titles corrected.
by Roberto Bagnara 28 Dec '13

28 Dec '13

Module: ppl/ppl Branch: master Commit: a93fbeaa8497309777a6266f9b04933df208a732 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=a93fbeaa8497… Author: Roberto Bagnara <roberto.bagnara(a)bugseng.com> Date: Sat Dec 28 09:40:24 2013 +0100 Book titles corrected. --- doc/ppl_citations.bib | 18 +++++++++++------- 1 files changed, 11 insertions(+), 7 deletions(-) diff --git a/doc/ppl_citations.bib b/doc/ppl_citations.bib index 3b70ed0..f4b7d46 100644 --- a/doc/ppl_citations.bib +++ b/doc/ppl_citations.bib @@ -210,9 +210,13 @@ Summarizing: } @Inproceedings{AlbertAPCFGGMPRRZ13, - Author = "E. Albert and D. E. Alonso-Blas and A. Puri and J. Correas and A. Flores-Montoya and S. Genaim and M. G{\'o}mez-Zamalloa and A. N. Masud and G. Puebla and J. M. Rojas and G. Rom{\'a}n-D{\'i}ez and D. Zanardini", + Author = "E. Albert and D. E. Alonso-Blas and A. Puri + and J. Correas and A. Flores-Montoya and S. Genaim + and M. G{\'o}mez-Zamalloa and A. N. Masud and G. Puebla + and J. M. Rojas and G. Rom{\'a}n-D{\'i}ez and D. Zanardini", Title = "Automatic Inference of Bounds on Resource Consumption", - Booktitle = "Formal Methods for Components and Objects, 11th International Symposium, {FMCO} 2012", + Booktitle = "Formal Methods for Components and Objects: + Proceedings of the 11th International Symposium (FMCO 2012)", Address = "Bertinoro, Italy", Editor = "E. Giachino and R. H{\"a}hnle and F. S. de Boer and M. M. Bonsangue", Publisher = "Springer-Verlag, Berlin", @@ -2093,7 +2097,7 @@ Summarizing: } @Article{GallardoP13, - Author = "{M.-d.-M}. Gallardo and L.Panizo", + Author = "M.-d.-M. Gallardo and L. Panizo", Title = "Extending Model Checkers for Hybrid System Verification: The Case Study of {SPIN}", Journal = "Software Testing, Verification and Reliability", @@ -2123,7 +2127,7 @@ Summarizing: } @Inproceedings{MihailaSS13, - Author = "{P.-L}. Garoche and T. Kahsai and C. Tinelli", + Author = "P.-L. Garoche and T. Kahsai and C. Tinelli", Title = "Incremental Invariant Generation Using Logic-Based Automatic Abstract Transformers", Booktitle = "Proceedings of the 5th International Symposium on {NASA} Formal Methods, {NFM} 2013", Editor = "G. Brat and N. Rungta and A. Venet", @@ -2794,7 +2798,7 @@ Summarizing: Author = "J. Henry and D. Monniaux and M. Moy", Title = "Succinct Representations for Abstract Interpretation", Booktitle = "Static Analysis: - Proceedings of the 19th International Symposium", + Proceedings of the 19th International Symposium (SAS 2012)", Address = "Deauville, France", Editor = "A. Min{'e} and D. Schmidt", Publisher = "Springer-Verlag, Berlin", @@ -2828,7 +2832,7 @@ Summarizing: Author = "J. M. Howe and A. King", Title = "Polyhedral Analysis Using Parametric Objectives", Booktitle = "Static Analysis: - Proceedings of the 19th International Symposium", + Proceedings of the 19th International Symposium (SAS 2012)", Address = "Deauville, France", Editor = "A. Min{'e} and D. Schmidt", Publisher = "Springer-Verlag, Berlin", @@ -3588,7 +3592,7 @@ Summarizing: } @Article{PanizoG12, - Author = "L.Panizo and {M.-d.-M}. Gallardo", + Author = "L. Panizo and M.-d.-M. Gallardo", Title = "An extension of Java PathFinder for hybrid systems", Booktitle = "ACM SIGSOFT Software Engineering Notes", Volume = 37,

1 0

[GIT] ppl/ppl(master): More references added.
by Patricia Hill 28 Dec '13

28 Dec '13

Module: ppl/ppl Branch: master Commit: a8c0ac8b44d053df0300b3bf0c3e82e9f75e5d50 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=a8c0ac8b44d0… Author: Patricia Hill <patricia.hill(a)bugseng.com> Date: Sat Dec 28 08:38:18 2013 +0000 More references added. --- doc/ppl_citations.bib | 169 ++++++++++++++++++++++++++++++++++++++++++++++++- 1 files changed, 167 insertions(+), 2 deletions(-) Diff: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commitdiff;h=a8c0ac8b…

1 0

[GIT] ppl/ppl(master): Fixed title capitalization.
by Roberto Bagnara 28 Dec '13

28 Dec '13

Module: ppl/ppl Branch: master Commit: f0da0f473789aa10c7faa44b3cc6d89f9ab3deb9 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=f0da0f473789… Author: Roberto Bagnara <roberto.bagnara(a)bugseng.com> Date: Sat Dec 28 09:30:36 2013 +0100 Fixed title capitalization. --- doc/ppl_citations.bib | 4 +++- 1 files changed, 3 insertions(+), 1 deletions(-) diff --git a/doc/ppl_citations.bib b/doc/ppl_citations.bib index abd639f..f3c2af1 100644 --- a/doc/ppl_citations.bib +++ b/doc/ppl_citations.bib @@ -2051,7 +2051,8 @@ Summarizing: @Article{GallardoP13, Author = "{M.-d.-M}. Gallardo and L.Panizo", - Title = "Extending model checkers for hybrid system verification: the case study of SPIN.", + Title = "Extending Model Checkers for Hybrid System Verification: + The Case Study of {SPIN}", Journal = "Software Testing, Verification and Reliability", Publisher = "John Wiley & Sons, Ltd.", DOI = "10.1002/stvr.1505", @@ -2077,6 +2078,7 @@ Summarizing: currently working on the extension of other model checkers." } + @Inproceedings{MihailaSS13, Author = "{P.-L}. Garoche and T. Kahsai and C. Tinelli", Title = "Incremental Invariant Generation Using Logic-Based Automatic Abstract Transformers",

1 0