ACM SIGPLAN Notices 2011: all accepted papers
- Multicore garbage collection with local heaps ↗Simon Marlow, Simon Jones9 citations
- Null dereference verification via over-approximated weakest pre-conditions analysis ↗Ravichandhran Madhavan, Raghavan Komondoor9 citations
- Tool-supported refactoring for JavaScript ↗Asger Feldthaus, Todd D. Millstein, Anders Møller et al.9 citations
- A low-cost wear-leveling algorithm for block-mapping solid-state disks ↗Li-Pin Chang, Li-Chun Huang8 citations
- Delegated isolation ↗Roberto Lublinerman, Jisheng Zhao, Zoran Budimlić et al.8 citations
- F4F ↗Manu Sridharan, Shay Artzi, Marco Pistoia et al.8 citations
- Garbage collection auto-tuning for Java mapreduce on multi-cores ↗Jeremy Singer, George Kovoor, Gavin Brown et al.8 citations
- Hybrid NOrec ↗Luke Dalessandro, François Carouge, Sean White et al.8 citations
- JET ↗Siliang Li, Gang Tan8 citations
- Kismet ↗Dong‐Hwan Jeon, Saturnino Garcia, Chris Louie et al.8 citations
- Programming the memory hierarchy revisited ↗Michael Bauer, John Clark, Eric Schkufza et al.8 citations
- Synthesis of first-order dynamic programming algorithms ↗Yewen Pu, Rastislav Bodík, Saurabh Srivastava8 citations
- Two for the price of one ↗Sebastian Burckhardt, Daan Leijen, Caitlin Sadowski et al.8 citations
- Verified squared ↗Xavier Leroy8 citations
- Auto-tuning of fast fourier transform on graphics processors ↗Yuri Dotsenko, Sara S. Baghsorkhi, Brandon Lloyd et al.7 citations
- Automatic fine-grain locking using shape properties ↗Guy Golan-Gueta, Nathan Grasso Bronson, Alex Aiken et al.7 citations
- Compact data structure and scalable algorithms for the sparse grid technique ↗Alin Florindor Murarasu, Josef Weidendorfer, Gerrit Buse et al.7 citations
- Deriving an efficient FPGA implementation of a low density parity check forward error corrector ↗Andy Gill, Andrew Farmer7 citations
- Forest ↗Kathleen Fisher, Nate Foster, David Walker et al.7 citations
- Hybrid partial evaluation ↗Amin Shali, William R. Cook7 citations
- Kind analysis for MATLAB ↗Jesse Doherty, Laurie Jane Hendren, Soroush Radpour7 citations
- Perfctr-Xen ↗Ruslan Nikolaev, Godmar Back7 citations
- Rethink the virtual machine template ↗Kun Wang, Jia Rao, Chengzhong Xu7 citations
- SHERIFF ↗Tongping Liu, Emery D. Berger7 citations
- Taming the wildcards ↗John Altidor, Shan Huang, Yannis Smaragdakis7 citations
- The STAPL parallel container framework ↗Gabriel Tanase, Antal A. Buss, Adam Fidel et al.7 citations
- A simple abstraction for complex concurrent indexes ↗Pedro da Rocha Pinto, Thomas Dinsdale-Young, Mike Dodds et al.6 citations
- AC ↗Tim Harris, Martı́n Abadi, Rebecca Isaacs et al.6 citations
- All-window profiling and composable models of cache sharing ↗Xiaoya Xiang, Bin Bao, Tongxin Bai et al.6 citations
- HappyJIT ↗Andrei Homescu, Alex Şuhan6 citations
- Integrated language definition testing ↗Lennart C.L. Kats, Rob Vermaas, Eelco Visser B6 citations
- OoOJava ↗James Christopher Jenista, Yong hun Eom, Brian Charles Demsky6 citations
- SpiceC ↗Min Feng, Rajiv Gupta, Yi Hu6 citations
- The impact of optional type information on jit compilation of dynamically typed languages ↗Mason Chang, Bernd Mathiske, Edwin W. Smith et al.6 citations
- Trustworthy numerical computation in Scala ↗Eva Darulová, Viktor Kunčak6 citations
- ULCC ↗Xiaoning Ding, Kaibo Wang, Xiaodong Zhang6 citations
- Virtual values for language extension ↗Thomas H. Austin, Tim Disney, Cormac Flanagan A6 citations
- Communicating memory transactions ↗Mohsen Lesani, Jens Palsberg5 citations
- DoublePlay ↗Kaushik Veeraraghavan, Dongyoon Lee, Benjamin Wester et al.5 citations
- Efficient parallel stencil convolution in Haskell ↗Ben Lippmeier, Gabriele Keller5 citations
- Feature interactions, products, and composition ↗Don S. Batory, Peter Höfner, Jongwook Kim5 citations
- Hardware acceleration of transactional memory on commodity systems ↗Jared Casper, Tayo Oguntebi, Sungpack Hong et al.5 citations
- JIT compilation policy for modern machines ↗Prasad A. Kulkarni5 citations
- Modular rollback through control logging ↗Olin Shivers, Aaron Joseph Turon5 citations
- Orchestration by approximation ↗Sardar M. Farhad, Yousun Ko, Bernd Burgstaller et al.5 citations
- Predictable task migration for locked caches in multi-core systems ↗Abhik Sarkar, Frank Mueller, Harini Ramaprasad5 citations
- Product lines of theorems ↗Benjamin Delaware, William R. Cook, Don S. Batory5 citations
- ReHype ↗Michael V. Le, Yuval Tamir5 citations
- Reactive imperative programming with dataflow constraints ↗Camil Demetrescu, Irene Finocchi, Andrea Ribichini5 citations
- Safe parallel programming using dynamic dependence hints ↗Chuanle Ke, Lei Liu, Chao Zhang et al.5 citations
- Space overhead bounds for dynamic memory management with partial compaction ↗Anna Bendersky, Erez Petrank5 citations
- Static vs. dynamic type systems ↗Andreas Stuchlik, Stefan Hanenberg5 citations
- SymCall ↗John R. Lange, Peter A. Dinda5 citations
- 2ndStrike ↗Qi Gao, Wenbin Zhang, Zhezhe Chen et al.4 citations
- Accentuating the positive ↗Dasarath Weeratunge, Xiangyu Zhang, Suresh Jaganathan4 citations
- An SSA-based algorithm for optimal speculative code motion under an execution profile ↗Hucheng Zhou, Wenguang Chen, Fred Chow4 citations
- Balanced trees inhabiting functional parallel programming ↗Akimasa Morihata, Kiminori Matsuzaki4 citations
- Cache index-aware memory allocation ↗Yehuda Afek, Dave Dice, Adam Morrison4 citations
- Cedalion ↗David H. Lorenz, Boaz Rosenan4 citations
- Efficient processor support for DRFx, a memory model with exceptions ↗Abhayendra Singh, Daniel Marino, Satish Narayanasamy et al.4 citations
- Embedded parser generators ↗Jonas Duregård, Patrik Jansson4 citations
- Inter-core prefetching for multicore processors using migrating helper threads ↗Md Kamruzzaman, Steven Swanson, Dean Michael Tullsen4 citations
- Linearity and PCF ↗Marco Gaboardi, Luca Paolini, Mauro Piccolo4 citations
- Looking back on the language and hardware revolutions ↗Hadi Esmaeilzadeh, Ting Cao, Xi Yang et al.4 citations
- Model-driven engineering and run-time model-usage in service robotics ↗Andreas Johann Steck, Alex Lotz, Christian Schlegel4 citations
- On the impact of feature dependencies when maintaining preprocessor-based software product lines ↗Márcio Ribeiro, Felipe Campos de Queiroz, Paulo Henrique Monteiro Borba et al.4 citations
- Static bus schedule aware scratchpad allocation in multiprocessors ↗Sudipta Chattopadhyay, Abhik Roychoudhury4 citations
- Type checking modular multiple dispatch with parametric polymorphism and multiple inheritance ↗Eric Allen, Justin Hilburn, Scott Kilpatrick et al.4 citations
- A step towards transparent integration of input-consciousness into dynamic program optimizations ↗Kai Tian, Eddy Zhang, Xipeng Shen3 citations
- Compartmental memory management in a modern web browser ↗Gregor Wagner, Andreas Gal, Christian L. Wimmer et al.3 citations
- Enhanced speculative parallelization via incremental recovery ↗Chen Tian, Changhui Lin, Min Feng et al.3 citations
- Explicit use-case representation in object-oriented programming languages ↗Robert Hirschfeld, Michael Perscheid, Michael Haupt3 citations
- Exploiting coarse-grain speculative parallelism ↗Hari K. Pyla, Calvin J. Ribbens, Srinidhi Varadarajan A3 citations
- Exploring circuit timing-aware language and compilation ↗Giang Hoang, Robby Bruce Findler, Russ Joseph3 citations
- Firepile ↗Nathaniel Nystrom, Derek A. White, Kishen Das3 citations
- Flexible object layouts ↗T. Verwaest, Camillo Bruni, Mircea Filip Lungu et al.3 citations
- Functional programming through deep time ↗Emily G. Mitchell3 citations
- Gradual typing for generics ↗Lintaro Ina, Atsushi Igarashi3 citations
- Growing a language environment with editor libraries ↗Sebastian Thore Erdweg, Lennart C.L. Kats, Tillmann Rendel et al.3 citations
- Hybrid binary rewriting for memory access instrumentation ↗Amitabha Roy, Steven Hand, Tim Harris3 citations
- Immutable specifications for more concise and precise verification ↗Cristina David, Wei-Ngan Chin3 citations
- Iterative data-parallel mark&sweep on a GPU ↗Ronald Veldema, Michæl Philippsen3 citations
- Kremlin ↗Dong‐Hwan Jeon, Saturnino Garcia, Chris Louie et al.3 citations
- Memory systems in the many-core era ↗Onur Mutlu3 citations
- Oracle scheduling ↗Umut A. Acar, Arthur Charguéraud, Mike Rainey3 citations
- Resourceable, retargetable, modular instruction selection using a machine-independent, type-based tiling of low-level intermediate code ↗Norman F. Ramsey, João Dias3 citations
- Ribbons ↗Kevin J. Hoffman, Harrison Metzger, Patrick Th. Eugster3 citations
- The cloud will change everything ↗James R. Larus3 citations
- A case for neuromorphic ISAs ↗Atif G. Hashmi, Andrew Nere, James J. Thomas et al.2 citations
- A theory of substructural types and control ↗Jesse A. Tov, Riccardo Pucella2 citations
- Active pebbles ↗Jeremiah James Willcock, Torsten Hoefler, Nicholas Gerard Edmonds et al.2 citations
- An approach to improving the structure of error-handling code in the linux kernel ↗Suman Saha, Julia Lawall, Gilles Muller2 citations
- An efficient non-moving garbage collector for functional languages ↗Katsuhiro Ueno, Atsushi Ohori, Toshiaki Otomo2 citations
- An instruction-scheduling-aware data partitioning technique for coarse-grained reconfigurable architectures ↗Choonki Jang, Jungwon Kim, Jaejin Lee et al.2 citations
- Comparing complexity of API designs ↗Stefan Sobernig, Patrick Gaubatz, Mark Strembeck et al.2 citations
- Cooperative reasoning for preemptive execution ↗Jaeheon Yi, Caitlin Sadowski, Cormac Flanagan A2 citations
- Enhancing locality for recursive traversals of recursive structures ↗Youngjoon Jo, Milind Kulkarni2 citations
- Extending monads with pattern matching ↗Tomáš Petříček, Alan Mycroft, Don Syme2 citations
- Flow-sensitive type recovery in linear-log time ↗Michael D. Adams, Andrew W. Keep, Jan Midtgaard et al.2 citations
- Generalising and dualising the third list-homomorphism theorem ↗Shin-Cheng Mu, Akimasa Morihata2 citations
This page in Markdown → https://md.research.elamur.ai/free/en/venues/acm-sigplan-notices/2011/papers/page/3/