Program - Onward! 2015

Filter

Badges

Your Program

Time Zone

The program is currently displayed in (GMT-04:00) Eastern Time (US & Canada).

Use conference time zone: (GMT-04:00) Eastern Time (US & Canada)Select other time zone

Time Band

By setting a time band, the program will dim events that are outside this time window. This is useful for (virtual) conferences with a continuous program (with repeated sessions).
The time band will also limit the events that are included in the personal iCalendar subscription service.

Display full programSpecify a time band

Save

You're viewing the program in a time zone which is different from your device's time zone - change time zone

Wed 28 Oct
Times are displayed in time zone: (GMT-04:00) Eastern Time (US & Canada) change

	13:30 - 15:00: Session the FirstOnward! Papers at Grand Station 2 Chair(s): Stéphane DucasseINRIA, France

	13:30 - 13:52 Talk		Towards Secure Integration of Cryptographic Software Onward! Papers Steven ArztTU Darmstadt, Sarah NadiTechnische Universität Darmstadt, Karim AliTU Darmstadt, Sebastian ErdwegTU Darmstadt, Germany, Eric BoddenFraunhofer SIT and TU Darmstadt, Mira MeziniTU Darmstadt Link to publication DOI Media Attached
	13:52 - 14:15 Talk		Runtime Metric Meets Developer - Building Better Cloud Applications Using Feedback Onward! Papers Jürgen CitoUniversity of Zurich, Philipp LeitnerUniversity of Zurich, Harald GallUniversity of Zurich, Aryan DadashiSAP, Anne KellerSAP, Andreas RothSAP Pre-print Media Attached
	14:15 - 14:37 Talk		Constraints as a Design Pattern Onward! Papers Hesam SamimiSAP Labs, Alessandro WarthSAP Labs, Mahdi EslamimehrSAP Labs, Alan BorningUniversity of Washington, USA
	14:37 - 15:00 Talk		The Moldable Inspector Onward! Papers Andrei ChişUniversity of Bern, Switzerland, Tudor Gîrbatudorgirba.com, Switzerland, Oscar NierstraszUniversity of Bern, Switzerland, Aliaksei SyrelUniversity of Bern, Switzerland DOI Pre-print Media Attached

	15:30 - 17:00: Session 1Onward! Essays at Grand Station 2 Chair(s): Richard P. GabrielDream Songs, Inc. & IBM Research

	15:30 - 16:15 Talk		Against a Universal Definition of Type Onward! Essays Tomas PetricekUniversity of Cambridge, UK DOI Media Attached
	16:15 - 17:00 Talk		The Cuban Software Revolution: 2016–2025 Onward! Essays David M. WestTranscendence, USA DOI

Thu 29 Oct
Times are displayed in time zone: (GMT-04:00) Eastern Time (US & Canada) change

	10:30 - 12:00: Session 2Onward! Essays at Grand Station 3-5 Chair(s): Stephen KellUniversity of Cambridge

	10:30 - 11:15 Talk		Towards a Theory of Conceptual Design for Software Onward! Essays Daniel JacksonMassachusetts Institute of Technology, USA DOI
	11:15 - 12:00 Talk		The Cuneiform Tablets of 2015 Onward! Essays Long Tien NguyenUniversity of California at Los Angeles, USA, Alan KayUniversity of California at Los Angeles, USA DOI

	13:30 - 15:00: Session the SecondOnward! Papers at Grand Station 3-5 Chair(s): Karim AliTU Darmstadt

	13:30 - 13:52 Talk		Just-in-Time Data Structures Onward! Papers Mattias De WaelVrije Universiteit Brussel, Stefan MarrINRIA, France, Joeri De KosterVrije Universiteit Brussel, Jennifer B. SartorVrije Universiteit Brussel, Wolfgang De MeuterVrije Universiteit Brussel Link to publication DOI
	13:52 - 14:15 Talk		Separation of Powers in the Cloud: Where Applications and Users Become Peers Onward! Papers David H. LorenzOpen University and Technion IIT, Boaz RosenanUniversity of Haifa Media Attached
	14:15 - 14:37 Talk		Slimming Languages by Reducing Sugar: A Case for Semantics-Altering Transformations Onward! Papers Junsong LiBrown University, Justin Pombrio, Joe Gibbs PolitzSwarthmore College, Shriram KrishnamurthiBrown University Media Attached
	14:37 - 15:00 Talk		Musiplectics: Computational Assessment of the Complexity of Music Scores Onward! Papers Ethan HolderVirginia Tech, Eli TilevichVirginia Tech, Amy GillickVirginia Tech

	15:30 - 17:30: Session the ThirdOnward! Papers at Grand Station 3-5 Chair(s): Lindsey KuperIntel Labs

	15:30 - 15:54 Talk		Toward tool support for interactive synthesis Onward! Papers Shaon BarmanUC Berkeley, Rastislav BodikUniversity of Washington, USA, Satish ChandraSamsung Research America, Emina TorlakUniversity of Washington, Arka BhattacharyaUC Berkeley, David CullerUC Berkeley
	15:54 - 16:18 Talk		Type Systems for the Masses: Deriving Soundness Proofs and Efficient Checkers Onward! Papers Sylvia GreweTU Darmstadt, Sebastian ErdwegTU Darmstadt, Germany, Pascal WittmannTU Darmstadt, Mira MeziniTU Darmstadt Link to publication
	16:18 - 16:42 Talk		One Parser to Rule Them All Onward! Papers Ali AfroozehCentrum Wiskunde & Informatica, Anastasia IzmaylovaCentrum Wiskunde & Informatica Link to publication DOI Pre-print Media Attached
	16:42 - 17:06 Talk		Isolates, Channels and Event Streams for Composable Distributed Programming Onward! Papers Aleksandar ProkopecEPFL, Martin OderskyEPFL, Switzerland
	17:06 - 17:30 Talk		A Bootstrapping Infrastructure to Build and Extend Pharo-like Languages Onward! Papers Guillermo PolitoInria, Stéphane DucasseINRIA, France, Noury BouraqadiMines Douai, Luc FabresseMines Douai

