Travelled to:6 × USA
Collaborated with:F.B.Schneider T.W.Reps M.N.Wegman F.K.Zadeck A.Cocchi D.Lieber A.Aggarwal A.K.Chandra M.Snir S.J.Fink D.Grove C.R.Attanasio J.J.Barton S.F.Hummel T.Ngo M.F.Mergen J.C.Shepherd S.E.Smith
Talks about:implement (2) java (2) invokeinterfac (1) determinist (1) properti (1) jalapeño (1) interfac (1) interact (1) hierarch (1) harmless (1)
Person: Bowen Alpern
DBLP: Alpern:Bowen
Contributed to:
20011999
1988
1987
19871984Wrote 6 papers:
- OOPSLA-2001-AlpernCFGL #harmful #implementation #interface #java #performance
- Efficient Implementation of Java Interfaces: Invokeinterface Considered Harmless (BA, AC, SJF, DG, DL), pp. 108–124.
- OOPSLA-1999-AlpernABCHLNMSS #implementation #java
- Implementing Jalapeño in Java (BA, CRA, JJB, AC, SFH, DL, TN, MFM, JCS, SES), pp. 314–324.
- POPL-1988-AlpernWZ #detection #similarity #source code
- Detecting Equality of Variables in Programs (BA, MNW, FKZ), pp. 1–11.
- LICS-1987-AlpernS #proving
- Proving Boolean Combinations of Deterministic Properties (BA, FBS), pp. 131–137.
- STOC-1987-AggarwalACS #memory management
- A Model for Hierarchical Memory (AA, BA, AKC, MS), pp. 305–314.
- POPL-1984-RepsA #interactive #proving
- Interactive Proof Checking (TWR, BA), pp. 36–45.