Skip to content

Kathryn S. McKinley

Publication record assembled from the DBLP archive of ranked conferences.

Papers indexed

109

Venues

25

Active years

1989–2022

Best venue rank

A*

Where they publish

Papers

109 indexed papers, newest first.

YearVenueTitleAuthors
2022PLDILow-latency, high-throughput garbage collection.Wenyu Zhao, Stephen M. Blackburn, Kathryn S. McKinley
2020ASPLOSLearning-based Memory Allocation for C++ Server Workloads.Martin Maas, David G. Andersen, Michael Isard, Mohammad Mahdi Javanmard, Kathryn S. McKinley, Colin Raffel
2019ASPLOSStreamBox-HBM: Stream Analytics on High Bandwidth Hybrid Memory.Hongyu Miao, Myeongjae Jeon, Gennady Pekhimenko, Kathryn S. McKinley, Felix Xiaozhu Lin
2019ISPASSEmulating and Evaluating Hybrid Memory for Managed Languages on NUMA Hardware.Shoaib Akram, Jennifer B. Sartor, Kathryn S. McKinley, Lieven Eeckhout
2019SIGMETRICSCrystal Gazer: Profile-Driven Write-Rationing Garbage Collection for Hybrid Memories.Shoaib Akram, Jennifer B. Sartor, Kathryn S. McKinley, Lieven Eeckhout
2018ICSEImproving Diversity in Computing Research: An Overview of CRA-W Activities.Lori A. Clarke, Lori L. Pollock, Jane Stout, Carla Ellis, Tracy Camp, Betsy Bizot, Kathryn S. McKinley
2018PLDIWrite-rationing garbage collection for hybrid memories.Shoaib Akram, Jennifer B. Sartor, Kathryn S. McKinley, Lieven Eeckhout
2017MICROExploiting heterogeneity for tail latency and energy efficiency.Md. Enamul Haque, Yuxiong He, Sameh Elnikety, Thu D. Nguyen, Ricardo Bianchini, Kathryn S. McKinley
2017MiddlewareSwayam: distributed autoscaling to meet SLAs of machine learning inference services with resource efficiency.Arpan Gujarati, Sameh Elnikety, Yuxiong He, Kathryn S. McKinley, Bjrn B. Brandenburg
2017PLDIDebugging probabilistic programs.Chandrakana Nandi, Dan Grossman, Adrian Sampson, Todd Mytkowicz, Kathryn S. McKinley
2017USENIXStreamBox: Modern Stream Processing on a Multicore Machine.Hongyu Miao, Heejin Park, Myeongjae Jeon, Gennady Pekhimenko, Kathryn S. McKinley, Felix Xiaozhu Lin
2016ASPLOSProgramming Uncertain <T>jhings.Kathryn S. McKinley
2016CGOPortable performance on asymmetric multicore processors.Ivan Jibaja, Ting Cao, Stephen M. Blackburn, Kathryn S. McKinley
2016HPCAEnergy-efficient address translation.Vasileios Karakostas, Jayneel Gandhi, Adrin Cristal, Mark D. Hill, Kathryn S. McKinley, Mario Nemirovsky, Michael M. Swift, Osman S. Unsal
2016POPLProgramming the world of uncertain things (keynote).Kathryn S. McKinley
2016PPoPPWork stealing for interactive services to meet target latency.Jing Li, Kunal Agrawal, Sameh Elnikety, Yuxiong He, I-Ting Angelina Lee, Chenyang Lu, Kathryn S. McKinley
2016USENIXElfen Scheduling: Fine-Grain Principled Borrowing from Latency-Critical Workloads Using Simultaneous Multithreading.Xi Yang, Stephen M. Blackburn, Kathryn S. McKinley
2016VEENext Generation Virtual Memory Management.Kathryn S. McKinley
2015ASPLOSFew-to-Many: Incremental Parallelism for Reducing Tail Latency in Interactive Services.Md. Enamul Haque, Yong Hun Eom, Yuxiong He, Sameh Elnikety, Ricardo Bianchini, Kathryn S. McKinley
2015ISCARedundant memory mappings for fast access to large memories.Vasileios Karakostas, Jayneel Gandhi, Furkan Ayar, Adrin Cristal, Mark D. Hill, Kathryn S. McKinley, Mario Nemirovsky, Michael M. Swift, Osman S. Unsal
2015ISCAComputer performance microscopy with Shim.Xi Yang, Stephen M. Blackburn, Kathryn S. McKinley
2015ICSEDoes Automated Refactoring Obviate Systematic Editing?Na Meng, Lisa Hua, Miryung Kim, Kathryn S. McKinley
2014ASPLOSUncertain: a first-order type for uncertain data.James Bornholt, Todd Mytkowicz, Kathryn S. McKinley
2014ICSAuthor retrospective for optimizing for parallelism and data locality.Kathryn S. McKinley
2014OOPSLAFast conservative garbage collection.Rifat Shahriyar, Stephen M. Blackburn, Kathryn S. McKinley
2014PLDIExpressing and verifying probabilistic assertions.Adrian Sampson, Pavel Panchekha, Todd Mytkowicz, Kathryn S. McKinley, Dan Grossman, Luis Ceze
2013CCSDiglossia: detecting code injection attacks with precision and efficiency.Sooel Son, Kathryn S. McKinley, Vitaly Shmatikov
2013ICSELASE: locating and applying systematic edits by learning from examples.Na Meng, Miryung Kim, Kathryn S. McKinley
2013NDSSFix Me Up: Repairing Access-Control Bugs in Web Applications.Sooel Son, Kathryn S. McKinley, Vitaly Shmatikov
2013OOPSLABounded partial-order reduction.Katherine E. Coons, Madan Musuvathi, Kathryn S. McKinley
2013OOPSLAThe latency, accuracy, and battery (LAB) abstraction: programmer productivity and energy efficiency for continuous mobile context sensing.Aman Kansal, T. Scott Saponas, A. J. Bernheim Brush, Kathryn S. McKinley, Todd Mytkowicz, Ryder Ziola
2013OOPSLAThe yin and yang of hardware heterogeneity: can software survive?Kathryn S. McKinley
2013OOPSLATaking off the gloves with reference counting Immix.Rifat Shahriyar, Stephen M. Blackburn, Xi Yang, Kathryn S. McKinley
2013PLDIUsing managed runtime systems to tolerate holes in wearable memories.Tiejun Gao, Karin Strauss, Stephen M. Blackburn, Kathryn S. McKinley, Doug Burger, James R. Larus
2012ECOOPMarco: Safe, Expressive Macros for Any Language.Byeongcheol Lee, Robert Grimm, Martin Hirzel, Kathryn S. McKinley
2012ISCAThe Yin and Yang of power and performance for asymmetric hardware and managed software.Ting Cao, Stephen M. Blackburn, Tiejun Gao, Kathryn S. McKinley
2012OOPSLAAutomating object transformations for dynamic software updating.Stephen Magill, Michael Hicks, Suriya Subramanian, Kathryn S. McKinley
2012TACASHistory-Aware Data Structure Repair Using SAT.Razieh Nokhbeh Zaeem, Divya Gopinath, Sarfraz Khurshid, Kathryn S. McKinley
2011ASPLOSLooking back on the language and hardware revolutions: measured power, performance, and scaling.Hadi Esmaeilzadeh, Ting Cao, Xi Yang, Stephen M. Blackburn, Kathryn S. McKinley
2011HPCAHow's the parallel computing revolution going?Kathryn S. McKinley
2011OOPSLARoleCast: finding missing security checks when you do not know what checks are.Sooel Son, Kathryn S. McKinley, Vitaly Shmatikov
2011OOPSLAWhy nothing matters: the impact of zeroing.Xi Yang, Stephen M. Blackburn, Daniel Frampton, Jennifer B. Sartor, Kathryn S. McKinley
2011PLDIDeferred gratification: engineering for high performance garbage collection from the get go.Ivan Jibaja, Stephen M. Blackburn, Mohammad R. Haghighat, Kathryn S. McKinley
2011PLDISystematic editing: generating program transformations from an example.Na Meng, Miryung Kim, Kathryn S. McKinley
2011PLDIA security policy oracle: detecting security holes using multiple API implementations.Varun Srivastava, Michael D. Bond, Kathryn S. McKinley, Vitaly Shmatikov
2011POPLA shape analysis for optimizing parallel graph programs.Dimitrios Prountzos, Roman Manevich, Keshav Pingali, Kathryn S. McKinley
2011PPoPPHow's the parallel computing revolution going?Kathryn S. McKinley
2010AAAIEvolving Compiler Heuristics to Manage Communication and Contention.Matthew E. Taylor, Katherine E. Coons, Behnam Robatmili, Bertrand A. Maher, Doug Burger, Kathryn S. McKinley
2010PLDIPACER: proportional detection of data races.Michael D. Bond, Katherine E. Coons, Kathryn S. McKinley
2010PLDIEfficient, context-sensitive detection of real-world semantic attacks.Michael D. Bond, Varun Srivastava, Kathryn S. McKinley, Vitaly Shmatikov
2010PLDIJinn: synthesizing dynamic bug detectors for foreign language interfaces.Byeongcheol Lee, Ben Wiedermann, Martin Hirzel, Robert Grimm, Kathryn S. McKinley
2010PLDIZ-rays: divide arrays and conquer speed and flexibility.Jennifer B. Sartor, Stephen M. Blackburn, Daniel Frampton, Martin Hirzel, Kathryn S. McKinley
2009ASPLOSLeak pruning.Michael D. Bond, Kathryn S. McKinley
2009ASPLOSAn evaluation of the TRIPS computer system.Mark Gebhart, Bertrand A. Maher, Katherine E. Coons, Jeffrey R. Diamond, Paul Gratz, Mario Marino, Nitya Ranganathan, Behnam Robatmili, Aaron Smith, James H. Burrill, Stephen W. Keckler, Doug Burger, Kathryn S. McKinley
2009OOPSLAA concurrent dynamic analysis framework for multicore hardware.Jungwoo Ha, Matthew Arnold, Stephen M. Blackburn, Kathryn S. McKinley
2009OOPSLADebug all your code: portable mixed-environment debugging.Byeongcheol Lee, Martin Hirzel, Robert Grimm, Kathryn S. McKinley
2009PLDILaminar: practical fine-grained decentralized information flow control.Indrajit Roy, Donald E. Porter, Michael D. Bond, Kathryn S. McKinley, Emmett Witchel
2009PLDIDynamic software updates: a VM-centric approach.Suriya Subramanian, Michael W. Hicks, Kathryn S. McKinley
2008MICROStrategies for mapping dataflow blocks to distributed hardware.Behnam Robatmili, Katherine E. Coons, Doug Burger, Kathryn S. McKinley
2008OOPSLATolerating memory leaks.Michael D. Bond, Kathryn S. McKinley
2008PLDIImmix: a mark-region garbage collector with space efficiency, fast collection, and mutator performance.Stephen M. Blackburn, Kathryn S. McKinley
2007CCCorrecting the Dynamic Call Graph Using Control-Flow Constraints.Byeongcheol Lee, Kevin Resnick, Michael D. Bond, Kathryn S. McKinley
2007OOPSLAProbabilistic calling context.Michael D. Bond, Kathryn S. McKinley
2007OOPSLATracking bad apples: reporting the origin of null and undefined value errors.Michael D. Bond, Nicholas Nethercote, Stephen W. Kent, Samuel Z. Guyer, Kathryn S. McKinley
2007OOPSLAStarc: static analysis for efficient repair of complex data.Bassem Elkarablieh, Sarfraz Khurshid, Duy Vu, Kathryn S. McKinley
2007POPLCork: dynamic memory leak detection for garbage-collected languages.Maria Jump, Kathryn S. McKinley
2006ASPLOSBell: bit-encoding online memory leak detection.Michael D. Bond, Kathryn S. McKinley
2006ASPLOSA spatial path scheduling algorithm for EDGE architectures.Katherine E. Coons, Xia Chen, Doug Burger, Kathryn S. McKinley, Sundeep K. Kushwaha
2006CGOCompiling for EDGE Architectures.Aaron Smith, Jon Gibson, Bertrand A. Maher, Nicholas Nethercote, Bill Yoder, Doug Burger, Kathryn S. McKinley, James H. Burrill
2006MICROMerging Head and Tail Duplication for Convergent Hyperblock Formation.Bertrand A. Maher, Aaron Smith, Doug Burger, Kathryn S. McKinley
2006MICRODataflow Predication.Aaron Smith, Ramadass Nagarajan, Karthikeyan Sankaralingam, Robert G. McDonald, Doug Burger, Stephen W. Keckler, Kathryn S. McKinley
2006OOPSLAThe DaCapo benchmarks: java benchmarking development and analysis.Stephen M. Blackburn, Robin Garner, Chris Hoffmann, Asjad M. Khan, Kathryn S. McKinley, Rotem Bentzur, Amer Diwan, Daniel Feinberg, Daniel Frampton, Samuel Z. Guyer, Martin Hirzel, Antony L. Hosking, Maria Jump, Han Bok Lee, J. Eliot B. Moss, Aashish Phansalkar, Darko Stefanovic, Thomas VanDrunen, Daniel von Dincklage, Ben Wiedermann
2006PLDIFree-Me: a static analysis for automatic individual object reclamation.Samuel Z. Guyer, Kathryn S. McKinley, Daniel Frampton
2006VEEDynamic code management: improving whole program code locality in managed runtimes.Xianglong Huang, Brian T. Lewis, Kathryn S. McKinley
2005CGOPractical Path Profiling for Dynamic Optimizers.Michael D. Bond, Kathryn S. McKinley
2005ICSLow-power, low-complexity instruction issue using compiler assistance.Madhavi Gopal Valluri, Lizy Kurian John, Kathryn S. McKinley
2005MICROContinuous Path and Edge Profiling.Michael D. Bond, Kathryn S. McKinley
2004CCThe Limits of Alias Analysis for Scalar Optimizations.Rezaul Alam Chowdhury, Peter Djeu, Brendon Cahoon, James H. Burrill, Kathryn S. McKinley
2004ICSEOil and Water? High Performance Garbage Collection in Java with MMTk.Stephen M. Blackburn, Perry Cheng, Kathryn S. McKinley
2004OOPSLAFinding your cronies: static analysis for dynamic object colocation.Samuel Z. Guyer, Kathryn S. McKinley
2004OOPSLAThe garbage collection advantage: improving program locality.Xianglong Huang, Stephen M. Blackburn, Kathryn S. McKinley, J. Eliot B. Moss, Zhenlin Wang, Perry Cheng
2004SIGMETRICSMyths and realities: the performance impact of garbage collection.Stephen M. Blackburn, Perry Cheng, Kathryn S. McKinley
2003ISCAGuided Region Prefetching: A Cooperative Hardware/Software Approach.Zhenlin Wang, Doug Burger, Steven K. Reinhardt, Kathryn S. McKinley, Charles C. Weems
2003OOPSLAUlterior reference counting: fast garbage collection without a long wait.Stephen M. Blackburn, Kathryn S. McKinley
2002OOPSLAReconsidering custom memory allocation.Emery D. Berger, Benjamin G. Zorn, Kathryn S. McKinley
2002PLDIBeltway: Getting Around Garbage Collection Gridlock.Stephen M. Blackburn, Richard E. Jones, Kathryn S. McKinley, J. Eliot B. Moss
2002SIGMETRICSError-free garbage collection traces: how to cheat and not get caught.Matthew Hertz, Stephen M. Blackburn, J. Eliot B. Moss, Kathryn S. McKinley, Darko Stefanovic
2001OOPSLAPretenuring for Java.Stephen M. Blackburn, Sharad Singhai, Matthew Hertz, Kathryn S. McKinley, J. Eliot B. Moss
2001PLDIComposing High-Performance Memory Allocators.Emery D. Berger, Benjamin G. Zorn, Kathryn S. McKinley
2000ASPLOSHoard: A Scalable Memory Allocator for Multithreaded Applications.Emery D. Berger, Kathryn S. McKinley, Robert D. Blumofe, Paul R. Wilson
2000EuroParLoad Scheduling with Profile Information.Gtz Lindenmaier, Kathryn S. McKinley, Olivier Temam
2000OOPSLAProfile-driven pretenuring for Java (poster session).Stephen M. Blackburn, John Cavazos, Sharad Singhai, Asjad M. Khan, Kathryn S. McKinley, J. Eliot B. Moss, Sara Smolensky
2000SIGIRPartial collection replication versus caching for information retrieval systems.Zhihong Lu, Kathryn S. McKinley
1999OOPSLAAge-Based Garbage Collection.Darko Stefanovic, Kathryn S. McKinley, J. Eliot B. Moss
1999SIGIRPartial Replica Selection Based on Relevance for Information Retrieval.Zhihong Lu, Kathryn S. McKinley
1998EuroParThe Hardware/Software Balancing Act for Information Retrieval on Symmetric Multiprocessors.Zhihong Lu, Kathryn S. McKinley, Brendon Cahoon
1998PLDIType-Based Alias Analysis.Amer Diwan, Kathryn S. McKinley, J. Eliot B. Moss
1996ASPLOSA Quantitative Analysis of Loop Nest Locality.Kathryn S. McKinley, Olivier Temam
1996OOPSLASimple and Effective Analysis of Statically Typed Object-Oriented Programs.Amer Diwan, J. Eliot B. Moss, Kathryn S. McKinley
1996SIGIRPerformance Evaluation of a Distributed Architecture for Information Retrieval.Brendon Cahoon, Kathryn S. McKinley
1995PLDITile Size Selection Using Cache Organization and Data Layout.Stephanie Coleman, Kathryn S. McKinley
1994ASPLOSCompiler Optimizations for Improving Data Locality.Steve Carr, Kathryn S. McKinley, Chau-Wen Tseng
1994ICSEvaluating automatic parallelization for efficient execution on shared-memory multiprocessors.Kathryn S. McKinley
1993PPoPPExperiences Using the ParaScope Editor: an Interactive Parallel Programming Tool.Mary W. Hall, Timothy J. Harvey, Ken Kennedy, Nathaniel McIntosh, Kathryn S. McKinley, Jeffrey D. Oldham, Michael H. Paleczny, Gerald Roth
1992ICSOptimizing for parallelism and data locality.Ken Kennedy, Kathryn S. McKinley
1991ICSAnalysis and transformation in the ParaScope editor.Ken Kennedy, Kathryn S. McKinley, Chau-Wen Tseng
1991SCInterprocedural transformations for parallel code generation.Mary W. Hall, Ken Kennedy, Kathryn S. McKinley
1990SCLoop distribution with arbitrary control flow.Ken Kennedy, Kathryn S. McKinley
1989SCThe parascope editor: an interactive parallel programming tool.Vasanth Balasundaram, Ken Kennedy, Ulrich Kremer, Kathryn S. McKinley, Jaspal Subhlok