More Web Proxy on the site http://driver.im/

default search action

combined dblp search
author search
venue search
publication search

ask others

Kei Davis

> Home > Persons

Person information

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

2020 – today

see FAQ

What is the meaning of the colors in the publication lists?

2020
[j12]
- view
  authority control:
- export record
  dblp key:
  - journals/concurrency/GutierrezADM20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/concurrency/GutierrezADM20
Samuel K. Gutiérrez, Dorian C. Arnold, Kei Davis, Patrick S. McCormick:
On the memory attribution problem: A solution and case study using MPI. Concurr. Comput. Pract. Exp. 32(3) (2020)

2010 – 2019

see FAQ

What is the meaning of the colors in the publication lists?

2019
[j11]
- view
  authority control:
- export record
  dblp key:
  - journals/tpds/NguyenTDZ19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tpds/NguyenTDZ19
Bao Nguyen, Hua Tan, Kei Davis, Xuechen Zhang:
Persistent Octrees for Parallel Mesh Refinement through Non-Volatile Byte-Addressable Memory. IEEE Trans. Parallel Distributed Syst. 30(3): 677-691 (2019)
2018
[j10]
- view
  authority control:
- export record
  dblp key:
  - journals/tmscs/KarkiNFDZ18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tmscs/KarkiNFDZ18
Suman Karki, Bao Nguyen, Joshua Feener, Kei Davis, Xuechen Zhang:
Enforcing End-to-End I/O Policies for Scientific Workflows Using Software-Defined Storage Resource Enclaves. IEEE Trans. Multi Scale Comput. Syst. 4(4): 662-675 (2018)
[e2]
- view
  authority control:
- export record
  dblp key:
  - conf/icfp/2018fhpc
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icfp/2018fhpc
Kei Davis, Mike Rainey:
Proceedings of the 7th ACM SIGPLAN International Workshop on Functional High-Performance Computing, FHPC@ICFP 2018, St. Louis, MO, USA, September 29, 2018. ACM 2018 [contents]
2017
[c51]
- view
  authority control:
- export record
  dblp key:
  - conf/ipps/GutierrezDABRMH17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ipps/GutierrezDABRMH17
Samuel K. Gutierrez, Kei Davis, Dorian C. Arnold, Randal S. Baker, Robert W. Robey, Patrick S. McCormick, Daniel Holladay, Jon A. Dahl, R. Joe Zerr, Florian Weik, Christoph Junghans:
Accommodating Thread-Level Heterogeneity in Coupled Parallel Applications. IPDPS 2017: 469-478
2016
[c50]
- view
  authority control:
- export record
  dblp key:
  - conf/sc/MossDM16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sc/MossDM16
Nick Moss, Kei Davis, Patrick S. McCormick:
The ARES High-Level Intermediate Representation. LLVM-HPC@SC 2016: 32-39
2014
[c49]
- view
  authority control:
- export record
  dblp key:
  - conf/sc/McCormickSMPGDM14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sc/McCormickSMPGDM14
Patrick S. McCormick, Christine Sweeney, Nick Moss, Dean Prichard, Samuel K. Gutierrez, Kei Davis, Jamaludin Mohd-Yusof:
Exploring the construction of a domain-aware toolchain for high-performance computing. WOLFHPC@SC 2014: 1-10
[c48]
- view
  authority control:
- export record
  dblp key:
  - conf/supercomputer/ZhangODJ14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/supercomputer/ZhangODJ14
Xuechen Zhang, Jianqiang Ou, Kei Davis, Song Jiang:
Orthrus: A Framework for Implementing Efficient Collective I/O in Multi-core Clusters. ISC 2014: 348-364
2013
[j9]
- view
  authority control:
- export record
  dblp key:
  - journals/tos/JiangDXD13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tos/JiangDXD13
