Type inference for spreadsheets (Englisch)
- Neue Suche nach: Abraham, R.
- Neue Suche nach: Erwig, M.
- Neue Suche nach: ACM SIGPLAN
- Neue Suche nach: Abraham, R.
- Neue Suche nach: Erwig, M.
- Neue Suche nach: ACM SIGPLAN
In:
Principles and practice of declarative programming
;
6
;
2007
-
ISBN:
- Aufsatz (Konferenz) / Print
-
Titel:Type inference for spreadsheets
-
Beteiligte:
-
Kongress:Symposium; 8th, Principles and practice of declarative programming ; 2006 ; Venice, Italy
-
Erschienen in:ACM SIGPLAN NOTICES ; 41 ; 6
-
Verlag:
- Neue Suche nach: ACM
-
Erscheinungsort:New York
-
Erscheinungsdatum:01.01.2007
-
Format / Umfang:6 pages
-
ISBN:
-
Medientyp:Aufsatz (Konferenz)
-
Format:Print
-
Sprache:Englisch
-
Schlagwörter:
-
Datenquelle:
© Metadata Copyright the British Library Board and other contributors. All rights reserved.
Inhaltsverzeichnis Konferenzband
Die Inhaltsverzeichnisse werden automatisch erzeugt und basieren auf den im Index des TIB-Portals verfügbaren Einzelnachweisen der enthaltenen Beiträge. Die Anzeige der Inhaltsverzeichnisse kann daher unvollständig oder lückenhaft sein.
- 1
-
The Atomos transactional programming languageCarlstrom, B.D. / McDonald, A. / Chafi, H. / Chung, J. / Minh, C.C. / Kozyrakis, C. / Olukotun, K. / ACM Special Interest Group on Programming Languages et al. | 2007
- 1
-
Eliminating distinctions of class: using prototypes to model virtual classesHutchins, D. / ACM SIGPLAN et al. | 2006
- 1
-
Applying flow-sensitive CQUAL to verify MINIX authorization check placementFraser, T. / Petroni, N.L. / Arbaugh, W.A. et al. | 2007
- 1
-
Collective communication on architectures that support simultaneous communication over multiple linksChan, E. / van de Geijn, R. / Gropp, W. / Thakur, R. et al. | 2007
- 1
-
Combining fuzzy logic and behavioral similarity for non-strict program validationDe Roover, C. / Brichau, J. / D Hondt, T. / ACM SIGPLAN et al. | 2007
- 1
-
Design patterns as higher-order datatype-generic programsGibbons, J. et al. | 2007
- 1
-
Staging static analyses for program generationKamin, S. / Aktemur, B. / Katelman, M. et al. | 2007
- 1
-
A cross-architectural interface for code cache manipulationHazelwood, K. / Cohn, R. / IEEE Computer Society et al. | 2006
- 1
-
Secure and practical defense against code-injection attacks using software dynamic translationHu, W. / Hiser, J. / Williams, D. / Filipi, A. / Davidson, J.W. / Evans, D. / Knight, J.C. / Nguyen-Tuong, A. / Rowanhill, J. / Association for Computing Machinery et al. | 2007
- 1
-
A true hardware read barrierMeyer, M. / Association for Computing Machinery et al. | 2006
- 1
-
Is process or architecture the solution?Larus, J. / ACM Special Interest Group on Porgramming Languages et al. | 2007
- 1
-
Linguistic support for modern operating systems workshop on programming languages and operating systems 2006 (PLOS 2006)Probst, C.W. / Gal, A. / Grimm, R. / Spinczyk, O. et al. | 2007
- 1
-
The Clack graphical router: visualizing network softwareWendlandt, D. / Casado, M. / Tarjan, P. / McKeown, N. / SIGCHI (Group : U.S.) et al. | 2007
- 1
-
RepLib: a library for derivable type classesWeirich, S. / Association for Computing Machinery et al. | 2007
- 1
-
Why dependent types matterMcKinna, J. / Association for Computing Machinery et al. | 2007
- 1
-
ML grid programming with ConCertMurphy, T. et al. | 2007
- 1
-
EUnit: a lightweight unit testing framework for ErlangCarlsson, R. / Remond, M. et al. | 2006
- 1
-
Source transformation, analysis and generation in TXLCordy, J.R. et al. | 2007
- 1
-
A comparison of software and hardware techniques for x86 virtualizationAdams, K. / Agesen, O. / Association for Computing Machinery; Association for Computing Machinery; Association for Computing Machinery et al. | 2007
- 1
-
Deconstructing process isolationAiken, M. / Fahndrich, M. / Hawblitzel, C. / Hunt, G. / Larus, J. et al. | 2007
- 1
-
Feedback linking: optimizing object code layout for updatesvon Platen, C. / Eker, J. / ACM SIGPLAN; ACM SIGBED et al. | 2006
- 1
-
The development of Chez SchemeDybvig, R.K. / ACM SIGPLAN et al. | 2006
- 2
-
Geiger: monitoring the buffer cache in a virtual machine environmentJones, S.T. / Arpaci-Dusseau, A.C. / Arpaci-Dusseau, R.H. / Association for Computing Machinery; Association for Computing Machinery; Association for Computing Machinery et al. | 2007
- 2
-
Narrative algorithm visualizationBlumenkrants, M. / Starovisky, H. / Shamir, A. / SIGCHI (Group : U.S.) et al. | 2007
- 2
-
Minimizing downtime in seamless migrations of mobile applicationsZhang, K. / Pande, S. / ACM SIGPLAN; ACM SIGBED et al. | 2006
- 2
-
Manitou: a layer-below approach to fighting malwareLitty, L. / Lie, D. / ACM Special Interest Group on Porgramming Languages et al. | 2007
- 2
-
A multi-stage language with intensional analysisViera, M. / Pardo, A. et al. | 2007
- 2
-
Using VMM-based sensors to monitor honeypotsAsrigo, K. / Litty, L. / Lie, D. / Association for Computing Machinery et al. | 2007
- 2
-
Atomicity and visibility in tiny embedded systemsRegehr, J. / Cooprider, N. / Gay, D. et al. | 2007
- 2
-
The next 700 data description languagesFisher, K. / Mandelbaum, Y. / Walker, D. / Association for Computing Machinery et al. | 2007
- 2
-
Type-safe modular hash-consingFilliatre, J.-C. / Conchon, S. et al. | 2007
- 2
-
Reliability-aware data placement for partial memory protection in embedded processorsMehrara, M. / Austin, T. et al. | 2007
- 2
-
A generic recursion toolbox for Haskell or: scrap your boilerplate systematicallyRen, D. / Erwig, M. / Association for Computing Machinery et al. | 2007
- 2
-
Reducing generational copy reserve overhead with fallback compactionMcGachey, P. / Hosking, A.L. / Association for Computing Machinery et al. | 2006
- 2
-
Thread-shared software code cachesBruening, D. / Kiriansky, V. / Garnett, T. / Banerji, S. / IEEE Computer Society et al. | 2006
- 2
-
Optimizing memory transactionsHarris, T. / Plesko, M. / Shinnar, A. / Tarditi, D. / ACM Special Interest Group on Programming Languages et al. | 2007
- 2
-
On the application of partial evaluation to the optimisation of cardiac electrophysiological simulationsCooper, J. / McKeever, S. / Garny, A. et al. | 2007
- 2
-
Type-oriented construction of web user interfacesHanus, M. / ACM SIGPLAN et al. | 2007
- 2
-
Type-theoretic design patternsRypacek, O. / Backhouse, R. / Nilsson, H. et al. | 2007
- 2
-
Performance evaluation of adaptive MPIHuang, C. / Zheng, G. / Kale, L. / Kumar, S. et al. | 2007
- 2
-
Improving flow analyses via ΓCFA: abstract garbage collection and countingMight, M. / Shivers, O. / ACM SIGPLAN et al. | 2006
- 2
-
Certified in-lined reference monitoring on .NETHamlen, K.W. / Morrisett, G. / Schneider, F.B. et al. | 2007
- 2
-
J&: nested intersection for scalable software compositionNystrom, N. / Qi, X. / Myers, A.C. / ACM SIGPLAN et al. | 2006
- 2
-
Testing telecoms software with quviq QuickCheckArts, T. / Hughes, J. / Johansson, J. / Wiger, U. et al. | 2006
- 3
-
An abductive framework for a-priori verification of web servicesAlberti, M. / Gavanelli, M. / Lamma, E. / Chesani, F. / Mello, P. / Montali, M. / ACM SIGPLAN et al. | 2007
- 3
-
Experimental evaluation of animated-verifying object viewers for JavaJain, J. / Cross, J.H. / Hendrix, T.D. / Barowski, L.A. / SIGCHI (Group : U.S.) et al. | 2007
- 3
-
Delimited dynamic bindingKiselyov, O. / Shan, C.-c. / Sabry, A. / ACM SIGPLAN et al. | 2006
- 3
-
Statically scoped object adaptation with expandersWarth, A. / Stanojevic, M. / Millstein, T. / ACM SIGPLAN et al. | 2006
- 3
-
Temporal search: detecting hidden malware timebombs with virtual machinesCrandall, J.R. / Wassermann, G. / de Oliveira, D.A.S. / Su, Z. / Wu, S.F. / Chong, F.T. / Association for Computing Machinery; Association for Computing Machinery; Association for Computing Machinery et al. | 2007
- 3
-
Writing Solaris device drivers in JavaYamauchi, H. / Wolczko, M. et al. | 2007
- 3
-
Compiler and runtime support for efficient software transactional memoryAdl-Tabatabai, A.-R. / Lewis, B.T. / Menon, V. / Murphy, B.R. / Saha, B. / Shpeisman, T. / ACM Special Interest Group on Programming Languages et al. | 2007
- 3
-
Strong types for relational databasesSilva, A. / Visser, J. / Association for Computing Machinery et al. | 2007
- 3
-
Type-safe distributed programming for OCamlBillings, J. / Sewell, P. / Shinwell, M. / Strnisa, R. et al. | 2007
- 3
-
A hierarchical model of data localityZhang, C. / Ding, C. / Ogihara, M. / Zhong, Y. / Wu, Y. / Association for Computing Machinery et al. | 2007
- 3
-
Storing a persistent transactional object heap on flash memorySpivak, M. / Toledo, S. / ACM SIGPLAN; ACM SIGBED et al. | 2006
- 3
-
Model checking Erlang programs: the functional approachFredlund, L.-A. / Earle, C.B. et al. | 2006
- 3
-
Tailoring graph-coloring register allocation for runtime compilationCooper, K.D. / Dasgupta, A. / IEEE Computer Society et al. | 2006
- 3
-
Hunting Trojan HorsesMoffie, M. / Cheng, W. / Kaeli, D. / Zhao, Q. / ACM Special Interest Group on Porgramming Languages et al. | 2007
- 3
-
A feather-weight virtual machine for windows applicationsYu, Y. / Guo, F. / Nanda, S. / Lam, L.-c. / Chiueh, T.-c. / Association for Computing Machinery et al. | 2007
- 3
-
Combining type-based analysis and model checking for finding counterexamples against non-interferenceUnno, H. / Kobayashi, N. / Yonezawa, A. et al. | 2007
- 3
-
Generating generic functionsJeuring, J. / Rodriguez, A. / Smeding, G. et al. | 2007
- 3
-
Mobile MPI programs in computational gridsFernandes, R. / Pingali, K. / Stodghill, P. et al. | 2007
- 3
-
Smarter garbage collection with simplifiersO Neill, M.E. / Burton, F.W. et al. | 2007
- 3
-
Mark and splitSagonas, K. / Wilhelmsson, J. / Association for Computing Machinery et al. | 2006
- 3
-
Using program specialization to speed SystemC fixed-point simulationEdwards, S.A. et al. | 2007
- 3
-
Assimilating MetaBorg: embedding language tools in languagesRiehl, J. et al. | 2007
- 4
-
OSEK/VDX API for JavaStilkerich, M. / Wawersich, C. / Gal, A. / Schroder-Preikschat, W. / Franz, M. et al. | 2007
- 4
-
AVIO: detecting atomicity violations via access interleaving invariantsLu, S. / Tucek, J. / Qin, F. / Zhou, Y. / Association for Computing Machinery; Association for Computing Machinery; Association for Computing Machinery et al. | 2007
- 4
-
Portable, mostly-concurrent, mostly-copying garbage collection for multi-processorsHosking, A.L. / Association for Computing Machinery et al. | 2006
- 4
-
Good advice for type-directed programming: aspect-oriented programming and extensible generic functionsWashburn, G. / Weirich, S. et al. | 2007
- 4
-
Simplifying reductionsGautam / Rajopadhye, S. / Association for Computing Machinery et al. | 2007
- 4
-
Creating custom containers with generative techniquesMoreno, G.A. et al. | 2007
- 4
-
Live updating operating systems using virtualizationChen, H. / Chen, R. / Zhang, F. / Zang, B. / Yew, P.-C. / Association for Computing Machinery et al. | 2007
- 4
-
RDMA read based rendezvous protocol for MPI over InfiniBand: design alternatives and benefitsSur, S. / Jin, H.-W. / Chai, L. / Panda, D.K. et al. | 2007
- 4
-
Polymorphic variants in HaskellKagawa, K. / Association for Computing Machinery et al. | 2007
- 4
-
Execution patterns for visualizing web servicesDe Pauw, W. / Krasikov, S. / Morar, J.F. / SIGCHI (Group : U.S.) et al. | 2007
- 4
-
A separate compilation extension to standard MLSwasey, D. / Murphy, T. / Crary, K. / Harper, R. et al. | 2007
- 4
-
A self-repairing prefetcher in an event-driven dynamic optimization frameworkZhang, W. / Calder, B. / Tullsen, D.M. / IEEE Computer Society et al. | 2006
- 4
-
An efficient algorithm for XML type projectionColazzo, D. / Sartiani, C. / ACM SIGPLAN et al. | 2007
- 4
-
Efficient pattern mining on shared memory systems: implications for chip multiprocessor architecturesBuehrer, G. / Chen, Y.-K. / Parthasarathy, S. / Nguyen, A. / Ghoting, A. / Kim, D. et al. | 2007
- 4
-
Bit-level partial evaluation of synchronous circuitsThompson, S. / Mycroft, A. et al. | 2007
- 4
-
Better extensibility through modular syntaxGrimm, R. / ACM Special Interest Group on Programming Languages et al. | 2007
- 4
-
Precise alias analysis for static detection of web application vulnerabilitiesJovanovic, N. / Kruegel, C. / Kirda, E. et al. | 2007
- 4
-
Deriving abstract transfer functions for analyzing embedded softwareRegehr, J. / Duongsaa, U. / ACM SIGPLAN; ACM SIGBED et al. | 2006
- 4
-
Concurrency oriented programming in termite schemeGermain, G. et al. | 2006
- 4
-
Improving software security via runtime instruction-level taint checkingKong, J. / Zou, C.C. / Zhou, H. / ACM Special Interest Group on Porgramming Languages et al. | 2007
- 4
-
Static typing for a faulty lambda calculusWalker, D. / Mackey, L. / Ligatti, J. / Reis, G.A. / August, D.I. / ACM SIGPLAN et al. | 2006
- 4
-
A framework for implementing pluggable type systemsAndreae, C. / Noble, J. / Markstrum, S. / Millstein, T. / ACM SIGPLAN et al. | 2006
- 5
-
BASS: boxed ambients with safe sessionsGarralda, P. / Compagnoni, A. / Dezani-Ciancaglini, M. / ACM SIGPLAN et al. | 2007
- 5
-
Safe component updatesStuckenholz, A. / Osterloh, A. et al. | 2007
- 5
-
Have things changed now?: an empirical study of bug characteristics in modern open source softwareLi, Z. / Tan, L. / Wang, X. / Lu, S. / Zhou, Y. / Zhai, C. / ACM Special Interest Group on Porgramming Languages et al. | 2007
- 5
-
Vector LLVA: a virtual vector instruction set for media processingBocchino, R.L. / Adve, V.S. / Association for Computing Machinery et al. | 2007
- 5
-
Specifying distributed trust management in LolliMonPolakow, J. / Skalka, C. et al. | 2007
- 5
-
Context-parametric polykinded typesNogueira, P. et al. | 2007
- 5
-
SysObjC: C extension for development of object-oriented operating systemsBalogh, A. / Csornyei, Z. et al. | 2007
- 5
-
Formal certification of a compiler back-end or: programming a compiler with a proof assistantLeroy, X. / Association for Computing Machinery et al. | 2007
- 5
-
Visualizing live software systems in 3DGreevy, O. / Lanza, M. / Wysseier, C. / SIGCHI (Group : U.S.) et al. | 2007
- 5
-
Global-view abstractions for user-defined reductions and scansDeitz, S.J. / Callahan, D. / Chamberlain, B.L. / Snyder, L. et al. | 2007
- 5
-
Leveraging .NET meta-programming components from F#: integrated queries and interoperable heterogeneous executionSyme, D. et al. | 2007
- 5
-
Dryverl: a flexible Erlang/C binding compilerLenglet, R. / Chiba, S. et al. | 2006
- 5
-
A regulated transitive reduction (RTR) for longer memory race recordingXu, M. / Hill, M.D. / Bodik, R. / Association for Computing Machinery; Association for Computing Machinery; Association for Computing Machinery et al. | 2007
- 5
-
Simple unification-based type inference for GADTsJones, S.P. / Vytiniotis, D. / Weirich, S. / Washburn, G. / ACM SIGPLAN et al. | 2006
- 5
-
Resource usage analysis for a functional language with exceptionsIwama, F. / Igarashi, A. / Kobayashi, N. et al. | 2007
- 5
-
Fast and flexible instruction selection with on-demand tree-parsing automataErtl, M.A. / Casey, K. / Gregg, D. / ACM Special Interest Group on Programming Languages et al. | 2007
- 5
-
Extended static checking for HaskellXu, D.N. / Association for Computing Machinery et al. | 2007
- 5
-
Improving locality with parallel hierarchical copying GCSiegwart, D. / Hirzel, M. / Association for Computing Machinery et al. | 2006
- 5
-
Design fragments make using frameworks easierFairbanks, G. / Garlan, D. / Scherlis, W. / ACM SIGPLAN et al. | 2006
- 5
-
Seven at one stroke: results from a cache-oblivious paradigm for scalable matrix algorithmsAdams, M.D. / Wise, D.S. et al. | 2007
- 5
-
Pluggable abstract domains for analyzing embedded softwareCooprider, N. / Regehr, J. / ACM SIGPLAN; ACM SIGBED et al. | 2006
- 5
-
Java JNI bridge: a framework for mixed native ISA executionChen, M. / Goldenberg, S. / Srinivas, S. / Ushakov, V. / Wang, Y. / Zhang, Q. / Lin, E. / Zach, Y. / IEEE Computer Society et al. | 2006
- 6
-
Type inference for spreadsheetsAbraham, R. / Erwig, M. / ACM SIGPLAN et al. | 2007
- 6
-
A stackless runtime environment for a Pi-calculusPeschanski, F. / Hym, S. / Association for Computing Machinery et al. | 2007
- 6
-
Implicit and explicit optimizations for stencil computationsKamil, S. / Datta, K. / Williams, S. / Oliker, L. / Shalf, J. / Yelick, K. et al. | 2007
- 6
-
A data-driven graphical toolkit for software visualizationDemetrescu, C. / Finocchi, I. / SIGCHI (Group : U.S.) et al. | 2007
- 6
-
Backtracking iteratorsFilliatre, J.-C. et al. | 2007
- 6
-
Application-specific foreign-interface generationReppy, J. / Song, C. et al. | 2007
- 6
-
Accurate and efficient filtering for the Intel thread checker race detectorSack, P. / Bliss, B.E. / Ma, Z. / Petersen, P. / Torrellas, J. / ACM Special Interest Group on Porgramming Languages et al. | 2007
- 6
-
A dead variable analysis for explicit model checkingLewis, M. / Jones, M. et al. | 2007
- 6
-
Efficient type and memory safety for tiny embedded systemsRegehr, J. / Cooprider, N. / Archer, W. / Eide, E. et al. | 2007
- 6
-
A framework for unrestricted whole-program optimizationTriantafyllis, S. / Bridges, M.J. / Raman, E. / Ottoni, G. / August, D.I. / ACM Special Interest Group on Programming Languages et al. | 2007
- 6
-
Field-sensitive value analysis of embedded C programs with union types and pointer arithmeticsMine, A. / ACM SIGPLAN; ACM SIGBED et al. | 2006
- 6
-
Concurrent cachingNelson, J. et al. | 2006
- 6
-
Programming for parallelism and locality with hierarchically tiled arraysBikshandi, G. / Guo, J. / Hoeflinger, D. / Almasi, G. / Fraguela, B.B. / Garzaran, M.J. / Padua, D. / von Praun, C. et al. | 2007
- 6
-
Bell: bit-encoding online memory leak detectionBond, M.D. / McKinley, K.S. / Association for Computing Machinery; Association for Computing Machinery; Association for Computing Machinery et al. | 2007
- 6
-
Running the manual: an approach to high-assurance microkernel developmentDerrin, P. / Elphinstone, K. / Klein, G. / Cock, D. / Chakravarty, M.M.T. / Association for Computing Machinery et al. | 2007
- 6
-
A microkernel virtual machine: building security with clear interfacesLu, X. / Smith, S.F. et al. | 2007
- 6
-
Task-aware garbage collection in a multi-tasking virtual machineSoman, S. / Daynes, L. / Krintz, C. / Association for Computing Machinery et al. | 2006
- 6
-
JTL: the Java tools languageCohen, T. / Gil, J. / Maman, I. / ACM SIGPLAN et al. | 2006
- 6
-
Engineering with logic: HOL specification and symbolic-evaluation testing for TCP implementationsBishop, S. / Fairbairn, M. / Norrish, M. / Sewell, P. / Smith, M. / Wansbrough, K. / Association for Computing Machinery et al. | 2007
- 6
-
Modular generic programming with extensible superclassesSulzmann, M. / Wang, M. et al. | 2007
- 6
-
Polymorphism and separation in hoare type theoryNanevski, A. / Morrisett, G. / Birkedal, L. / ACM SIGPLAN et al. | 2006
- 6
-
Space-efficient 64-bit Java objects through selective typed virtual addressingVenstermans, K. / Eeckhout, L. / De Bosschere, K. / IEEE Computer Society et al. | 2006
- 7
-
Adapting virtual machine techniques for seamless aspect supportBockisch, C. / Arnold, M. / Dinkelaker, T. / Mezini, M. / ACM SIGPLAN et al. | 2006
- 7
-
Towards automatic verification of Erlang programs by n-calculus translationRoy, C.K. / Noll, T. / Roy, B. / Cordy, J.R. et al. | 2006
- 7
-
Keynote talk challenges in chip multiprocessor memory systemsWood, D.A. et al. | 2007
- 7
-
McRT-Malloc: a scalable transactional memory allocatorHudson, R.L. / Saha, B. / Adl-Tabatabai, A.-R. / Hertzberg, B.C. / Association for Computing Machinery et al. | 2006
- 7
-
Architectural support for software-based protectionBudiu, M. / Erlingsson, U. / Abadi, M. / ACM Special Interest Group on Porgramming Languages et al. | 2007
- 7
-
Performance characterization of molecular dynamics techniques for biomolecular simulationsAlam, S.R. / Vetter, J.S. / Agarwal, P.K. / Geist, A. et al. | 2007
- 7
-
A new approach to real-time checkpointingCunei, A. / Vitek, J. / Association for Computing Machinery et al. | 2007
- 7
-
Seminal: searching for ML type-error messagesLerner, B. / Grossman, D. / Chambers, C. et al. | 2007
- 7
-
Transparency, holophrasting, and automatic layout applied to control structures for visual dataflow programming languagesGauvin, S. / Banyasad, O. / SIGCHI (Group : U.S.) et al. | 2007
- 7
-
Practical dynamic software updating for CNeamtiu, I. / Hicks, M. / Stoyle, G. / Oriol, M. / ACM Special Interest Group on Programming Languages et al. | 2007
- 7
-
When to use features and aspects?: a case studyApel, S. / Batory, D. et al. | 2007
- 7
-
Polymorphic algebraic data type reconstructionSchrijvers, T. / Bruynooghe, M. / ACM SIGPLAN et al. | 2007
- 7
-
Recursive modules for programmingNakata, K. / Garrigue, J. / ACM SIGPLAN et al. | 2006
- 7
-
Scrap++: scrap your boilerplate in C++Munkby, G. / Priesnitz, A. / Schupp, S. / Zalewski, M. et al. | 2007
- 7
-
Decidability and proof systems for language-based noninterference relationsDam, M. / Association for Computing Machinery et al. | 2007
- 7
-
Strongly typed memory areas programming systems-level data structures in a functional languageDiatchki, I.S. / Jones, M.P. / Association for Computing Machinery et al. | 2007
- 7
-
Empirical relation between coupling and attackability in software systems: a case study on DOSLiu, M.Y. / Traore, I. et al. | 2007
- 7
-
Dynamic path conditions in dependence graphsHammer, C. / Grimme, M. / Krinke, J. et al. | 2007
- 7
-
Type inference for unboxed types and first class mutabilitySridhar, S. / Shapiro, J.S. et al. | 2007
- 7
-
Reducing the cost of conditional transfers of control by using comparison specificationsKreahling, W. / Hines, S. / Whalley, D. / Tyson, G. / ACM SIGPLAN; ACM SIGBED et al. | 2006
- 7
-
Experiences with multi-threading and dynamic class loading in a Java just-in-time compilerSundaresan, V. / Maier, D. / Ramarao, P. / Stoodley, M. / IEEE Computer Society et al. | 2006
- 7
-
Ultra low-cost defect protection for microprocessor pipelinesShyam, S. / Constantinides, K. / Phadke, S. / Bertacco, V. / Austin, T. / Association for Computing Machinery; Association for Computing Machinery; Association for Computing Machinery et al. | 2007
- 8
-
A dynamic aspect-oriented system for OS kernelsYanagisawa, Y. / Kourai, K. / Chiba, S. et al. | 2007
- 8
-
Effective thread management on network processors with compiler analysisZhuang, X. / Pande, S. / ACM SIGPLAN; ACM SIGBED et al. | 2006
- 8
-
From structures and functors to modules and unitsOwens, S. / Flatt, M. / ACM SIGPLAN et al. | 2006
- 8
-
Dynamic class hierarchy mutationSu, L. / Lipasti, M.H. / IEEE Computer Society et al. | 2006
- 8
-
Tradeoffs in fine-grained heap memory protectionShen, J. / Venkataramani, G. / Prvulovic, M. / ACM Special Interest Group on Porgramming Languages et al. | 2007
- 8
-
Efficient control flow quantificationBockisch, C. / Kanthak, S. / Haupt, M. / Arnold, M. / Mezini, M. / ACM SIGPLAN et al. | 2006
- 8
-
What do high-level memory models mean for transactions?Grossman, D. / Manson, J. / Pugh, W. et al. | 2007
- 8
-
Trusted declassification: high-level policy for a security-typed languageHicks, B. / King, D. / McDaniel, P. / Hicks, M. et al. | 2007
- 8
-
A disciplined approach to aspect compositionLopez-Herrejon, R. / Batory, D. / Lengauer, C. et al. | 2007
- 8
-
Artemis: practical runtime monitoring of applications for execution anomaliesFei, L. / Midkiff, S.P. / ACM Special Interest Group on Programming Languages et al. | 2007
- 8
-
Understanding prediction-based partial redundant threading for low-overhead, high-coverage fault toleranceReddy / V.K. / Parthasarathy, S. / Association for Computing Machinery; Association for Computing Machinery; Association for Computing Machinery et al. | 2007
- 8
-
Scalable locality-conscious multithreaded memory allocationSchneider, S. / Antonopoulos, C.D. / Nikolopoulos, D.S. / Association for Computing Machinery et al. | 2006
- 8
-
Extracting programs from type class proofsSulzmann, M. / ACM SIGPLAN et al. | 2007
- 8
-
User-level transactional programming in HaskellThiemann, P. / Association for Computing Machinery et al. | 2007
- 8
-
On flow-sensitive security typesHunt, S. / Sands, D. / Association for Computing Machinery et al. | 2007
- 8
-
Taxonomy of algorithm animation languagesKaravirta, V. / Korhonen, A. / Malmi, L. / SIGCHI (Group : U.S.) et al. | 2007
- 8
-
A technique for generic iteration and its optimizationWatt, S.M. et al. | 2007
- 8
-
On-line automated performance diagnosis on thousands of processesRoth, P.C. / Miller, B.P. et al. | 2007
- 8
-
Java™ on the bare metal of wireless sensor devices: the squawk Java virtual machineSimon, D. / Cifuentes, C. / Cleal, D. / Daniels, J. / White, D. / Association for Computing Machinery et al. | 2007
- 8
-
Type-sensitive control-flow analysisReppy, J. et al. | 2007
- 8
-
Comparing C++ and ERLANG for motorola telecoms softwareTrinder, P. et al. | 2006
- 8
-
A: an assertion language for distributed systemsTjang, A. / Oliveira, F. / Martin, R.P. / Nguyen, T.D. et al. | 2007
- 9
-
Towards an automatic complexity analysis for generic programsRoss, K.D. et al. | 2007
- 9
-
A logic for information flow in object-oriented programsAmtoft, T. / Bandhakavi, S. / Banerjee, A. / Association for Computing Machinery et al. | 2007
- 9
-
Online phase detection algorithmsNagpurkar, P. / Krintz, C. / Hind, M. / Sweeney, P.F. / Rajan, V.T. / IEEE Computer Society et al. | 2006
- 9
-
snBench: programming and virtualization framework for distributed multitasking sensor networksOcean, M.J. / Bestavros, A. / Kfoury, A.J. / Association for Computing Machinery et al. | 2007
- 9
-
SlicK: slice-based locality exploitation for efficient redundant multithreadingParashar, A. / Gurumurthi, S. / Association for Computing Machinery; Association for Computing Machinery; Association for Computing Machinery et al. | 2007
- 9
-
Concurrent aspectsDouence, R. / Le Botlan, D. / Noye, J. / Sudholt, M. et al. | 2007
- 9
-
Rewriting term-graphs with priorityCaferra, R. / Echahed, R. / Peltier, N. / ACM SIGPLAN et al. | 2007
- 9
-
Ocsigen: typing web interaction with objective CamlBalat, V. et al. | 2007
- 9
-
Refactoring programs to secure information flowsSmith, S.F. / Thober, M. et al. | 2007
- 9
-
Memory models for open-nested transactionsAgrawal, K. / Leiserson, C.E. / Sukha, J. et al. | 2007
- 9
-
Uniform proxies for JavaEugster, P. / ACM SIGPLAN et al. | 2006
- 9
-
An experimental analysis of self-adjusting computationAcar, U.A. / Blelloch, G.E. / Blume, M. / Tangwongsan, K. / ACM Special Interest Group on Programming Languages et al. | 2007
- 9
-
Using social agents to visualize software scenariosAlspaugh, T.A. / Tomlinson, B. / Baumer, E. / SIGCHI (Group : U.S.) et al. | 2007
- 9
-
Type-directed weaving of aspects for higher-order functional languagesWang, M. / Chen, K. / Khoo, S.-C. et al. | 2007
- 9
-
Decomposing memory performance: data structures and phasesAgaram, K.K. / Keckler, S.W. / Lin, C. / McKinley, K.S. / Association for Computing Machinery et al. | 2006
- 9
-
An extensible dynamically-typed hierarchy of exceptionsMarlow, S. / Association for Computing Machinery et al. | 2007
- 9
-
The missing link: dynamic components for MLRossberg, A. / ACM SIGPLAN et al. | 2006
- 9
-
Dependable [unknown] unaffordableCox, A.L. / Mohanram, K. / Rixner, S. / ACM Special Interest Group on Porgramming Languages et al. | 2007
- 9
-
Programming language challenges in systems codes: why systems programmers still use C, and what to do about itShapiro, J. et al. | 2007
- 9
-
A case study in top-down performance estimation for a large-scale parallel applicationSharapov, I. / Kroeger, R. / Delamarter, G. / Cheveresan, R. / Ramsay, M. et al. | 2007
- 9
-
In search of near-optimal optimization phase orderingsKulkarni, P.A. / Whalley, D.B. / Tyson, G.S. / Davidson, J.W. / ACM SIGPLAN; ACM SIGBED et al. | 2006
- 9
-
From HTTP to HTML: Erlang/OTP experiences in web based service applicationsCesarini, F. / Larsson, L. / Slaski, M. et al. | 2006
- 10
-
Polymorphic regular tree types and patternsVouillon, J. / Association for Computing Machinery et al. | 2007
- 10
-
Evaluation of database management systems for ErlangHellman, E. et al. | 2006
- 10
-
Region monitoring for local phase detection in dynamic optimization systemsDas, A. / Lu, J. / Hsu, W.-C. / IEEE Computer Society et al. | 2006
- 10
-
Visual exploration of function call graphs for feature location in complex software systemsBohnet, J. / Dollner, J. / SIGCHI (Group : U.S.) et al. | 2007
- 10
-
Atomicity via source-to-source translationHindman, B. / Grossman, D. et al. | 2007
- 10
-
Interactive debugging with GHCiHimmelstrup, D. / Association for Computing Machinery et al. | 2007
- 10
-
An object-oriented approach to datatype-generic programmingMoors, A. / Piessens, F. / Joosen, W. et al. | 2007
- 10
-
Memory-manager/scheduler co-design: optimizing event-driven servers to improve cache behaviorBhatia, S. / Consel, C. / Lawall, J. / Association for Computing Machinery et al. | 2006
- 10
-
An EDF schedulability test for periodic tasks on reconfigurable hardware devicesDanne, K. / Platzner, M. / ACM SIGPLAN; ACM SIGBED et al. | 2006
- 10
-
Javana: a system for building customized Java program analysis toolsMaebe, J. / Buytaert, D. / Eeckhout, L. / De Bosschere, K. / ACM SIGPLAN et al. | 2006
- 10
-
Mercury and freon: temperature emulation and management for server systemsHeath, T. / Centeno, A.P. / George, P. / Ramos, L. / Jaluria, Y. / Association for Computing Machinery; Association for Computing Machinery; Association for Computing Machinery et al. | 2007
- 10
-
Impact of virtual execution environments on processor energy consumption and hardware adaptationHu, S. / John, L.K. / Association for Computing Machinery et al. | 2007
- 10
-
Shared memory programming for large scale machinesBarton, C. / Cascaval, C. / Almasi, G. / Zheng, Y. / Farreras, M. / Chatterje, S. / Amaral, J.N. / ACM Special Interest Group on Programming Languages et al. | 2007
- 10
-
Efficient type inference for secure information flowHristova, K. / Rothamel, T. / Liu, Y.A. / Stoller, S.D. et al. | 2007
- 10
-
Static analysis for syntax objectsFisher, D. / Shivers, O. / ACM SIGPLAN et al. | 2006
- 10
-
Semantic patches for documenting and automating collateral evolutions in Linux device driversPadioleau, Y. / Hansen, R.R. / Lawall, J.L. / Muller, G. et al. | 2007
- 10
-
The Ecce and Logen partial evaluators and their web interfacesLeuschel, M. / Elphick, D. / Varea, M. / Craig, S.-J. / Fontaine, M. et al. | 2007
- 10
-
Hardware profile-guided automatic page placement for ccNUMA systemsMarathe, J. / Mueller, F. et al. | 2007
- 10
-
Transparent program transformations in the presence of opaque codeTilevich, E. / Smaragdakis, Y. et al. | 2007
- 10
-
Log-based architectures for general-purpose monitoring of deployed codeChen, S. / Falsafi, B. / Gibbons, P.B. / Kozuch, M. / Mowry, T.C. / Teodorescu, R. / Ailamaki, A. / Fix, L. / Ganger, G.R. / Lin, B. et al. | 2007
- 10
-
Computing constructor forms with non terminating rewrite programsGnaedig, I. / Kirchner, H. / ACM SIGPLAN et al. | 2007
- 11
-
Visualization of areas of interest in software architecture diagramsByelas, H. / Telea, A. / SIGCHI (Group : U.S.) et al. | 2007
- 11
-
Selecting software phase markers with code structure analysisLau, J. / Perelman, E. / Calder, B. / IEEE Computer Society et al. | 2006
- 11
-
Relative factors in performance analysis of Java virtual machinesGu, D. / Verbrugge, C. / Gagnon, E.M. / Association for Computing Machinery et al. | 2007
- 11
-
Verifying properties of well-founded linked listsLahiri, S.K. / Qadeer, S. / Association for Computing Machinery et al. | 2007
- 11
-
Adaptive scheduling with parallelism feedbackAgrawal, K. / He, Y. / Hsu, W.J. / Leiserson, C.E. et al. | 2007
- 11
-
ExecRecorder: VM-based full-system replay for attack analysis and system recoveryde Oliveira, D.A.S. / Crandall, J.R. / Wassermann, G. / Wu, S.F. / Su, Z. / Chong, F.T. / ACM Special Interest Group on Porgramming Languages et al. | 2007
- 11
-
Towards an effective integrated reuse environmentMascena, J.C.C.P. / de Lemos Meira, S.R. / de Almeida, E.S. / Garcia, V.C. et al. | 2007
- 11
-
Introducing the Haskell equational reasoning assistantGill, A. / Association for Computing Machinery et al. | 2007
- 11
-
Stratego/XT 0.16: components for transformation systemsBravenboer, M. / Kalleberg, K.T. / Vermaas, R. / Visser, E. et al. | 2007
- 11
-
Practical proofs of concurrent programsShapiro, M. / ACM SIGPLAN et al. | 2006
- 11
-
The DaCapo benchmarks: Java benchmarking development and analysisBlackburn, S.M. / Garner, R. / Hoffmann, C. / Khang, A.M. / McKinley, K.S. / Bentzur, R. / Diwan, A. / Feinberg, D. / Frampton, D. / Guyer, S.Z. et al. | 2006
- 11
-
Optimizing data permutations for SIMD devicesRen, G. / Wu, P. / Padua, D. / ACM Special Interest Group on Programming Languages et al. | 2007
- 11
-
Portability events: a programming model for scalable system infrastructuresMatthews, C. / Coady, Y. / Appavoo, J. et al. | 2007
- 11
-
A flexible data to L2 cache mapping approach for future multicore processorsJin, L. / Lee, H. / Cho, S. et al. | 2007
- 11
-
Object capabilities for securityWagner, D. et al. | 2007
- 11
-
PicoServer: using 3D stacking technology to enable a compact energy efficient chip multiprocessorKgil, T. / D Souza, S. / Saidi, A. / Binkert, N. / Dreslinski, R. / Mudge, T. / Reinhardt, S. / Flautner, K. / Association for Computing Machinery; Association for Computing Machinery; Association for Computing Machinery et al. | 2007
- 11
-
Visualising dynamic memory allocatorsCheadle, A.M. / Field, A.J. / Ayres, J.W. / Dunn, N. / Hayden, R.A. / Nystrom-Persson, J. / Association for Computing Machinery et al. | 2006
- 11
-
Faster WCET flow analysis by program slicingSandberg, C. / Ermedahl, A. / Gustafsson, J. / Lisper, B. / ACM SIGPLAN; ACM SIGBED et al. | 2006
- 11
-
Open data types and open functionsLoh, A. / Hinze, R. / ACM SIGPLAN et al. | 2007
- 12
-
Profiling over adaptive rangesMysore, S. / Agrawal, B. / Sherwood, T. / Shrivastava, N. / Suri, S. / IEEE Computer Society et al. | 2006
- 12
-
Predicting bounds on queuing delay for batch-scheduled parallel machinesBrevik, J. / Nurmi, D. / Wolski, R. et al. | 2007
- 12
-
Auto-vectorization of interleaved data for SIMDNuzman, D. / Rosen, I. / Zaks, A. / ACM Special Interest Group on Programming Languages et al. | 2007
- 12
-
Intermediate-representation recovery from low-level codeReps, T. / Balakrishnan, G. / Lim, J. et al. | 2007
- 12
-
Issues in holistic system designLawall, J.L. / Probst, C.W. / Schultz, U.P. et al. | 2007
- 12
-
Expressing heap-shape contracts in linear logicPerry, F. / Jia, L. / Walker, D. et al. | 2007
- 12
-
A comprehensive study of hardware/software approaches to improve TLB performance for Java applications on embedded systemsPeng, J. / Lueh, G.-Y. / Wu, G. / Gou, X. / Rakvic, R. et al. | 2007
- 12
-
Evaluating fragment construction policies for SDT systemsHiser, J.D. / Williams, D. / Filipi, A. / Davidson, J.W. / Childers, B.R. / Association for Computing Machinery et al. | 2007
- 12
-
GenI: natural language generation in HaskellKow, E. / Association for Computing Machinery et al. | 2007
- 12
-
Transactional eventsDonnelly, K. / Fluet, M. / ACM SIGPLAN et al. | 2006
- 12
-
Formal semantics of weak referencesDonnelly, K. / Hallett, J.J. / Kfoury, A. / Association for Computing Machinery et al. | 2006
- 12
-
A spatial path scheduling algorithm for EDGE architecturesCoons, K.E. / Chen, X. / Burger, D. / McKinley, K.S. / Kushwaha, S.K. / Association for Computing Machinery; Association for Computing Machinery; Association for Computing Machinery et al. | 2007
- 12
-
Virgil: objects on the head of a pinTitzer, B.L. / ACM SIGPLAN et al. | 2006
- 12
-
Environment analysis via delta CFAMight, M. / Shivers, O. / Association for Computing Machinery et al. | 2007
- 12
-
A historic functional and object-oriented calculusFernandez, M. / Fleutot, F. / ACM SIGPLAN et al. | 2007
- 12
-
Synthesizing safe state machines from EsterelProchnow, S. / Traulsen, C. / von Hanxleden, R. / ACM SIGPLAN; ACM SIGBED et al. | 2006
- 12
-
SecCMP: a secure chip-multiprocessor architectureYang, L. / Peng, L. / ACM Special Interest Group on Porgramming Languages et al. | 2007
- 12
-
Multiscale and multivariate visualizations of software evolutionVoinea, L. / Telea, A. / SIGCHI (Group : U.S.) et al. | 2007
- 13
-
A verified staged interpreter is a verified compilerBrady, E. / Hammond, K. et al. | 2007
- 13
-
Dynamic code management: improving whole program code locality in managed runtimesHuang, X. / Lewis, B.T. / McKinley, K.S. / Association for Computing Machinery et al. | 2007
- 13
-
Visualizing program execution using user abstractionsReiss, S.P. / SIGCHI (Group : U.S.) et al. | 2007
- 13
-
SAFECode: enforcing alias analysis for weakly typed languagesDhurjati, D. / Kowshik, S. / Adve, V. / ACM Special Interest Group on Programming Languages et al. | 2007
- 13
-
Efficient code generation from SHIM modelsEdwards, S.A. / Tardieu, O. / ACM SIGPLAN; ACM SIGBED et al. | 2006
- 13
-
Small bisimulations for reasoning about higher-order imperative programsKoutavas, V. / Wand, M. / Association for Computing Machinery et al. | 2007
- 13
-
Optimizing irregular shared-memory applications for distributed-memory systemsBasumallik, A. / Eigenmann, R. et al. | 2007
- 13
-
Stabilizers: a modular checkpointing abstraction for concurrent functional programsZiarek, L. / Schatz, P. / Jagannathan, S. / ACM SIGPLAN et al. | 2006
- 13
-
Compile-time deallocation of individual objectsCherem, S. / Rugina, R. / Association for Computing Machinery et al. | 2006
- 13
-
Combining algorithmic debugging and program slicingSilva, J. / Chitil, O. / ACM SIGPLAN et al. | 2007
- 13
-
Instruction scheduling for a tiled dataflow architectureMercaldi, M. / Swanson, S. / Petersen, A. / Putnam, A. / Schwerin, A. / Oskin, M. / Eggers, S.J. / Association for Computing Machinery; Association for Computing Machinery; Association for Computing Machinery et al. | 2007
- 13
-
Declarative, formal, and extensible syntax definition for aspectJBravenboer, M. / Tanter, E. / Visser, E. / ACM SIGPLAN et al. | 2006
- 13
-
Core role-based access control: efficient implementations by transformationsLiu, Y.A. / Wang, C. / Gorbovitski, M. / Rothamel, T. / Cheng, Y. / Zhao, Y. / Zhang, J. et al. | 2007
- 13
-
Statically typed linear algebra in HaskellEaton, F. / Association for Computing Machinery et al. | 2007
- 13
-
2D-profiling: detecting input-dependent branches with a single input data setKim, H. / Suleman, M.A. / Mutlu, O. / Patt, Y.N. / IEEE Computer Society et al. | 2006
- 14
-
Practical type inference based on success typingsLindahl, T. / Sagonas, K. / ACM SIGPLAN et al. | 2007
- 14
-
HotpathVM: an effective JIT compiler for resource-constrained devicesGal, A. / Probst, C.W. / Franz, M. / Association for Computing Machinery et al. | 2007
- 14
-
Proving correctness of highly-concurrent linearisable objectsVafeiadis, V. / Herlihy, M. / Hoare, T. / Shapiro, M. et al. | 2007
- 14
-
Mondrian: an agile information visualization frameworkMeyer, M. / Girba, T. / Lungu, M. / SIGCHI (Group : U.S.) et al. | 2007
- 14
-
Program transformation by solving recurrencesLuca, B. / Andrei, S. / Anderson, H. / Khoo, S.-C. et al. | 2007
- 14
-
Generating optimized code from SCR specificationsRothamel, T. / Liu, Y.A. / Heitmeyer, C.L. / Leonard, E.I. / ACM SIGPLAN; ACM SIGBED et al. | 2006
- 14
-
Method-specific dynamic compilation using logistic regressionCavazos, J. / O Boyle, M.F.P. / ACM SIGPLAN et al. | 2006
- 14
-
Exploiting coarse-grained task, data, and pipeline parallelism in stream programsGordon, M.I. / Thies, W. / Amarasinghe, S. / Association for Computing Machinery; Association for Computing Machinery; Association for Computing Machinery et al. | 2007
- 14
-
DieHard: probabilistic memory safety for unsafe languagesBerger, E.D. / Zorn, B.G. / ACM Special Interest Group on Programming Languages et al. | 2007
- 14
-
A fixpoint calculus for local and global program flowsAlur, R. / Chaudhuri, S. / Madhusudan, P. / Association for Computing Machinery et al. | 2007
- 14
-
Haskell' status reportJones, I. / Association for Computing Machinery et al. | 2007
- 14
-
Compiler optimizations for nondeferred reference: counting garbage collectionJoisha, P.G. / Association for Computing Machinery et al. | 2006
- 14
-
Constructing virtual architectures on a tiled processorWentzlaff, D. / Agarwal, A. / IEEE Computer Society et al. | 2006
- 14
-
Modelling deterministic concurrent I/ODowse, M. / Butterfield, A. / ACM SIGPLAN et al. | 2006
- 15
-
The Scala experiment: can we provide better language support for component systems?Odersky, M. / Association for Computing Machinery et al. | 2007
- 15
-
Framework for instruction-level tracing and analysis of program executionsBhansali, S. / Chen, W.-K. / de Jong, S. / Edwards, A. / Murray, R. / Drinic, M. / Mihocka, D. / Chau, J. / Association for Computing Machinery et al. | 2007
- 15
-
3D visualisation of code structures in Java software systemsFronk, A. / Bruckhoff, A. / Kern, M. / SIGCHI (Group : U.S.) et al. | 2007
- 15
-
Optimistic stack allocation for Java-like languagesCorry, E. / Association for Computing Machinery et al. | 2006
- 15
-
Compiling for EDGE architecturesSmith, A. / Gibson, J. / Maher, B. / Nethercote, N. / Yoder, B. / Burger, D. / McKinley, K.S. / Burrill, J. / IEEE Computer Society et al. | 2006
- 15
-
Replay compilation: improving debuggability of a just-in-time compilerOgata, K. / Onodera, T. / Kawachiya, K. / Komatsu, H. / Nakatani, T. / ACM SIGPLAN et al. | 2006
- 15
-
Tartan: evaluating spatial computation for whole program executionMishra, M. / Callahan, T.J. / Chelcea, T. / Venkataramani, G. / Goldstein, S.C. / Budiu, M. / Association for Computing Machinery; Association for Computing Machinery; Association for Computing Machinery et al. | 2007
- 15
-
Collection analysis for Horn clause programsMiller, D. / ACM SIGPLAN et al. | 2007
- 15
-
Effective compiler generation by architecture descriptionFarfeleder, S. / Krall, A. / Steiner, E. / Brandner, F. / ACM SIGPLAN; ACM SIGBED et al. | 2006
- 15
-
Modular development of certified program verifiers with a proof assistantChlipala, A. / ACM SIGPLAN et al. | 2006
- 15
-
Generic programming in FortranErwig, M. / Fu, Z. / Pflaum, B. et al. | 2007
- 15
-
Pruning dynamic slices with confidenceZhang, X. / Gupta, N. / Gupta, R. / ACM Special Interest Group on Programming Languages et al. | 2007
- 15
-
Accurate and efficient runtime detection of atomicity errors in concurrent programsWang, L. / Stoller, S.D. et al. | 2007
- 16
-
Scalable synchronous queuesScherer, W.N. / Lea, D. / Scott, M.L. et al. | 2007
- 16
-
Data and computation transformations for brook streaming applications on multiprocessorsLiao, S.-w. / Du, Z. / Wu, G. / Lueh, G.-Y. / IEEE Computer Society et al. | 2006
- 16
-
Dimension: an instrumentation tool for virtual execution environmentsYang, J. / Zhou, S. / Soffa, M.L. / Association for Computing Machinery et al. | 2007
- 16
-
One-and-a-halfth-order logicGabbay, M.J. / Mathijssen, A. / ACM SIGPLAN et al. | 2007
- 16
-
How do changes in buggy Mozilla files propagate?Voinea, L. / Telea, A. / SIGCHI (Group : U.S.) et al. | 2007
- 16
-
Adventures in time and spaceDanner, N. / Royer, J.S. / Association for Computing Machinery et al. | 2007
- 16
-
A performance counter architecture for computing accurate CPI componentsEyerman, S. / Eeckhout, L. / Karkhanis, T. / Smith, J.E. / Association for Computing Machinery; Association for Computing Machinery; Association for Computing Machinery et al. | 2007
- 16
-
Procrastination for leakage-aware rate-monotonic scheduling on a dynamic voltage scaling processorChen, J.-J. / Kuo, T.-W. / ACM SIGPLAN; ACM SIGBED et al. | 2006
- 16
-
A flexible framework for implementing software transactional memoryHerlihy, M. / Luchangco, V. / Moir, M. / ACM SIGPLAN et al. | 2006
- 16
-
LOCO: an interactive code (De)obfuscation toolMadou, M. / Van Put, L. / De Bosschere, K. et al. | 2007
- 16
-
Program-level adaptive memory managementZhang, C. / Kelsey, K. / Shen, X. / Ding, C. / Hertz, M. / Ogihara, M. / Association for Computing Machinery et al. | 2006
- 16
-
Context-sensitive domain-independent algorithm composition and selectionJohnson, T.A. / Eigenmann, R. / ACM Special Interest Group on Programming Languages et al. | 2007
- 16
-
Mechanized meta-reasoning using a hybrid HOAS/de bruijn representation and reflectionHickey, J. / Nogin, A. / Yu, X. / Kopylov, A. / ACM SIGPLAN et al. | 2006
- 17
-
POSH: a TLS compiler that exploits program structureLiu, W. / Tuck, J. / Ceze, L. / Ahn, W. / Strauss, K. / Renau, J. / Torrellas, J. et al. | 2007
- 17
-
Eliminating synchronization-related atomic operations with biased locking and bulk rebiasingRussell, K. / Detlefs, D. / ACM SIGPLAN et al. | 2006
- 17
-
Compiler-directed data partitioning for multicluster processorsChu, M.L. / Mahlke, S.A. / IEEE Computer Society et al. | 2006
- 17
-
N-synchronous Kahn networks: a relaxed model of synchrony for real-time systemsCohen, A. / Duranton, M. / Eisenbeis, C. / Pagetti, C. / Plateau, F. / Pouzet, M. / Association for Computing Machinery et al. | 2007
- 17
-
A modal type system for multi-level generating extensions with persistent codeYuse, Y. / Igarashi, A. / ACM SIGPLAN et al. | 2007
- 17
-
Accurate and efficient regression modeling for microarchitectural performance and power predictionLee, B.C. / Brooks, D.M. / Association for Computing Machinery; Association for Computing Machinery; Association for Computing Machinery et al. | 2007
- 17
-
Equality of streams is a Pi 0 over 2-complete problemRosu, G. / ACM SIGPLAN et al. | 2006
- 17
-
Reducing NoC energy consumption through compiler-directed channel voltage scalingChen, G. / Li, F. / Kandemir, M. / Irwin, M.J. / ACM Special Interest Group on Programming Languages et al. | 2007
- 17
-
Fast and efficient partial code reordering: taking advantage of dynamic recompilatiorHuang, X. / Blackburn, S.M. / Grove, D. / McKinley, K.S. / Association for Computing Machinery et al. | 2006
- 17
-
HDTrans: an open source, low-level dynamic instrumentation systemSridhar, S. / Shapiro, J.S. / Northup, E. / Bungale, P.P. / Association for Computing Machinery et al. | 2007
- 17
-
Continuous code-quality assurance with SAFEGeay, E. / Yahav, E. / Fink, S. et al. | 2007
- 17
-
A tool for visualizing schemas for semistructured dataHosking, J. / Khoussainova, N. / Dobbie, G. / SIGCHI (Group : U.S.) et al. | 2007
- 17
-
Compiler-directed thermal management for VLIW functional unitsMutyam, M. / Li, F. / Narayanan, V. / Kandemir, M. / Irwin, M.J. / ACM SIGPLAN; ACM SIGBED et al. | 2006
- 18
-
Inline analysis: beyond selection heuristicsChakrabarti, D.R. / Liu, S.-M. / IEEE Computer Society et al. | 2006
- 18
-
A global progressive register allocatorKoes, D.R. / Goldstein, S.C. / ACM Special Interest Group on Programming Languages et al. | 2007
- 18
-
Compiler-directed channel allocation for saving power in on-chip networksChen, G. / Li, F. / Kandemir, M. / Association for Computing Machinery et al. | 2007
- 18
-
Efficiently exploring architectural design spaces via predictive modelingIpek, E. / McKee, S.A. / Caruana, R. / de Supinski, B.R. / Schulz, M. / Association for Computing Machinery; Association for Computing Machinery; Association for Computing Machinery et al. | 2007
- 18
-
OCaml + XDuceFrisch, A. / ACM SIGPLAN et al. | 2006
- 18
-
Bypass aware instruction scheduling for register file power reductionPark, S. / Shrivastava, A. / Dutt, N. / Nicolau, A. / Paek, Y. / Earlie, E. / ACM SIGPLAN; ACM SIGBED et al. | 2006
- 18
-
Inferring dynamic credentials for role-based trust managementGorla, D. / Hennessy, M. / Sassone, V. / ACM SIGPLAN et al. | 2007
- 18
-
Abolish runtime systems: operating systems should control the executionLarus, J.R. / Association for Computing Machinery et al. | 2007
- 18
-
Tradeoffs in metaprogrammingVeldhuizen, T.L. et al. | 2007
- 18
-
Memory management challenges in the power-aware computing eraMendelson, A. / Association for Computing Machinery et al. | 2006
- 18
-
High-performance IPv6 forwarding algorithm for multi-core and multithreaded network processorHu, X. / Tang, X. / Hua, B. et al. | 2007
- 18
-
A transparent interface to state-space search programsTanimoto, S.L. / Levialdi, S. / SIGCHI (Group : U.S.) et al. | 2007
- 18
-
A flow-based approach for variant parametric typesChin, W.-N. / Craciun, F. / Khoo, S.-C. / Popeea, C. / ACM SIGPLAN et al. | 2006
- 19
-
biXid: a bidirectional transformation language for XMLKawanaka, S. / Hosoya, H. / ACM SIGPLAN et al. | 2006
- 19
-
``MAMA!'': a memory allocator for multithreaded architecturesKahan, S. / Konecny, P. et al. | 2007
- 19
-
Condate: a proto-language at the confluence between checking and compilingVolanschi, N. / ACM SIGPLAN et al. | 2007
- 19
-
A visualization software for the network simplex algorithmBaloukas, T. / Paparrizos, K. / SIGCHI (Group : U.S.) et al. | 2007
- 19
-
Practical structure layout optimization and adviceHundt, R. / Mannarswamy, S. / Chakrabarti, D. / IEEE Computer Society et al. | 2006
- 19
-
Hardware virtualization trendsvan Doorn, L. / Association for Computing Machinery et al. | 2007
- 19
-
Concepts: linguistic support for generic programming in C++Gregor, D. / Jarvi, J. / Siek, J. / Stroustrup, B. / Dos Reis, G. / Lumsdaine, A. / ACM SIGPLAN et al. | 2006
- 19
-
Comprehensively and efficiently protecting the heapKharbutli, M. / Jiang, X. / Solihin, Y. / Venkataramani, G. / Prvulovic, M. / Association for Computing Machinery; Association for Computing Machinery; Association for Computing Machinery et al. | 2007
- 19
-
Fast and loose reasoning is morally correctDanielsson, N.A. / Hughes, J. / Jansson, P. / Gibbons, J. / Association for Computing Machinery et al. | 2007
- 19
-
Profile-based global live-range splittingNakaike, T. / Inagaki, T. / Komatsu, H. / Nakatani, T. / ACM Special Interest Group on Programming Languages et al. | 2007
- 19
-
A monadic approach for avoiding code duplication when staging memoized functionsSwadi, K. / Taha, W. / Kiselyov, O. / Pasalic, E. et al. | 2007
- 19
-
Area and delay estimation for FPGA implementation of coarse-grained reconfigurable architecturesYan, L. / Srikanthan, T. / Gang, N. / ACM SIGPLAN; ACM SIGBED et al. | 2006
- 20
-
Modular set-based analysis from contractsMeunier, P. / Findler, R.B. / Felleisen, M. / Association for Computing Machinery et al. | 2007
- 20
-
Adding procedures and pointers to the ALVIS algorithm visualization software: a preliminary designHundhausen, C.D. / Brown, J.L. / Farley, S. / SIGCHI (Group : U.S.) et al. | 2007
- 20
-
Generic ownership for generic JavaPotanin, A. / Noble, J. / Clarke, D. / Biddle, R. / ACM SIGPLAN et al. | 2006
- 20
-
Post register allocation spill code optimizationLupo, C. / Wilken, K.D. / IEEE Computer Society et al. | 2006
- 20
-
McRT-STM: a high performance software transactional memory system for a multi-core runtimeSaha, B. / Adl-Tabatabai, A.-R. / Hudson, R.L. / Minh, C.C. / Hertzberg, B. et al. | 2007
- 20
-
Fifteen years of functional pearlsBird, R.S. / ACM SIGPLAN et al. | 2006
- 20
-
HeapMD: identifying heap-based bugs using anomaly detectionChilimbi, T.M. / Ganapathy, V. / Association for Computing Machinery; Association for Computing Machinery; Association for Computing Machinery et al. | 2007
- 20
-
BOTS: a constraint-based component system for synthesizing scalable software systemsPandey, R. / Wu, J. / ACM SIGPLAN; ACM SIGBED et al. | 2006
- 20
-
Automatic instruction scheduler retargeting by reverse-engineeringBridges, M.J. / Vachharajani, N. / Ottoni, G. / August, D.I. / ACM Special Interest Group on Programming Languages et al. | 2007
- 20
-
Compiling ML polymorphism with explicit layout bitmapNguyen, H.-D. / Ohori, A. / ACM SIGPLAN et al. | 2007
- 21
-
Recording shared memory dependencies using strataNarayanasamy, S. / Pereira, C. / Calder, B. / Association for Computing Machinery; Association for Computing Machinery; Association for Computing Machinery et al. | 2007
- 21
-
A pattern for almost compositional functionsBringert, B. / Ranta, A. / ACM SIGPLAN et al. | 2006
- 21
-
A formal framework for component deploymentLiu, Y.D. / Smith, S.F. / ACM SIGPLAN et al. | 2006
- 21
-
Animation of control flow for low-level debuggingLiu, H. / Vainstein, F. / SIGCHI (Group : U.S.) et al. | 2007
- 21
-
Optimizing compiler for shared-memory multiple SIMD architectureZhang, W. / Qian, X. / Wang, Y. / Zang, B. / Zhu, C. / ACM SIGPLAN; ACM SIGBED et al. | 2006
- 21
-
A type system equivalent to static single assignmentMatsuno, Y. / Ohori, A. / ACM SIGPLAN et al. | 2007
- 21
-
A compiler-guided approach for reducing disk power consumption by exploiting disk access localitySon, S.W. / Chen, G. / Kandemir, M. / IEEE Computer Society et al. | 2006
- 21
-
Online performance auditing: using hot optimizations without getting burnedLau, J. / Arnold, M. / Hind, M. / Calder, B. / ACM Special Interest Group on Programming Languages et al. | 2007
- 21
-
Stratified type inference for generalized algebraic data typesPottier, F. / Regis-Gianas, Y. / Association for Computing Machinery et al. | 2007
- 21
-
Exploiting distributed version concurrency in a transactional memory clusterManassiev, K. / Mihailescu, M. / Amza, C. et al. | 2007
- 22
-
Hybrid transactional memoryKumar, S. / Chu, M. / Hughes, C.J. / Kundu, P. / Nguyen, A. et al. | 2007
- 22
-
Optimizing dynamic binary translation for SIMD instructionsLi, J. / Zhang, Q. / Xu, S. / Huang, B. / IEEE Computer Society et al. | 2006
- 22
-
Poly-controlled partial evaluationPuebla, G. / Ochoa, C. / ACM SIGPLAN et al. | 2007
- 22
-
Drawing activity diagramsSiebenhaller, M. / Kaufmann, M. / SIGCHI (Group : U.S.) et al. | 2007
- 22
-
Embedded systems in the wild: ZebraNet software, hardware, and deployment experiencesMartonosi, M. / ACM SIGPLAN; ACM SIGBED et al. | 2006
- 22
-
Cache-conscious coallocation of hot data streamsChilimbi, T.M. / Shaham, R. / ACM Special Interest Group on Programming Languages et al. | 2007
- 22
-
A defect tolerant self-organizing nanoscale SIMD architecturePatwardhan, J.P. / Johri, V. / Dwyer, C. / Lebeck, A.R. / Association for Computing Machinery; Association for Computing Machinery; Association for Computing Machinery et al. | 2007
- 22
-
Algebraic fusion of functions with an accumulating parameter and its improvementKatsumata, S.-y. / Nishimura, S. / ACM SIGPLAN et al. | 2006
- 22
-
An operational semantics and type safety prooffor multiple inheritance in C++Wasserrab, D. / Nipkow, T. / Snelting, G. / Tip, F. / ACM SIGPLAN et al. | 2006
- 22
-
Hybrid type checkingFlanagan, C. / Association for Computing Machinery et al. | 2007
- 23
-
Multi-platform auto-vectorizationNuzman, D. / Henderson, R. / IEEE Computer Society et al. | 2006
- 23
-
Accurate, efficient, and adaptive calling context profilingZhuang, X. / Serrano, M.J. / Cain, H.W. / Choi, J.-D. / ACM Special Interest Group on Programming Languages et al. | 2007
- 23
-
Typed polyadic pi-calculus in bigraphsBundgaard, M. / Sassone, V. / ACM SIGPLAN et al. | 2007
- 23
-
Evaluating X3D for use in software visualizationAnslow, C. / Marshall, S. / Noble, J. / Biddle, R. / SIGCHI (Group : U.S.) et al. | 2007
- 23
-
Extensible programming with first-class casesBlume, M. / Acar, U.A. / Chae, W. / ACM SIGPLAN et al. | 2006
- 23
-
A program transformation and architecture support for quantum uncomputationSchuchman, E. / Vijaykumar, T.N. / Association for Computing Machinery; Association for Computing Machinery; Association for Computing Machinery et al. | 2007
- 23
-
A polymorphic modal type system for lisp-like multi-staged languagesKim, I.-S. / Yi, K. / Calcagno, C. / Association for Computing Machinery et al. | 2007
- 23
-
Efficient software model checking of data structure propertiesDarga, P.T. / Boyapati, C. / ACM SIGPLAN et al. | 2006
- 23
-
Fast and transparent recovery for continuous availability of cluster-based serversChristodoulopoulou, R. / Manassiev, K. / Bilas, A. / Amza, C. et al. | 2007
- 24
-
Evolutionary layout of UML class diagramsGudenberg, J.W.v. / Niederle, A. / Ebner, M. / Eichelberger, H. / SIGCHI (Group : U.S.) et al. | 2007
- 24
-
Minimizing execution time in MPI programs on an energy-constrained, power-scalable clusterSpringer, R. / Lowenthal, D.K. / Rountree, B. / Freeh, V.W. et al. | 2007
- 24
-
Constraint handling rules: the story so farFruhwirth, T. / ACM SIGPLAN et al. | 2007
- 24
-
Isolating and relating concerns in requirements using latent semantic analysisKit, L.K. / Man, C.K. / Baniassad, E. / ACM SIGPLAN et al. | 2006
- 24
-
Boxy types: inference for higher-rank types and impredicativityVytiniotis, D. / Weirich, S. / Jones, S.P. / ACM SIGPLAN et al. | 2006
- 24
-
Algorithm specialization in generic programming: challenges of constrained generics in C++Jarvi, J. / Gregor, D. / Willcock, J. / Lumsdaine, A. / Siek, J. / ACM Special Interest Group on Programming Languages et al. | 2007
- 24
-
Using machine learning to focus iterative optimizationAgakov, F. / Bonilla, E. / Cavazos, J. / Franke, B. / Fursin, G. / O Boyle, M.F.P. / Thomson, J. / Toussaint, M. / Williams, C.K.I. / IEEE Computer Society et al. | 2006
- 24
-
Introspective 3D chipsMysore, S. / Agrawal, B. / Srivastava, N. / Lin, S.-C. / Banerjee, K. / Sherwood, T. / Association for Computing Machinery; Association for Computing Machinery; Association for Computing Machinery et al. | 2007
- 24
-
The next mainstream programming language: a game developer's perspectiveSweeney, T. / Association for Computing Machinery et al. | 2007
- 25
-
Exhaustive optimization phase order space explorationKulkarni, P.A. / Whalley, D.B. / Tyson, G.S. / Davidson, J.W. / IEEE Computer Society et al. | 2006
- 25
-
Understanding the shape of Java softwareBaxter, G. / Frean, M. / Noble, J. / Rickerby, M. / Smith, H. / Visser, M. / Melton, H. / Tempero, E. / ACM SIGPLAN et al. | 2006
- 25
-
Eventrons: a safe programming construct for high-frequency hard real-time applicationsSpoonhower, D. / Auerbach, J. / Bacon, D.F. / Cheng, P. / Grove, D. / ACM Special Interest Group on Programming Languages et al. | 2007
- 25
-
A virtual class calculusErnst, E. / Ostermann, K. / Cook, W.R. / Association for Computing Machinery et al. | 2007
- 25
-
Evolutionary layout: preserving the mental map during the development of class modelsJucknath-John, S. / Graf, D. / Taentzer, G. / SIGCHI (Group : U.S.) et al. | 2007
- 25
-
Stealth prefetchingCantin, J.F. / Lipasti, M.H. / Smith, J.E. / Association for Computing Machinery; Association for Computing Machinery; Association for Computing Machinery et al. | 2007
- 25
-
Teaching parallel computing to science faculty: best practices and common pitfallsJoiner, D.A. / Gray, P. / Murphy, T. / Peck, C. et al. | 2007
- 25
-
Access control in a core calculus of dependencyAbadi, M. / ACM SIGPLAN et al. | 2006
- 26
-
Continuations and transducer compositionShivers, O. / Might, M. / ACM Special Interest Group on Programming Languages et al. | 2007
- 26
-
Interruptible iteratorsLiu, J. / Kimball, A. / Myers, A.C. / Association for Computing Machinery et al. | 2007
- 26
-
Icon graphs: visualizing the evolution of large class modelsJucknath-John, S. / Graf, D. / SIGCHI (Group : U.S.) et al. | 2007
- 26
-
Fast and effective orchestration of compiler optimizations for automatic performance tuningPan, Z. / Eigenmann, R. / IEEE Computer Society et al. | 2006
- 26
-
XSnippet: mining for sample codeSahavechaphan, N. / Claypool, K. / ACM SIGPLAN et al. | 2006
- 26
-
Computation spreading: employing hardware migration to specialize CMP cores on-the-flyChakraborty, K. / Wells, P.M. / Sohi, G.S. / Association for Computing Machinery; Association for Computing Machinery; Association for Computing Machinery et al. | 2007
- 26
-
Programming monads operationally with UnimoLin, C.-k. / ACM SIGPLAN et al. | 2006
- 26
-
Parallel programming and code selection in fortressSteele, G.L. et al. | 2007
- 27
-
Intentional MPI programming in a visual development environmentPazel, D.P. / Tibbitts, B.R. / SIGCHI (Group : U.S.) et al. | 2007
- 27
-
Conscientious softwareGabriel, R.P. / Goldman, R. / ACM SIGPLAN et al. | 2006
- 27
-
Specifying C++ conceptsDos Reis, G. / Stroustrup, B. / Association for Computing Machinery et al. | 2007
- 27
-
Parallel programming in modern web search enginesStata, R. et al. | 2007
- 27
-
Software-based transparent and comprehensive control-flow error detectionBorin, E. / Wang, C. / Wu, Y. / Araujo, G. / IEEE Computer Society et al. | 2006
- 27
-
Software-based instruction caching for embedded processorsMiller, J.E. / Agarwal, A. / Association for Computing Machinery; Association for Computing Machinery; Association for Computing Machinery et al. | 2007
- 27
-
Effective static race detection for JavaNaik, M. / Aiken, A. / Whaley, J. / ACM Special Interest Group on Programming Languages et al. | 2007
- 27
-
Abstraction preservation and subtyping in distributed languagesDenielou, P.-M. / Leifer, J.J. / ACM SIGPLAN et al. | 2006
- 28
-
Intentional softwareSimonyi, C. / Christerson, M. / Clifford, S. / ACM SIGPLAN et al. | 2006
- 28
-
Compiler optimizations to reduce security overheadZhang, T. / Zhuang, X. / Pande, S. / IEEE Computer Society et al. | 2006
- 28
-
Frame rules from answer types for code pointersThielecke, H. / Association for Computing Machinery et al. | 2007
- 28
-
Mapping esterel onto a multi-threaded embedded processorLi, X. / Boldt, M. / von Hanxleden, R. / Association for Computing Machinery; Association for Computing Machinery; Association for Computing Machinery et al. | 2007
- 28
-
LOCKSMITH: context-sensitive correlation analysis for race detectionPratikakis, P. / Foster, J.S. / Hicks, M. / ACM Special Interest Group on Programming Languages et al. | 2007
- 28
-
Lightweight visualizations for inspecting code smellsParnin, C. / Gorg, C. / SIGCHI (Group : U.S.) et al. | 2007
- 29
-
Certified assembly programming with embedded code pointersNi, Z. / Shao, Z. / Association for Computing Machinery et al. | 2007
- 29
-
BIRD: binary interpretation using runtime disassemblyNanda, S. / Li, W. / Lam, L.-C. / Chiueh, T.-c. / IEEE Computer Society et al. | 2006
- 29
-
Integrated network interfaces for high-bandwidth TCP/IPBinkert, N.L. / Saidi, A.G. / Reinhardt, S.K. / Association for Computing Machinery; Association for Computing Machinery; Association for Computing Machinery et al. | 2007
- 29
-
Metaphor-based animation of OO programsSajaniemi, J. / Byckling, P. / Gerdt, P. / SIGCHI (Group : U.S.) et al. | 2007
- 29
-
On system designWaldo, J. / ACM SIGPLAN et al. | 2006
- 29
-
Profile-guided proactive garbage collection for locality optimizationChen, W.-k. / Bhansali, S. / Chilimbi, T. / Gao, X. / Chuang, W. / ACM Special Interest Group on Programming Languages et al. | 2007
- 30
-
Correctness-preserving derivation of concurrent garbage collection algorithmsVechev, M.T. / Yahav, E. / Bacon, D.F. / ACM Special Interest Group on Programming Languages et al. | 2007
- 30
-
Accelerator: using data parallelism to program GPUs for general-purpose usesTarditi, D. / Puri, S. / Oglesby, J. / Association for Computing Machinery; Association for Computing Machinery; Association for Computing Machinery et al. | 2007
- 30
-
Novel algorithm explanation techniques for improving algorithm teachingKerren, A. / Muldner, T. / Shakshuki, E. / SIGCHI (Group : U.S.) et al. | 2007
- 30
-
The paradoxical success of aspect-oriented programmingSteimann, F. / ACM SIGPLAN et al. | 2006
- 30
-
Associating synchronization constraints with data in an object-oriented languageVaziri, M. / Tip, F. / Dolby, J. / Association for Computing Machinery et al. | 2007
- 31
-
The Compressor: concurrent, incremental, and parallel compactionKermany, H. / Petrank, E. / ACM Special Interest Group on Programming Languages et al. | 2007
- 31
-
Semantic web data visualization with graph style sheetsPietriga, E. / SIGCHI (Group : U.S.) et al. | 2007
- 31
-
Autolocker: synchronization inference for atomic sectionsMcCloskey, B. / Zhou, F. / Gay, D. / Brewer, E. / Association for Computing Machinery et al. | 2007
- 32
-
Unbounded page-based transactional memoryChuang, W. / Narayanasamy, S. / Venkatesh, G. / Sampson, J. / Van Biesbrouck, M. / Pokam, G. / Calder, B. / Colavin, O. / Association for Computing Machinery; Association for Computing Machinery; Association for Computing Machinery et al. | 2007
- 32
-
Protecting representation with effect encapsulationLu, Y. / Potter, J. / Association for Computing Machinery et al. | 2007
- 32
-
Softwarenaut: cutting edge visualizationLungu, M. / Lanza, M. / SIGCHI (Group : U.S.) et al. | 2007
- 32
-
Free-Me: a static analysis for automatic individual object reclamationGuyer, S.Z. / McKinley, K.S. / Frampton, D. / ACM Special Interest Group on Programming Languages et al. | 2007
- 33
-
The effect of comparison cueing and exchange motion on comprehension of program visualizationsReed, B. / Rhodes, P. / Kraemer, E. / Davis, E.T. / Hailston, K. / SIGCHI (Group : U.S.) et al. | 2007
- 33
-
The essence of command injection attacks in web applicationsSu, Z. / Wassermann, G. / Association for Computing Machinery et al. | 2007
- 33
-
Combining abstract interpretersGulwani, S. / Tiwari, A. / ACM Special Interest Group on Programming Languages et al. | 2007
- 33
-
Supporting nested transactional memory in logTMMoravan, M.J. / Bobba, J. / Moore, K.E. / Yen, L. / Hill, M.D. / Liblit, B. / Swift, M.M. / Wood, D.A. / Association for Computing Machinery; Association for Computing Machinery; Association for Computing Machinery et al. | 2007
- 34
-
Harmless adviceDantas, D.S. / Walker, D. / Association for Computing Machinery et al. | 2007
- 34
-
The importance of interactive questioning techniques in the comprehension of algorithm animationsRhodes, P. / Kraemer, E. / Reed, B. / SIGCHI (Group : U.S.) et al. | 2007
- 34
-
Refinement-based context-sensitive points-to analysis for JavaSridharan, M. / Bodik, R. / ACM Special Interest Group on Programming Languages et al. | 2007
- 34
-
Tradeoffs in transactional memory virtualizationChung, J. / Minh, C.C. / McDonald, A. / Skare, T. / Chafi, H. / Carlstrom, B.D. / Kozyrakis, C. / Olukotun, K. / Association for Computing Machinery; Association for Computing Machinery; Association for Computing Machinery et al. | 2007
- 35
-
A verifiable SSA program representation for aggressive compiler optimizationMenon, V.S. / Glew, N. / Murphy, B.R. / McCreight, A. / Shpeisman, T. / Adl-Tabatabai, A.-R. / Petersen, L. / Association for Computing Machinery et al. | 2007
- 35
-
A new idiom recognition framework for exploiting hardware-assist instructionsKawahito, M. / Komatsu, H. / Moriyama, T. / Inoue, H. / Nakatani, T. / Association for Computing Machinery; Association for Computing Machinery; Association for Computing Machinery et al. | 2007
- 35
-
Time travelling animated program executionsKahn, K. / SIGCHI (Group : U.S.) et al. | 2007
- 35
-
Modular verification of assembly code with stack-based control abstractionsFeng, X. / Shao, Z. / Vaynberg, A. / Xiang, S. / Ni, Z. / ACM Special Interest Group on Programming Languages et al. | 2007
- 36
-
Towards empirically validated software architecture visualizationKnodel, J. / Muthig, D. / Naab, M. / Zeckzer, D. / SIGCHI (Group : U.S.) et al. | 2007
- 36
-
Termination proofs for systems codeCook, B. / Podelski, A. / Rybalchenko, A. / ACM Special Interest Group on Programming Languages et al. | 2007
- 36
-
Automatic generation of peephole superoptimizersBansal, S. / Aiken, A. / Association for Computing Machinery; Association for Computing Machinery; Association for Computing Machinery et al. | 2007
- 36
-
Staged allocation: a compositional technique for specifying and implementing procedure calling conventionsOlinsky, R. / Lindig, C. / Ramsey, N. / Association for Computing Machinery et al. | 2007
- 37
-
TrustNeighborhoods in a nutshellElmqvist, N. / Tsigas, P. / SIGCHI (Group : U.S.) et al. | 2007
- 37
-
Combinatorial sketching for finite programsSolar-Lezama, A. / Tancau, L. / Bodik, R. / Seshia, S. / Saraswat, V. / Association for Computing Machinery; Association for Computing Machinery; Association for Computing Machinery et al. | 2007
- 38
-
A probabilistic pointer analysis for speculative optimizationsDa Silva, J. / Steffan, J.G. / Association for Computing Machinery; Association for Computing Machinery; Association for Computing Machinery et al. | 2007
- 38
-
Two-dimensional C++Reichardt, J. / SIGCHI (Group : U.S.) et al. | 2007
- 39
-
Impact of virtualization on computer architecture and operating systemsRosenblum, M. / Association for Computing Machinery; Association for Computing Machinery; Association for Computing Machinery et al. | 2007
- 39
-
Visual snippet editorGiffen, P.R. / Proulx, A. / Boo, J. / SIGCHI (Group : U.S.) et al. | 2007
- 40
-
Visualized adaptive runtime subsystemsSinger, J. / Kirkham, C. / SIGCHI (Group : U.S.) et al. | 2007
- 41
-
WADEIn II: adaptive explanatory visualization for expressions evaluationLoboda, T.D. / Brusilovsky, P. / SIGCHI (Group : U.S.) et al. | 2007