Peter Lee

	2011
91		Sara Dutta, Martin J. Bishop, Pras Pathmanathan, Peter Lee, Peter Kohl, T. Alexander Quinn, Blanca Rodríguez: Interpreting Optical Mapping Recordings in the Ischemic Heart: A Combined Experimental and Computational Investigation. FIMH 2011: 20-27
90		Michael DeRosa, Seth Copen Goldstein, Peter Lee, Jason Campbell, Padmanabhan Pillai: Detecting Locally Distributed Predicates. TAAS 6(2): 13 (2011)
	2010
89		Stephen Magill, Ming-Hsien Tsai, Peter Lee, Yih-Kuen Tsay: Automatic numeric abstractions for heap-manipulating programs. POPL 2010: 211-222
	2009
88		Michael P. Ashley-Rollman, Peter Lee, Seth Copen Goldstein, Padmanabhan Pillai, Jason Campbell: A Language for Large Ensembles of Independently Executing Nodes. ICLP 2009: 265-280
87		Michael DeRosa, Seth Copen Goldstein, Peter Lee, Padmanabhan Pillai, Jason Campbell: A tale of two planners: Modular robotic planning with LDP. IROS 2009: 5267-5274
86		Seth Copen Goldstein, Todd C. Mowry, Jason Campbell, Michael P. Ashley-Rollman, Michael DeRosa, Stanislav Funiak, James F. Hoburg, Mustafa Emre Karagozler, Brian T. Kirby, Peter Lee, Padmanabhan Pillai, James Robert Reid, Daniel D. Stancil, Michael Philetus Weller: Beyond Audio and Video: Using Claytronics to Enable Pario. AI Magazine 30(2): 29-45 (2009)
	2008
85		Stephen Magill, Ming-Hsien Tsai, Peter Lee, Yih-Kuen Tsay: THOR: A Tool for Reasoning about Shape and Arithmetic. CAV 2008: 428-432
84		Jean-Jacques Vandenbussche, Peter Lee, Joan Peuteman: Analysis of Time and Frequency Domain Performance of MFIR Filters. ESA 2008: 323-329
83		Michael DeRosa, Seth Copen Goldstein, Peter Lee, Padmanabhan Pillai, Jason Campbell: Programming modular robots with locally distributed predicates. ICRA 2008: 3156-3162
82		Michael DeRosa, Seth Copen Goldstein, Peter Lee, Jason Campbell, Padmanabhan Pillai: Distributed Watchpoints: Debugging Large Modular Robot Systems. I. J. Robotic Res. 27(3-4): 315-329 (2008)
	2007
81		James Weston, Peter Lee: Cellular Automata Based Binary Arithmetic for use on Self Repairing, Fault Tolerant Hardware. AHS 2007: 732-739
80		Catriona Kennedy, Georgios K. Theodoropoulos, Edward Ferrari, Peter Lee, Chris Skelcher: Towards an Automated Approach to Dynamic Interpretation of Simulations. Asia International Conference on Modelling and Simulation 2007: 589-594
79		Michael Wisdom, Peter Lee: An Efficient Implementation of a 2D DWT on FPGA. FPL 2007: 222-227
78		Michael DeRosa, Jason Campbell, Padmanabhan Pillai, Seth Copen Goldstein, Peter Lee, Todd C. Mowry: Distributed Watchpoints: Debugging Large Multi-Robot Systems. ICRA 2007: 3723-3729
77		Peter Lee, Esther Costa, Stephanie McBader, Luca Clementel, Alvise Sartori: LogTOTEM: A Logarithmic Neural Processor and its Implementation on an FPGA Fabric. IJCNN 2007: 2764-2769
76		Michael P. Ashley-Rollman, Seth Copen Goldstein, Peter Lee, Todd C. Mowry, Padmanabhan Pillai: Meld: A declarative approach to programming ensembles. IROS 2007: 2794-2800
75		Catriona Kennedy, Georgios K. Theodoropoulos, Volker Sorge, Edward Ferrari, Peter Lee, Chris Skelcher: AIMSS: An Architecture for Data Driven Simulations in the Social Sciences. International Conference on Computational Science (1) 2007: 1098-1105
74		Sagar Chaki, James Ivers, Peter Lee, Kurt C. Wallnau, Noam Zeilberger: Model-Driven Construction of Certified Binaries. MoDELS 2007: 666-681
73		Ajay Chander, David Espinosa, Nayeem Islam, Peter Lee, George C. Necula: Enforcing resource bounds via static verification of dynamic checks. ACM Trans. Program. Lang. Syst. 29(5): (2007)
72		Serban Nacu, Rebecca Critchley-Thorne, Peter Lee, Susan Holmes: Gene expression network analysis and applications to immunology. Bioinformatics 23(7): 850-858 (2007)
	2006