Song Jiang, Xiaoning Ding, Yuehai Xu, Kei Davis:
A Prefetching Scheme Exploiting both Data Layout and Access History on Disk. ACM Trans. Storage 9(3): 10 (2013)
[c47]
- view
  - electronic edition @ acm.org
  - details & citations
- export record
  dblp key:
  - conf/hpdc/ZhangODJ13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/hpdc/ZhangODJ13
Xuechen Zhang, Jianqiang Ou, Kei Davis, Song Jiang:
Orthrus: a framework for implementing high-performance collective I/O in the multicore clusters. HPDC 2013: 113-114
[c46]
- view
  authority control:
- export record
  dblp key:
  - conf/ipps/ZhangLDJ13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ipps/ZhangLDJ13
Xuechen Zhang, Ke Liu, Kei Davis, Song Jiang:
iBridge: Improving Unaligned Parallel File Access with Solid-State Drives. IPDPS 2013: 381-392
[c45]
- view
  authority control:
- export record
  dblp key:
  - conf/ispass/LiuZDJ13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ispass/LiuZDJ13
Ke Liu, Xuechen Zhang, Kei Davis, Song Jiang:
Synergistic coupling of SSD and hard disk for QoS-aware virtual memory. ISPASS 2013: 24-33
2012
[c44]
- view
  authority control:
- export record
  dblp key:
  - conf/ipps/ZhangDJ12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ipps/ZhangDJ12
Xuechen Zhang, Kei Davis, Song Jiang:
Opportunistic Data-driven Execution of Parallel Programs for Efficient I/O Services. IPDPS 2012: 330-341
[c43]
- view
  authority control:
- export record
  dblp key:
  - conf/ipps/ZhangDJ12a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ipps/ZhangDJ12a
Xuechen Zhang, Kei Davis, Song Jiang:
iTransformer: Using SSD to Improve Disk Scheduling for High-performance I/O. IPDPS 2012: 715-726
[c42]
- view
  authority control:
- export record
  dblp key:
  - conf/ipps/WangDXJ12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ipps/WangDXJ12
Yizhe Wang, Kei Davis, Yuehai Xu, Song Jiang:
iHarmonizer: Improving the Disk Efficiency of I/O-intensive Multithreaded Codes. IPDPS 2012: 921-932
2011
[c41]
- view
  authority control:
- export record
  dblp key:
  - conf/sc/ZhangDJ11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sc/ZhangDJ11
Xuechen Zhang, Kei Davis, Song Jiang:
QoS support for end users of I/O-intensive applications using shared storage systems. SC 2011: 18:1-18:12
2010
[j8]
- view
  authority control:
- export record
  dblp key:
  - journals/tc/JiangZLD10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tc/JiangZLD10
Song Jiang, Xuechen Zhang, Shuang Liang, Kei Davis:
Improving Networked File System Performance Using a Locality-Aware Cooperative Cache Protocol. IEEE Trans. Computers 59(11): 1508-1519 (2010)
[c40]
- view
  authority control:
- export record
  dblp key:
  - conf/oopsla/DavisS10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/oopsla/DavisS10
Kei Davis, Jörg Striegnitz:
9th workshop on parallel/high-performance object-oriented scientific computing. SPLASH/OOPSLA Companion 2010: 267-268
[c39]
- view
  authority control:
- export record
  dblp key:
  - conf/sc/ZhangDJ10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sc/ZhangDJ10
Xuechen Zhang, Kei Davis, Song Jiang:
IOrchestrator: Improving the Performance of Multi-node I/O Systems via Inter-Server Coordination. SC 2010: 1-11

2000 – 2009

see FAQ

What is the meaning of the colors in the publication lists?

2009
[j7]
- view
  authority control:
- export record
  dblp key:
  - journals/computer/BarkerDHKLPS09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/computer/BarkerDHKLPS09
Kevin J. Barker, Kei Davis, Adolfy Hoisie, Darren J. Kerbyson, Michael Lang, Scott Pakin, José Carlos Sancho:
Using Performance Modeling to Design Large-Scale Systems. Computer 42(11): 42-49 (2009)
[j6]
- view
  authority control:
- export record
  dblp key:
  - journals/paapp/DavisS09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/paapp/DavisS09
Kei Davis, Jörg Striegnitz:
Parallel/High Performance Object-Oriented Scientific Computing 2008. Int. J. Parallel Emergent Distributed Syst. 24(6): 463-465 (2009)
[j5]
- view
  authority control:
- export record
  dblp key:
  - journals/ppl/DavisBK09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ppl/DavisBK09
Kei Davis, Kevin J. Barker, Darren J. Kerbyson:
Performance Prediction via Modeling: a Case Study of the ORNL Cray XT4 Upgrade. Parallel Process. Lett. 19(4): 619-639 (2009)
[c38]
- view
  authority control:
- export record
  dblp key:
  - conf/ipps/BarkerDK09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ipps/BarkerDK09
Kevin J. Barker, Kei Davis, Darren J. Kerbyson:
Performance modeling in action: Performance prediction of a Cray XT4 system during upgrade. IPDPS 2009: 1-8
[c37]
- view
  authority control:
- export record
  dblp key:
  - conf/ipps/ZhangJD09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ipps/ZhangJD09
Xuechen Zhang, Song Jiang, Kei Davis:
Making resonance a common case: A high-performance implementation of collective I/O on parallel file systems. IPDPS 2009: 1-12
2008
[j4]
- view
  authority control:
- export record
  dblp key:
  - journals/ppl/BarkerDHKLPS08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ppl/BarkerDHKLPS08
Kevin J. Barker, Kei Davis, Adolfy Hoisie, Darren J. Kerbyson, Michael Lang, Scott Pakin, José Carlos Sancho:
A Performance Evaluation of the Nehalem Quad-Core Processor for Scientific Computing. Parallel Process. Lett. 18(4): 453-469 (2008)
[c36]
- view
  authority control:
- export record
  dblp key:
  - conf/ecoopw/StriegnitzD08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ecoopw/StriegnitzD08
Jörg Striegnitz, Kei Davis:
Multiparadigm Programming in Object-Oriented Languages: Current Research. ECOOP Workshops 2008: 7-17
[c35]
- view
  authority control:
- export record
  dblp key:
  - conf/ecoopw/DavisS08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ecoopw/DavisS08
Kei Davis, Jörg Striegnitz:
Parallel/High-Performance Object-Oriented Scientific Computing: Today's Research, Tomorrow's Practice. ECOOP Workshops 2008: 104-115
[c34]
- view
  authority control:
- export record
  dblp key:
  - conf/ipps/BarkerDHKLPS08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ipps/BarkerDHKLPS08
Kevin J. Barker, Kei Davis, Adolfy Hoisie, Darren J. Kerbyson, Michael Lang, Scott Pakin, José Carlos Sancho:
Experiences in scaling scientific applications on current-generation quad-core processors. IPDPS 2008: 1-8
[c33]
- view
  authority control:
- export record
  dblp key:
  - conf/sc/BarkerDHKLPS08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sc/BarkerDHKLPS08
Kevin J. Barker, Kei Davis, Adolfy Hoisie, Darren J. Kerbyson, Michael Lang, Scott Pakin, José Carlos Sancho:
Entering the petaflop era: the architecture and performance of Roadrunner. SC 2008: 1
2007
[j3]
- view
  authority control:
- export record
  dblp key:
  - journals/tc/JiangDZ07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tc/JiangDZ07
Song Jiang, Kei Davis, Xiaodong Zhang:
Coordinated Multilevel Buffer Cache Management with Consistent Access Locality Quantification. IEEE Trans. Computers 56(1): 95-108 (2007)
[c32]
- view
  authority control:
- export record
  dblp key:
  - conf/ecoopw/DavisS07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ecoopw/DavisS07
