According to our database1, Calvin Lin
Legend:Book In proceedings Article PhD thesis Other
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
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
Training a diverse computer science teacher population.
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
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
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
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
Proceedings of the Encyclopedia of Parallel Computing, 2011
Flow-sensitive pointer analysis for millions of lines of code.
Proceedings of the CGO 2011, 2011
Midas for government: Integration of government spending data on Hadoop.
Proceedings of the Workshops Proceedings of the 26th International Conference on Data Engineering, 2010
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
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
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
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
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
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
Client-Driven Pointer Analysis.
Proceedings of the Static Analysis, 10th International Symposium, 2003
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
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
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
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.
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.
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
Seuss: What the Doctor Ordered.
Proceedings of the International Symposium on Software Engineering for Parallel and Distributed Systems, 1997
Factor-Join: A Unique Approach to Compiling Array Languages for Parallel Machines.
Proceedings of the Languages and Compilers for Parallel Computing, 1996
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
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
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
Data Ensemles in Orca C.
Proceedings of the Languages and Compilers for Parallel Computing, 1992
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
A Comparison of Programming Models for Shared Memory Multiprocessors.
Proceedings of the 1990 International Conference on Parallel Processing, 1990