71		Michael DeRosa, Seth Copen Goldstein, Peter Lee, Jason Campbell, Padmanabhan Pillai: Scalable Shape Sculpting via Hole Motion: Motion Planning in Lattice-constrained Modular Robots. ICRA 2006: 1462-1468
70		Insup Lee, George J. Pappas, Rance Cleaveland, John Hatcliff, Bruce H. Krogh, Peter Lee, Harvey Rubin, Lui Sha: High-Confidence Medical Device Software and Systems. IEEE Computer 39(4): 33-38 (2006)
69		Robert M. Carter, Yong Yan, Peter Lee: On-line Nonintrusive Measurement of Particle Size Distribution Through Digital Imaging. IEEE T. Instrumentation and Measurement 55(6): 2034-2038 (2006)
68		Yong Yan, Lijun Xu, Peter Lee: Mass Flow Measurement of Fine Particles in a Pneumatic Suspension Using Electrostatic Sensing and Neural Network Techniques. IEEE T. Instrumentation and Measurement 55(6): 2330-2334 (2006)
	2005
67		Ajay Chander, David Espinosa, Nayeem Islam, Peter Lee, George C. Necula: JVer: A Java Verifier. CAV 2005: 144-147
66		Ajay Chander, David Espinosa, Nayeem Islam, Peter Lee, George C. Necula: Enforcing Resource Bounds via Static Verification of Dynamic Checks. ESOP 2005: 311-325
65		Purvi Saraiya, Peter Lee, Chris North: Visualization of Graphs with Associated Timeseries Data. INFOVIS 2005: 30
64		Peter Lee: An evaluation of a hybrid-logarithmic number system DCT/IDCT algorithm [image compression applications]. ISCAS (5) 2005: 4863-4866
63		Burak Aksak, Preethi Srinivas Bhat, Jason Campbell, Michael DeRosa, Stanislav Funiak, Phillip B. Gibbons, Seth Copen Goldstein, Carlos Guestrin, Ashish Gupta, Casey Helfrich, James F. Hoburg, Brian T. Kirby, James Kuffner, Peter Lee, Todd C. Mowry, Padmanabhan Pillai, Ram Ravichandran, Benjamin D. Rister, Srinivasan Seshan, Metin Sitti, Haifeng Yu: Claytronics: highly scalable communications, sensing, and actuation networks. SenSys 2005: 299
	2003
62		Zhong Shao, Peter Lee: Proceedings of TLDI'03: 2003 ACM SIGPLAN International Workshop on Types in Languages Design and Implementation, New Orleans, Louisiana, USA, January 18, 2003 ACM 2003
61		Kamal Zuhairi Zamli, Peter Lee: Modeling and Enacting Software Processes Using VRPML. APSEC 2003: 243-252
60		Stavros Paschalakis, Peter Lee, Miroslaw Bober: An FPGA System for the High Speed Extraction, Normalization and Classification of Moment Descriptors. FPL 2003: 543-552
59		Stephanie McBader, Peter Lee: An FPGA Implementation of a Flexible, Parallel Image Processing Architecture Suitable for Embedded Vision Systems. IPDPS 2003: 228
58		Peter Lee: What Are We Trying to Prove? Reflections on Experiences with Proof-Carrying Code. TACAS 2003: 1
57		Christopher Colby, Karl Crary, Robert Harper, Peter Lee, Frank Pfenning: Automated techniques for provably safe mobile code. Theor. Comput. Sci. 290(2): 1175-1199 (2003)
	2002
