Sign in
Author
|
Conference
|
Journal
|
Organization
|
Year
|
DOI
Look for results that meet for the following criteria:
since
equal to
before
between
and
Search in all fields of study
Limit my searches in the following fields of study
Agriculture Science
Arts & Humanities
Biology
Chemistry
Computer Science
Economics & Business
Engineering
Environmental Sciences
Geosciences
Material Science
Mathematics
Medicine
Physics
Social Science
Multidisciplinary
Co-authors
(216)
Andreas Podelski
15
Andrey Rybalchenko
15
Josh Berdine
14
Thomas Ball
11
Alexey Gotsman
8
Conferences
(26)
CAV
13
POPL
4
PLDI
3
SAS(WSA)
3
TACAS
3
Journals
(22)
SIGPLAN
10
CACM
3
ENTCS
3
J COLLOID INTERFACE SCI
2
POWER ENG J
2
Embed
Subscribe
Academic
Authors
Byron Cook
Byron Cook,Microsoft,Software Engineering,Programming Languages,Algorithms & Theory
Edit
Byron Cook
Microsoft
Publications:
133
|
Citations:
1772
Fields:
Software Engineering
,
Programming Languages
,
Algorithms & Theory
View FAQ about top research areas and Fields of study
Collaborated with
216 co-authors
from 1992 to 2012
|
Cited by
1707 authors
Cumulative
Annual
Sort by:
Publications
(133)
BibTeX
|
RIS
|
RefWorks
Download
First-ever high-performance, low-power 32-bit microcontrollers with embedded nanocrystal flash and enhanced EEPROM memories
Jane Yater
,
S.-T. Kang
,
C. M. Hong
,
B. Min
,
D. Kolar
,
K. Loiko
,
J. Shen
,
B. Winstead
,
H. Gasquet
,
S. Mohammed
,
A. Hardell
,
W. Malloch
B. Cook
http://academic.research.microsoft.com/io.ashx?type=5&id=56984042&selfId1=289594&selfId2=0&maxNumber=12&query=
Conference:
IEEE International Conference on Integrated Circuit Design and Technology - ICICDT
, 2012
Making prophecies with decision predicates
(
Citations: 3
)
Byron Cook
,
Eric Koskinen
Journal:
Sigplan Notices - SIGPLAN
, pp. 399-410, 2011
SLAyer : Memory Safety for Systems-Level Code
(
Citations: 1
)
Josh Berdine
,
Byron Cook
,
Samin Ishtiaq
Conference:
Computer Aided Verification - CAV
, 2011
Proving Stabilization of Biological Systems
(
Citations: 1
)
Byron Cook
,
Jasmin Fisher
,
Elzbieta Krepska
,
Nir Piterman
Conference:
Verification, Model Checking and Abstract Interpretation - VMCAI
, pp. 134-149, 2011
Making prophecies with decision predicates
Byron Cook
,
Eric Koskinen
Conference:
ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages - POPL
, pp. 399-410, 2011
Sort by:
Citations
(1772 times by 1255 publications)
Behavioral interface specification languages
(
Citations: 3
)
John Hatcliff
,
Gary T. Leavens
,
K. Rustan M. Leino
,
Peter Müller
,
Matthew Parkinson
Journal:
ACM Computing Surveys - CSUR
, pp. 1-58, 2012
Analysis of Boolean Programs
Patrice Godefroid
,
Mihalis Yannakakis
Published in 2012.
Diagnosing Abstraction Failure for Separation Logic--based Analyses
Josh Berdine
,
Arlen Cox
,
Samin Ishtiaq
,
Christoph M. Wintersteiger
Published in 2012.
Design and Implementation of Novel Single-Stage Charge-Pump Power-Factor-Correction Electronic Ballast for Metal Halide Lamp
Ray-Lee Lin
,
Chih Lo
Journal:
IEEE Transactions on Industrial Electronics - IEEE TRANS IND ELECTRON
, vol. 59, no. 4, pp. 1789-1798, 2012
Parallelizing top-down interprocedural analyses
Aws Albarghouthi
,
Rahul Kumar
,
Aditya V. Nori
,
Sriram K. Rajamani
Published in 2012.
Comments