Commit 78dd7ef5 authored by Alessandra Gorla's avatar Alessandra Gorla
Browse files

general reformatting and removed redundant acronyms in parentheses

parent 57339f1f
%% BibTeX crossreferences (conference (at)Proceedings entries) --
%% master file
%% BibTeX crossreferences conference at Proceedings entries --
%% master file
%% Type "make" in the bib directory to process this with the
%% crossrefs-abbreviate
%% script, which creates crossrefs-unabbrev.bib.
......@@ -636,9 +636,9 @@
@Proceedings{AST2006,
title = "AST Workshop: 1st Workshop on Automation of Software
Test (AST 2006)",
Test",
booktitle = "AST Workshop: 1st Workshop on Automation of Software
Test (AST 2006)",
Test",
year = 2006,
address = "Shanghai, China",
month = may,
......@@ -646,9 +646,9 @@
@Proceedings{AST2011,
title = "AST Workshop: 6th Workshop on Automation of Software
Test (AST 2011)",
Test",
booktitle = "AST Workshop: 6th Workshop on Automation of Software
Test (AST 2011)",
Test",
year = 2011,
address = "Honolulu, Hawaii, USA",
month = may,
......@@ -656,9 +656,9 @@
@Proceedings{AST2016,
title = "AST Workshop:Proceedings of the 11th International
Workshop on Automation of Software Test (AST 2016)",
Workshop on Automation of Software Test",
booktitle = "AST Workshop: Proceedings of the 11th International
Workshop on Automation of Software Test (AST 2016)",
Workshop on Automation of Software Test",
year = 2016,
address = "Austin, Texas, USA",
month = may,
......@@ -716,9 +716,9 @@
@Proceedings{CADE92,
title = "CADE '92: Proceedings of the 11th International
Conference on Automated Deduction ({CADE}-11)",
Conference on Automated Deduction",
booktitle = "CADE '92: Proceedings of the 11th International
Conference on Automated Deduction ({CADE}-11)",
Conference on Automated Deduction",
year = 1992,
address = "Saratoga Springs, NY, USA",
month = jun,
......@@ -726,9 +726,9 @@
@Proceedings{CADE2000,
title = "CADE 2000: Proceedings of the 17th International
Conference on Automated Deduction ({CADE}-17)",
Conference on Automated Deduction",
booktitle = "CADE 2000: Proceedings of the 17th International
Conference on Automated Deduction ({CADE}-17)",
Conference on Automated Deduction",
year = 2000,
address = "Pittsburgh, PA, USA",
month = jun,
......@@ -736,9 +736,9 @@
@Proceedings{CADE2011,
title = "CADE 2011: Proceedings of the 23rd International
Conference on Automated Deduction ({CADE}-23)",
Conference on Automated Deduction",
booktitle = "CADE 2011: Proceedings of the 23rd International
Conference on Automated Deduction ({CADE}-23)",
Conference on Automated Deduction",
year = 2011,
address = "Warsaw, Poland",
month = aug,
......@@ -814,9 +814,9 @@
@Proceedings{CAV96,
title = "CAV '96: Proceedings of the 8th International
Conference on Computer Aided Verification ({CAV})",
Conference on Computer Aided Verification",
booktitle = "CAV '96: Proceedings of the 8th International
Conference on Computer Aided Verification ({CAV})",
Conference on Computer Aided Verification",
year = 1996,
address = "New Brunswick, NJ, USA",
month = jul,
......@@ -1341,9 +1341,9 @@
@Proceedings{CSJP2004,
title = "CSJP 2004: Workshop on Concurrency and
Synchronization in Java Programs (CSJP)",
Synchronization in Java Programs",
booktitle = "CSJP 2004: Workshop on Concurrency and
Synchronization in Java Programs (CSJP)",
Synchronization in Java Programs",
year = 2004,
address = "St. John's, Newfoundland, Canada",
month = jul,
......@@ -1747,11 +1747,9 @@
@Proceedings{ESORICS2005,
title = "ESORICS 2005: Proceedings of the 10th European
Symposium on Research in Computer Security (LNCS
3679)",
Symposium on Research in Computer Security",
booktitle = "ESORICS 2005: Proceedings of the 10th European
Symposium on Research in Computer Security (LNCS
3679)",
Symposium on Research in Computer Security",
year = 2005,
address = "Milan, Italy",
month = sep,
......@@ -1927,9 +1925,9 @@
@Proceedings{FDDO2001,
title = "FDDO 2001: 4th ACM Workshop on Feedback-Directed and
Dynamic Optimization (FDDO)",
Dynamic Optimization",
booktitle = "FDDO 2001: 4th ACM Workshop on Feedback-Directed and
Dynamic Optimization (FDDO)",
Dynamic Optimization",
year = 2001,
address = "Austin, Texas",
month = dec,
......@@ -1999,9 +1997,9 @@
@Proceedings{FMICS03,
title = "FMICS '03: 8th International Workshop on Formal
Methods for Industrial Critical Systems (FMICS 03)",
Methods for Industrial Critical Systems",
booktitle = "FMICS '03: 8th International Workshop on Formal
Methods for Industrial Critical Systems (FMICS 03)",
Methods for Industrial Critical Systems",
year = 2003,
address = "Trondheim, Norway",
month = jun,
......@@ -2010,10 +2008,10 @@
@Proceedings{FMOODS2008,
title = "FMOODS 2008: 10th International Conference on Formal
Methods for Open Object-based Distributed Systems
(FMOODS'08)",
",
booktitle = "FMOODS 2008: 10th International Conference on Formal
Methods for Open Object-based Distributed Systems
(FMOODS'08)",
",
year = 2008,
address = "Oslo, Norway",
month = jun,
......@@ -2032,10 +2030,10 @@
@Proceedings{FOOL2001,
title = "FOOL 2001: Informal Proceeings of the 8th
International Workshop on Foundations of
Object-Oriented Languages (FOOL 8)",
Object-Oriented Languages",
booktitle = "FOOL 2001: Informal Proceeings of the 8th
International Workshop on Foundations of
Object-Oriented Languages (FOOL 8)",
Object-Oriented Languages",
year = 2001,
address = "London",
month = jan,
......@@ -2044,10 +2042,10 @@
@Proceedings{FOOL2003,
title = "FOOL 2003: Informal Proceeings of the 10th
International Workshop on Foundations of
Object-Oriented Languages (FOOL 10)",
Object-Oriented Languages",
booktitle = "FOOL 2003: Informal Proceeings of the 10th
International Workshop on Foundations of
Object-Oriented Languages (FOOL 10)",
Object-Oriented Languages",
year = 2003,
address = "New Orleans, LA, USA",
month = jan,
......@@ -2056,10 +2054,10 @@
@Proceedings{FOOL2005,
title = "FOOL 2005: Informal Proceeings of the 12th
International Workshop on Foundations of
Object-Oriented Languages (FOOL 12)",
Object-Oriented Languages",
booktitle = "FOOL 2005: Informal Proceeings of the 12th
International Workshop on Foundations of
Object-Oriented Languages (FOOL 12)",
Object-Oriented Languages",
year = 2005,
address = "Long Beach, CA, USA",
month = jan,
......@@ -2140,10 +2138,10 @@
@Proceedings{FSE94,
title = "FSE '94: Proceedings of the 2nd ACM SIGSOFT
Symposium on Foundations of Software Engineering
(SIGSOFT '94)",
",
booktitle = "FSE '94: Proceedings of the 2nd ACM SIGSOFT
Symposium on Foundations of Software Engineering
(SIGSOFT '94)",
",
year = 1994,
address = "New Orleans, LA, USA",
month = dec,
......@@ -2353,13 +2351,13 @@
@Proceedings{FSE2009,
title = "ESEC/FSE 2009: The 7th joint meeting of the European
Software Engineering Conference (ESEC) and the ACM
Software Engineering Conference and the ACM
SIGSOFT Symposium on the Foundations of Software
Engineering (FSE)",
Engineering",
booktitle = "ESEC/FSE 2009: The 7th joint meeting of the European
Software Engineering Conference (ESEC) and the ACM
Software Engineering Conference and the ACM
SIGSOFT Symposium on the Foundations of Software
Engineering (FSE)",
Engineering",
year = 2009,
address = "Amsterdam, The Netherlands",
month = aug,
......@@ -2379,13 +2377,13 @@
@Proceedings{FSE2011,
title = "ESEC/FSE 2011: The 8th joint meeting of the European
Software Engineering Conference (ESEC) and the ACM
Software Engineering Conference and the ACM
SIGSOFT Symposium on the Foundations of Software
Engineering (FSE)",
Engineering",
booktitle = "ESEC/FSE 2011: The 8th joint meeting of the European
Software Engineering Conference (ESEC) and the ACM
Software Engineering Conference and the ACM
SIGSOFT Symposium on the Foundations of Software
Engineering (FSE)",
Engineering",
year = 2011,
address = "Szeged, Hungary",
month = sep,
......@@ -2393,13 +2391,13 @@
@Proceedings{FSE2011NewIdeas,
title = "ESEC/FSE New Ideas Track: The 8th joint meeting of
the European Software Engineering Conference (ESEC)
the European Software Engineering Conference
and the ACM SIGSOFT Symposium on the Foundations of
Software Engineering (ESEC/FSE New Ideas Track)",
Software Engineering",
booktitle = "ESEC/FSE New Ideas Track: The 8th joint meeting of
the European Software Engineering Conference (ESEC)
the European Software Engineering Conference
and the ACM SIGSOFT Symposium on the Foundations of
Software Engineering (ESEC/FSE New Ideas Track)",
Software Engineering",
year = 2011,
address = "Szeged, Hungary",
month = sep,
......@@ -2419,13 +2417,13 @@
@Proceedings{FSE2013,
title = "ESEC/FSE 2013: The 9th joint meeting of the European
Software Engineering Conference (ESEC) and the ACM
Software Engineering Conference and the ACM
SIGSOFT Symposium on the Foundations of Software
Engineering (FSE)",
Engineering",
booktitle = "ESEC/FSE 2013: The 9th joint meeting of the European
Software Engineering Conference (ESEC) and the ACM
Software Engineering Conference and the ACM
SIGSOFT Symposium on the Foundations of Software
Engineering (FSE)",
Engineering",
year = 2013,
address = "St.\ Petersburg, Russia",
month = aug,
......@@ -2445,13 +2443,13 @@
@Proceedings{FSE2015,
title = "ESEC/FSE 2015: The 10th joint meeting of the
European Software Engineering Conference (ESEC) and
European Software Engineering Conference and
the ACM SIGSOFT Symposium on the Foundations of
Software Engineering (FSE)",
Software Engineering",
booktitle = "ESEC/FSE 2015: The 10th joint meeting of the
European Software Engineering Conference (ESEC) and
European Software Engineering Conference and
the ACM SIGSOFT Symposium on the Foundations of
Software Engineering (FSE)",
Software Engineering",
year = 2015,
address = "Bergamo, Italy",
month = sep,
......@@ -3601,9 +3599,9 @@
@Proceedings{ICWS2004,
title = "ICWS 2004: IEEE International Conference on Web
Services (ICWS'2004)",
Services",
booktitle = "ICWS 2004: IEEE International Conference on Web
Services (ICWS'2004)",
Services",
year = 2004,
address = "San Diego, California, USA",
month = jul,
......@@ -3703,9 +3701,9 @@
@Proceedings{IPDPS2003,
title = "IPDPS 2003: International Parallel and Distributed
Processing Symposium (IPDPS'03)",
Processing Symposium",
booktitle = "IPDPS 2003: International Parallel and Distributed
Processing Symposium (IPDPS'03)",
Processing Symposium",
year = 2003,
address = "Nice, France",
month = apr,
......@@ -4244,10 +4242,10 @@
@Proceedings{MICRO94,
title = "MICRO-27: Proceedings of the 27th Annual
International Symposium on Microarchitecture
(MICRO-27)",
",
booktitle = "MICRO-27: Proceedings of the 27th Annual
International Symposium on Microarchitecture
(MICRO-27)",
",
year = 1994,
address = "San Jose, CA, USA",
month = nov,
......@@ -4256,10 +4254,10 @@
@Proceedings{MICRO96,
title = "MICRO-29: Proceedings of the 29th Annual
International Symposium on Microarchitecture
(MICRO-29)",
",
booktitle = "MICRO-29: Proceedings of the 29th Annual
International Symposium on Microarchitecture
(MICRO-29)",
",
year = 1996,
address = "Paris, France",
month = dec,
......@@ -4268,10 +4266,10 @@
@Proceedings{MICRO97,
title = "MICRO-97: Proceedings of the 30th Annual
International Symposium on Microarchitecture
(MICRO-97)",
",
booktitle = "MICRO-97: Proceedings of the 30th Annual
International Symposium on Microarchitecture
(MICRO-97)",
",
year = 1997,
address = "Research Triangle Park, NC, USA",
month = dec,
......@@ -4280,10 +4278,10 @@
@Proceedings{MICRO99,
title = "MICRO-99: Proceedings of the 32nd Annual
International Symposium on Microarchitecture
(MICRO-99)",
",
booktitle = "MICRO-99: Proceedings of the 32nd Annual
International Symposium on Microarchitecture
(MICRO-99)",
",
year = 1999,
address = "Haifa, Israel",
month = nov,
......@@ -4521,9 +4519,9 @@
@Proceedings{NetPL2016,
title = "NetPL 2016: ACM SIGCOMM Workshop on Networking and
Programming Languages (NetPL 2016)",
Programming Languages",
booktitle = "NetPL 2016: ACM SIGCOMM Workshop on Networking and
Programming Languages (NetPL 2016)",
Programming Languages",
year = 2016,
address = "Florian\'{o}polis, Brazil",
month = aug,
......@@ -5181,9 +5179,9 @@
@Proceedings{PADL2002,
title = "PADL 2002: 4th Internation Symposium on Practical
Aspects of Declarative Languages (PADL '02)",
Aspects of Declarative Languages",
booktitle = "PADL 2002: 4th Internation Symposium on Practical
Aspects of Declarative Languages (PADL '02)",
Aspects of Declarative Languages",
year = 2002,
address = "Portland, OR, USA",
month = jan,
......@@ -5191,11 +5189,9 @@
@Proceedings{PASTE98,
title = "PASTE '98: ACM SIGPLAN/SIGSOFT Workshop on Program
Analysis for Software Tools and Engineering (PASTE
'98)",
Analysis for Software Tools and Engineering",
booktitle = "PASTE '98: ACM SIGPLAN/SIGSOFT Workshop on Program
Analysis for Software Tools and Engineering (PASTE
'98)",
Analysis for Software Tools and Engineering",
year = 1998,
address = Montreal,
month = jun,
......@@ -5203,11 +5199,9 @@
@Proceedings{PASTE99,
title = "PASTE '99: ACM SIGPLAN/SIGSOFT Workshop on Program
Analysis for Software Tools and Engineering (PASTE
'99)",
Analysis for Software Tools and Engineering",
booktitle = "PASTE '99: ACM SIGPLAN/SIGSOFT Workshop on Program
Analysis for Software Tools and Engineering (PASTE
'99)",
Analysis for Software Tools and Engineering",
year = 1999,
address = "Toulouse, France",
month = sep,
......@@ -5216,10 +5210,10 @@
@Proceedings{PASTE2001,
title = "PASTE 2001: ACM SIGPLAN/SIGSOFT Workshop on Program
Analysis for Software Tools and Engineering
(PASTE'01)",
",
booktitle = "PASTE 2001: ACM SIGPLAN/SIGSOFT Workshop on Program
Analysis for Software Tools and Engineering
(PASTE'01)",
",
year = 2001,
address = "Snowbird, Utah, USA",
month = jun,
......@@ -5228,10 +5222,10 @@
@Proceedings{PASTE2002,
title = "PASTE 2002: ACM SIGPLAN/SIGSOFT Workshop on Program
Analysis for Software Tools and Engineering
(PASTE'02)",
",
booktitle = "PASTE 2002: ACM SIGPLAN/SIGSOFT Workshop on Program
Analysis for Software Tools and Engineering
(PASTE'02)",
",
year = 2002,
address = "Charleston, SC, USA",
month = nov,
......@@ -5240,10 +5234,10 @@
@Proceedings{PASTE2004,
title = "PASTE 2004: ACM SIGPLAN/SIGSOFT Workshop on Program
Analysis for Software Tools and Engineering
(PASTE'04)",
",
booktitle = "PASTE 2004: ACM SIGPLAN/SIGSOFT Workshop on Program
Analysis for Software Tools and Engineering
(PASTE'04)",
",
year = 2004,
address = "Washington, DC, USA",
month = jun,
......@@ -5251,11 +5245,9 @@
@Proceedings{PASTE2005,
title = "PASTE 2005: ACM SIGPLAN/SIGSOFT Workshop on Program
Analysis for Software Tools and Engineering (PASTE
2005)",
Analysis for Software Tools and Engineering",
booktitle = "PASTE 2005: ACM SIGPLAN/SIGSOFT Workshop on Program
Analysis for Software Tools and Engineering (PASTE
2005)",
Analysis for Software Tools and Engineering",
year = 2005,
address = "Lisbon, Portugal",
month = sep,
......@@ -5263,11 +5255,9 @@
@Proceedings{PASTE2007,
title = "PASTE 2007: ACM SIGPLAN/SIGSOFT Workshop on Program
Analysis for Software Tools and Engineering (PASTE
2007)",
Analysis for Software Tools and Engineering",
booktitle = "PASTE 2007: ACM SIGPLAN/SIGSOFT Workshop on Program
Analysis for Software Tools and Engineering (PASTE
2007)",
Analysis for Software Tools and Engineering",
year = 2007,
address = "San Diego, CA, USA",
month = jun,
......@@ -5366,10 +5356,10 @@
@Proceedings{PLATEAU2009,
title = "PLATEAU 2009: International Workshop on Evaluation
and Usability of Programming Languages and Tools
(PLATEAU) at Onward 2009",
at Onward 2009",
booktitle = "PLATEAU 2009: International Workshop on Evaluation
and Usability of Programming Languages and Tools
(PLATEAU) at Onward 2009",
at Onward 2009",
year = 2009,
address = "Orlando, FL, USA",
month = oct,
......@@ -6218,10 +6208,10 @@
@Proceedings{PPOPP99,
title = "PPOPP '99: Proceedings of the 7th ACM SIGPLAN
Symposium on Principles and Practice of Parallel
Programming (PPOPP'99)",
Programming",
booktitle = "PPOPP '99: Proceedings of the 7th ACM SIGPLAN
Symposium on Principles and Practice of Parallel
Programming (PPOPP'99)",
Programming",
year = 1999,
address = "Atlanta, Georgia",
month = may,
......@@ -6263,9 +6253,9 @@
@Proceedings{PPL2004,
title = "PPL 2004: 6th JSSST Workshop on Programming and
Programming Languages (PPL2004)",
Programming Languages",
booktitle = "PPL 2004: 6th JSSST Workshop on Programming and
Programming Languages (PPL2004)",
Programming Languages",
year = 2004,
address = "Gamagohri, Aichi, Japan",
month = mar,
......@@ -6293,11 +6283,9 @@
@Proceedings{QAPL2001,
title = "QAPL 2001: Proceedings of the Workshop on
Quantitative Aspects of Programming Languages (ENTCS
59)",
Quantitative Aspects of Programming Languages",
booktitle = "QAPL 2001: Proceedings of the Workshop on
Quantitative Aspects of Programming Languages (ENTCS
59)",
Quantitative Aspects of Programming Languages",
year = 2001,
address = "Florence, Italy",
month = sep,
......@@ -6305,11 +6293,9 @@
@Proceedings{QAPL2004,
title = "QAPL 2004: Proceedings of the 2nd Workshop on
Quantitative Aspects of Programming Languages (ENTCS
112)",
Quantitative Aspects of Programming Languages",
booktitle = "QAPL 2004: Proceedings of the 2nd Workshop on
Quantitative Aspects of Programming Languages (ENTCS
112)",
Quantitative Aspects of Programming Languages",
year = 2004,
address = "Barcelona, Spain",
month = mar,
......@@ -6637,9 +6623,9 @@
@Proceedings{SCAM2003,
title = "SCAM 2003: 3rd IEEE International Workshop on Source
Code Analysis and Manipulation (SCAM'03)",
Code Analysis and Manipulation",
booktitle = "SCAM 2003: 3rd IEEE International Workshop on Source
Code Analysis and Manipulation (SCAM'03)",
Code Analysis and Manipulation",
year = 2003,
address = "Amsterdam, The Netherlands",
month = sep,
......@@ -6647,9 +6633,9 @@
@Proceedings{SCAM2009,
title = "SCAM 2009: 9th IEEE International Workshop on Source
Code Analysis and Manipulation (SCAM'09)",
Code Analysis and Manipulation",
booktitle = "SCAM 2009: 9th IEEE International Workshop on Source
Code Analysis and Manipulation (SCAM'09)",
Code Analysis and Manipulation",
year = 2009,
address = "Edmonton, Canada",
month = sep,
......@@ -6703,9 +6689,9 @@
@Proceedings{SFP2006,
title = "SFP 2006: Workshop on Scheme and Functional
Programming (SFP)",
Programming",
booktitle = "SFP 2006: Workshop on Scheme and Functional
Programming (SFP)",
Programming",
year = 2006,
address = "Portland, OR, USA",
month = sep,
......@@ -6713,11 +6699,9 @@
@Proceedings{SLAML2010,
title = "SLAML 2010: Workshop on Managing Systems via Log
Analysis and Machine Learning Techniques (SLAML
'10)",
Analysis and Machine Learning Techniques",
booktitle = "SLAML 2010: Workshop on Managing Systems via Log
Analysis and Machine Learning Techniques (SLAML
'10)",
Analysis and Machine Learning Techniques",
year = 2010,
address = "Vancouver, BC, Canada",
month = oct,
......@@ -6726,10 +6710,10 @@
@Proceedings{SLAML2011,
title = "SLAML 2011: Workshop on Managing Large-Scale Systems
via the Analysis of System Logs and the Application
of Machine Learning Techniques (SLAML '11)",
of Machine Learning Techniques",
booktitle = "SLAML 2011: Workshop on Managing Large-Scale Systems
via the Analysis of System Logs and the Application
of Machine Learning Techniques (SLAML '11)",
of Machine Learning Techniques",
year = 2011,
address = "Cascais, Portugal",
month = oct,
......@@ -6868,10 +6852,10 @@
@Proceedings{SIGCSE98,
title = "SIGCSE'98: Proceedings of the 29th {SIGCSE}
Technical Symposium on Computer Science Education
({SIGCSE}-98)",
",
booktitle = "SIGCSE'98: Proceedings of the 29th {SIGCSE}
Technical Symposium on Computer Science Education
({SIGCSE}-98)",
",
year = 1998,
address = "Atlanta, GA, USA",
month = feb,
......@@ -6880,10 +6864,10 @@
@Proceedings{SIGCSE2000,
title = "SIGCSE 2000: Proceedings of the 31st {SIGCSE}
Technical Symposium on Computer Science Education
({SIGCSE}-00)",
",
booktitle = "SIGCSE 2000: Proceedings of the 31st {SIGCSE}
Technical Symposium on Computer Science Education
({SIGCSE}-00)",
",
year = 2000,
address = "Austin, TX",
month = mar,
......@@ -6892,10 +6876,10 @@
@Proceedings{SIGCSE2001,
title = "SIGCSE 2001: Proceedings of the 32nd {SIGCSE}
Technical Symposium on Computer Science Education
({SIGCSE}-01)",
",
booktitle = "SIGCSE 2001: Proceedings of the 32nd {SIGCSE}
Technical Symposium on Computer Science Education
({SIGCSE}-01)",
",
year = 2001,
address = "Charlotte, NC, USA",
month = feb,
......@@ -6904,10 +6888,10 @@
@Proceedings{SIGCSE2004,
title = "SIGCSE 2004: Proceedings of the 32nd {SIGCSE}
Technical Symposium on Computer Science Education
({SIGCSE}-04)",
",
booktitle = "SIGCSE 2004: Proceedings of the 32nd {SIGCSE}
Technical Symposium on Computer Science Education
({SIGCSE}-04)",
",
year = 2004,
address = "Norfolk, VA, USA",
month = mar,
......@@ -6916,10 +6900,10 @@
@Proceedings{SIGCSE2006,
title = "SIGCSE 2006: Proceedings of the 32nd {SIGCSE}
Technical Symposium on Computer Science Education