Jack W. Davidson
Affiliations:- University of Virginia, Charlottesville, USA
According to our database1,
Jack W. Davidson
authored at least 131 papers
between 1980 and 2023.
Collaborative distances:
Collaborative distances:
Awards
ACM Fellow
ACM Fellow 2008, "For contributions in compiler design and implementation.".
Timeline
1980
1985
1990
1995
2000
2005
2010
2015
2020
0
1
2
3
4
5
6
7
8
9
1
2
2
3
1
2
1
1
2
1
2
1
3
2
1
3
1
1
1
1
2
2
1
1
1
2
1
2
4
1
3
4
5
2
4
1
5
3
2
3
5
3
6
1
3
4
3
2
2
1
2
2
2
2
1
3
1
2
1
2
1
1
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on computer.org
-
on orcid.org
-
on dl.acm.org
On csauthors.net:
Bibliography
2023
CoRR, 2023
2022
Clust. Comput., 2022
Sentinel: A Multi-institution Enterprise Scale Platform for Data-driven Cybersecurity Research.
Proceedings of the IEEE International Symposium on Software Reliability Engineering Workshops, 2022
START: A Framework for Trusted and Resilient Autonomous Vehicles (Practical Experience Report).
Proceedings of the IEEE 33rd International Symposium on Software Reliability Engineering, 2022
2021
CoRR, 2021
Breaking Through Binaries: Compiler-quality Instrumentation for Better Binary-only Fuzzing.
Proceedings of the 30th USENIX Security Symposium, 2021
Proceedings of the 51st Annual IEEE/IFIP International Conference on Dependable Systems and Networks, 2021
Proceedings of the IEEE Conference on Communications and Network Security, 2021
Same Coverage, Less Bloat: Accelerating Binary-only Fuzzing with Coverage-preserving Coverage-guided Tracing.
Proceedings of the CCS '21: 2021 ACM SIGSAC Conference on Computer and Communications Security, Virtual Event, Republic of Korea, November 15, 2021
2020
Proceedings of the IEEE/ACM Innovating the Network for Data-Intensive Science, 2020
2019
Proceedings of the 14th International Symposium on Software Engineering for Adaptive and Self-Managing Systems, 2019
Proceedings of the 2019 ACM SIGSAC Conference on Computer and Communications Security, 2019
Proceedings of the 35th Annual Computer Security Applications Conference, 2019
2018
IEEE Secur. Priv., 2018
2017
Proceedings of the 47th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, 2017
Proceedings of the 2017 Workshop on Forming an Ecosystem Around Software Transformation, 2017
Proceedings of the 2017 Workshop on Moving Target Defense, 2017
Proceedings of the 2017 NASA/ESA Conference on Adaptive Hardware and Systems, 2017
2016
Proceedings of the NASA Formal Methods - 8th International Symposium, 2016
Predicting the memory bandwidth and optimal core allocations for multi-threaded applications on large-scale NUMA machines.
Proceedings of the 2016 IEEE International Symposium on High Performance Computer Architecture, 2016
Proceedings of the 46th Annual IEEE/IFIP International Conference on Dependable Systems and Networks Workshops, 2016
Proceedings of the 11th Annual Cyber and Information Security Research Conference, 2016
Proceedings of the 11th Annual Cyber and Information Security Research Conference, 2016
2015
Commun. ACM, 2015
Proceedings of the 1st IEEE/ACM International Workshop on Software Protection, 2015
Proceedings of the 45th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, 2015
2014
Proceedings of the ACM Information Hiding and Multimedia Security Workshop, 2014
DraMon: Predicting memory bandwidth usage of multi-threaded programs with high accuracy and low overhead.
Proceedings of the 20th IEEE International Symposium on High Performance Computer Architecture, 2014
Proceedings of the 2014 Tenth European Dependable Computing Conference, 2014
Proceedings of the 2014 Tenth European Dependable Computing Conference, 2014
2013
Proceedings of the Moving Target Defense II, 2013
ReSense: Mapping dynamic workloads of colocated multithreaded applications using resource sensitivity.
ACM Trans. Archit. Code Optim., 2013
Proceedings of the 2nd ACM SIGPLAN Program Protection and Reverse Engineering Workshop 2013, 2013
2012
ACM Trans. Embed. Comput. Syst., 2012
Proceedings of the 8th International Conference on Virtual Execution Environments, 2012
Proceedings of the 8th International Conference on Virtual Execution Environments, 2012
Proceedings of the IEEE Symposium on Security and Privacy, 2012
Proceedings of the Runtime Verification, Third International Conference, 2012
Performance analysis of thread mappings with a holistic view of the hardware resources.
Proceedings of the 2012 IEEE International Symposium on Performance Analysis of Systems & Software, 2012
2011
Evaluating indirect branch handling mechanisms in software dynamic translation systems.
ACM Trans. Archit. Code Optim., 2011
Proceedings of the IEEE International Symposium on Performance Analysis of Systems and Software, 2011
PEASOUP: preventing exploits against software of uncertain provenance (position paper).
Proceedings of the 7th International Workshop on Software Engineering for Secure Systems, 2011
Proceedings of the 44th Hawaii International International Conference on Systems Science (HICSS-44 2011), 2011
2010
Proceedings of the Information Hiding - 12th International Conference, 2010
Proceedings of the Software Architecture, 4th European Conference, 2010
2009
ACM Trans. Archit. Code Optim., 2009
IEEE Secur. Priv., 2009
Proceedings of the 2009 ACM SIGPLAN/SIGBED conference on Languages, 2009
Proceedings of the Engineering Secure Software and Systems, 2009
Proceedings of the 4th workshop on the Implementation, 2009
2008
Proceedings of the 39th SIGCSE Technical Symposium on Computer Science Education, 2008
Proceedings of the 38th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, 2008
08441 Abstracts Collection - Emerging Uses and Paradigms for Dynamic Binary Translation.
Proceedings of the Emerging Uses and Paradigms for Dynamic Binary Translation, 26.10., 2008
Proceedings of the Emerging Uses and Paradigms for Dynamic Binary Translation, 26.10., 2008
Proceedings of the 2008 International Conference on Compilers, 2008
2007
Proceedings of the 2007 ACM Symposium on Applied Computing (SAC), 2007
Proceedings of the 21th International Parallel and Distributed Processing Symposium (IPDPS 2007), 2007
Fragment cache management for dynamic binary translators in embedded systems with scratchpad.
Proceedings of the 2007 International Conference on Compilers, 2007
2006
ACM Trans. Embed. Comput. Syst., 2006
Secure and practical defense against code-injection attacks using software dynamic translation.
Proceedings of the 2nd International Conference on Virtual Execution Environments, 2006
Proceedings of the 2nd International Conference on Virtual Execution Environments, 2006
Proceedings of the 2006 ACM SIGPLAN/SIGBED Conference on Languages, 2006
Proceedings of the 20th International Parallel and Distributed Processing Symposium (IPDPS 2006), 2006
Proceedings of the 2006 IEEE International Conference on Acoustics Speech and Signal Processing, 2006
Proceedings of the Fourth IEEE/ACM International Symposium on Code Generation and Optimization (CGO 2006), 2006
McGraw-Hill, ISBN: 978-0-07-325030-4, 2006
2005
ACM Trans. Archit. Code Optim., 2005
Microprocess. Microsystems, 2005
Int. J. Parallel Program., 2005
2004
IEEE Trans. Computers, 2004
Proceedings of the ACM SIGPLAN 2004 Conference on Programming Language Design and Implementation 2004, 2004
Proceedings of the 2004 ACM SIGPLAN/SIGBED Conference on Languages, 2004
Proceedings of the 18th International Parallel and Distributed Processing Symposium (IPDPS 2004), 2004
2003
IEEE Trans. Software Eng., 2003
Code Generation for a Dual Instruction Set Processor Based on Selective Code Transformation.
Proceedings of the Software and Compilers for Embedded Systems, 7th International Workshop, 2003
Proceedings of the 2003 Conference on Languages, 2003
Continuous Compilation: A New Approach to Aggressive and Adaptive Code Transformation.
Proceedings of the 17th International Parallel and Distributed Processing Symposium (IPDPS 2003), 2003
Proceedings of the 1st IEEE / ACM International Symposium on Code Generation and Optimization (CGO 2003), 2003
2002
Proceedings of the 2002 Joint Conference on Languages, 2002
Proceedings of the 2002 Joint Conference on Languages, 2002
Proceedings of the 18th Annual Computer Security Applications Conference (ACSAC 2002), 2002
2001
SIGPLAN Web Pages and Mailing List.
ACM SIGPLAN Notices, 2001
Proceedings of the 2001 IEEE International Symposium on Performance Analysis of Systems and Software, 2001
Proceedings of the 2001 International Conference on Dependable Systems and Networks (DSN 2001) (formerly: FTCS), 2001
2000
Proceedings of the 33rd Annual Hawaii International Conference on System Sciences (HICSS-33), 2000
Proceedings of the 2000 International Conference on Parallel Architectures and Compilation Techniques (PACT'00), 2000
1999
Proceedings of the 18th Conference on Advanced Research in VLSI (ARVLSI '99), 1999
1998
CoRR, 1998
Proceedings of the Languages, 1998
Proceedings of the Languages, 1998
1996
Target-Sensitive Construction of Diagnostic Programs for Procedure Calling Sequence Generators.
Proceedings of the ACM SIGPLAN'96 Conference on Programming Language Design and Implementation (PLDI), 1996
Proceedings of the Compiler Construction, 6th International Conference, 1996
1995
Proceedings of the Conference Record of POPL'95: 22nd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 1995
Improving instruction-level parallelism by loop unrolling and dynamic memory disambiguation.
Proceedings of the 28th Annual International Symposium on Microarchitecture, Ann Arbor, Michigan, USA, November 29, 1995
1994
Proceedings of the Programming Languages and System Architectures, 1994
Proceedings of the ACM SIGPLAN'94 Conference on Programming Language Design and Implementation (PLDI), 1994
1992
IEEE Trans. Software Eng., 1992
1991
Softw. Pract. Exp., 1991
Microprocess. Microsystems, 1991
Proceedings of the ASPLOS-IV Proceedings, 1991
1990
Proceedings of the 1990 ACM SIGMETRICS conference on Measurement and modeling of computer systems, 1990
Proceedings of the 20 Years of the ACM SIGPLAN Conference on Programming Language Design and Implementation 1979-1999, 1990
Proceedings of the 17th Annual International Symposium on Computer Architecture, 1990
1989
1988
Proceedings of the ACM SIGPLAN'88 Conference on Programming Language Design and Implementation (PLDI), 1988
1987
Softw. Pract. Exp., 1987
Proceedings of the Symposium on Interpreters and Interpretive Techniques, 1987, St. Paul, Minnesota, USA, June 24, 1987
Proceedings of the Second International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS II), 1987
1986
Proceedings of the 1986 SIGPLAN Symposium on Compiler Construction, 1986
1984
ACM Trans. Program. Lang. Syst., 1984
Proceedings of the 1984 SIGPLAN Symposium on Compiler Construction, 1984
Proceedings of the 20 Years of the ACM SIGPLAN Conference on Programming Language Design and Implementation 1979-1999, 1984
1982
Proceedings of the Conference Record of the Ninth Annual ACM Symposium on Principles of Programming Languages, 1982
1980
ACM Trans. Program. Lang. Syst., 1980