Calvin Lin

According to our database1, Calvin Lin authored at least 76 papers between 1990 and 2018.

Collaborative distances:
  • Dijkstra number2 of two.
  • Erdős number3 of three.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2018
Rethinking Belady's Algorithm to Accommodate Prefetching.
Proceedings of the 45th ACM/IEEE Annual International Symposium on Computer Architecture, 2018

2017
Static detection of asymptotic resource side-channel vulnerabilities in web applications.
Proceedings of the 32nd IEEE/ACM International Conference on Automated Software Engineering, 2017

Decoupled Affine Computation for SIMT GPUs.
Proceedings of the 44th Annual International Symposium on Computer Architecture, 2017

2016
Secure, Precise, and Fast Floating-Point Operations on x86 Processors.
Proceedings of the 25th USENIX Security Symposium, 2016

CS Teacher Experiences with Educational Technology, Problem-BasedLearning, and a CS Principles Curriculum.
Proceedings of the 47th ACM Technical Symposium on Computing Science Education, Memphis, TN, USA, March 02, 2016

Back to the Future: Leveraging Belady's Algorithm for Improved Cache Replacement.
Proceedings of the 43rd ACM/IEEE Annual International Symposium on Computer Architecture, 2016

2015
Training a diverse computer science teacher population.
Inroads, 2015

Raccoon: Closing Digital Side-Channels through Obfuscated Execution.
Proceedings of the 24th USENIX Security Symposium, 2015

Computer Science Principles Curricula: On-the-ground; adoptable; adaptable; approaches to teaching.
Proceedings of the 46th ACM Technical Symposium on Computer Science Education, 2015

Static detection of asymptotic performance bugs in collection traversals.
Proceedings of the 36th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2015

EXPLORER : query- and demand-driven exploration of interprocedural control flow properties.
Proceedings of the 2015 ACM SIGPLAN International Conference on Object-Oriented Programming, 2015

Detecting and Exploiting Second Order Denial-of-Service Vulnerabilities in Web Applications.
Proceedings of the 22nd ACM SIGSAC Conference on Computer and Communications Security, 2015

2014
Exploring the Spectrum of Dynamic Scheduling Algorithms for Scalable Distributed-MemoryRay Tracing.
IEEE Trans. Vis. Comput. Graph., 2014

A structured approach to teaching recursion using cargo-bot.
Proceedings of the International Computing Education Research Conference, 2014

2013
Linearizing irregular memory accesses for improved correlated prefetching.
Proceedings of the 46th Annual IEEE/ACM International Symposium on Microarchitecture, 2013

Using cargo-bot to provide contextualized learning of recursion.
Proceedings of the International Computing Education Research Conference, 2013

2012
Using peer review to teach software testing.
Proceedings of the International Computing Education Research Conference, 2012

Dynamic Scheduling for Large-Scale Distributed-Memory Ray Tracing.
Proceedings of the Eurographics Symposium on Parallel Graphics and Visualization, 2012

2011
Array Languages.
Proceedings of the Encyclopedia of Parallel Computing, 2011

Flow-sensitive pointer analysis for millions of lines of code.
Proceedings of the CGO 2011, 2011

2010
Midas for government: Integration of government spending data on Hadoop.
Proceedings of the Workshops Proceedings of the 26th International Conference on Data Engineering, 2010

2009
Semi-sparse flow-sensitive pointer analysis.
Proceedings of the 36th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2009

Feedback mechanisms for improving probabilistic memory prefetching.
Proceedings of the 15th International Conference on High-Performance Computer Architecture (HPCA-15 2009), 2009

2008
A comprehensive approach to DRAM power management.
Proceedings of the 14th International Conference on High-Performance Computer Architecture (HPCA-14 2008), 2008

Efficient and extensible security enforcement using dynamic data flow analysis.
Proceedings of the 2008 ACM Conference on Computer and Communications Security, 2008

2007
Memory scheduling for modern microprocessors.
ACM Trans. Comput. Syst., 2007

Exploiting Pointer and Location Equivalence to Optimize Pointer Analysis.
Proceedings of the Static Analysis, 14th International Symposium, 2007

The ant and the grasshopper: fast and accurate pointer analysis for millions of lines of code.
Proceedings of the ACM SIGPLAN 2007 Conference on Programming Language Design and Implementation, 2007

Early Results with Precision Abstraction: Using Data-flow Analysis to Improve the Scalability of Model Checking.
Proceedings of the 21th International Parallel and Distributed Processing Symposium (IPDPS 2007), 2007

2006
Adaptive History-Based Memory Schedulers for Modern Processors.
IEEE Micro, 2006

Memory Prefetching Using Adaptive Stream Detection.
Proceedings of the 39th Annual IEEE/ACM International Symposium on Microarchitecture (MICRO-39 2006), 2006

Decomposing memory performance: data structures and phases.
Proceedings of the 5th International Symposium on Memory Management, 2006

Unification of verification and validation methods for software systems: progress report and initial case study formulation.
Proceedings of the 20th International Parallel and Distributed Processing Symposium (IPDPS 2006), 2006

Efficient Flow-Sensitive Interprocedural Data-Flow Analysis in the Presence of Pointers.
Proceedings of the Compiler Construction, 15th International Conference, 2006

2005
Error checking with client-driven pointer analysis.
Sci. Comput. Program., 2005

Broadway: A Compiler for Exploiting the Domain-Specific Semantics of Software Libraries.
Proceedings of the IEEE, 2005

