B J K M P S T V

	Blanc, Régis	SCALA '15: "Sound Reasoning about Integral ..." Sound Reasoning about Integral Data Types with a Reusable SMT Solver Interface Régis Blanc and Viktor Kuncak (EPFL, Switzerland) @InProceedings{SCALA15p35, author = {Régis Blanc and Viktor Kuncak}, title = {Sound Reasoning about Integral Data Types with a Reusable SMT Solver Interface}, booktitle = {Proc.\ SCALA}, publisher = {ACM}, pages = {35-34}, doi = {}, year = {2015}, }
	Jonnalagedda, Manohar	SCALA '15: "Fold-Based Fusion as a Library: ..." Fold-Based Fusion as a Library: A Generative Programming Pearl Manohar Jonnalagedda and Sandro Stucki (EPFL, Switzerland) @InProceedings{SCALA15p41, author = {Manohar Jonnalagedda and Sandro Stucki}, title = {Fold-Based Fusion as a Library: A Generative Programming Pearl}, booktitle = {Proc.\ SCALA}, publisher = {ACM}, pages = {41-40}, doi = {}, year = {2015}, }
	Kneuss, Etienne	SCALA '15: "Counter-Example Complete Verification ..." Counter-Example Complete Verification for Higher-Order Functions Nicolas Voirol, Etienne Kneuss, and Viktor Kuncak (EPFL, Switzerland) @InProceedings{SCALA15p18, author = {Nicolas Voirol and Etienne Kneuss and Viktor Kuncak}, title = {Counter-Example Complete Verification for Higher-Order Functions}, booktitle = {Proc.\ SCALA}, publisher = {ACM}, pages = {18-17}, doi = {}, year = {2015}, }
	Kuncak, Viktor	SCALA '15: "Counter-Example Complete Verification ..." Counter-Example Complete Verification for Higher-Order Functions Nicolas Voirol, Etienne Kneuss, and Viktor Kuncak (EPFL, Switzerland) @InProceedings{SCALA15p18, author = {Nicolas Voirol and Etienne Kneuss and Viktor Kuncak}, title = {Counter-Example Complete Verification for Higher-Order Functions}, booktitle = {Proc.\ SCALA}, publisher = {ACM}, pages = {18-17}, doi = {}, year = {2015}, } SCALA '15: "Sound Reasoning about Integral ..." Sound Reasoning about Integral Data Types with a Reusable SMT Solver Interface Régis Blanc and Viktor Kuncak (EPFL, Switzerland) @InProceedings{SCALA15p35, author = {Régis Blanc and Viktor Kuncak}, title = {Sound Reasoning about Integral Data Types with a Reusable SMT Solver Interface}, booktitle = {Proc.\ SCALA}, publisher = {ACM}, pages = {35-34}, doi = {}, year = {2015}, }
	Métrailler, Christopher	SCALA '15: "ESPeciaL: An Embedded Systems ..." ESPeciaL: An Embedded Systems Programming Language Christopher Métrailler and Pierre-André Mudry (University of Applied Sciences Western Switzerland, Switzerland) @InProceedings{SCALA15p53, author = {Christopher Métrailler and Pierre-André Mudry}, title = {ESPeciaL: An Embedded Systems Programming Language}, booktitle = {Proc.\ SCALA}, publisher = {ACM}, pages = {53-52}, doi = {}, year = {2015}, }
	Milthorpe, Josh	SCALA '15: "Distributed Programming in ..." Distributed Programming in Scala with APGAS Philippe Suter, Olivier Tardieu, and Josh Milthorpe (IBM Research, USA) @InProceedings{SCALA15p13, author = {Philippe Suter and Olivier Tardieu and Josh Milthorpe}, title = {Distributed Programming in Scala with APGAS}, booktitle = {Proc.\ SCALA}, publisher = {ACM}, pages = {13-12}, doi = {}, year = {2015}, }
	Mudry, Pierre-André	SCALA '15: "ESPeciaL: An Embedded Systems ..." ESPeciaL: An Embedded Systems Programming Language Christopher Métrailler and Pierre-André Mudry (University of Applied Sciences Western Switzerland, Switzerland) @InProceedings{SCALA15p53, author = {Christopher Métrailler and Pierre-André Mudry}, title = {ESPeciaL: An Embedded Systems Programming Language}, booktitle = {Proc.\ SCALA}, publisher = {ACM}, pages = {53-52}, doi = {}, year = {2015}, }
	Prémont, Patrick	SCALA '15: "Referential Integrity with ..." Referential Integrity with Scala Types Patrick Prémont (BoldRadius Solutions, Canada) @InProceedings{SCALA15p30, author = {Patrick Prémont}, title = {Referential Integrity with Scala Types}, booktitle = {Proc.\ SCALA}, publisher = {ACM}, pages = {30-29}, doi = {}, year = {2015}, }
	Prokopec, Aleksandar	SCALA '15: "SnapQueue: Lock-Free Queue ..." SnapQueue: Lock-Free Queue with Constant Time Snapshots Aleksandar Prokopec (EPFL, Switzerland) @InProceedings{SCALA15p1, author = {Aleksandar Prokopec}, title = {SnapQueue: Lock-Free Queue with Constant Time Snapshots}, booktitle = {Proc.\ SCALA}, publisher = {ACM}, pages = {1-0}, doi = {}, year = {2015}, }
	Stucki, Sandro	SCALA '15: "Fold-Based Fusion as a Library: ..." Fold-Based Fusion as a Library: A Generative Programming Pearl Manohar Jonnalagedda and Sandro Stucki (EPFL, Switzerland) @InProceedings{SCALA15p41, author = {Manohar Jonnalagedda and Sandro Stucki}, title = {Fold-Based Fusion as a Library: A Generative Programming Pearl}, booktitle = {Proc.\ SCALA}, publisher = {ACM}, pages = {41-40}, doi = {}, year = {2015}, }
	Suter, Philippe	SCALA '15: "Distributed Programming in ..." Distributed Programming in Scala with APGAS Philippe Suter, Olivier Tardieu, and Josh Milthorpe (IBM Research, USA) @InProceedings{SCALA15p13, author = {Philippe Suter and Olivier Tardieu and Josh Milthorpe}, title = {Distributed Programming in Scala with APGAS}, booktitle = {Proc.\ SCALA}, publisher = {ACM}, pages = {13-12}, doi = {}, year = {2015}, }
	Tardieu, Olivier	SCALA '15: "Distributed Programming in ..." Distributed Programming in Scala with APGAS Philippe Suter, Olivier Tardieu, and Josh Milthorpe (IBM Research, USA) @InProceedings{SCALA15p13, author = {Philippe Suter and Olivier Tardieu and Josh Milthorpe}, title = {Distributed Programming in Scala with APGAS}, booktitle = {Proc.\ SCALA}, publisher = {ACM}, pages = {13-12}, doi = {}, year = {2015}, }
	Voirol, Nicolas	SCALA '15: "Counter-Example Complete Verification ..." Counter-Example Complete Verification for Higher-Order Functions Nicolas Voirol, Etienne Kneuss, and Viktor Kuncak (EPFL, Switzerland) @InProceedings{SCALA15p18, author = {Nicolas Voirol and Etienne Kneuss and Viktor Kuncak}, title = {Counter-Example Complete Verification for Higher-Order Functions}, booktitle = {Proc.\ SCALA}, publisher = {ACM}, pages = {18-17}, doi = {}, year = {2015}, }

14 authors

proc time: 0.75