Search results for "Reno"

Hits ?▲	Authors	Title	Venue	Year	Link
22	Stephen M. Blackburn, Amer Diwan, Matthias Hauswirth, Atif M. Memon, Peter F. Sweeney	Workshop on experimental evaluation of software and systems in computer science (Evaluate 2010).	SPLASH/OOPSLA Companion	2010	DBLP DOI BibTeX RDF
22	Mehdi Bagherzadeh 0001	Enabling expressive aspect oriented modular reasoning by translucid contracts.	SPLASH/OOPSLA Companion	2010	DBLP DOI BibTeX RDF
22	Doug Kimelman, Harold Ossher, André van der Hoek, Margaret-Anne D. Storey	SPLASH 2010 workshop on flexible modeling tools.	SPLASH/OOPSLA Companion	2010	DBLP DOI BibTeX RDF
22	George Fairbanks	An architecturally-evident coding style: making your design visible in your code.	SPLASH/OOPSLA Companion	2010	DBLP DOI BibTeX RDF
22	Michael R. Elliott, Peter Heller	Object-oriented software considerations in airborne systems and equipment certification.	SPLASH/OOPSLA Companion	2010	DBLP DOI BibTeX RDF
22	Damien Cassou, Julien Bruneau 0001, Julien Mercadal, Quentin Enard, Emilie Balland, Nicolas Loriant, Charles Consel	Towards a tool-based development methodology for sense/compute/control applications.	SPLASH/OOPSLA Companion	2010	DBLP DOI BibTeX RDF
22	Petra Brosch, Martina Seidl, Konrad Wieland	Guiding modelers through conflict resolution: a recommender for model versioning.	SPLASH/OOPSLA Companion	2010	DBLP DOI BibTeX RDF
22	David M. Ungar, Sam S. Adams	Harnessing emergence for manycore programming: early experience integrating ensembles, adverbs, and object-based inheritance.	SPLASH/OOPSLA Companion	2010	DBLP DOI BibTeX RDF
22	Christopher P. O'Connor	Letters from the edge of an agile transition.	SPLASH/OOPSLA Companion	2010	DBLP DOI BibTeX RDF
22	Tao Xie 0001, Jonathan de Halleux, Nikolai Tillmann, Wolfram Schulte	Teaching and training developer-testing techniques and tool support.	SPLASH/OOPSLA Companion	2010	DBLP DOI BibTeX RDF
22	Fernando Silva Parreiras, Tobias Walter, Christian Wende, Edward Thomas	Bridging software languages and ontology technologies: tutorial summary.	SPLASH/OOPSLA Companion	2010	DBLP DOI BibTeX RDF
22	Soham Sundar Chakraborty, V. Krishna Nandivada	Inferring arbitrary distributions for data and computation.	SPLASH/OOPSLA Companion	2010	DBLP DOI BibTeX RDF
22	Orit Hazzan, Yael Dubinsky	The 2nd workshop on human aspects of software engineering (HAoSE2010).	SPLASH/OOPSLA Companion	2010	DBLP DOI BibTeX RDF
22	Vijay A. Saraswat, Kim Bruce 0001	Curricula in concurrency and parallelism.	SPLASH/OOPSLA Companion	2010	DBLP DOI BibTeX RDF
22	Maximilian Koegel, Helmut Naughton, Jonas Helming, Markus Herrmannsdoerfer	Collaborative model merging.	SPLASH/OOPSLA Companion	2010	DBLP DOI BibTeX RDF
22	Seung Chan Lim	Physics as freedom.	SPLASH/OOPSLA Companion	2010	DBLP DOI BibTeX RDF
22	Mehdi Bagherzadeh 0001, Hridesh Rajan, Gary T. Leavens, Sean L. Mooney	Translucid contracts for modular reasoning about aspect-oriented programs.	SPLASH/OOPSLA Companion	2010	DBLP DOI BibTeX RDF
22	Christopher P. O'Connor	Better planning via tasking as a team.	SPLASH/OOPSLA Companion	2010	DBLP DOI BibTeX RDF
22	Jeff Gray 0001, Jules White	The object-oriented trivia show (TOOTS).	SPLASH/OOPSLA Companion	2010	DBLP DOI BibTeX RDF
22	Filipe Figueiredo Correia	Supporting the evolution of software knowledge with adaptive software artifacts.	SPLASH/OOPSLA Companion	2010	DBLP DOI BibTeX RDF
22	Rebecca Wirfs-Brock	Skills for the agile designer: seeing, shaping and discussing design ideas.	SPLASH/OOPSLA Companion	2010	DBLP DOI BibTeX RDF
22	Adam B. Mallen, Dennis Brylow	Compiler construction with a dash of concurrency and an embedded twist.	SPLASH/OOPSLA Companion	2010	DBLP DOI BibTeX RDF
22	Pradeep Kumar Duraisamy Soundrapandian	Typelets.	SPLASH/OOPSLA Companion	2010	DBLP DOI BibTeX RDF
22	Moritz Eysholdt, Heiko Behrens	Xtext: implement your language faster than the quick and dirty way.	SPLASH/OOPSLA Companion	2010	DBLP DOI BibTeX RDF
22	Andrew P. Black, Kim B. Bruce, James Noble 0001	Panel: designing the next educational programming language.	SPLASH/OOPSLA Companion	2010	DBLP DOI BibTeX RDF
22	Márcio Ribeiro 0001, Humberto Pacheco, Leopoldo Teixeira, Paulo Borba	Emergent feature modularization.	SPLASH/OOPSLA Companion	2010	DBLP DOI BibTeX RDF
22	Hridesh Rajan, Michael Haupt, Christoph Bockisch, Robert Dyer 0001	VMIL 2010: 4th workshop on virtual machines and intermediate languages.	SPLASH/OOPSLA Companion	2010	DBLP DOI BibTeX RDF
22	Juha-Pekka Tolvanen, Jonathan Sprinkle, Matti Rossi, Steven Kelly 0001	The 10th workshop on domain-specific modeling.	SPLASH/OOPSLA Companion	2010	DBLP DOI BibTeX RDF
22	Joshua Sunshine	Unsticking the web.	SPLASH/OOPSLA Companion	2010	DBLP DOI BibTeX RDF
22	Andrew H. Caudwell	Gource: visualizing software version control history.	SPLASH/OOPSLA Companion	2010	DBLP DOI BibTeX RDF
22	Markus Völter, Eelco Visser	Language extension and composition with language workbenches.	SPLASH/OOPSLA Companion	2010	DBLP DOI BibTeX RDF
22	Sergio de Cesare, Frederik Gailly, Grant Holland, Mark Lycett, Christopher Partridge	Ontology-driven software engineering 2010.	SPLASH/OOPSLA Companion	2010	DBLP DOI BibTeX RDF
22	Steven Fraser 0001, Hannah Faye Chua, Gail E. Harris, Orit Hazzan, Jean Tabaka, Rob Tucker, Dave West	Collaboration.	SPLASH/OOPSLA Companion	2010	DBLP DOI BibTeX RDF
22	James Dean Palmer	Ficticious: MicroLanguages for interactive fiction.	SPLASH/OOPSLA Companion	2010	DBLP DOI BibTeX RDF
22	Joseph W. Yoder, Rebecca Wirfs-Brock	Rulemakers and toolmakers: adaptive object-models as an agile division of labor.	SPLASH/OOPSLA Companion	2010	DBLP DOI BibTeX RDF
22	Emerson R. Murphy-Hill, Shane Markstrum, Craig Anslow	Evaluation and usability of programming languages and tools (PLATEAU).	SPLASH/OOPSLA Companion	2010	DBLP DOI BibTeX RDF
22	Christoph Angerer, Thomas R. Gross	now happens-before later: static schedule analysis of fine-grained parallelism with explicit happens-before relationships.	SPLASH/OOPSLA Companion	2010	DBLP DOI BibTeX RDF
22	Cody Henthorne, Eli Tilevich	Sonifying performance data to facilitate tuning of complex systems: performance tuning: music to my ears.	SPLASH/OOPSLA Companion	2010	DBLP DOI BibTeX RDF
22	Sean L. Mooney, Hridesh Rajan, Steven M. Kautz, Wayne Rowcliffe	Almost free concurrency! (using GOF patterns).	SPLASH/OOPSLA Companion	2010	DBLP DOI BibTeX RDF
22	Petra Brosch, Martina Seidl, Gerti Kappel	A recommender for conflict resolution support in optimistic model versioning.	SPLASH/OOPSLA Companion	2010	DBLP DOI BibTeX RDF
22	Gerard Meszaros	XUnit test patterns and smells: improving the ROI of test code.	SPLASH/OOPSLA Companion	2010	DBLP DOI BibTeX RDF
22	Ferosh Jacob	Extending abstract GPU APIs to shared memory.	SPLASH/OOPSLA Companion	2010	DBLP DOI BibTeX RDF
22	Eli Tilevich, Patrick Eugster	Programming support innovations for emerging distributed applications (PSI EtA - upsiloneta): a splash 2010 workshop summary.	SPLASH/OOPSLA Companion	2010	DBLP DOI BibTeX RDF
22	Martin Mailloux	Application frameworks: how they become your enemy.	SPLASH/OOPSLA Companion	2010	DBLP DOI BibTeX RDF
22	Vijay A. Saraswat, Doug Lea	Concurrency for the application programmer.	SPLASH/OOPSLA Companion	2010	DBLP DOI BibTeX RDF
22	Raphael Mannadiar, Hans Vangheluwe	Domain-specific engineering of domain-specific languages.	DSM@SPLASH	2010	DBLP DOI BibTeX RDF
22	Frank E. Hernandez, Francisco Raul Ortega	Eberos GML2D: a graphical domain-specific language for modeling 2D video games.	DSM@SPLASH	2010	DBLP DOI BibTeX RDF
22	Yu Sun 0002, Jeff Gray 0001, Philip Langer, Manuel Wimmer, Jules White	A WYSIWYG approach for configuring model layout using model transformations.	DSM@SPLASH	2010	DBLP DOI BibTeX RDF
22	Markus Voelter, Bernhard Merkle	Domain specific: a binary decision?	DSM@SPLASH	2010	DBLP DOI BibTeX RDF
22	Jonathan Sprinkle	Analysis of a metamodel to estimate complexity of using a domain-specific language.	DSM@SPLASH	2010	DBLP DOI BibTeX RDF
22	Bernhard Volz, Stefan Jablonski	Towards an open meta modeling environment.	DSM@SPLASH	2010	DBLP DOI BibTeX RDF
22	Olli-Pekka Puolitaival, Teemu Kanstrén	Towards flexible and efficient model-based testing, utilizing domain-specific modelling.	DSM@SPLASH	2010	DBLP DOI BibTeX RDF
22	Juha-Pekka Tolvanen, Steven Kelly 0001	Integrating models with domain-specific modeling languages.	DSM@SPLASH	2010	DBLP DOI BibTeX RDF
22	Frederik Gailly, Geert Poels	Conceptual modeling using domain ontologies: improving the domain-specific quality of conceptual schemas.	DSM@SPLASH	2010	DBLP DOI BibTeX RDF
22	Yali Wu, Frank Hernandez, Francisco Ortega, Peter J. Clarke, Robert B. France	Measuring the effort for creating and using domain-specific models.	DSM@SPLASH	2010	DBLP DOI BibTeX RDF
22	Tripti Saxena, Gabor Karsai	The GDSE framework: a meta-tool for automated design space exploration.	DSM@SPLASH	2010	DBLP DOI BibTeX RDF
22	Akihito Iwai, Norio Oohashi, Steven Kelly 0001	Experiences with automotive service modeling.	DSM@SPLASH	2010	DBLP DOI BibTeX RDF
22	Shahedul Huq Khandkar, Frank Maurer	A domain specific language to define gestures for multi-touch applications.	DSM@SPLASH	2010	DBLP DOI BibTeX RDF
22	Janne Merilinna, Juha Pärssinen	Verification and validation in the context of domain-specific modelling.	DSM@SPLASH	2010	DBLP DOI BibTeX RDF
22	Donald Barkowski, Thomas Kuhn 0001, Christian Schäfer, Mario Trapp	Domain-specific modeling as an enabling technology for small and medium-sized enterprises.	DSM@SPLASH	2010	DBLP DOI BibTeX RDF
22	Youssef Ridene, Nicolas Belloir, Franck Barbier, Nadine Couture	A DSML for mobile phone applications testing.	DSM@SPLASH	2010	DBLP DOI BibTeX RDF
22	Manuel Wimmer, Werner Retschitzegger, Gerti Kappel, Johannes Schoenboeck, Angelika Kusel, Wieland Schwinger	Plug & play model transformations: a DSL for resolving structural metamodel heterogeneities.	DSM@SPLASH	2010	DBLP DOI BibTeX RDF
22	Luis Pedro, Matteo Risoldi, Didier Buchs, Vasco Amaral 0001	Developing domain-specific modeling languages by metamodel semantic enrichment and composition: a case study.	DSM@SPLASH	2010	DBLP DOI BibTeX RDF
22	Chanwit Kaewkasi	Towards performance measurements for the Java Virtual Machine's invokedynamic.	VMIL@SPLASH	2010	DBLP DOI BibTeX RDF
22	Remko Bijker, Christoph Bockisch, Andreas Sewe	Optimizing the evaluation of patterns in pointcuts.	VMIL@SPLASH	2010	DBLP DOI BibTeX RDF
22	Annette Bieniusa, Johannes Eickhold, Thomas Fuhrmann	The architecture of the DecentVM: towards a decentralized virtual machine for many-core computing.	VMIL@SPLASH	2010	DBLP DOI BibTeX RDF
22	Phillip Stanley-Marbell	Sal/Svm: an assembly language and virtual machine for computing with non-enumerated sets.	VMIL@SPLASH	2010	DBLP DOI BibTeX RDF
22	Vinicius H. S. Durelli, Kátia Romero Felizardo, Márcio Eduardo Delamaro	Systematic mapping study on high-level language virtual machines.	VMIL@SPLASH	2010	DBLP DOI BibTeX RDF
22	Harold Ossher, Rachel K. E. Bellamy, Ian Simmonds, David Amid, Ateret Anaby-Tavor, Matthew Callery, Michael Desmond, Jacqueline de Vries, Amit Fisher, Sophia Krasikov	Flexible modeling tools for pre-requirements analysis: conceptual architecture and research challenges.	OOPSLA	2010	DBLP DOI BibTeX RDF
22	Mark Gabel, Junfeng Yang, Yuan Yu, Moisés Goldszmidt, Zhendong Su 0001	Scalable and systematic detection of buggy inconsistencies in source code.	OOPSLA	2010	DBLP DOI BibTeX RDF
22	Ross McIlroy, Joe Sventek	Hera-JVM: a runtime system for heterogeneous multi-core architectures.	OOPSLA	2010	DBLP DOI BibTeX RDF
22	Hridesh Rajan, Steven M. Kautz, Wayne Rowcliffe	Concurrency by modularity: design patterns, a case in point.	OOPSLA	2010	DBLP DOI BibTeX RDF
22	Richard P. Gabriel, Kevin J. Sullivan	Better science through art.	OOPSLA	2010	DBLP DOI BibTeX RDF
22	Yoav Zibin, Alex Potanin, Paley Li, Mahmood Ali, Michael D. Ernst	Ownership and immutability in generic Java.	OOPSLA	2010	DBLP DOI BibTeX RDF
22	Kenneth C. Arnold, Henry Lieberman	Managing ambiguity in programming by finding unambiguous examples.	OOPSLA	2010	DBLP DOI BibTeX RDF
22	Shachar Itzhaky, Sumit Gulwani, Neil Immerman, Mooly Sagiv	A simple inductive synthesis methodology and its applications.	OOPSLA	2010	DBLP DOI BibTeX RDF
22	Casey Klein, Matthew Flatt, Robert Bruce Findler	Random testing for higher-order, stateful programs.	OOPSLA	2010	DBLP DOI BibTeX RDF
22	Shigeru Chiba, Atsushi Igarashi, Salikh Zakirov	Mostly modular compilation of crosscutting concerns by contextual predicate dispatch.	OOPSLA	2010	DBLP DOI BibTeX RDF
22	Hoan Anh Nguyen, Tung Thanh Nguyen, Gary Wilson Jr., Anh Tuan Nguyen 0001, Miryung Kim, Tien N. Nguyen	A graph-based approach to API usage adaptation.	OOPSLA	2010	DBLP DOI BibTeX RDF
22	Erik R. Altman, Matthew Arnold, Stephen Fink, Nick Mitchell	Performance analysis of idle programs.	OOPSLA	2010	DBLP DOI BibTeX RDF
22	Stefan Hanenberg	An experiment about static and dynamic type systems: doubts about the positive impact of static type systems on development time.	OOPSLA	2010	DBLP DOI BibTeX RDF
22	Lennart C. L. Kats, Eelco Visser	The spoofax language workbench: rules for declarative specification of languages and IDEs.	OOPSLA	2010	DBLP DOI BibTeX RDF
22	Percy Liang, Omer Tripp, Mayur Naik, Mooly Sagiv	A dynamic evaluation of the precision of static heap abstractions.	OOPSLA	2010	DBLP DOI BibTeX RDF
22	Joshua S. Auerbach, David F. Bacon, Perry Cheng, Rodric M. Rabbah	Lime: a Java-compatible and synthesizable language for heterogeneous architectures.	OOPSLA	2010	DBLP DOI BibTeX RDF
22	Lennart C. L. Kats, Eelco Visser, Guido Wachsmuth	Pure and declarative syntax definition: paradise lost and regained.	OOPSLA	2010	DBLP DOI BibTeX RDF
22	Hassan Chafi, Zach DeVito, Adriaan Moors, Tiark Rompf, Arvind K. Sujeeth, Pat Hanrahan, Martin Odersky, Kunle Olukotun	Language virtualization for heterogeneous parallel computing.	OOPSLA	2010	DBLP DOI BibTeX RDF
22	Stefan Hanenberg	Faith, hope, and love: an essay on software science's neglect of human factors.	OOPSLA	2010	DBLP DOI BibTeX RDF
22	Michael Bebenita, Florian Brandner, Manuel Fähndrich, Francesco Logozzo, Wolfram Schulte, Nikolai Tillmann, Herman Venter	SPUR: a trace-based JIT compiler for CIL.	OOPSLA	2010	DBLP DOI BibTeX RDF
22	Stephen Kell	Component adaptation and assembly using interface relations.	OOPSLA	2010	DBLP DOI BibTeX RDF
22	Michael Roberson, Chandrasekhar Boyapati	Efficient modular glass box software model checking.	OOPSLA	2010	DBLP DOI BibTeX RDF
22	Benjamin C. Pierce	Art, science, and fear.	OOPSLA	2010	DBLP DOI BibTeX RDF
22	Bruno C. d. S. Oliveira, Adriaan Moors, Martin Odersky	Type classes as objects and implicits.	OOPSLA	2010	DBLP DOI BibTeX RDF
22	Nicholas D. Matsakis, Thomas R. Gross	A time-aware type system for data-race protection and guaranteed initialization.	OOPSLA	2010	DBLP DOI BibTeX RDF
22	Kenneth O. Stanley	To achieve our highest goals, we must be willing to abandon them.	OOPSLA	2010	DBLP DOI BibTeX RDF
22	Wei Li, Charles Zhang 0001, Songlin Hu	G-Finder: routing programming questions closer to the experts.	OOPSLA	2010	DBLP DOI BibTeX RDF
22	Christoph Reichenbach, Neil Immerman, Yannis Smaragdakis, Edward Aftandilian, Samuel Z. Guyer	What can the GC compute efficiently?: a language for heap assertions at GC time.	OOPSLA	2010	DBLP DOI BibTeX RDF
22	Stephan van Staden, Cristiano Calcagno	Reasoning about multiple related abstractions with MultiStar.	OOPSLA	2010	DBLP DOI BibTeX RDF
22	Puneet Kapur, Bradley Cossette, Robert J. Walker	Refactoring references for library migration.	OOPSLA	2010	DBLP DOI BibTeX RDF
22	Jenny Quillien, Dave West	Rubber ducks, nightmares, and unsaturated predicates: proto-scientific schemata are good for agile.	OOPSLA	2010	DBLP DOI BibTeX RDF
22	Rashina Hoda, Philippe Kruchten, James Noble 0001, Stuart Marshall	Agility in context.	OOPSLA	2010	DBLP DOI BibTeX RDF