Edward Lee

Orcid: 0000-0003-4336-8035

According to our database1, Edward Lee authored at least 50 papers between 1999 and 2024.

Collaborative distances:

Awards

IEEE Fellow

IEEE Fellow 1994, "For contributions to design methodologies and programming techniques for real-time digital signal processing systems.".

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2024
Qualifying System F<sub><:</sub> Some Terms and Conditions May Apply.
Proc. ACM Program. Lang., 2024

Recent Advances, Applications, and Open Challenges in Machine Learning for Health: Reflections from Research Roundtables at ML4H 2023 Symposium.
CoRR, 2024

2023
Capturing Types.
ACM Trans. Program. Lang. Syst., December, 2023

Simple Reference Immutability for System F.
Proc. ACM Program. Lang., October, 2023

Qualifying System F-sub.
CoRR, 2023

Simple Reference Immutability for System F-sub.
CoRR, 2023

NVLink-C2C: A Coherent Off Package Chip-to-Chip Interconnect with 40Gbps/pin Single-ended Signaling.
Proceedings of the IEEE International Solid- State Circuits Conference, 2023

Dependency-Free Capture Tracking.
Proceedings of the 25th ACM International Workshop on Formal Techniques for Java-like Programs, 2023

2022
A Low-Power Authentication IC for Visible-Light-Based Interrogation.
IEEE Trans. Ind. Electron., 2022

Effects, capabilities, and boxes: from scope-based reasoning to type-based reasoning and back.
Proc. ACM Program. Lang., 2022

A ReRAM Memory Compiler for Monolithic 3D Integrated Circuits in a Carbon Nanotube Process.
ACM J. Emerg. Technol. Comput. Syst., 2022

Scoped Capabilities for Polymorphic Effects.
CoRR, 2022

VR Human Body Treatment Game 'BodyCureBot' Using Hand Tracking.
Proceedings of the HCI International 2022 Posters, 2022

2021
Exponential time algorithms via separators and random subsets.
PhD thesis, 2021

Tracking Captured Variables in Types.
CoRR, 2021

Safer exceptions for Scala.
Proceedings of the SCALA 2021: Proceedings of the 12th ACM SIGPLAN International Symposium on Scala, 2021

2020
Lift & project systems performing on the partial-vertex-cover polytope.
Theor. Comput. Sci., 2020

A shallow convolutional neural network predicts prognosis of lung cancer patients in multi-institutional computed tomography image datasets.
Nat. Mach. Intell., 2020

Naji's characterization of circle graphs.
J. Graph Theory, 2020

Cross-Layer Noise Analysis in Smart Digital Pixel Sensors With Integrated Deep Neural Network.
IEEE J. Emerg. Sel. Topics Circuits Syst., 2020

Advances in Design and Test of Monolithic 3-D ICs.
IEEE Des. Test, 2020

Feature-Enhanced Graph Networks for Genetic Mutational Prediction Using Histopathological Images in Colon Cancer.
Proceedings of the Medical Image Computing and Computer Assisted Intervention - MICCAI 2020, 2020

Aging Challenges in On-chip Voltage Regulator Design.
Proceedings of the 2020 IEEE International Reliability Physics Symposium, 2020

Flex-PIM: A Ferroelectric FET based Vector Matrix Multiplication Engine with Dynamical Bitwidth and Floating Point Precision.
Proceedings of the 2020 International Joint Conference on Neural Networks, 2020

RTL-to-GDS Design Tools for Monolithic 3D ICs.
Proceedings of the IEEE/ACM International Conference On Computer Aided Design, 2020

Q-PIM: A Genetic Algorithm based Flexible DNN Quantization Method and Application to Processing-In-Memory Platform.
Proceedings of the 57th ACM/IEEE Design Automation Conference, 2020

A Configurable Dual-Mode PRINCE Cipher with Security Aware Pipelining in 65nm for High Throughput Applications.
Proceedings of the 2020 IEEE Custom Integrated Circuits Conference, 2020