Fri 30 Oct
Times are displayed in time zone: (GMT-04:00) Eastern Time (US & Canada) change

	15:30 - 17:00: Session the FourthOnward! Papers at Grand Station 2 Chair(s): Gail MurphyUniversity of British Columbia

	15:30 - 15:52 Talk		Columnar Objects: Improving the Performance of Analytical Applications Onward! Papers Toni MattisHasso Plattner Institute, Johannes HenningHasso Plattner Institute, Patrick ReinHasso Plattner Institute, Malte AppeltauerSAP, Robert HirschfeldHPI DOI Media Attached
	15:52 - 16:15 Talk		Virtualization Support for Dynamic Core Library Update Onward! Papers Guillermo PolitoInria, Stéphane DucasseINRIA, France, Noury BouraqadiMines Douai, Luc FabresseMines Douai, Max MattoneInria - Mines Douai Media Attached
	16:15 - 16:37 Talk		Towards a dynamic object model within Unix processes Onward! Papers Stephen KellUniversity of Cambridge Link to publication Pre-print Media Attached
	16:37 - 17:00 Talk		Towards Fully Reflective Environments Onward! Papers Guido ChariDept. of Computer Science FCEyN, University of Buenos Aires, Diego GarbervetskyDepartamento de Computación, FCEyN, UBA, Stefan MarrINRIA, France, Stéphane DucasseINRIA, France Pre-print Media Attached

Wed 28 Oct
Times are displayed in time zone: (GMT-04:00) Eastern Time (US & Canada) change


Room	13:00						30						14:00						30						15:00						30						16:00						30						17:00						30
Grand Station 2							Onward! Papers Session the First																								Onward! Essays Session 1

Thu 29 Oct
Times are displayed in time zone: (GMT-04:00) Eastern Time (US & Canada) change


Room	10:00						30						11:00						30						12:00						30						13:00						30						14:00						30						15:00						30						16:00						30						17:00						30
Grand Station 3-5							Onward! Essays Session 2																																				Onward! Papers Session the Second																								Onward! Papers Session the Third

Fri 30 Oct
Times are displayed in time zone: (GMT-04:00) Eastern Time (US & Canada) change


Room	15:00						30						16:00						30						17:00						30
Grand Station 2							Onward! Papers Session the Fourth

Wed 28 Oct
Times are displayed in time zone: (GMT-04:00) Eastern Time (US & Canada) change


Room	13:00			15			30			45			14:00			15			30			45			15:00			15			30			45			16:00			15			30			45			17:00			15			30			45
Grand Station 2							Onward! Papers Towards Secure Integration of Cryptographic Software 13:30 - 13:52				Onward! Papers Runtime Metric Meets Developer - Building Better Cloud Applications Usi ... 13:52 - 14:15					Onward! Papers Constraints as a Design Pattern 14:15 - 14:37				Onward! Papers The Moldable Inspector 14:37 - 15:00											Onward! Essays Against a Universal Definition of Type 15:30 - 16:15									Onward! Essays The Cuban Software Revolution: 2016–2025 16:15 - 17:00

Thu 29 Oct
Times are displayed in time zone: (GMT-04:00) Eastern Time (US & Canada) change


