Search results for "programmer"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
11	Peter Sewell	Memory, an elusive abstraction.	ISMM	2010	DBLP DOI BibTeX RDF	semantics, relaxed memory models
11	Rastislav Bodík, Satish Chandra 0001, Joel Galenson, Doug Kimelman, Nicholas Tung, Shaon Barman, Casey Rodarmor	Programming with angelic nondeterminism.	POPL	2010	DBLP DOI BibTeX RDF	angelic non-determinism, constraints, refinement, traces, bounded model-checking
11	Eduardo Cuervo, Aruna Balasubramanian, Dae-ki Cho, Alec Wolman, Stefan Saroiu, Ranveer Chandra, Paramvir Bahl	MAUI: making smartphones last longer with code offload.	MobiSys	2010	DBLP DOI BibTeX RDF	code offload, partitioning, smartphones, energy management
11	Ferad Zyulkyarov, Tim Harris 0001, Osman S. Unsal, Adrián Cristal, Mateo Valero	Debugging programs that use atomic blocks and transactional memory.	PPoPP	2010	DBLP DOI BibTeX RDF	debugging, transactional memory
11	Michela Becchi, Surendra Byna, Srihari Cadambi, Srimat T. Chakradhar	Data-aware scheduling of legacy kernels on heterogeneous platforms with distributed memory.	SPAA	2010	DBLP DOI BibTeX RDF	accelerators, distributed memory, multi-core processors, runtime, heterogeneous platforms
11	Mirko Bordignon, Kasper Støy, Ulrik Pagh Schultz	A virtual machine-based approach for fast and flexible reprogramming of modular robots.	ICRA	2009	DBLP DOI BibTeX RDF
11	Myoungkyu Song, Eli Tilevich, Wesley Tansey	Trailblazer: a tool for automated annotation refactoring.	OOPSLA Companion	2009	DBLP DOI BibTeX RDF	metadata, frameworks, annotations, refactoring, eclipse
11	Jonathan Edwards	Coherent reaction.	OOPSLA Companion	2009	DBLP DOI BibTeX RDF	bidirectional functions, synchronous reactive programming, trees, interactive systems, reactive systems, functional reactive programming
11	Michael Furr, Jong-hoon (David) An, Jeffrey S. Foster, Michael W. Hicks	Static type inference for Ruby.	SAC	2009	DBLP DOI BibTeX RDF	contracts, type inference, Ruby, dynamic typing
11	Tim Harris 0001	Language constructs for transactional memory.	POPL	2009	DBLP DOI BibTeX RDF	atomic blocks, transactional memory, stm
11	Gail C. Murphy, Petcharat Viriyakattiyaporn, David C. Shepherd	Using activity traces to characterize programming behaviour beyond the lab.	ICPC	2009	DBLP DOI BibTeX RDF
11	Saba Sehrish, Jun Wang 0001	Smart read/write for MPI-IO.	IPDPS	2009	DBLP DOI BibTeX RDF
11	Carsten Clauss, Stefan Lankes, Thomas Bemmerl	MPIXternal: A library for a portable adjustment of parallel MPI applications to heterogeneous environments.	IPDPS	2009	DBLP DOI BibTeX RDF
11	Ohad Shacham, Martin T. Vechev, Eran Yahav	Chameleon: adaptive selection of collections.	PLDI	2009	DBLP DOI BibTeX RDF	semantic profiler, java, collections, bloat
11	August Schwerdfeger, Eric Van Wyk	Verifiable composition of deterministic grammars.	PLDI	2009	DBLP DOI BibTeX RDF	context-aware scanning, grammar composition, language composition, lr parsing, extensible languages
11	Shih-wei Liao, Tzu-Han Hung, Donald Nguyen, Hucheng Zhou, Chinyen Chou, Chia-Heng Tu	Prefetch optimizations on large-scale applications via parameter value prediction.	ICS	2009	DBLP DOI BibTeX RDF	data center applications, machine learning
11	Diego Garbervetsky, Sergio Yovine, Víctor A. Braberman, Martín Rouaux, Alejandro Taboada	On transforming Java-like programs into memory-predictable code.	JTRES	2009	DBLP DOI BibTeX RDF
11	Tayfun Elmas, Ali Sezgin, Serdar Tasiran, Shaz Qadeer	An annotation assistant for interactive debugging of programs with common synchronization idioms.	PADTAD	2009	DBLP DOI BibTeX RDF	synchronization idioms, concurrent programs, atomicity
11	Sarita V. Adve	Memory models: a case for rethinking parallel languages and hardware.	PODC	2009	DBLP DOI BibTeX RDF	safe programming, memory models, multicore architecture, memory consistency models
11	Derek Rayside, Zev Benjamin, Rishabh Singh, Joseph P. Near, Aleksandar Milicevic, Daniel Jackson 0001	Equality and hashing for (almost) free: Generating implementations from abstraction functions.	ICSE	2009	DBLP DOI BibTeX RDF
11	Christopher M. Connolly, Gabriele Meiselwitz	Integrating software engineering in computer programming education.	SIGITE Conference	2009	DBLP DOI BibTeX RDF	information science curriculum, software engineering, computer science curriculum
11	Vijay Nagarajan, Rajiv Gupta 0001	ECMon: exposing cache events for monitoring.	ISCA	2009	DBLP DOI BibTeX RDF	cache events, recording for replay, speculation past barriers
11	Sarita V. Adve	Memory models: a case for rethinking parallel languages and hardware.	SPAA	2009	DBLP DOI BibTeX RDF	safe programming, memory models, multicore architecture, memory consistency models
11	Tianyi David Han, Tarek S. Abdelrahman	hiCUDA: a high-level directive-based language for GPU programming.	GPGPU	2009	DBLP DOI BibTeX RDF	GPGPU, CUDA, data parallel programming
11	Shaunak Chatterjee, Sudeep Juvekar, Koushik Sen	SNIFF: A Search Engine for Java Using Free-Form Queries.	FASE	2009	DBLP DOI BibTeX RDF
11	Markus Püschel	Automatic synthesis of high performance mathematical programs.	ISSAC	2009	DBLP DOI BibTeX RDF	parallelization, domain-specific language, automation, vectorization, high performance, fourier transform, matrix algebra, rewriting, program generation
11	Jih-Woei Huang, Chih-Ping Chu	A flexible processor mapping technique toward data localization for block-cyclic data redistribution.	J. Supercomput.	2008	DBLP DOI BibTeX RDF	MPI, Data distribution, HPF, Distributed memory multicomputers, Data-parallel programming, Processor mapping
11	Matt Bone, Peter F. Nabicht, Konstantin Läufer, George K. Thiruvathukal	Taming XML: Objects first, then markup.	EIT	2008	DBLP DOI BibTeX RDF
11	Jan Deiterding, Dominik Henrich	Acquiring change models for sensor-based robot manipulation.	ICRA	2008	DBLP DOI BibTeX RDF
11	Koji Noguchi, Michael B. Dillencourt, Lubomir Bic	Efficient Global Pointers With Spontaneous Process Migration.	PDP	2008	DBLP DOI BibTeX RDF	Global Pointers, Process Migration
11	Rastislav Bodík	Software synthesis with sketching.	PEPM	2008	DBLP DOI BibTeX RDF	synthesis
11	Alessandro Warth, Takashi Yamamiya, Yoshiki Ohshima, Scott Wallace	Toward A More Scalable End-User Scripting Language.	C5	2008	DBLP DOI BibTeX RDF	End-User Scripting, Parse Tree Manipulation, Language Extension
11	Ravikant Agarwal, David A. Umphress	Extreme programming for a single person team.	ACM Southeast Regional Conference	2008	DBLP DOI BibTeX RDF	personal extreme programming, process script, extreme programming, software process, personal software process
11	Naoyasu Ubayashi, Jinji Piao, Suguru Shinotsuka, Tetsuo Tamai	Contract-Based Verification for Aspect-Oriented Refactoring.	ICST	2008	DBLP DOI BibTeX RDF	Verification, AOP, Refactoring, Contract
11	Adam Poswolsky, Carsten Schürmann 0001	Practical Programming with Higher-Order Encodings and Dependent Types.	ESOP	2008	DBLP DOI BibTeX RDF
11	Sabri Pllana, Siegfried Benkner, Eduard Mehofer, Lasse Natvig, Fatos Xhafa	Towards an Intelligent Environment for Programming Multi-core Computing Systems.	Euro-Par Workshops	2008	DBLP DOI BibTeX RDF
11	Madhu Gopinathan, Sriram K. Rajamani	Runtime Monitoring of Object Invariants with Guarantee.	RV	2008	DBLP DOI BibTeX RDF
11	Boya Sun, Ray-Yaung Chang, Xianghao Chen, Andy Podgurski	Automated Support for Propagating Bug Fixes.	ISSRE	2008	DBLP DOI BibTeX RDF
11	Dibyendu Das 0001, Manish Gupta, Rajan Ravindran, W. Shivani, P. Sivakeshava, Rishabh Uppal	Compiler-controlled extraction of computation-communication overlap in MPI applications.	IPDPS	2008	DBLP DOI BibTeX RDF
11	Joseph Lawrance, Rachel K. E. Bellamy, Margaret M. Burnett, Kyle Rector	Using information scent to model the dynamic foraging behavior of programmers in maintenance tasks.	CHI	2008	DBLP DOI BibTeX RDF	software maintenance, debugging, information foraging
11	Andrew Kennedy	Types for units-of-measure in f#: invited talk.	ML	2008	DBLP DOI BibTeX RDF	dimension types, polymorphic type inference, ml
11	Costin Iancu, Wei Chen 0011, Katherine A. Yelick	Performance portable optimizations for loops containing communication operations.	ICS	2008	DBLP DOI BibTeX RDF	communication, parallel programming, program transformations, code generation, latency hiding, performance portability
11	Roberto Paleari, Davide Marrone, Danilo Bruschi, Mattia Monga	On Race Vulnerabilities in Web Applications.	DIMVA	2008	DBLP DOI BibTeX RDF
11	Damien Imbs, Michel Raynal	A Lock-Based STM Protocol That Satisfies Opacity and Progressiveness.	OPODIS	2008	DBLP DOI BibTeX RDF	Commit/abort, Concurrency control, Transaction, Lock, Software transactional memory, Shared object, Progressiveness, Opacity, Atomic operation, Consistent global state
11	Eli Tilevich, Godmar Back	"Program, enhance thyself!": demand-driven pattern-oriented program enhancement.	AOSD	2008	DBLP DOI BibTeX RDF	program enhancement, aspect-oriented programming, patterns, meta-programming, rules engines
11	Dong Kwan Kim, Eli Tilevich	Overcoming JVM HotSwap Constraints Via Binary Rewriting.	HotSWUp	2008	DBLP DOI BibTeX RDF	HotSwap, JVM languages, binary refactoring, virtual superclass
11	Alejandro Duran, Julita Corbalán, Eduard Ayguadé	An adaptive cut-off for task parallelism.	SC	2008	DBLP DOI BibTeX RDF
11	Salvatore Campana, Luca Spalazzi, Francesco Spegni	XAL: A Web Oriented Programming Language Based on Timed-Automata.	Web Intelligence	2008	DBLP DOI BibTeX RDF
11	Ki Yung Ahn, Tim Sheard	Shared subtypes: subtyping recursive parametrized algebraic data types.	Haskell	2008	DBLP DOI BibTeX RDF	parametrized types, sharing representation, subtype, subtyping, recursive types, gadts, datatypes, algebraic data types
11	Lukasz Chmielewski, Richard Brinkman, Jaap-Henk Hoepman, Bert Bos	Using JASON to secure SOA.	Middleware Security	2008	DBLP DOI BibTeX RDF	SOA security, secure remote management, middleware
11	Carl Christian Rolf, Krzysztof Kuchcinski	Load-balancing methods for parallel and distributed constraint solving.	CLUSTER	2008	DBLP DOI BibTeX RDF
11	Javier Iparraguirre, Mitchell D. Theys	The Layer Disruption Model: A Runtime Approach to Multi-Core Processors and Serial Code.	PDCAT	2008	DBLP DOI BibTeX RDF
11	Yunwen Ye, Yasuhiro Yamamoto, Kumiyo Nakakoji, Yoshiyuki Nishinaka, Mitsuhiro Asada	Searching the library and asking the peers: learning to use Java APIs on demand.	PPPJ	2007	DBLP DOI BibTeX RDF	Java API, software reuse, expertise location, peer support
11	Ryan Newton, Greg Morrisett, Matt Welsh	The regiment macroprogramming system.	IPSN	2007	DBLP DOI BibTeX RDF	functional macroprogramming, sensor networks
11	Norbert Esser, Renga Sundararajan, Joachim Trescher	Improving TriMedia Cache Performance by Profile Guided Code Reordering.	SAMOS	2007	DBLP DOI BibTeX RDF	cache, profiling, code layout
11	Sruthi Bandhakavi, Prithvi Bisht, P. Madhusudan, V. N. Venkatakrishnan	CANDID: preventing sql injection attacks using dynamic candidate evaluations.	CCS	2007	DBLP DOI BibTeX RDF	dynamic monitoring, retrofitting code, sql injection attacks, symbolic evaluation
11	Kare Storgaard Nissum, Troels Hessner Larsen, Ole Madsen, Henning Nielsen	Virtual 3D Environment for Planning Robotic Paint Routes.	ICRA	2007	DBLP DOI BibTeX RDF
11	Manuel Fähndrich, Songtao Xia	Establishing object invariants with delayed types.	OOPSLA	2007	DBLP DOI BibTeX RDF	non-null types, object invariants, initialization
11	Eric Bodden	The design and implementation of formal monitoring techniques.	OOPSLA Companion	2007	DBLP DOI BibTeX RDF	aspect-oriented programming, program analysis, runtime verification, program monitoring
11	Yannis Smaragdakis, Anthony Kay, Reimer Behrends, Michal Young	Transactions with isolation and cooperation.	OOPSLA	2007	DBLP DOI BibTeX RDF	TIC, open-nesting, transactional memory, nested transactions, punctuation
11	Luis Ceze, Pablo Montesinos, Christoph von Praun, Josep Torrellas	Colorama: Architectural Support for Data-Centric Synchronization.	HPCA	2007	DBLP DOI BibTeX RDF
11	Mackale Joyner, Zoran Budimlic, Vivek Sarkar	Optimizing Array Accesses in High Productivity Languages.	HPCC	2007	DBLP DOI BibTeX RDF
11	Andreas Stefik, Roger T. Alexander, Robert Patterson, Jonathan Brown	WAD: A Feasibility study using the Wicked Audio Debugger.	ICPC	2007	DBLP DOI BibTeX RDF
11	Hisham M. Haddad, Mauricio Jose Ordoñez	Enhanced Component Reuse with Atomic Domains: Application Scenarios.	ITNG	2007	DBLP DOI BibTeX RDF
11	Ryan Culpepper, Matthias Felleisen	Debugging macros.	GPCE	2007	DBLP DOI BibTeX RDF
11	Mark Grechanik, Kathryn S. McKinley, Dewayne E. Perry	Recovering and using use-case-diagram-to-source-code traceability links.	ESEC/SIGSOFT FSE	2007	DBLP DOI BibTeX RDF	LeanArt, traceability links, machine learning, program analysis, use case diagram
11	Boniface Hicks, Dave King 0002, Patrick D. McDaniel	Jifclipse: development tools for security-typed languages.	PLAS	2007	DBLP DOI BibTeX RDF	Jif, security-typed languages, Eclipse, developer tools
11	Emerson R. Murphy-Hill, Andrew P. Black	High velocity refactorings in Eclipse.	ETX	2007	DBLP DOI BibTeX RDF	usability, tools, refactoring, environments
11	Pratap Pattnaik	Recent technological trends and their impact on system design.	Conf. Computing Frontiers	2007	DBLP DOI BibTeX RDF	architecture, technology
11	Michael Hanus	Putting declarative programming into the web: translating curry to javascript.	PPDP	2007	DBLP DOI BibTeX RDF	user interfaces, javascript, web programming, functional logic programming, curry
11	David S. Janzen, Hossein Saiedian	A Leveled Examination of Test-Driven Development Acceptance.	ICSE	2007	DBLP DOI BibTeX RDF
11	Chao Huang 0029, Laxmikant V. Kalé	Charisma: orchestrating migratable parallel objects.	HPDC	2007	DBLP DOI BibTeX RDF	migratable objects, parallel programming productivity, adaptivity, orchestration
11	Michael Emmi, Rupak Majumdar	Verifying Compensating Transactions.	VMCAI	2007	DBLP DOI BibTeX RDF
11	Vijay A. Saraswat, Vivek Sarkar, Christoph von Praun	X10: concurrent programming for modern architectures.	PPoPP	2007	DBLP DOI BibTeX RDF	concurrent programming languages, fork-join parallelism, global shared memory, high performance computing languages, partitioned global address space languages, asynchrony, X10, hierarchical parallelism
11	Sallyann Freudenberg, Pablo Romero, Benedict du Boulay	"Talking the talk": Is intermediate-level conversation the key to the pair programming success story?	AGILE	2007	DBLP DOI BibTeX RDF
11	Marc Pickett	Using Analogy Discovery to Create Abstractions.	SARA	2007	DBLP DOI BibTeX RDF
11	Tomás Hrubý, Kees van Reeuwijk, Herbert Bos	Ruler: high-speed packet matching and rewriting on NPUs.	ANCS	2007	DBLP DOI BibTeX RDF	TDFA, regular expressions, network processors, deep packet inspection
11	Dibyendu Das	Optimizing subroutines with optional parameters in F90 via function cloning.	ACM SIGPLAN Notices	2006	DBLP DOI BibTeX RDF	compilers, Fortran 90
11	Prasad A. Kulkarni, Wankang Zhao, Stephen Hines, David B. Whalley, Xin Yuan 0001, Robert van Engelen, Kyle A. Gallivan, Jason Hiser, Jack W. Davidson, Baosheng Cai, Mark W. Bailey, Hwashin Moon, Kyunghwan Cho, Yunheung Paek	VISTA: VPO interactive system for tuning applications.	ACM Trans. Embed. Comput. Syst.	2006	DBLP DOI BibTeX RDF	User-directed code improvement, interactive compilation, genetic algorithms, phase ordering
11	Sue Black 0001	Is ripple effect intuitive? A pilot study.	Innov. Syst. Softw. Eng.	2006	DBLP DOI BibTeX RDF	Ripple effect, Software measurement, Impact analysis
11	Martin Plümicke, Jörg Bäuerle	Typeless programming in Java 5.0.	PPPJ	2006	DBLP DOI BibTeX RDF	program design and implementation, code generation, type system, type inference, language design
11	Katherine A. Yelick	Performance Advantages of Partitioned Global Address Space Languages.	PVM/MPI	2006	DBLP DOI BibTeX RDF
11	Emerson R. Murphy-Hill	Improving usability of refactoring tools.	OOPSLA Companion	2006	DBLP DOI BibTeX RDF	usability, tools, refactoring, environments
11	Guy L. Steele Jr.	A growable language.	OOPSLA Companion	2006	DBLP DOI BibTeX RDF
11	Friedrich Steimann, Philip Mayer, Andreas Meissner	Decoupling classes with inferred interfaces.	SAC	2006	DBLP DOI BibTeX RDF	interface-based programming, refactoring, type inference
11	Jaroslaw Domaszewicz, Michal Rój, Aleksander Pruszkowski	Opportunistic Pervasive Computing with Domain-Oriented Virtual Machines.	DSD	2006	DBLP DOI BibTeX RDF
11	Pierre Palatin, Yves Lhuillier, Olivier Temam	CAPSULE: Hardware-Assisted Parallel Execution of Component-Based Programs.	MICRO	2006	DBLP DOI BibTeX RDF
11	Leif Pedersen, Hassan Reza	A Formal Specification of a Programming Language: Design of Pit.	ISoLA	2006	DBLP DOI BibTeX RDF
11	Arnd Poetzsch-Heffter, Kathrin Geilmann, Jan Schäfer 0002	Infering Ownership Types for Encapsulated Object-Oriented Program Components.	Program Analysis and Compilation	2006	DBLP DOI BibTeX RDF
11	Chris Parnin, Carsten Görg	Building Usage Contexts During Program Comprehension.	ICPC	2006	DBLP DOI BibTeX RDF
11	Andreas Stefik, Kelly Fitz, Roger T. Alexander	Layered Program Auralization: Using Music to Increase Runtime Program Comprehension and Debugging Effectiveness.	ICPC	2006	DBLP DOI BibTeX RDF	sonified debugging, layered program auralization, testing, Fault detection, music
11	Georgia Frantzeskou, Efstathios Stamatatos, Stefanos Gritzalis, Sokratis K. Katsikas	Source Code Author Identification Based on N-gram Author Profiles.	AIAI	2006	DBLP DOI BibTeX RDF
11	Manuel Saldaña, Paul Chow	TMD-MPI: An MPI Implementation for Multiple Processors Across Multiple FPGAs.	FPL	2006	DBLP DOI BibTeX RDF
11	Matthew Drake, Hank Hoffmann, Rodric M. Rabbah, Saman P. Amarasinghe	MPEG-2 decoding in a stream programming language.	IPDPS	2006	DBLP DOI BibTeX RDF
11	Frances Perry, Limin Jia 0001, David Walker 0001	Expressing heap-shape contracts in linear logic.	GPCE	2006	DBLP DOI BibTeX RDF	heap shape, contracts, linear logic, assertions
11	Keiko Nakata 0001, Jacques Garrigue	Recursive modules for programming.	ICFP	2006	DBLP DOI BibTeX RDF	applicative functors, the expression problem, type systems, type inference, recursive modules
11	Mikkel Rønne Jakobsen, Kasper Hornbæk	Evaluating a fisheye view of source code.	CHI	2006	DBLP DOI BibTeX RDF	information visualization, user study, programming, Eclipse, fisheye view
11	Troy A. Johnson, Rudolf Eigenmann	Context-sensitive domain-independent algorithm composition and selection.	PLDI	2006	DBLP DOI BibTeX RDF	bioinformatics, domain-specific languages, automated planning, algorithm selection, algorithm composition
11	Samuel Z. Guyer, Kathryn S. McKinley, Daniel Frampton	Free-Me: a static analysis for automatic individual object reclamation.	PLDI	2006	DBLP DOI BibTeX RDF	compiler-assisted, adaptive, locality, generational, liveness, pointer analysis, copying, mark-sweep
11	Lucas Mello Schnorr, Philippe Olivier Alexandre Navaux, Benhur de Oliveira Stein	DIMVisual: Data Integration Model for Visualization of Parallel Programs Behavior.	CCGRID	2006	DBLP DOI BibTeX RDF