BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × France
1 × Italy
2 × United Kingdom
6 × USA
Collaborated with:
T.W.Reps Y.A.Liu P.Anderson D.Binkley G.Rosay J.Field R.Chapman W.Pugh G.Balakrishnan R.Gruian S.D.Stoller C.Marceau A.J.Demers N.Kidd A.Lal J.Lim D.Melski S.H.Yong C.Chen
Talks about:
increment (4) attribut (3) insensit (2) grammar (2) surfer (2) execut (2) editor (2) comput (2) point (2) flow (2)

Person: Tim Teitelbaum

DBLP DBLP: Teitelbaum:Tim

Facilitated 1 volumes:

POPL 1983Ed

Contributed to:

CAV 20052005
CC 20052005
SCAM 20012001
SCAM 20012002
POPL 19961996
PEPM 19951995
LFP 19901990
PLDI 19901990
POPL 19891989
POPL 19861986
POPL 19811981

Wrote 11 papers:

CAV-2005-BalakrishnanRKLLMGYCT #bytecode #model checking
Model Checking x86 Executables with CodeSurfer/x86 and WPDS++ (GB, TWR, NK, AL, JL, DM, RG, SHY, CHC, TT), pp. 158–163.
CC-2005-BalakrishnanGRT #bytecode #framework #named #platform
CodeSurfer/x86 — A Platform for Analyzing x86 Executables (GB, RG, TWR, TT), pp. 250–254.
SCAM-2001-AndersonBRT #points-to #set
Flow Insensitive Points-To Sets (PA, DB, GR, TT), pp. 81–91.
SCAM-J-2001-AndersonBRT02 #points-to #set
Flow insensitive points-to sets (PA, DB, GR, TT), pp. 743–754.
POPL-1996-LiuST #incremental
Discovering Auxiliary Information for Incremental Computation (YAL, SDS, TT), pp. 157–170.
Caching Intermediate Results for Program Improvement (YAL, TT), pp. 190–201.
LFP-1990-FieldT #incremental #reduction #λ-calculus
Incremental Reduction in the λ Calculus (JF, TT), pp. 307–322.
PLDI-1990-TeitelbaumC #attribute grammar #editing #higher-order
Higher-Order Attribute Grammars and Editing Environments (TT, RC), pp. 197–208.
POPL-1989-PughT #incremental
Incremental Computation via Function Caching (WP, TT), pp. 315–328.
POPL-1986-RepsMT #editing
Remote Attribute Updating for Language-Based Editors (TWR, CM, TT), pp. 1–13.
POPL-1981-DemersRT #attribute grammar #editing #incremental
Incremental Evaluation for Attribute Grammars with Application to Syntax-Directed Editors (AJD, TWR, TT), pp. 105–116.

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.