Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDOnward! 2015: Pittsburgh, PA, USA
- Gail C. Murphy, Guy L. Steele Jr.:
2015 ACM International Symposium on New Ideas, New Paradigms, and Reflections on Programming and Software, Onward! 2015, Pittsburgh, PA, USA, October 25-30, 2015. ACM 2015, ISBN 978-1-4503-3688-8
Papers
- Steven Arzt
, Sarah Nadi, Karim Ali, Eric Bodden, Sebastian Erdweg, Mira Mezini:
Towards secure integration of cryptographic software. 1-13 - Jürgen Cito, Philipp Leitner, Harald C. Gall, Aryan Dadashi, Anne Keller, Andreas Roth:
Runtime metric meets developer: building better cloud applications using feedback. 14-27 - Hesam Samimi, Alessandro Warth, Mahdi Eslamimehr, Alan Borning:
Constraints as a design pattern. 28-43 - Andrei Chis, Oscar Nierstrasz, Aliaksei Syrel, Tudor Gîrba:
The moldable inspector. 44-60 - Mattias De Wael, Stefan Marr, Joeri De Koster, Jennifer B. Sartor, Wolfgang De Meuter:
Just-in-time data structures. 61-75 - David H. Lorenz, Boaz Rosenan:
Separation of powers in the cloud: where applications and users become peers. 76-89 - Junsong Li, Justin Pombrio, Joe Gibbs Politz, Shriram Krishnamurthi:
Slimming languages by reducing sugar: a case for semantics-altering transformations. 90-106 - Ethan Holder, Eli Tilevich, Amy Gillick:
Musiplectics: computational assessment of the complexity of music scores. 107-120 - Shaon Barman, Rastislav Bodík, Satish Chandra, Emina Torlak, Arka Aloke Bhattacharya, David E. Culler:
Toward tool support for interactive synthesis. 121-136 - Sylvia Grewe, Sebastian Erdweg, Pascal Wittmann, Mira Mezini:
Type systems for the masses: deriving soundness proofs and efficient checkers. 137-150 - Ali Afroozeh, Anastasia Izmaylova:
One parser to rule them all. 151-170 - Aleksandar Prokopec, Martin Odersky:
Isolates, channels, and event streams for composable distributed programming. 171-182 - Guillermo Polito, Stéphane Ducasse, Noury Bouraqadi, Luc Fabresse:
A bootstrapping infrastructure to build and extend Pharo-like languages. 183-196 - Toni Mattis, Johannes Henning, Patrick Rein, Robert Hirschfeld, Malte Appeltauer:
Columnar objects: improving the performance of analytical applications. 197-210 - Guillermo Polito, Stéphane Ducasse, Noury Bouraqadi, Luc Fabresse, Max Mattone:
Virtualization support for dynamic core library update. 211-223 - Stephen Kell:
Towards a dynamic object model within Unix processes. 224-239 - Guido Chari, Diego Garbervetsky, Stefan Marr, Stéphane Ducasse:
Towards fully reflective environments. 240-253
Essays
- Tomas Petricek:
Against a universal definition of 'Type'. 254-266 - David M. West:
The Cuban software revolution: 2016¿2025. 267-281 - Daniel Jackson:
Towards a theory of conceptual design for software. 282-296 - Long Tien Nguyen, Alan C. Kay:
The cuneiform tablets of 2015. 297-307
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-04-25 04:50 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
