Sungwoo Park

According to our database1, Sungwoo Park
  • authored at least 42 papers between 1997 and 2017.
  • has a "Dijkstra number"2 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2017
Optimal User Loading in Massive MIMO Systems With Regularized Zero Forcing Precoding.
IEEE Wireless Commun. Letters, 2017

Dynamic Subarrays for Hybrid Precoding in Wideband mmWave MIMO Systems.
IEEE Trans. Wireless Communications, 2017

Exploiting Spatial Channel Covariance for Hybrid Precoding in Massive MIMO Systems.
IEEE Trans. Signal Processing, 2017

Dynamic bit selection in mixed-ADC cloud-RAN systems.
Proceedings of the IEEE International Conference on Communications, 2017

Hybrid precoding using long-term channel statistics for massive MIMO systems.
Proceedings of the 2017 IEEE International Conference on Acoustics, 2017

2016
A Constraint-Reduced Algorithm for Semidefinite Optimization Problems with Superlinear Convergence.
J. Optimization Theory and Applications, 2016

Optimal User Loading in Massive MIMO Systems with Regularized Zero Forcing Precoding.
CoRR, 2016

Dynamic Subarrays for Hybrid Precoding in Wideband mmWave MIMO Systems.
CoRR, 2016

Dynamic subarray architecture for wideband hybrid precoding in millimeter wave massive MIMO systems.
Proceedings of the 2016 IEEE Global Conference on Signal and Information Processing, 2016

Spatial channel covariance estimation for mmWave hybrid MIMO architecture.
Proceedings of the 50th Asilomar Conference on Signals, Systems and Computers, 2016

2015
A Polynomial Time Constraint-Reduced Algorithm for Semidefinite Optimization Problems.
J. Optimization Theory and Applications, 2015

Frequency Selective Hybrid Precoding in Millimeter Wave OFDMA Systems.
Proceedings of the 2015 IEEE Global Communications Conference, 2015

Optimizing the Target Error Rate for Link Adaptation.
Proceedings of the 2015 IEEE Global Communications Conference, 2015

2014
Mechanizing Metatheory Without Typing Contexts.
J. Autom. Reasoning, 2014

A proof system for separation logic with magic wand.
Proceedings of the 41st Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2014

2013
Judgmental subtyping systems with intersection types and modal types.
Acta Inf., 2013

A theorem prover for Boolean BI.
Proceedings of the 40th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2013

Contractive Signatures with Recursive Types, Type Parameters, and Abstract Types.
Proceedings of the Automata, Languages, and Programming - 40th International Colloquium, 2013

2012
Computing Exact Skyline Probabilities for Uncertain Databases.
IEEE Trans. Knowl. Data Eng., 2012

Group skyline computation.
Inf. Sci., 2012

2011
A calculus for hardware description.
J. Funct. Program., 2011

Parallel skyline computation on multicore architectures.
Inf. Syst., 2011

A modal logic internalizing normal proofs.
Inf. Comput., 2011

A syntactic type system for recursive modules.
Proceedings of the 26th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2011

2010
Portfolio Selection Using Tikhonov Filtering to Estimate the Covariance Matrix.
SIAM J. Financial Math., 2010

Towards a Cut-free Sequent Calculus for Boolean BI.
Proceedings of the International Workshop on Proof Systems for Program Logics, 2010

2009
Type-safe higher-order channels with channel locality.
J. Funct. Program., 2009

A logical account of uncertain databases based on linear logic.
Proceedings of the Database Theory, 2009

Parallel Skyline Computation on Multicore Architectures.
Proceedings of the 25th International Conference on Data Engineering, 2009

2008
A probabilistic language based on sampling functions.
ACM Trans. Program. Lang. Syst., 2008

Functional netlists.
Proceedings of the Proceeding of the 13th ACM SIGPLAN international conference on Functional programming, 2008

2007
Novel Techniques to Minimize the Error Propagation of Decision Feedback Equalizer in 8VSB DTV System.
TBC, 2007

Fast Start-Up Decision Feedback Equalizer Based on Channel Estimation for 8VSB DTV System.
TBC, 2007

Type-safe higher-order channels in ML-like languages.
Proceedings of the 12th ACM SIGPLAN International Conference on Functional Programming, 2007

2006
Novel Techniques to minimize the Error Propagation of Decision Feedback Equalizer in 8VSB DTV System.
Proceedings of the 63rd IEEE Vehicular Technology Conference, 2006

A Modal Language for the Safety of Mobile Values.
Proceedings of the Programming Languages and Systems, 4th Asian Symposium, 2006

2005
A probabilistic language based upon sampling functions.
Proceedings of the 32nd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2005

2004
Capacity statistics and scheduling gain for MIMO systems in correlated Rayleigh fading.
Proceedings of the 60th IEEE Vehicular Technology Conference, 2004

The Inverse Method for the Logic of Bunched Implications.
Proceedings of the Logic for Programming, 2004

2003
A calculus for probabilistic languages.
Proceedings of TLDI'03: 2003 ACM SIGPLAN International Workshop on Types in Languages Design and Implementation, 2003

2000
Iterative inversion of fuzzified neural networks.
IEEE Trans. Fuzzy Systems, 2000

1997
Object-Oriented VRML for Multi-User Environments.
Proceedings of the Second Symposium on Virtual Reality Modeling Language, 1997


  Loading...