An Authentication IC with Visible Light Based Interrogation in 65nm CMOS.
Proceedings of the 2020 IEEE Custom Integrated Circuits Conference, 2020

A Fully Synthesized Integrated Buck Regulator with Auto-generated GDS-II in 65nm CMOS Process.
Proceedings of the 2020 IEEE Custom Integrated Circuits Conference, 2020

The Temporary Exchange Problem.
Proceedings of the 19th International Conference on Autonomous Agents and Multiagent Systems, 2020

2019
On Tradeoffs Between Document Signature Methods for a Legal Due Diligence Corpus.
Proceedings of the 42nd International ACM SIGIR Conference on Research and Development in Information Retrieval, 2019

Dataset Culling: Towards Efficient Training of Distillation-Based Domain Specific Models.
Proceedings of the 2019 IEEE International Conference on Image Processing, 2019

RTL-to-GDS Tool Flow and Design-for-Test Solutions for Monolithic 3D ICs.
Proceedings of the 56th Annual Design Automation Conference 2019, 2019

2018
Training Domain Specific Models for Energy-Efficient Object Detection.
CoRR, 2018

2015
Mitigating HTTP Flooding Attacks with Meta-data Analysis.
Proceedings of the 17th IEEE International Conference on High Performance Computing and Communications, 2015

Designing Patient-Centered mHealth Technology Intervention to Reduce Hospital Readmission for Heart-Failure Patients.
Proceedings of the 48th Hawaii International Conference on System Sciences, 2015

2014
Capturing collective conflict dynamics with sparse social circuits.
CoRR, 2014

MyHeart: An intelligent mHealth home monitoring system supporting heart failure self-care.
Proceedings of the 16th IEEE International Conference on e-Health Networking, 2014

Lift & Project Systems Performing on the Partial Vertex Cover Polytope.
Proceedings of the 34th International Conference on Foundation of Software Technology and Theoretical Computer Science, 2014

2012
How we recreated the 2001: A Space Odyssey's star-gate effect for PixelJunk 4am.
Proceedings of the International Conference on Computer Graphics and Interactive Techniques, 2012

2009
Performance Enhancement in High-Speed Contact-Mode Atomic Force Microscopy.
IEEE Trans. Control. Syst. Technol., 2009

2008
Branch-on-random.
Proceedings of the Sixth International Symposium on Code Generation and Optimization (CGO 2008), 2008

2007
07451 Abstracts Collection - Model-Based Engineering of Embedded Real-Time Systems.
Proceedings of the Model-Based Engineering of Embedded Real-Time Systems, 4.11., 2007

07451 Summary - Model-Based Engineering of Embedded Real-Time Systems.
Proceedings of the Model-Based Engineering of Embedded Real-Time Systems, 4.11., 2007

2006
Enhanced performance in contact mode atomic force microscopy.
Proceedings of the American Control Conference, 2006

2003
A self-testing method for the pipelined A/D converter.
Proceedings of the 2003 International Symposium on Circuits and Systems, 2003

Planning and control of UGV formations in a dynamic environment: a practical framework with experiments.
Proceedings of the 2003 IEEE International Conference on Robotics and Automation, 2003

2001
A constant GM rail-to-rail opamp with a novel input stage for BiCMOS process.
Proceedings of the 2001 International Symposium on Circuits and Systems, 2001

1999
A monolithic 1.25 Gbits/sec CMOS clock/data recovery circuit for fibre channel transceiver.
Proceedings of the 1999 International Symposium on Circuits and Systems, ISCAS 1999, Orlando, Florida, USA, May 30, 1999

A 2 GHz VCO with process and temperature compensation.
Proceedings of the 1999 International Symposium on Circuits and Systems, ISCAS 1999, Orlando, Florida, USA, May 30, 1999


  Loading...