Room	10:00			15			30			45			11:00			15			30			45			12:00			15			30			45			13:00			15			30			45			14:00			15			30			45			15:00			15			30			45			16:00			15			30			45			17:00			15			30			45
Grand Station 3-5							Onward! Essays Towards a Theory of Conceptual Design for Software 10:30 - 11:15									Onward! Essays The Cuneiform Tablets of 2015 11:15 - 12:00																											Onward! Papers Just-in-Time Data Structures 13:30 - 13:52				Onward! Papers Separation of Powers in the Cloud: Where Applications and Users Become ... 13:52 - 14:15					Onward! Papers Slimming Languages by Reducing Sugar: A Case for Semantics-Altering Tra ... 14:15 - 14:37				Onward! Papers Musiplectics: Computational Assessment of the Complexity of Music Scores 14:37 - 15:00											Onward! Papers Toward tool support for interactive synthesis 15:30 - 15:54					Onward! Papers Type Systems for the Masses: Deriving Soundness Proofs and Efficient Ch ... 15:54 - 16:18					Onward! Papers One Parser to Rule Them All 16:18 - 16:42				Onward! Papers Isolates, Channels and Event Streams for Composable Distributed Programming 16:42 - 17:06					Onward! Papers A Bootstrapping Infrastructure to Build and Extend Pharo-like Languages 17:06 - 17:30

Fri 30 Oct
Times are displayed in time zone: (GMT-04:00) Eastern Time (US & Canada) change


Room	15:00			15			30			45			16:00			15			30			45			17:00			15			30			45
Grand Station 2							Onward! Papers Columnar Objects: Improving the Performance of Analytical Applications 15:30 - 15:52				Onward! Papers Virtualization Support for Dynamic Core Library Update 15:52 - 16:15					Onward! Papers Towards a dynamic object model within Unix processes 16:15 - 16:37				Onward! Papers Towards Fully Reflective Environments 16:37 - 17:00

iCalendar subscription service for your personal schedule

You first need to have starred events () in order to use the iCalendar subscription service.

Currently Viewed Program

Downloads the currently viewed program (with filters applied) in iCal format

Onward! 2015 Program

Wed 28 Oct
Times are displayed in time zone: (GMT-04:00) Eastern Time (US & Canada) change

Thu 29 Oct
Times are displayed in time zone: (GMT-04:00) Eastern Time (US & Canada) change

Fri 30 Oct
Times are displayed in time zone: (GMT-04:00) Eastern Time (US & Canada) change

Wed 28 Oct
Times are displayed in time zone: (GMT-04:00) Eastern Time (US & Canada) change

Onward! Papers

Onward! Essays

Thu 29 Oct
Times are displayed in time zone: (GMT-04:00) Eastern Time (US & Canada) change

Onward! Essays

Onward! Papers

Onward! Papers

Fri 30 Oct
Times are displayed in time zone: (GMT-04:00) Eastern Time (US & Canada) change

Onward! Papers

Wed 28 Oct
Times are displayed in time zone: (GMT-04:00) Eastern Time (US & Canada) change

Thu 29 Oct
Times are displayed in time zone: (GMT-04:00) Eastern Time (US & Canada) change

Fri 30 Oct
Times are displayed in time zone: (GMT-04:00) Eastern Time (US & Canada) change

Tracks

Onward! 2015 Program

Program Display Configuration

Wed 28 Oct Times are displayed in time zone: (GMT-04:00) Eastern Time (US & Canada) change

Thu 29 Oct Times are displayed in time zone: (GMT-04:00) Eastern Time (US & Canada) change

Fri 30 Oct Times are displayed in time zone: (GMT-04:00) Eastern Time (US & Canada) change

Wed 28 Oct Times are displayed in time zone: (GMT-04:00) Eastern Time (US & Canada) change

Onward! Papers

Onward! Essays

Thu 29 Oct Times are displayed in time zone: (GMT-04:00) Eastern Time (US & Canada) change

Onward! Essays

Onward! Papers

Onward! Papers

Fri 30 Oct Times are displayed in time zone: (GMT-04:00) Eastern Time (US & Canada) change

Onward! Papers

Wed 28 Oct Times are displayed in time zone: (GMT-04:00) Eastern Time (US & Canada) change

Thu 29 Oct Times are displayed in time zone: (GMT-04:00) Eastern Time (US & Canada) change

Fri 30 Oct Times are displayed in time zone: (GMT-04:00) Eastern Time (US & Canada) change

Wed 28 Oct
Times are displayed in time zone: (GMT-04:00) Eastern Time (US & Canada) change

Thu 29 Oct
Times are displayed in time zone: (GMT-04:00) Eastern Time (US & Canada) change

Fri 30 Oct
Times are displayed in time zone: (GMT-04:00) Eastern Time (US & Canada) change

Wed 28 Oct
Times are displayed in time zone: (GMT-04:00) Eastern Time (US & Canada) change

Thu 29 Oct
Times are displayed in time zone: (GMT-04:00) Eastern Time (US & Canada) change

Fri 30 Oct
Times are displayed in time zone: (GMT-04:00) Eastern Time (US & Canada) change

Wed 28 Oct
Times are displayed in time zone: (GMT-04:00) Eastern Time (US & Canada) change

Thu 29 Oct
Times are displayed in time zone: (GMT-04:00) Eastern Time (US & Canada) change

Fri 30 Oct
Times are displayed in time zone: (GMT-04:00) Eastern Time (US & Canada) change