Kei Davis, Jörg Striegnitz:
Multiparadigm Programming in Object-Oriented Languages: Current Research. ECOOP Workshops 2007: 13-26
[c31]
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/parco/KerbysonBD07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/parco/KerbysonBD07
Darren J. Kerbyson, Kevin J. Barker, Kei Davis:
Analysis of the Weather Research and Forecasting (WRF) Model on Large-Scale Systems. PARCO 2007: 89-98
[c30]
- view
  - electronic edition @ usenix.org (open access)
  - details & citations
- export record
  dblp key:
  - conf/usenix/DingJCDZ07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/usenix/DingJCDZ07
Xiaoning Ding, Song Jiang, Feng Chen, Kei Davis, Xiaodong Zhang:
DiskSeen: Exploiting Disk Layout and Access History to Enhance I/O Prefetch. USENIX ATC 2007: 261-274
2006
[c29]
- view
  authority control:
- export record
  dblp key:
  - conf/ecoopw/DavisS06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ecoopw/DavisS06
Kei Davis, Jörg Striegnitz:
Parallel/High-Performance Object-Oriented Scientific Computing Today. ECOOP Workshops 2006: 141-145
[c28]
- view
  authority control:
- export record
  dblp key:
  - conf/sc/SanchoBKD06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sc/SanchoBKD06
José Carlos Sancho, Kevin J. Barker, Darren J. Kerbyson, Kei Davis:
MPI tools and performance studies - Quantifying the potential benefit of overlapping communication and computation in large-scale scientific applications. SC 2006: 125
2005
[c27]
- view
  authority control:
- export record
  dblp key:
  - conf/ipps/SanchoPDGJ05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ipps/SanchoPDGJ05
José Carlos Sancho, Fabrizio Petrini, Kei Davis, Roberto Gioiosa, Song Jiang:
Current Practice and a Direction Forward in Checkpoint/Restart Implementations for Fault Tolerance. IPDPS 2005
2004
[j2]
- view
  authority control:
- export record
  dblp key:
  - journals/ivs/SummersCBBDS04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ivs/SummersCBBDS04
Kenneth L. Summers, Thomas P. Caudell, Kathryn P. Berkbigler, Brian W. Bush, Kei Davis, Steve Smith:
Graph visualization for the analysis of the structure and dynamics of extreme-scale supercomputers. Inf. Vis. 3(3): 209-222 (2004)
[c26]
- view
  authority control:
- export record
  dblp key:
  - conf/europar/FrachtenbergDPFS04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/europar/FrachtenbergDPFS04
Eitan Frachtenberg, Kei Davis, Fabrizio Petrini, Juan Fernández, José Carlos Sancho:
Designing Parallel Operating Systems via Parallel Programming. Euro-Par 2004: 689-696
[c25]
- view
  authority control:
- export record
  dblp key:
  - conf/ipps/PetriniDS04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ipps/PetriniDS04
Fabrizio Petrini, Kei Davis, José Carlos Sancho:
System-Level Fault-Tolerance in Large-Scale Parallel Machines with Buffered Coscheduling. IPDPS 2004
[c24]
- view
  authority control:
- export record
  dblp key:
  - conf/sc/DavisHJKLPP04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sc/DavisHJKLPP04
Kei Davis, Adolfy Hoisie, Greg Johnson, Darren J. Kerbyson, Michael Lang, Scott Pakin, Fabrizio Petrini:
A Performance and Scalability Analysis of the BlueGene/L Architecture. SC 2004: 41
2003
[c23]
- view
  authority control:
- export record
  dblp key:
  - conf/ecoopw/DavisS03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ecoopw/DavisS03
Kei Davis, Jörg Striegnitz:
Parallel Object-Oriented Scientific Computing Today. ECOOP Workshops 2003: 11-16
[c22]
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/ms/BerkbiglerBDMSCSZ03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ms/BerkbiglerBDMSCSZ03
Kathryn P. Berkbigler, Brian W. Bush, Kei Davis, Nicholas Moss, Steve Smith, Thomas P. Caudell, Kenneth L. Summers, Cheng Zhou:
Á la carte: A Simulation Framework for Extreme-scale Hardware Architectures. Modelling and Simulation 2003: 38-43
2002
[c21]
- view
  authority control:
