BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Alpern:Bowen

Contributed to:

OOPSLA 20012001
OOPSLA 19991999
POPL 19881988
LICS 19871987
STOC 19871987
POPL 19841984

Wrote 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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.