Travelled to:1 × Austria
1 × Canada
1 × India
1 × Portugal
7 × USA
Collaborated with:V.S.Pai G.Upadhyaya L.Fei J.Lee D.A.Padua M.J.Serrano M.Gupta Q.Ali O.Kwon F.Jubair R.Eigenmann K.Lee F.Li S.Yang A.R.Butt Y.C.Hu R.Bordawekar C.Liu X.Yan J.Han J.Choi V.C.Sreedhar Z.Sura X.Fang C.Wong
Talks about:program (4) compil (3) java (3) algorithm (2) statist (2) monitor (2) execut (2) applic (2) model (2) base (2)
Person: Samuel P. Midkiff
DBLP: Midkiff:Samuel_P=
Contributed to:
2012
201020102007
2006
2006
20052005200019991999Wrote 13 papers:
- PPoPP-2012-KwonJEM #approach #clustering #hybrid
- A hybrid approach of OpenMP for clusters (OK, FJ, RE, SPM), pp. 75–84.
- OOPSLA-2010-UpadhyayaMP #automation #identification #memory management #source code
- Automatic atomic region identification in shared memory SPMD programs (GU, SPM, VSP), pp. 652–670.
- PPoPP-2010-AliMP #algorithm #communication #modelling
- Modeling advanced collective communication algorithms on cell-based systems (QA, SPM, VSP), pp. 293–304.
- PPoPP-2010-UpadhyayaMP #data type #generative #performance #using
- Using data structure knowledge for efficient lock generation and strong atomicity (GU, SPM, VSP), pp. 281–292.
- PPoPP-2007-UpadhyayaPM #concurrent
- Expressing and exploiting concurrency in networked applications with aspen (GU, VSP, SPM), pp. 13–23.
- FASE-2006-FeiLLM #debugging #detection #named #online #statistics
- Argus: Online Statistical Bug Detection (LF, KL, FL, SPM), pp. 308–323.
- PLDI-2006-FeiM #execution #monitoring #named #runtime
- Artemis: practical runtime monitoring of applications for execution anomalies (LF, SPM), pp. 84–95.
- ESEC-FSE-2005-LiuYFHM #debugging #locality #modelling #named #statistics
- SOBER: statistical model-based bug localization (CL, XY, LF, JH, SPM), pp. 286–295.
- PPoPP-2005-SuraFWMLP #compilation #consistency #java #performance #source code
- Compiler techniques for high performance sequentially consistent java programs (ZS, XF, CLW, SPM, JL, DAP), pp. 2–13.
- PPoPP-2005-YangBHM #correctness #monitoring #source code #trust #verification
- Trust but verify: monitoring remotely executing programs for progress and correctness (SY, ARB, YCH, SPM), pp. 196–205.
- OOPSLA-2000-SerranoBMG #compilation #java #named
- Quicksilver: a quasi-static compiler for Java (MJS, RB, SPM, MG), pp. 66–82.
- OOPSLA-1999-ChoiGSSM #analysis #java
- Escape Analysis for Java (JDC, MG, MJS, VCS, SPM), pp. 1–19.
- PPoPP-1999-LeePM #algorithm #compilation #parallel #source code
- Basic Compiler Algorithms for Parallel Programs (JL, DAP, SPM), pp. 1–12.