56		Andrew Bernard, Peter Lee: Temporal Logic for Proof-Carrying Code. CADE 2002: 31-46
55		Stephanie McBader, Luca Clementel, Alvise Sartori, Andrea Boni, Peter Lee: SoftTOTEM: An FPGA Implementation of the TOTEM Parallel Processor. FPL 2002: 1084-1087
54		Kamal Zuhairi Zamli, Peter Lee: Exploiting a Virtual Environment in a Visual PML. PROFES 2002: 49-62
	2001
53		Kamal Zuhairi Zamli, Peter Lee: Taxonomy of Process Modeling Languages. AICCSA 2001: 435-437
52		Edoardo Biagioni, Robert Harper, Peter Lee: A Network Protocol Stack in Standard ML. Higher-Order and Symbolic Computation 14(4): 309-356 (2001)
	2000
51		George C. Necula, Peter Lee: Proof Generation in the Touchstone Theorem Prover. CADE 2000: 25-44
50		Christopher Colby, Peter Lee, George C. Necula: A Proof-Carrying Code Architecture for Java. CAV 2000: 557-560
49		Stavros Paschalakis, Peter Lee: Combined Geometric Transformation and Illumination Invariant Object Recognition in RGB Color Images. ICPR 2000: 3588-3591
48		Peter Lee: Production-Quality Proof-Carrying Code. PADL 2000: 325
47		Christopher Colby, Peter Lee, George C. Necula, Fred Blau, Mark Plesko, Kenneth Cline: A certifying compiler for Java. PLDI 2000: 95-107
46		Stavros Paschalakis, Peter Lee: Statistical Pattern Recognition Using the Normalized Complex Moment Components Vector. SSPR/SPR 2000: 532-539
	1999
