A B C D E F G H I J K L M N O P R S T W

	Afroozeh, Ali	Onward! '15: "One Parser to Rule Them All ..." One Parser to Rule Them All Ali Afroozeh and Anastasia Izmaylova (CWI, Netherlands) @InProceedings{Onward!15p201, author = {Ali Afroozeh and Anastasia Izmaylova}, title = {One Parser to Rule Them All}, booktitle = {Proc.\ Onward!}, publisher = {ACM}, pages = {201-200}, doi = {}, year = {2015}, } Article: onward15papers-onward15-papers-37-p (type: Full Paper (20 pages)) doi:
	Ali, Karim	Onward! '15: "Towards Secure Integration ..." Towards Secure Integration of Cryptographic Software Steven Arzt, Sarah Nadi, Karim Ali, Eric Bodden, Sebastian Erdweg, and Mira Mezini (TU Darmstadt, Germany) @InProceedings{Onward!15p1, author = {Steven Arzt and Sarah Nadi and Karim Ali and Eric Bodden and Sebastian Erdweg and Mira Mezini}, title = {Towards Secure Integration of Cryptographic Software}, booktitle = {Proc.\ Onward!}, publisher = {ACM}, pages = {1-0}, doi = {}, year = {2015}, } Article: onward15papers-onward15-papers-6-p (type: Full Paper (20 pages)) doi:
	Appeltauer, Malte	Onward! '15: "Columnar Objects: Improving ..." Columnar Objects: Improving the Performance of Analytical Applications Toni Mattis, Johannes Henning, Patrick Rein, Robert Hirschfeld, and Malte Appeltauer (HPI, Germany; SAP, Germany) @InProceedings{Onward!15p261, author = {Toni Mattis and Johannes Henning and Patrick Rein and Robert Hirschfeld and Malte Appeltauer}, title = {Columnar Objects: Improving the Performance of Analytical Applications}, booktitle = {Proc.\ Onward!}, publisher = {ACM}, pages = {261-260}, doi = {}, year = {2015}, } Article: onward15papers-onward15-papers-8-p (type: Full Paper (20 pages)) doi:
	Arzt, Steven	Onward! '15: "Towards Secure Integration ..." Towards Secure Integration of Cryptographic Software Steven Arzt, Sarah Nadi, Karim Ali, Eric Bodden, Sebastian Erdweg, and Mira Mezini (TU Darmstadt, Germany) @InProceedings{Onward!15p1, author = {Steven Arzt and Sarah Nadi and Karim Ali and Eric Bodden and Sebastian Erdweg and Mira Mezini}, title = {Towards Secure Integration of Cryptographic Software}, booktitle = {Proc.\ Onward!}, publisher = {ACM}, pages = {1-0}, doi = {}, year = {2015}, } Article: onward15papers-onward15-papers-6-p (type: Full Paper (20 pages)) doi:
	Barman, Shaon	Onward! '15: "Toward Tool Support for Interactive ..." Toward Tool Support for Interactive Synthesis Shaon Barman, Rastislav Bodik, Satish Chandra, Emina Torlak, Arka Bhattacharya, and David Culler (University of California at Berkeley, USA; University of Washington, USA; Samsung Research, USA) @InProceedings{Onward!15p161, author = {Shaon Barman and Rastislav Bodik and Satish Chandra and Emina Torlak and Arka Bhattacharya and David Culler}, title = {Toward Tool Support for Interactive Synthesis}, booktitle = {Proc.\ Onward!}, publisher = {ACM}, pages = {161-160}, doi = {}, year = {2015}, } Article: onward15papers-onward15-papers-21-p (type: Full Paper (20 pages)) doi:
	Bhattacharya, Arka	Onward! '15: "Toward Tool Support for Interactive ..." Toward Tool Support for Interactive Synthesis Shaon Barman, Rastislav Bodik, Satish Chandra, Emina Torlak, Arka Bhattacharya, and David Culler (University of California at Berkeley, USA; University of Washington, USA; Samsung Research, USA) @InProceedings{Onward!15p161, author = {Shaon Barman and Rastislav Bodik and Satish Chandra and Emina Torlak and Arka Bhattacharya and David Culler}, title = {Toward Tool Support for Interactive Synthesis}, booktitle = {Proc.\ Onward!}, publisher = {ACM}, pages = {161-160}, doi = {}, year = {2015}, } Article: onward15papers-onward15-papers-21-p (type: Full Paper (20 pages)) doi:
	Bodden, Eric	Onward! '15: "Towards Secure Integration ..." Towards Secure Integration of Cryptographic Software Steven Arzt, Sarah Nadi, Karim Ali, Eric Bodden, Sebastian Erdweg, and Mira Mezini (TU Darmstadt, Germany) @InProceedings{Onward!15p1, author = {Steven Arzt and Sarah Nadi and Karim Ali and Eric Bodden and Sebastian Erdweg and Mira Mezini}, title = {Towards Secure Integration of Cryptographic Software}, booktitle = {Proc.\ Onward!}, publisher = {ACM}, pages = {1-0}, doi = {}, year = {2015}, } Article: onward15papers-onward15-papers-6-p (type: Full Paper (20 pages)) doi:
	Bodik, Rastislav	Onward! '15: "Toward Tool Support for Interactive ..." Toward Tool Support for Interactive Synthesis Shaon Barman, Rastislav Bodik, Satish Chandra, Emina Torlak, Arka Bhattacharya, and David Culler (University of California at Berkeley, USA; University of Washington, USA; Samsung Research, USA) @InProceedings{Onward!15p161, author = {Shaon Barman and Rastislav Bodik and Satish Chandra and Emina Torlak and Arka Bhattacharya and David Culler}, title = {Toward Tool Support for Interactive Synthesis}, booktitle = {Proc.\ Onward!}, publisher = {ACM}, pages = {161-160}, doi = {}, year = {2015}, } Article: onward15papers-onward15-papers-21-p (type: Full Paper (20 pages)) doi:
	Borning, Alan	Onward! '15: "Constraints as a Design Pattern ..." Constraints as a Design Pattern Hesam Samimi, Alessandro Warth, Mahdi Eslamimehr, and Alan Borning (SAP Labs, USA; Viewpoints Research Institute, USA) @InProceedings{Onward!15p41, author = {Hesam Samimi and Alessandro Warth and Mahdi Eslamimehr and Alan Borning}, title = {Constraints as a Design Pattern}, booktitle = {Proc.\ Onward!}, publisher = {ACM}, pages = {41-40}, doi = {}, year = {2015}, } Article: onward15papers-onward15-papers-44-p (type: Full Paper (20 pages)) doi:
	Bouraqadi, Noury	Onward! '15: "A Bootstrapping Infrastructure ..." A Bootstrapping Infrastructure to Build and Extend Pharo-Like Languages Guillermo Polito, Stéphane Ducasse, Noury Bouraqadi, and Luc Fabresse (INRIA, France; École des Mines de Douai, France) @InProceedings{Onward!15p241, author = {Guillermo Polito and Stéphane Ducasse and Noury Bouraqadi and Luc Fabresse}, title = {A Bootstrapping Infrastructure to Build and Extend Pharo-Like Languages}, booktitle = {Proc.\ Onward!}, publisher = {ACM}, pages = {241-240}, doi = {}, year = {2015}, } Article: onward15papers-onward15-papers-23-p (type: Full Paper (20 pages)) doi: Onward! '15: "Virtualization Support for ..." Virtualization Support for Dynamic Core Library Update Guillermo Polito, Stéphane Ducasse, Noury Bouraqadi, Luc Fabresse, and Max Mattone (INRIA, France; École des Mines de Douai, France) @InProceedings{Onward!15p281, author = {Guillermo Polito and Stéphane Ducasse and Noury Bouraqadi and Luc Fabresse and Max Mattone}, title = {Virtualization Support for Dynamic Core Library Update}, booktitle = {Proc.\ Onward!}, publisher = {ACM}, pages = {281-280}, doi = {}, year = {2015}, } Article: onward15papers-onward15-papers-16-p (type: Full Paper (20 pages)) doi:
	Chandra, Satish	Onward! '15: "Toward Tool Support for Interactive ..." Toward Tool Support for Interactive Synthesis Shaon Barman, Rastislav Bodik, Satish Chandra, Emina Torlak, Arka Bhattacharya, and David Culler (University of California at Berkeley, USA; University of Washington, USA; Samsung Research, USA) @InProceedings{Onward!15p161, author = {Shaon Barman and Rastislav Bodik and Satish Chandra and Emina Torlak and Arka Bhattacharya and David Culler}, title = {Toward Tool Support for Interactive Synthesis}, booktitle = {Proc.\ Onward!}, publisher = {ACM}, pages = {161-160}, doi = {}, year = {2015}, } Article: onward15papers-onward15-papers-21-p (type: Full Paper (20 pages)) doi:
	Chari, Guido	Onward! '15: "Towards Fully Reflective Environments ..." Towards Fully Reflective Environments Guido Chari, Diego Garbervetsky, Stefan Marr, and Stéphane Ducasse (CONICET, Argentina; University of Buenos Aires, Argentina; INRIA, France) @InProceedings{Onward!15p321, author = {Guido Chari and Diego Garbervetsky and Stefan Marr and Stéphane Ducasse}, title = {Towards Fully Reflective Environments}, booktitle = {Proc.\ Onward!}, publisher = {ACM}, pages = {321-320}, doi = {}, year = {2015}, } Article: onward15papers-onward15-papers-36-p (type: Full Paper (20 pages)) doi:
	Chiş, Andrei	Onward! '15: "The Moldable Inspector ..." The Moldable Inspector Andrei Chiş, Oscar Nierstrasz, Aliaksei Syrel, and Tudor Gîrba (University of Bern, Switzerland; tudorgirba.com, Switzerland) @InProceedings{Onward!15p61, author = {Andrei Chiş and Oscar Nierstrasz and Aliaksei Syrel and Tudor Gîrba}, title = {The Moldable Inspector}, booktitle = {Proc.\ Onward!}, publisher = {ACM}, pages = {61-60}, doi = {}, year = {2015}, } Article: onward15papers-onward15-papers-18-p (type: Full Paper (20 pages)) doi:
	Cito, Jürgen	Onward! '15: "Runtime Metric Meets Developer: ..." Runtime Metric Meets Developer: Building Better Cloud Applications using Feedback Jürgen Cito, Philipp Leitner, Harald C. Gall, Aryan Dadashi, Anne Keller, and Andreas Roth (University of Zurich, Switzerland; SAP, Germany) @InProceedings{Onward!15p21, author = {Jürgen Cito and Philipp Leitner and Harald C. Gall and Aryan Dadashi and Anne Keller and Andreas Roth}, title = {Runtime Metric Meets Developer: Building Better Cloud Applications using Feedback}, booktitle = {Proc.\ Onward!}, publisher = {ACM}, pages = {21-20}, doi = {}, year = {2015}, } Article: onward15papers-onward15-papers-15-p (type: Full Paper (20 pages)) doi:
	Culler, David	Onward! '15: "Toward Tool Support for Interactive ..." Toward Tool Support for Interactive Synthesis Shaon Barman, Rastislav Bodik, Satish Chandra, Emina Torlak, Arka Bhattacharya, and David Culler (University of California at Berkeley, USA; University of Washington, USA; Samsung Research, USA) @InProceedings{Onward!15p161, author = {Shaon Barman and Rastislav Bodik and Satish Chandra and Emina Torlak and Arka Bhattacharya and David Culler}, title = {Toward Tool Support for Interactive Synthesis}, booktitle = {Proc.\ Onward!}, publisher = {ACM}, pages = {161-160}, doi = {}, year = {2015}, } Article: onward15papers-onward15-papers-21-p (type: Full Paper (20 pages)) doi:
	Dadashi, Aryan	Onward! '15: "Runtime Metric Meets Developer: ..." Runtime Metric Meets Developer: Building Better Cloud Applications using Feedback Jürgen Cito, Philipp Leitner, Harald C. Gall, Aryan Dadashi, Anne Keller, and Andreas Roth (University of Zurich, Switzerland; SAP, Germany) @InProceedings{Onward!15p21, author = {Jürgen Cito and Philipp Leitner and Harald C. Gall and Aryan Dadashi and Anne Keller and Andreas Roth}, title = {Runtime Metric Meets Developer: Building Better Cloud Applications using Feedback}, booktitle = {Proc.\ Onward!}, publisher = {ACM}, pages = {21-20}, doi = {}, year = {2015}, } Article: onward15papers-onward15-papers-15-p (type: Full Paper (20 pages)) doi:
	De Koster, Joeri	Onward! '15: "Just-in-Time Data Structures ..." Just-in-Time Data Structures Mattias De Wael, Stefan Marr, Joeri De Koster, Jennifer B. Sartor, and Wolfgang De Meuter (Vrije Universiteit Brussel, Belgium; INRIA, France; Ghent University, Belgium) @InProceedings{Onward!15p81, author = {Mattias De Wael and Stefan Marr and Joeri De Koster and Jennifer B. Sartor and Wolfgang De Meuter}, title = {Just-in-Time Data Structures}, booktitle = {Proc.\ Onward!}, publisher = {ACM}, pages = {81-80}, doi = {}, year = {2015}, } Article: onward15papers-onward15-papers-14-p (type: Full Paper (20 pages)) doi:
	De Meuter, Wolfgang	Onward! '15: "Just-in-Time Data Structures ..." Just-in-Time Data Structures Mattias De Wael, Stefan Marr, Joeri De Koster, Jennifer B. Sartor, and Wolfgang De Meuter (Vrije Universiteit Brussel, Belgium; INRIA, France; Ghent University, Belgium) @InProceedings{Onward!15p81, author = {Mattias De Wael and Stefan Marr and Joeri De Koster and Jennifer B. Sartor and Wolfgang De Meuter}, title = {Just-in-Time Data Structures}, booktitle = {Proc.\ Onward!}, publisher = {ACM}, pages = {81-80}, doi = {}, year = {2015}, } Article: onward15papers-onward15-papers-14-p (type: Full Paper (20 pages)) doi:
	De Wael, Mattias	Onward! '15: "Just-in-Time Data Structures ..." Just-in-Time Data Structures Mattias De Wael, Stefan Marr, Joeri De Koster, Jennifer B. Sartor, and Wolfgang De Meuter (Vrije Universiteit Brussel, Belgium; INRIA, France; Ghent University, Belgium) @InProceedings{Onward!15p81, author = {Mattias De Wael and Stefan Marr and Joeri De Koster and Jennifer B. Sartor and Wolfgang De Meuter}, title = {Just-in-Time Data Structures}, booktitle = {Proc.\ Onward!}, publisher = {ACM}, pages = {81-80}, doi = {}, year = {2015}, } Article: onward15papers-onward15-papers-14-p (type: Full Paper (20 pages)) doi:
	Ducasse, Stéphane	Onward! '15: "A Bootstrapping Infrastructure ..." A Bootstrapping Infrastructure to Build and Extend Pharo-Like Languages Guillermo Polito, Stéphane Ducasse, Noury Bouraqadi, and Luc Fabresse (INRIA, France; École des Mines de Douai, France) @InProceedings{Onward!15p241, author = {Guillermo Polito and Stéphane Ducasse and Noury Bouraqadi and Luc Fabresse}, title = {A Bootstrapping Infrastructure to Build and Extend Pharo-Like Languages}, booktitle = {Proc.\ Onward!}, publisher = {ACM}, pages = {241-240}, doi = {}, year = {2015}, } Article: onward15papers-onward15-papers-23-p (type: Full Paper (20 pages)) doi: Onward! '15: "Virtualization Support for ..." Virtualization Support for Dynamic Core Library Update Guillermo Polito, Stéphane Ducasse, Noury Bouraqadi, Luc Fabresse, and Max Mattone (INRIA, France; École des Mines de Douai, France) @InProceedings{Onward!15p281, author = {Guillermo Polito and Stéphane Ducasse and Noury Bouraqadi and Luc Fabresse and Max Mattone}, title = {Virtualization Support for Dynamic Core Library Update}, booktitle = {Proc.\ Onward!}, publisher = {ACM}, pages = {281-280}, doi = {}, year = {2015}, } Article: onward15papers-onward15-papers-16-p (type: Full Paper (20 pages)) doi: Onward! '15: "Towards Fully Reflective Environments ..." Towards Fully Reflective Environments Guido Chari, Diego Garbervetsky, Stefan Marr, and Stéphane Ducasse (CONICET, Argentina; University of Buenos Aires, Argentina; INRIA, France) @InProceedings{Onward!15p321, author = {Guido Chari and Diego Garbervetsky and Stefan Marr and Stéphane Ducasse}, title = {Towards Fully Reflective Environments}, booktitle = {Proc.\ Onward!}, publisher = {ACM}, pages = {321-320}, doi = {}, year = {2015}, } Article: onward15papers-onward15-papers-36-p (type: Full Paper (20 pages)) doi:
	Erdweg, Sebastian	Onward! '15: "Type Systems for the Masses: ..." Type Systems for the Masses: Deriving Soundness Proofs and Efficient Checkers Sylvia Grewe, Sebastian Erdweg, Pascal Wittmann, and Mira Mezini (TU Darmstadt, Germany; Lancaster University, UK) @InProceedings{Onward!15p181, author = {Sylvia Grewe and Sebastian Erdweg and Pascal Wittmann and Mira Mezini}, title = {Type Systems for the Masses: Deriving Soundness Proofs and Efficient Checkers}, booktitle = {Proc.\ Onward!}, publisher = {ACM}, pages = {181-180}, doi = {}, year = {2015}, } Article: onward15papers-onward15-papers-31-p (type: Full Paper (20 pages)) doi: Onward! '15: "Towards Secure Integration ..." Towards Secure Integration of Cryptographic Software Steven Arzt, Sarah Nadi, Karim Ali, Eric Bodden, Sebastian Erdweg, and Mira Mezini (TU Darmstadt, Germany) @InProceedings{Onward!15p1, author = {Steven Arzt and Sarah Nadi and Karim Ali and Eric Bodden and Sebastian Erdweg and Mira Mezini}, title = {Towards Secure Integration of Cryptographic Software}, booktitle = {Proc.\ Onward!}, publisher = {ACM}, pages = {1-0}, doi = {}, year = {2015}, } Article: onward15papers-onward15-papers-6-p (type: Full Paper (20 pages)) doi:
	Eslamimehr, Mahdi	Onward! '15: "Constraints as a Design Pattern ..." Constraints as a Design Pattern Hesam Samimi, Alessandro Warth, Mahdi Eslamimehr, and Alan Borning (SAP Labs, USA; Viewpoints Research Institute, USA) @InProceedings{Onward!15p41, author = {Hesam Samimi and Alessandro Warth and Mahdi Eslamimehr and Alan Borning}, title = {Constraints as a Design Pattern}, booktitle = {Proc.\ Onward!}, publisher = {ACM}, pages = {41-40}, doi = {}, year = {2015}, } Article: onward15papers-onward15-papers-44-p (type: Full Paper (20 pages)) doi:
	Fabresse, Luc	Onward! '15: "A Bootstrapping Infrastructure ..." A Bootstrapping Infrastructure to Build and Extend Pharo-Like Languages Guillermo Polito, Stéphane Ducasse, Noury Bouraqadi, and Luc Fabresse (INRIA, France; École des Mines de Douai, France) @InProceedings{Onward!15p241, author = {Guillermo Polito and Stéphane Ducasse and Noury Bouraqadi and Luc Fabresse}, title = {A Bootstrapping Infrastructure to Build and Extend Pharo-Like Languages}, booktitle = {Proc.\ Onward!}, publisher = {ACM}, pages = {241-240}, doi = {}, year = {2015}, } Article: onward15papers-onward15-papers-23-p (type: Full Paper (20 pages)) doi: Onward! '15: "Virtualization Support for ..." Virtualization Support for Dynamic Core Library Update Guillermo Polito, Stéphane Ducasse, Noury Bouraqadi, Luc Fabresse, and Max Mattone (INRIA, France; École des Mines de Douai, France) @InProceedings{Onward!15p281, author = {Guillermo Polito and Stéphane Ducasse and Noury Bouraqadi and Luc Fabresse and Max Mattone}, title = {Virtualization Support for Dynamic Core Library Update}, booktitle = {Proc.\ Onward!}, publisher = {ACM}, pages = {281-280}, doi = {}, year = {2015}, } Article: onward15papers-onward15-papers-16-p (type: Full Paper (20 pages)) doi:
	Gall, Harald C.	Onward! '15: "Runtime Metric Meets Developer: ..." Runtime Metric Meets Developer: Building Better Cloud Applications using Feedback Jürgen Cito, Philipp Leitner, Harald C. Gall, Aryan Dadashi, Anne Keller, and Andreas Roth (University of Zurich, Switzerland; SAP, Germany) @InProceedings{Onward!15p21, author = {Jürgen Cito and Philipp Leitner and Harald C. Gall and Aryan Dadashi and Anne Keller and Andreas Roth}, title = {Runtime Metric Meets Developer: Building Better Cloud Applications using Feedback}, booktitle = {Proc.\ Onward!}, publisher = {ACM}, pages = {21-20}, doi = {}, year = {2015}, } Article: onward15papers-onward15-papers-15-p (type: Full Paper (20 pages)) doi:
	Garbervetsky, Diego	Onward! '15: "Towards Fully Reflective Environments ..." Towards Fully Reflective Environments Guido Chari, Diego Garbervetsky, Stefan Marr, and Stéphane Ducasse (CONICET, Argentina; University of Buenos Aires, Argentina; INRIA, France) @InProceedings{Onward!15p321, author = {Guido Chari and Diego Garbervetsky and Stefan Marr and Stéphane Ducasse}, title = {Towards Fully Reflective Environments}, booktitle = {Proc.\ Onward!}, publisher = {ACM}, pages = {321-320}, doi = {}, year = {2015}, } Article: onward15papers-onward15-papers-36-p (type: Full Paper (20 pages)) doi:
	Gillick, Amy	Onward! '15: "Musiplectics: Computational ..." Musiplectics: Computational Assessment of the Complexity of Music Scores Ethan Holder, Eli Tilevich, and Amy Gillick (Virginia Tech, USA) @InProceedings{Onward!15p141, author = {Ethan Holder and Eli Tilevich and Amy Gillick}, title = {Musiplectics: Computational Assessment of the Complexity of Music Scores}, booktitle = {Proc.\ Onward!}, publisher = {ACM}, pages = {141-140}, doi = {}, year = {2015}, } Article: onward15papers-onward15-papers-40-p (type: Full Paper (20 pages)) doi:
	Gîrba, Tudor	Onward! '15: "The Moldable Inspector ..." The Moldable Inspector Andrei Chiş, Oscar Nierstrasz, Aliaksei Syrel, and Tudor Gîrba (University of Bern, Switzerland; tudorgirba.com, Switzerland) @InProceedings{Onward!15p61, author = {Andrei Chiş and Oscar Nierstrasz and Aliaksei Syrel and Tudor Gîrba}, title = {The Moldable Inspector}, booktitle = {Proc.\ Onward!}, publisher = {ACM}, pages = {61-60}, doi = {}, year = {2015}, } Article: onward15papers-onward15-papers-18-p (type: Full Paper (20 pages)) doi:
	Grewe, Sylvia	Onward! '15: "Type Systems for the Masses: ..." Type Systems for the Masses: Deriving Soundness Proofs and Efficient Checkers Sylvia Grewe, Sebastian Erdweg, Pascal Wittmann, and Mira Mezini (TU Darmstadt, Germany; Lancaster University, UK) @InProceedings{Onward!15p181, author = {Sylvia Grewe and Sebastian Erdweg and Pascal Wittmann and Mira Mezini}, title = {Type Systems for the Masses: Deriving Soundness Proofs and Efficient Checkers}, booktitle = {Proc.\ Onward!}, publisher = {ACM}, pages = {181-180}, doi = {}, year = {2015}, } Article: onward15papers-onward15-papers-31-p (type: Full Paper (20 pages)) doi:
	Henning, Johannes	Onward! '15: "Columnar Objects: Improving ..." Columnar Objects: Improving the Performance of Analytical Applications Toni Mattis, Johannes Henning, Patrick Rein, Robert Hirschfeld, and Malte Appeltauer (HPI, Germany; SAP, Germany) @InProceedings{Onward!15p261, author = {Toni Mattis and Johannes Henning and Patrick Rein and Robert Hirschfeld and Malte Appeltauer}, title = {Columnar Objects: Improving the Performance of Analytical Applications}, booktitle = {Proc.\ Onward!}, publisher = {ACM}, pages = {261-260}, doi = {}, year = {2015}, } Article: onward15papers-onward15-papers-8-p (type: Full Paper (20 pages)) doi:
	Hirschfeld, Robert	Onward! '15: "Columnar Objects: Improving ..." Columnar Objects: Improving the Performance of Analytical Applications Toni Mattis, Johannes Henning, Patrick Rein, Robert Hirschfeld, and Malte Appeltauer (HPI, Germany; SAP, Germany) @InProceedings{Onward!15p261, author = {Toni Mattis and Johannes Henning and Patrick Rein and Robert Hirschfeld and Malte Appeltauer}, title = {Columnar Objects: Improving the Performance of Analytical Applications}, booktitle = {Proc.\ Onward!}, publisher = {ACM}, pages = {261-260}, doi = {}, year = {2015}, } Article: onward15papers-onward15-papers-8-p (type: Full Paper (20 pages)) doi:
	Holder, Ethan	Onward! '15: "Musiplectics: Computational ..." Musiplectics: Computational Assessment of the Complexity of Music Scores Ethan Holder, Eli Tilevich, and Amy Gillick (Virginia Tech, USA) @InProceedings{Onward!15p141, author = {Ethan Holder and Eli Tilevich and Amy Gillick}, title = {Musiplectics: Computational Assessment of the Complexity of Music Scores}, booktitle = {Proc.\ Onward!}, publisher = {ACM}, pages = {141-140}, doi = {}, year = {2015}, } Article: onward15papers-onward15-papers-40-p (type: Full Paper (20 pages)) doi:
	Izmaylova, Anastasia	Onward! '15: "One Parser to Rule Them All ..." One Parser to Rule Them All Ali Afroozeh and Anastasia Izmaylova (CWI, Netherlands) @InProceedings{Onward!15p201, author = {Ali Afroozeh and Anastasia Izmaylova}, title = {One Parser to Rule Them All}, booktitle = {Proc.\ Onward!}, publisher = {ACM}, pages = {201-200}, doi = {}, year = {2015}, } Article: onward15papers-onward15-papers-37-p (type: Full Paper (20 pages)) doi:
	Jackson, Daniel	Onward! '15: "Towards a Theory of Conceptual ..." Towards a Theory of Conceptual Design for Software Daniel Jackson (Massachusetts Institute of Technology, USA) @InProceedings{Onward!15p381, author = {Daniel Jackson}, title = {Towards a Theory of Conceptual Design for Software}, booktitle = {Proc.\ Onward!}, publisher = {ACM}, pages = {381-380}, doi = {}, year = {2015}, } Article: onward15essays-essays5-p (type: Full Paper (20 pages)) doi:
	Kay, Alan	Onward! '15: "The Cuneiform Tablets of 2015 ..." The Cuneiform Tablets of 2015 Long Tien Nguyen and Alan Kay (University of California at Los Angeles, USA; Viewpoints Research Institute, USA) @InProceedings{Onward!15p401, author = {Long Tien Nguyen and Alan Kay}, title = {The Cuneiform Tablets of 2015}, booktitle = {Proc.\ Onward!}, publisher = {ACM}, pages = {401-400}, doi = {}, year = {2015}, } Article: onward15essays-essays9-p (type: Full Paper (20 pages)) doi:
	Kell, Stephen	Onward! '15: "Towards a Dynamic Object Model ..." Towards a Dynamic Object Model within Unix Processes Stephen Kell (University of Cambridge, UK) @InProceedings{Onward!15p301, author = {Stephen Kell}, title = {Towards a Dynamic Object Model within Unix Processes}, booktitle = {Proc.\ Onward!}, publisher = {ACM}, pages = {301-300}, doi = {}, year = {2015}, } Article: onward15papers-onward15-papers-30-p (type: Full Paper (20 pages)) doi:
	Keller, Anne	Onward! '15: "Runtime Metric Meets Developer: ..." Runtime Metric Meets Developer: Building Better Cloud Applications using Feedback Jürgen Cito, Philipp Leitner, Harald C. Gall, Aryan Dadashi, Anne Keller, and Andreas Roth (University of Zurich, Switzerland; SAP, Germany) @InProceedings{Onward!15p21, author = {Jürgen Cito and Philipp Leitner and Harald C. Gall and Aryan Dadashi and Anne Keller and Andreas Roth}, title = {Runtime Metric Meets Developer: Building Better Cloud Applications using Feedback}, booktitle = {Proc.\ Onward!}, publisher = {ACM}, pages = {21-20}, doi = {}, year = {2015}, } Article: onward15papers-onward15-papers-15-p (type: Full Paper (20 pages)) doi:
	Krishnamurthi, Shriram	Onward! '15: "Slimming Languages by Reducing ..." Slimming Languages by Reducing Sugar: A Case for Semantics-Altering Transformations Junsong Li, Justin Pombrio, Joe Gibbs Politz, and Shriram Krishnamurthi (Brown University, USA) @InProceedings{Onward!15p121, author = {Junsong Li and Justin Pombrio and Joe Gibbs Politz and Shriram Krishnamurthi}, title = {Slimming Languages by Reducing Sugar: A Case for Semantics-Altering Transformations}, booktitle = {Proc.\ Onward!}, publisher = {ACM}, pages = {121-120}, doi = {}, year = {2015}, } Article: onward15papers-onward15-papers-32-p (type: Full Paper (20 pages)) doi:
	Leitner, Philipp	Onward! '15: "Runtime Metric Meets Developer: ..." Runtime Metric Meets Developer: Building Better Cloud Applications using Feedback Jürgen Cito, Philipp Leitner, Harald C. Gall, Aryan Dadashi, Anne Keller, and Andreas Roth (University of Zurich, Switzerland; SAP, Germany) @InProceedings{Onward!15p21, author = {Jürgen Cito and Philipp Leitner and Harald C. Gall and Aryan Dadashi and Anne Keller and Andreas Roth}, title = {Runtime Metric Meets Developer: Building Better Cloud Applications using Feedback}, booktitle = {Proc.\ Onward!}, publisher = {ACM}, pages = {21-20}, doi = {}, year = {2015}, } Article: onward15papers-onward15-papers-15-p (type: Full Paper (20 pages)) doi:
	Li, Junsong	Onward! '15: "Slimming Languages by Reducing ..." Slimming Languages by Reducing Sugar: A Case for Semantics-Altering Transformations Junsong Li, Justin Pombrio, Joe Gibbs Politz, and Shriram Krishnamurthi (Brown University, USA) @InProceedings{Onward!15p121, author = {Junsong Li and Justin Pombrio and Joe Gibbs Politz and Shriram Krishnamurthi}, title = {Slimming Languages by Reducing Sugar: A Case for Semantics-Altering Transformations}, booktitle = {Proc.\ Onward!}, publisher = {ACM}, pages = {121-120}, doi = {}, year = {2015}, } Article: onward15papers-onward15-papers-32-p (type: Full Paper (20 pages)) doi:
	Lorenz, David H.	Onward! '15: "Separation of Powers in the ..." Separation of Powers in the Cloud: Where Applications and Users Become Peers David H. Lorenz and Boaz Rosenan (Open University, Israel; Technion, Israel; University of Haifa, Israel) @InProceedings{Onward!15p101, author = {David H. Lorenz and Boaz Rosenan}, title = {Separation of Powers in the Cloud: Where Applications and Users Become Peers}, booktitle = {Proc.\ Onward!}, publisher = {ACM}, pages = {101-100}, doi = {}, year = {2015}, } Article: onward15papers-onward15-papers-25-p (type: Full Paper (20 pages)) doi:
	Marr, Stefan	Onward! '15: "Towards Fully Reflective Environments ..." Towards Fully Reflective Environments Guido Chari, Diego Garbervetsky, Stefan Marr, and Stéphane Ducasse (CONICET, Argentina; University of Buenos Aires, Argentina; INRIA, France) @InProceedings{Onward!15p321, author = {Guido Chari and Diego Garbervetsky and Stefan Marr and Stéphane Ducasse}, title = {Towards Fully Reflective Environments}, booktitle = {Proc.\ Onward!}, publisher = {ACM}, pages = {321-320}, doi = {}, year = {2015}, } Article: onward15papers-onward15-papers-36-p (type: Full Paper (20 pages)) doi: Onward! '15: "Just-in-Time Data Structures ..." Just-in-Time Data Structures Mattias De Wael, Stefan Marr, Joeri De Koster, Jennifer B. Sartor, and Wolfgang De Meuter (Vrije Universiteit Brussel, Belgium; INRIA, France; Ghent University, Belgium) @InProceedings{Onward!15p81, author = {Mattias De Wael and Stefan Marr and Joeri De Koster and Jennifer B. Sartor and Wolfgang De Meuter}, title = {Just-in-Time Data Structures}, booktitle = {Proc.\ Onward!}, publisher = {ACM}, pages = {81-80}, doi = {}, year = {2015}, } Article: onward15papers-onward15-papers-14-p (type: Full Paper (20 pages)) doi:
	Mattis, Toni	Onward! '15: "Columnar Objects: Improving ..." Columnar Objects: Improving the Performance of Analytical Applications Toni Mattis, Johannes Henning, Patrick Rein, Robert Hirschfeld, and Malte Appeltauer (HPI, Germany; SAP, Germany) @InProceedings{Onward!15p261, author = {Toni Mattis and Johannes Henning and Patrick Rein and Robert Hirschfeld and Malte Appeltauer}, title = {Columnar Objects: Improving the Performance of Analytical Applications}, booktitle = {Proc.\ Onward!}, publisher = {ACM}, pages = {261-260}, doi = {}, year = {2015}, } Article: onward15papers-onward15-papers-8-p (type: Full Paper (20 pages)) doi:
	Mattone, Max	Onward! '15: "Virtualization Support for ..." Virtualization Support for Dynamic Core Library Update Guillermo Polito, Stéphane Ducasse, Noury Bouraqadi, Luc Fabresse, and Max Mattone (INRIA, France; École des Mines de Douai, France) @InProceedings{Onward!15p281, author = {Guillermo Polito and Stéphane Ducasse and Noury Bouraqadi and Luc Fabresse and Max Mattone}, title = {Virtualization Support for Dynamic Core Library Update}, booktitle = {Proc.\ Onward!}, publisher = {ACM}, pages = {281-280}, doi = {}, year = {2015}, } Article: onward15papers-onward15-papers-16-p (type: Full Paper (20 pages)) doi:
	Mezini, Mira	Onward! '15: "Type Systems for the Masses: ..." Type Systems for the Masses: Deriving Soundness Proofs and Efficient Checkers Sylvia Grewe, Sebastian Erdweg, Pascal Wittmann, and Mira Mezini (TU Darmstadt, Germany; Lancaster University, UK) @InProceedings{Onward!15p181, author = {Sylvia Grewe and Sebastian Erdweg and Pascal Wittmann and Mira Mezini}, title = {Type Systems for the Masses: Deriving Soundness Proofs and Efficient Checkers}, booktitle = {Proc.\ Onward!}, publisher = {ACM}, pages = {181-180}, doi = {}, year = {2015}, } Article: onward15papers-onward15-papers-31-p (type: Full Paper (20 pages)) doi: Onward! '15: "Towards Secure Integration ..." Towards Secure Integration of Cryptographic Software Steven Arzt, Sarah Nadi, Karim Ali, Eric Bodden, Sebastian Erdweg, and Mira Mezini (TU Darmstadt, Germany) @InProceedings{Onward!15p1, author = {Steven Arzt and Sarah Nadi and Karim Ali and Eric Bodden and Sebastian Erdweg and Mira Mezini}, title = {Towards Secure Integration of Cryptographic Software}, booktitle = {Proc.\ Onward!}, publisher = {ACM}, pages = {1-0}, doi = {}, year = {2015}, } Article: onward15papers-onward15-papers-6-p (type: Full Paper (20 pages)) doi:
	Nadi, Sarah	Onward! '15: "Towards Secure Integration ..." Towards Secure Integration of Cryptographic Software Steven Arzt, Sarah Nadi, Karim Ali, Eric Bodden, Sebastian Erdweg, and Mira Mezini (TU Darmstadt, Germany) @InProceedings{Onward!15p1, author = {Steven Arzt and Sarah Nadi and Karim Ali and Eric Bodden and Sebastian Erdweg and Mira Mezini}, title = {Towards Secure Integration of Cryptographic Software}, booktitle = {Proc.\ Onward!}, publisher = {ACM}, pages = {1-0}, doi = {}, year = {2015}, } Article: onward15papers-onward15-papers-6-p (type: Full Paper (20 pages)) doi:
	Nguyen, Long Tien	Onward! '15: "The Cuneiform Tablets of 2015 ..." The Cuneiform Tablets of 2015 Long Tien Nguyen and Alan Kay (University of California at Los Angeles, USA; Viewpoints Research Institute, USA) @InProceedings{Onward!15p401, author = {Long Tien Nguyen and Alan Kay}, title = {The Cuneiform Tablets of 2015}, booktitle = {Proc.\ Onward!}, publisher = {ACM}, pages = {401-400}, doi = {}, year = {2015}, } Article: onward15essays-essays9-p (type: Full Paper (20 pages)) doi:
	Nierstrasz, Oscar	Onward! '15: "The Moldable Inspector ..." The Moldable Inspector Andrei Chiş, Oscar Nierstrasz, Aliaksei Syrel, and Tudor Gîrba (University of Bern, Switzerland; tudorgirba.com, Switzerland) @InProceedings{Onward!15p61, author = {Andrei Chiş and Oscar Nierstrasz and Aliaksei Syrel and Tudor Gîrba}, title = {The Moldable Inspector}, booktitle = {Proc.\ Onward!}, publisher = {ACM}, pages = {61-60}, doi = {}, year = {2015}, } Article: onward15papers-onward15-papers-18-p (type: Full Paper (20 pages)) doi:
	Odersky, Martin	Onward! '15: "Isolates, Channels, and Event ..." Isolates, Channels, and Event Streams for Composable Distributed Programming Aleksandar Prokopec and Martin Odersky (EPFL, Switzerland) @InProceedings{Onward!15p221, author = {Aleksandar Prokopec and Martin Odersky}, title = {Isolates, Channels, and Event Streams for Composable Distributed Programming}, booktitle = {Proc.\ Onward!}, publisher = {ACM}, pages = {221-220}, doi = {}, year = {2015}, } Article: onward15papers-onward15-papers-45-p (type: Full Paper (20 pages)) doi:
	Petricek, Tomas	Onward! '15: "Against a Universal Definition ..." Against a Universal Definition of 'Type' Tomas Petricek (University of Cambridge, UK) @InProceedings{Onward!15p341, author = {Tomas Petricek}, title = {Against a Universal Definition of 'Type'}, booktitle = {Proc.\ Onward!}, publisher = {ACM}, pages = {341-340}, doi = {}, year = {2015}, } Article: onward15essays-essays8-p (type: Full Paper (20 pages)) doi:
	Polito, Guillermo	Onward! '15: "A Bootstrapping Infrastructure ..." A Bootstrapping Infrastructure to Build and Extend Pharo-Like Languages Guillermo Polito, Stéphane Ducasse, Noury Bouraqadi, and Luc Fabresse (INRIA, France; École des Mines de Douai, France) @InProceedings{Onward!15p241, author = {Guillermo Polito and Stéphane Ducasse and Noury Bouraqadi and Luc Fabresse}, title = {A Bootstrapping Infrastructure to Build and Extend Pharo-Like Languages}, booktitle = {Proc.\ Onward!}, publisher = {ACM}, pages = {241-240}, doi = {}, year = {2015}, } Article: onward15papers-onward15-papers-23-p (type: Full Paper (20 pages)) doi: Onward! '15: "Virtualization Support for ..." Virtualization Support for Dynamic Core Library Update Guillermo Polito, Stéphane Ducasse, Noury Bouraqadi, Luc Fabresse, and Max Mattone (INRIA, France; École des Mines de Douai, France) @InProceedings{Onward!15p281, author = {Guillermo Polito and Stéphane Ducasse and Noury Bouraqadi and Luc Fabresse and Max Mattone}, title = {Virtualization Support for Dynamic Core Library Update}, booktitle = {Proc.\ Onward!}, publisher = {ACM}, pages = {281-280}, doi = {}, year = {2015}, } Article: onward15papers-onward15-papers-16-p (type: Full Paper (20 pages)) doi:
	Politz, Joe Gibbs	Onward! '15: "Slimming Languages by Reducing ..." Slimming Languages by Reducing Sugar: A Case for Semantics-Altering Transformations Junsong Li, Justin Pombrio, Joe Gibbs Politz, and Shriram Krishnamurthi (Brown University, USA) @InProceedings{Onward!15p121, author = {Junsong Li and Justin Pombrio and Joe Gibbs Politz and Shriram Krishnamurthi}, title = {Slimming Languages by Reducing Sugar: A Case for Semantics-Altering Transformations}, booktitle = {Proc.\ Onward!}, publisher = {ACM}, pages = {121-120}, doi = {}, year = {2015}, } Article: onward15papers-onward15-papers-32-p (type: Full Paper (20 pages)) doi:
	Pombrio, Justin	Onward! '15: "Slimming Languages by Reducing ..." Slimming Languages by Reducing Sugar: A Case for Semantics-Altering Transformations Junsong Li, Justin Pombrio, Joe Gibbs Politz, and Shriram Krishnamurthi (Brown University, USA) @InProceedings{Onward!15p121, author = {Junsong Li and Justin Pombrio and Joe Gibbs Politz and Shriram Krishnamurthi}, title = {Slimming Languages by Reducing Sugar: A Case for Semantics-Altering Transformations}, booktitle = {Proc.\ Onward!}, publisher = {ACM}, pages = {121-120}, doi = {}, year = {2015}, } Article: onward15papers-onward15-papers-32-p (type: Full Paper (20 pages)) doi:
	Prokopec, Aleksandar	Onward! '15: "Isolates, Channels, and Event ..." Isolates, Channels, and Event Streams for Composable Distributed Programming Aleksandar Prokopec and Martin Odersky (EPFL, Switzerland) @InProceedings{Onward!15p221, author = {Aleksandar Prokopec and Martin Odersky}, title = {Isolates, Channels, and Event Streams for Composable Distributed Programming}, booktitle = {Proc.\ Onward!}, publisher = {ACM}, pages = {221-220}, doi = {}, year = {2015}, } Article: onward15papers-onward15-papers-45-p (type: Full Paper (20 pages)) doi:
	Rein, Patrick	Onward! '15: "Columnar Objects: Improving ..." Columnar Objects: Improving the Performance of Analytical Applications Toni Mattis, Johannes Henning, Patrick Rein, Robert Hirschfeld, and Malte Appeltauer (HPI, Germany; SAP, Germany) @InProceedings{Onward!15p261, author = {Toni Mattis and Johannes Henning and Patrick Rein and Robert Hirschfeld and Malte Appeltauer}, title = {Columnar Objects: Improving the Performance of Analytical Applications}, booktitle = {Proc.\ Onward!}, publisher = {ACM}, pages = {261-260}, doi = {}, year = {2015}, } Article: onward15papers-onward15-papers-8-p (type: Full Paper (20 pages)) doi:
	Rosenan, Boaz	Onward! '15: "Separation of Powers in the ..." Separation of Powers in the Cloud: Where Applications and Users Become Peers David H. Lorenz and Boaz Rosenan (Open University, Israel; Technion, Israel; University of Haifa, Israel) @InProceedings{Onward!15p101, author = {David H. Lorenz and Boaz Rosenan}, title = {Separation of Powers in the Cloud: Where Applications and Users Become Peers}, booktitle = {Proc.\ Onward!}, publisher = {ACM}, pages = {101-100}, doi = {}, year = {2015}, } Article: onward15papers-onward15-papers-25-p (type: Full Paper (20 pages)) doi:
	Roth, Andreas	Onward! '15: "Runtime Metric Meets Developer: ..." Runtime Metric Meets Developer: Building Better Cloud Applications using Feedback Jürgen Cito, Philipp Leitner, Harald C. Gall, Aryan Dadashi, Anne Keller, and Andreas Roth (University of Zurich, Switzerland; SAP, Germany) @InProceedings{Onward!15p21, author = {Jürgen Cito and Philipp Leitner and Harald C. Gall and Aryan Dadashi and Anne Keller and Andreas Roth}, title = {Runtime Metric Meets Developer: Building Better Cloud Applications using Feedback}, booktitle = {Proc.\ Onward!}, publisher = {ACM}, pages = {21-20}, doi = {}, year = {2015}, } Article: onward15papers-onward15-papers-15-p (type: Full Paper (20 pages)) doi:
	Samimi, Hesam	Onward! '15: "Constraints as a Design Pattern ..." Constraints as a Design Pattern Hesam Samimi, Alessandro Warth, Mahdi Eslamimehr, and Alan Borning (SAP Labs, USA; Viewpoints Research Institute, USA) @InProceedings{Onward!15p41, author = {Hesam Samimi and Alessandro Warth and Mahdi Eslamimehr and Alan Borning}, title = {Constraints as a Design Pattern}, booktitle = {Proc.\ Onward!}, publisher = {ACM}, pages = {41-40}, doi = {}, year = {2015}, } Article: onward15papers-onward15-papers-44-p (type: Full Paper (20 pages)) doi:
	Sartor, Jennifer B.	Onward! '15: "Just-in-Time Data Structures ..." Just-in-Time Data Structures Mattias De Wael, Stefan Marr, Joeri De Koster, Jennifer B. Sartor, and Wolfgang De Meuter (Vrije Universiteit Brussel, Belgium; INRIA, France; Ghent University, Belgium) @InProceedings{Onward!15p81, author = {Mattias De Wael and Stefan Marr and Joeri De Koster and Jennifer B. Sartor and Wolfgang De Meuter}, title = {Just-in-Time Data Structures}, booktitle = {Proc.\ Onward!}, publisher = {ACM}, pages = {81-80}, doi = {}, year = {2015}, } Article: onward15papers-onward15-papers-14-p (type: Full Paper (20 pages)) doi:
	Syrel, Aliaksei	Onward! '15: "The Moldable Inspector ..." The Moldable Inspector Andrei Chiş, Oscar Nierstrasz, Aliaksei Syrel, and Tudor Gîrba (University of Bern, Switzerland; tudorgirba.com, Switzerland) @InProceedings{Onward!15p61, author = {Andrei Chiş and Oscar Nierstrasz and Aliaksei Syrel and Tudor Gîrba}, title = {The Moldable Inspector}, booktitle = {Proc.\ Onward!}, publisher = {ACM}, pages = {61-60}, doi = {}, year = {2015}, } Article: onward15papers-onward15-papers-18-p (type: Full Paper (20 pages)) doi:
	Tilevich, Eli	Onward! '15: "Musiplectics: Computational ..." Musiplectics: Computational Assessment of the Complexity of Music Scores Ethan Holder, Eli Tilevich, and Amy Gillick (Virginia Tech, USA) @InProceedings{Onward!15p141, author = {Ethan Holder and Eli Tilevich and Amy Gillick}, title = {Musiplectics: Computational Assessment of the Complexity of Music Scores}, booktitle = {Proc.\ Onward!}, publisher = {ACM}, pages = {141-140}, doi = {}, year = {2015}, } Article: onward15papers-onward15-papers-40-p (type: Full Paper (20 pages)) doi:
	Torlak, Emina	Onward! '15: "Toward Tool Support for Interactive ..." Toward Tool Support for Interactive Synthesis Shaon Barman, Rastislav Bodik, Satish Chandra, Emina Torlak, Arka Bhattacharya, and David Culler (University of California at Berkeley, USA; University of Washington, USA; Samsung Research, USA) @InProceedings{Onward!15p161, author = {Shaon Barman and Rastislav Bodik and Satish Chandra and Emina Torlak and Arka Bhattacharya and David Culler}, title = {Toward Tool Support for Interactive Synthesis}, booktitle = {Proc.\ Onward!}, publisher = {ACM}, pages = {161-160}, doi = {}, year = {2015}, } Article: onward15papers-onward15-papers-21-p (type: Full Paper (20 pages)) doi:
	Warth, Alessandro	Onward! '15: "Constraints as a Design Pattern ..." Constraints as a Design Pattern Hesam Samimi, Alessandro Warth, Mahdi Eslamimehr, and Alan Borning (SAP Labs, USA; Viewpoints Research Institute, USA) @InProceedings{Onward!15p41, author = {Hesam Samimi and Alessandro Warth and Mahdi Eslamimehr and Alan Borning}, title = {Constraints as a Design Pattern}, booktitle = {Proc.\ Onward!}, publisher = {ACM}, pages = {41-40}, doi = {}, year = {2015}, } Article: onward15papers-onward15-papers-44-p (type: Full Paper (20 pages)) doi:
	West, David M.	Onward! '15: "The Cuban Software Revolution: ..." The Cuban Software Revolution: 2016–2025 David M. West (Transcendence, USA) @InProceedings{Onward!15p361, author = {David M. West}, title = {The Cuban Software Revolution: 2016–2025}, booktitle = {Proc.\ Onward!}, publisher = {ACM}, pages = {361-360}, doi = {}, year = {2015}, } Article: onward15essays-essays3-p (type: Full Paper (20 pages)) doi:
	Wittmann, Pascal	Onward! '15: "Type Systems for the Masses: ..." Type Systems for the Masses: Deriving Soundness Proofs and Efficient Checkers Sylvia Grewe, Sebastian Erdweg, Pascal Wittmann, and Mira Mezini (TU Darmstadt, Germany; Lancaster University, UK) @InProceedings{Onward!15p181, author = {Sylvia Grewe and Sebastian Erdweg and Pascal Wittmann and Mira Mezini}, title = {Type Systems for the Masses: Deriving Soundness Proofs and Efficient Checkers}, booktitle = {Proc.\ Onward!}, publisher = {ACM}, pages = {181-180}, doi = {}, year = {2015}, } Article: onward15papers-onward15-papers-31-p (type: Full Paper (20 pages)) doi:

72 authors

proc time: 0.07