2004
Scaling to the End of Silicon with EDGE Architectures.
IEEE Computer, 2004

Adaptive History-Based Memory Schedulers.
Proceedings of the 37th Annual International Symposium on Microarchitecture (MICRO-37 2004), 2004

Static Placement, Dynamic Issue (SPDI) Scheduling for EDGE Architectures.
Proceedings of the 13th International Conference on Parallel Architectures and Compilation Techniques (PACT 2004), 29 September, 2004

2003
Client-Driven Pointer Analysis.
Proceedings of the Static Analysis, 10th International Symposium, 2003

2002
Neural methods for dynamic branch prediction.
ACM Trans. Comput. Syst., 2002

Using mixins to build flexible widgets.
Proceedings of the 1st International Conference on Aspect-Oriented Software Development, 2002

2001
Customizing Software Libraries for Performance Portability.
Proceedings of the Tenth SIAM Conference on Parallel Processing for Scientific Computing, 2001

Comparing Frameworks and Layered Refinement.
Proceedings of the 23rd International Conference on Software Engineering, 2001

Dynamic Branch Prediction with Perceptrons.
Proceedings of the Seventh International Symposium on High-Performance Computer Architecture (HPCA'01), 2001

Topic 10: Parallel Programming: Models, Methods and Programming Languages.
Proceedings of the Euro-Par 2001: Parallel Processing, 2001

Boolean Formula-Based Branch Prediction for Future Technologies.
Proceedings of the 2001 International Conference on Parallel Architectures and Compilation Techniques (PACT 2001), 2001

2000
ZPL: A Machine Independent Programming Language for Parallel Computers.
IEEE Trans. Software Eng., 2000

A System for Evaluating Performance and Cost of SIMD Array Designs.
J. Parallel Distrib. Comput., 2000

The impact of delay on the design of branch predictors.
Proceedings of the 33rd Annual IEEE/ACM International Symposium on Microarchitecture, 2000

Optimizing the Use of High Performance Software Libraries.
Proceedings of the Languages and Compilers for Parallel Computing, 2000

Broadway: A Software Architecture for Scientific Computing.
Proceedings of the Architecture of Scientific Software, 2000

An Array Control Unit for High Performance SIMD Arrays.
Proceedings of the Fifth International Workshop on Computer Architectures for Machine Perception (CAMP 2000), 2000

Control for High-Speed PE Arrays.
Proceedings of the 12th IEEE International Conference on Application-Specific Systems, 2000

1999
Volume Leases for Consistency in Large-Scale Systems.
IEEE Trans. Knowl. Data Eng., 1999

Hierarchical Cache Consistency in a WAN.
Proceedings of the 2nd USENIX Symposium on Internet Technologies and Systems, 1999

An annotation language for optimizing software libraries.
Proceedings of the Second Conference on Domain-Specific Languages (DSL '99), 1999

Regions: an abstraction for expressing array computation.
APL, 1999

1998
Abstractions for Portable, Scalable Parallel Programming.
IEEE Trans. Parallel Distrib. Syst., 1998

The Implementation and Evaluation of Fusion and Contraction in Array Languages.
Proceedings of the ACM SIGPLAN '98 Conference on Programming Language Design and Implementation (PLDI), 1998

A Flexible Class of Parallel Matrix Multiplication Algorithms.
IPPS/SPDP, 1998

Using Leases to Support Server-Driven Consistency in Large-Scale Systems.
Proceedings of the 18th International Conference on Distributed Computing Systems, 1998

ZPL's WYSIWYG Performance Model.
Proceedings of the 3rd International Workshop on High-Level Programming Models and Supportive Environments (HIPS '98), 30 March, 1998

1997
Seuss: What the Doctor Ordered.
Proceedings of the International Symposium on Software Engineering for Parallel and Distributed Systems, 1997

1996
Factor-Join: A Unique Approach to Compiling Array Languages for Parallel Machines.
Proceedings of the Languages and Compilers for Parallel Computing, 1996

1995
A Portable Parallel N-Body Solver.
Proceedings of the Seventh SIAM Conference on Parallel Processing for Scientific Computing, 1995

The Portable Parallel Implementation of Two Novel Mathematical Biology Algorithms in ZPL.
Proceedings of the 9th international conference on Supercomputing, 1995

1994
SIMPLE Performance Results in ZPL.
Proceedings of the Languages and Compilers for Parallel Computing, 1994

Accommodating Polymorphic Data Decompositions in Explicitly Parallel Programs.
Proceedings of the 8th International Symposium on Parallel Processing, 1994

1993
The Ariadne Debugger: Scalable Application of Event-Based Abstraction.
Proceedings of the ACM/ONR Workshop on Parallel and Distributed Debugging, 1993

ZPL: An Array Sublanguage.
Proceedings of the Languages and Compilers for Parallel Computing, 1993

1992
Data Ensemles in Orca C.
Proceedings of the Languages and Compilers for Parallel Computing, 1992

1991
A portable implementation of SIMPLE.
International Journal of Parallel Programming, 1991

Portable Parallel Programming: Cross Machine Comparisons for SIMPLE.
Proceedings of the Fifth SIAM Conference on Parallel Processing for Scientific Computing, 1991

Programming SIMPLE for Parallel Portability.
Proceedings of the Languages and Compilers for Parallel Computing, 1991

1990
A Comparison of Programming Models for Shared Memory Multiprocessors.
Proceedings of the 1990 International Conference on Parallel Processing, 1990


  Loading...