45		Didier Rémi, Peter Lee: Proceedings of the fourth ACM SIGPLAN International Conference on Functional Programming (ICFP '99), Paris, France, September 27-29, 1999. ACM 1999
	1998
44		George C. Necula, Peter Lee: The design and implementation of a certifying compiler (with retrospective) Best of PLDI 1998: 612-625
43		Ali Zakerolhosseini, Peter Lee, Ed Horne: An FPFA Based Object Recognition Machine. FPL 1998: 228-237
42		George C. Necula, Peter Lee: Efficient Representation and Validation of Proofs. LICS 1998: 93-104
41		George C. Necula, Peter Lee: Safe, Untrusted Agents Using Proof-Carrying Code. Mobile Agents and Security 1998: 61-91
40		Perry Cheng, Robert Harper, Peter Lee: Generational Stack Collection and Profile-Driven Pretenuring. PLDI 1998: 162-173
39		Philip Wickline, Peter Lee, Frank Pfenning: Run-time Code Generation and Modal-ML. PLDI 1998: 224-235
38		George C. Necula, Peter Lee: The Design and Implementation of a Certifying Compiler. PLDI 1998: 333-344
37		Peter Lee: Certifying, Optimizing Compilation (Abstract). SAS 1998: 381
36		Andrew Bernard, Robert Harper, Peter Lee: How Generic is a Generic Black End? Using MLRISC as a Black End for the TIL Compiler. Types in Compilation 1998: 53-77
35		Mark Leone, Peter Lee: Dynamic Specialization in the Fabius System. ACM Comput. Surv. 30(3es): 23 (1998)
34		Philip Wickline, Peter Lee, Frank Pfenning, Rowan Davies: Modal Types as Staging Specifications for Run-Time Code Generation. ACM Comput. Surv. 30(3es): 8 (1998)
33		Edoardo Biagioni, Kenneth Cline, Peter Lee, Chris Okasaki, Christopher A. Stone: Safe-for-Space Threads in Standard ML. Higher-Order and Symbolic Computation 11(2): 209-225 (1998)
32		Peter Lee: SIGPLAN Supports Your Professional Activities. SIGPLAN Notices 33(3): 1 (1998)
	1997
31		Peter Lee, Fritz Henglein, Neil D. Jones: Conference Record of POPL'97: The 24th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, Papers Presented at the Symposium, Paris, France, 15-17 January 1997 ACM Press 1997
30		George C. Necula, Peter Lee: Research on Proof-Carrying Code for Untrusted-Code Security. IEEE Symposium on Security and Privacy 1997: 204
	1996
29		Peter Lee: Implementing Threads in Standard ML. Advanced Functional Programming 1996: 115-130
28		Peter Lee, Mark Leone: Optimizing ML with run-time code generation (with retrospective) Best of PLDI 1996: 540-553
27		David Tarditi, J. Gregory Morrisett, Perry Cheng, Christopher A. Stone, Robert Harper, Peter Lee: TIL: a type-directed, optimizing compiler for ML (with retrospective) Best of PLDI 1996: 554-567
26		George C. Necula, Peter Lee: Safe Kernel Extensions Without Run-Time Checking. OSDI 1996: 229-243
25		Peter Lee, Mark Leone: Optimizing ML with Run-Time Code Generation. PLDI 1996: 137-148
24		David Tarditi, J. Gregory Morrisett, Perry Cheng, Christopher A. Stone, Robert Harper, Peter Lee: TIL: A Type-Directed Optimizing Compiler for ML. PLDI 1996: 181-192
23		Christopher Colby, Peter Lee: Trace-Based Program Analysis. POPL 1996: 195-207
22		Robert Harper, Peter Lee: Research in Programming Languages for Composability, Safety, and Performance. ACM Comput. Surv. 28(4es): 195 (1996)
21		Pieter H. Hartel, Marc Feeley, Martin Alt, Lennart Augustsson, Peter Baumann, Marcel Beemster, Emmanuel Chailloux, Christine H. Flood, Wolfgang Grieskamp, John H. G. van Groningen, Kevin Hammond, Bogumil Hausman, Melody Y. Ivory, Richard E. Jones, Jasper Kamperman, Peter Lee, Xavier Leroy, Rafael Dueire Lins, Sandra Loosemore, Niklas Röjemo, Manuel Serrano, Jean-Pierre Talpin, Jon Thackray, Stephen Thomas, Pum Walters, Pierre Weis, Peter Wentworth: Benchmarking Implementations of Functional Languages with `Pseudoknot', a Float-Intensive Benchmark. J. Funct. Program. 6(4): 621-655 (1996)
	1995
20		Ron K. Cytron, Peter Lee: Conference Record of POPL'95: 22nd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, San Francisco, California, USA, January 23-25, 1995 ACM Press 1995
19		Peter Lee: An FPGA Prototype for a Multiplierless FIR Filter Built Using the Logarithmic Number System. FPL 1995: 303-310
18		Roberto Battiti, Peter Lee, Alvise Sartori, Giampietro Tecchiolli: Special-purpose parallel architectures for high-performance machine learning. HPCN Europe 1995: 944
	1994
17		Edoardo Biagioni, Robert Harper, Peter Lee, Brian Milnes: Signatures for a Network Protocol Stack: A Systems Application of Standard ML. LISP and Functional Programming 1994: 55-64
16		Mark Leone, Peter Lee: Lightweight Run-Time Code Generation. PEPM 1994: 97-106
15		Chris Okasaki, Peter Lee, David Tarditi: Call-by-Need and Continuation-Passing Style. Lisp and Symbolic Computation 7(1): 57-82 (1994)
	1992
14		Philip J. Koopman Jr., Peter Lee, Daniel P. Siewiorek: Cache Behavior of Combinator Graph Reduction. ACM Trans. Program. Lang. Syst. 14(2): 265-297 (1992)
13		David S. Touretzky, Peter Lee: Visualizing Evaluation in Applicative Languages. Commun. ACM 35(10): 49-59 (1992)
12		David Tarditi, Peter Lee, Anurag Acharya: No Assembly Required: Compiling Standard ML to C. LOPLAS 1(2): 161-177 (1992)
	1991
11		Christopher Colby, Peter Lee: An Implementation of Parametrized Partial Evaluation. JTASPEFT/WSA 1991: 82-89
10		Frank Pfenning, Peter Lee: Metacircularity in the Polymorphic lambda-Calculus. Theor. Comput. Sci. 89(1): 137-159 (1991)
	1990
9		Philip J. Koopman Jr., Peter Lee, Daniel P. Siewiorek: Cache Performance of Combinator Graph Reduction. ICCL 1990: 39-48
	1989
8		Peter Lee: Realistic compiler generation. MIT Press 1989: I-IX, 1-246
7		Philip J. Koopman Jr., Peter Lee: A Fresh Look at Combinator Graph Reduction. PLDI 1989: 110-119
6		Frank Pfenning, Peter Lee: LEAP: A Language with Eval And Polymorphism. TAPSOFT, Vol.2 1989: 345-359
	1988
5		Uwe F. Pleban, Peter Lee: An Automatically Generated, Realistic Compiler for an Imperative Programming Language. PLDI 1988: 222-232
4		Peter Lee, Frank Pfenning, Gene Rollins, William L. Scherlis: The Ergo Support System: An Integrated Set of Tools for Prototyping Integrated Environments. Software Development Environments (SDE) 1988: 25-34
	1987
3		Uwe F. Pleban, Peter Lee: High-Level Semantics: An Integrated Approach to Programming Language Semantics and the Specification of Implementations. MFPS 1987: 550-571
2		Peter Lee, Uwe F. Pleban: A Realistic Compiler Generator Based on High-Level Semantics. POPL 1987: 284-295
	1986
1		Peter Lee, Uwe F. Pleban: On the Use of LISP in Implementing Denotational Semantics. LISP and Functional Programming 1986: 233-248

Coauthor Index

1	Anurag Acharya	[12]
2	Burak Aksak	[63]
3	Martin Alt	[21]
4	Michael P. Ashley-Rollman	[76] [86] [88]
5	Lennart Augustsson	[21]
6	Roberto Battiti	[18]
7	Peter Baumann	[21]
8	Marcel Beemster	[21]
9	Andrew Bernard	[36] [56]
10	Preethi Srinivas Bhat	[63]
11	Edoardo Biagioni	[17] [33] [52]
12	Martin J. Bishop (Martin Bishop)	[91]
13	Fred Blau	[47]
14	Miroslaw Bober	[60]
15	Andrea Boni	[55]
16	Jason Campbell	[63] [71] [78] [82] [83] [86] [87] [88] [90]
17	Robert M. Carter	[69]
18	Emmanuel Chailloux	[21]
19	Sagar Chaki	[74]
20	Ajay Chander	[66] [67] [73]
21	Perry Cheng	[24] [27] [40]
22	Rance Cleaveland	[70]
23	Luca Clementel	[55] [77]
24	Kenneth Cline	[33] [47]
25	Christopher Colby	[11] [23] [47] [50] [57]
26	Esther Costa	[77]
27	Karl Crary	[57]
28	Rebecca Critchley-Thorne	[72]
29	Ron Cytron (Ron K. Cytron)	[20]
30	Rowan Davies	[34]
31	Michael DeRosa	[63] [71] [78] [82] [83] [86] [87] [90]
32	Sara Dutta	[91]
33	David Espinosa	[66] [67] [73]
34	Marc Feeley	[21]
35	Edward Ferrari	[75] [80]
36	Christine H. Flood	[21]
37	Stanislav Funiak	[63] [86]
38	Phillip B. Gibbons	[63]
39	Seth Copen Goldstein	[63] [71] [76] [78] [82] [83] [86] [87] [88] [90]
40	Wolfgang Grieskamp	[21]
41	John H. G. van Groningen	[21]
42	Carlos Guestrin	[63]
43	Ashish Gupta	[63]
44	Kevin Hammond	[21]
45	Robert Harper	[17] [22] [24] [27] [36] [40] [52] [57]
46	Pieter H. Hartel	[21]
47	John Hatcliff	[70]
48	Bogumil Hausman	[21]
49	Casey Helfrich	[63]
50	Fritz Henglein	[31]
51	James F. Hoburg	[63] [86]
52	Susan Holmes	[72]
53	Ed Horne	[43]
54	Nayeem Islam	[66] [67] [73]
55	James Ivers	[74]
56	Melody Y. Ivory	[21]
57	Neil D. Jones	[31]
58	Richard E. Jones	[21]
59	Jasper Kamperman	[21]
60	Mustafa Emre Karagozler	[86]
61	Catriona Kennedy	[75] [80]
62	Brian T. Kirby	[63] [86]
63	Peter Kohl	[91]
64	Philip Koopman (Phil Koopman, Philip J. Koopman Jr.)	[7] [9] [14]
65	Bruce H. Krogh	[70]
66	James J. Kuffner (James J. Kuffner Jr., James Kuffner)	[63]
67	Insup Lee	[70]
68	Mark Leone	[16] [25] [28] [35]
69	Xavier Leroy	[21]
70	Rafael Dueire Lins	[21]
71	Sandra Loosemore	[21]
72	Stephen Magill	[85] [89]
73	Stephanie McBader	[55] [59] [77]
74	Brian Milnes	[17]
75	J. Gregory Morrisett (Greg Morrisett)	[24] [27]
76	Todd C. Mowry	[63] [76] [78] [86]
77	Serban Nacu	[72]
78	George C. Necula	[26] [30] [38] [41] [42] [44] [47] [50] [51] [66] [67] [73]
79	Chris North (Christopher L. North)	[65]
80	Chris Okasaki	[15] [33]
81	George J. Pappas	[70]
82	Stavros Paschalakis	[46] [49] [60]
83	Pras Pathmanathan	[91]
84	Joan Peuteman	[84]
85	Frank Pfenning	[4] [6] [10] [34] [39] [57]
86	Padmanabhan Pillai	[63] [71] [76] [78] [82] [83] [86] [87] [88] [90]
87	Uwe F. Pleban	[1] [2] [3] [5]
88	Mark Plesko	[47]
89	T. Alexander Quinn	[91]
90	Ram Ravichandran	[63]
91	James Robert Reid	[86]
92	Didier Rémi	[45]
93	Benjamin D. Rister	[63]
94	Blanca Rodríguez	[91]
95	Niklas Röjemo	[21]
96	Gene Rollins	[4]
97	Harvey Rubin	[70]
98	Purvi Saraiya	[65]
99	Alvise Sartori	[18] [55] [77]
100	William L. Scherlis (Bill Scherlis)	[4]
101	Manuel Serrano	[21]
102	Srinivasan Seshan	[63]
103	Lui Sha	[70]
104	Zhong Shao	[62]
105	Daniel P. Siewiorek	[9] [14]
106	Metin Sitti	[63]
107	Chris Skelcher	[75] [80]
108	Volker Sorge	[75]
109	Daniel D. Stancil	[86]
110	Christopher A. Stone	[24] [27] [33]
111	Jean-Pierre Talpin	[21]
112	David Tarditi	[12] [15] [24] [27]
113	Giampietro Tecchiolli	[18]
114	Jon Thackray	[21]
115	Georgios K. Theodoropoulos	[75] [80]
116	Stephen Thomas	[21]
117	David S. Touretzky	[13]
118	Ming-Hsien Tsai	[85] [89]
119	Yih-Kuen Tsay	[85] [89]
120	Jean-Jacques Vandenbussche	[84]
121	Kurt C. Wallnau	[74]
122	Pum Walters	[21]
123	Pierre Weis	[21]
124	Michael Philetus Weller	[86]
125	Peter Wentworth	[21]
126	James Weston	[81]
127	Philip Wickline	[34] [39]
128	Michael Wisdom	[79]
129	Lijun Xu	[68]
130	Yong Yan	[68] [69]
131	Haifeng Yu	[63]
132	Ali Zakerolhosseini	[43]
133	Kamal Zuhairi Zamli	[53] [54] [61]
134	Noam Zeilberger	[74]

Colors in the list of coauthors

Last update Fri May 25 01:42:58 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page