- export record
  dblp key:
  - conf/ecoopw/DavisSS02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ecoopw/DavisSS02
Kei Davis, Yannis Smaragdakis, Jörg Striegnitz:
Multiparadigm Programming with Object-Oriented Languages. ECOOP Workshops 2002: 154-159
2001
[c20]
- view
  authority control:
- export record
  dblp key:
  - conf/ecoopw/DavisSS01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ecoopw/DavisSS01
Kei Davis, Yannis Smaragdakis, Jörg Striegnitz:
Multiparadigm Programming with OO Languages. ECOOP Workshops 2001: 131-134
2000
[c19]
- view
  authority control:
- export record
  dblp key:
  - conf/europar/TrinderLBDHKJP00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/europar/TrinderLBDHKJP00
Philip W. Trinder, Hans-Wolfgang Loidl, Ed. Barry Jr., Kei Davis, Kevin Hammond, Ulrike Klusik, Simon L. Peyton Jones, Álvaro J. Rebón Portillo:
The Multi-architecture Performance of the Parallel Functional Language GP H (Research Note). Euro-Par 2000: 739-743

1990 – 1999

see FAQ

What is the meaning of the colors in the publication lists?

1999
[c18]
- view
  authority control:
- export record
  dblp key:
  - conf/ecoopw/MohrBDHLMMVMP99
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ecoopw/MohrBDHLMMVMP99
Bernd Mohr, Federico Bassetti, Kei Davis, Stefan Hüttemann, Pascale Launay, Dan C. Marinescu, David J. Miller, Ruthe L. Vandewart, Matthias S. Müller, Augustin Prodan:
Parallel / High-Performance Object-Oriented Scientific Computing. ECOOP Workshops 1999: 222-239
[c17]
- view
  authority control:
- export record
  dblp key:
  - conf/iscope/BassettiDMQP99
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iscope/BassettiDMQP99
Federico Bassetti, Kei Davis, Madhav V. Marathe, Daniel J. Quinlan, Bobby Philip:
Improving Cache Utilization of Linear Relaxation Methods: Theory and Practice. ISCOPE 1999: 25-36
[c16]
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/pdpta/BassettiD99
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pdpta/BassettiD99
Federico Bassetti, Kei Davis:
Optimizing Transformations of Stencil Operations for Parallel Cache-based Architectures. PDPTA 1999: 1343-1356
1998
[c15]
- view
  authority control:
- export record
  dblp key:
  - conf/ecoopw/Davis98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ecoopw/Davis98
Kei Davis:
Indroduction to Parallel Objecty-Oriented Scientific Computing. ECOOP Workshops 1998: 444-445
[c14]
- view
  authority control:
- export record
  dblp key:
  - conf/ecoopw/BrownDHQB98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ecoopw/BrownDHQB98
David L. Brown, Kei Davis, William D. Henshaw, Daniel J. Quinlan, Kristi Brislawn:
OVERTURE: Object-Oriented Parallel Adaptive Mesh Refinement for Serial and Parallel Environments. ECOOP Workshops 1998: 446-447
[c13]
- view
  authority control:
- export record
  dblp key:
  - conf/ecoopw/DavisQ98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ecoopw/DavisQ98
Kei Davis, Daniel J. Quinlan:
ROSE: An Optimizing Transformation System for C++ Array-Class Libraries. ECOOP Workshops 1998: 452-453
[c12]
- view
  authority control:
- export record
  dblp key:
  - conf/ecoopw/DavisQ98a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ecoopw/DavisQ98a
Kei Davis, Daniel J. Quinlan:
The Parallel Asynchronous Data Routing Environment PADRE. ECOOP Workshops 1998: 454-455
[c11]
- view
  authority control:
- export record
  dblp key:
  - conf/ipps/BassettiDQ98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ipps/BassettiDQ98
Federico Bassetti, Kei Davis, Daniel J. Quinlan:
C++ Expression Templates Performance Issues in Scientific Computing. IPPS/SPDP 1998: 635-639
[c10]
- view
  authority control:
- export record
  dblp key:
  - conf/iscope/BassettiDQ98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iscope/BassettiDQ98
Federico Bassetti, Kei Davis, Daniel J. Quinlan:
Optimizing Transformations of Stencil Operations for Parallel Object-Oriented Scientific Frameworks on Cache-Based Architectures. ISCOPE 1998: 107-118
[c9]
- view
  authority control:
- export record
  dblp key:
  - conf/sc/BassettiBDHQ98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sc/BassettiBDHQ98
Federico Bassetti, David L. Brown, Kei Davis, William D. Henshaw, Daniel J. Quinlan:
OVERTURE: An Object-Oriented Framework for High Performance Scientific Computing. SC 1998: 14
1997
[c8]
- view
  authority control:
- export record
  dblp key:
  - conf/iscope/BassettiDQ97
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iscope/BassettiDQ97
Federico Bassetti, Kei Davis, Daniel J. Quinlan:
A Comparison of Performance-Enhancing Strategies for Parallel Numerical Object-Oriented Frameworks. ISCOPE 1997: 17-24
1995
[j1]
- no documents available
  - details & citations
- export record
  dblp key:
  - journals/lisp/Davis95
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/lisp/Davis95
Kei Davis:
PERs from Projections for Binding-Time Analysis. LISP Symb. Comput. 8(3): 249-266 (1995)
1994
[b1]
- view
- export record
  dblp key:
  - phd/ethos/Davis94
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/phd/ethos/Davis94
Kei Davis:
Projection-based program analysis. University of Glasgow, UK, 1994
[c7]
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/pepm/Davis94
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pepm/Davis94
Kei Davis:
PERs from Projections for Binding-Time Analysis. PEPM 1994: 53-60
1993
[c6]
- view
  authority control:
- export record
  dblp key:
  - conf/fp/Davis93
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fp/Davis93
Kei Davis:
Projection-based Termination Analysis. Functional Programming 1993: 26-42
[c5]
- view
  authority control:
- export record
  dblp key:
  - conf/pepm/Davis93
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pepm/Davis93
Kei Davis:
Higher-order Binding-time Analysis. PEPM 1993: 78-87
1992
[c4]
- view
  authority control:
- export record
  dblp key:
  - conf/fp/Davis92
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fp/Davis92
Kei Davis:
Analysing Functions by Projection-Based Backward Abstraction. Functional Programming 1992: 43-56
1991
[c3]
- view
  authority control:
- export record
  dblp key:
  - conf/fp/Davis91
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fp/Davis91
Kei Davis:
A Note on the Choice of Domains for Projection-Based Program Analysis. Functional Programming 1991: 73-81
1990
[c2]
- view
  authority control:
- export record
  dblp key:
  - conf/fp/DavisW90
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fp/DavisW90
Kei Davis, Philip Wadler:
Strictness Analysis in 4D. Functional Programming 1990: 23-43
[e1]
- view
  - table of contents in dblp
  - details & citations
- export record
  dblp key:
  - conf/fp/1989
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fp/1989
Kei Davis, John Hughes:
Functional Programming, Proceedings of the 1989 Glasgow Workshop, 21-23 August 1989, Fraserburgh, Scotland, UK. Workshops in Computing, Springer 1990, ISBN 3-540-19609-9 [contents]

1980 – 1989

see FAQ

What is the meaning of the colors in the publication lists?

1989
[c1]
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/fp/DavisW89
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fp/DavisW89
Kei Davis, Philip Wadler:
Backwards Strictness Analysis: Proved and Improved. Functional Programming 1989: 12-30

Coauthor Index

see FAQ

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.